Комбинаторная или дискретная геометрия — раздел геометрии, в котором изучаются комбинаторные свойства геометрических объектов и связанные с ними конструкции. В комбинаторной геометрии рассматривают конечные и бесконечные дискретные множества или структуры базовых однотипных геометрических объектов (точек, прямых, окружностей, многоугольников, тел с одинаковым диаметром, целочисленных решёток и т. п.) и ставят вопросы, связанные со свойствами различных геометрических конструкций из этих объектов или на этих структурах. Проблемы комбинаторной геометрии простираются от конкретных «предметно»-комбинаторных вопросов (хотя и не всегда с простыми ответами) — замощения, упаковка кругов на плоскости, формула Пика — до вопросов общих и глубоких, таких как гипотеза Борсука, проблема Нелсона — Эрдёша — Хадвигера.

Кубическая гранецентрированная упаковка

История

править

Хотя многогранники, замощения и упаковка шаров исследовались ещё Кеплером и Коши, современная комбинаторная геометрия начала формироваться в конце XIX века. Одними из первых задач были: плотность упаковки кругов Акселя Туэ, проективная конфигурация[англ.] Штайница, геометрия чисел Минковского и проблема четырёх красок Фрэнсиса Гутри[англ.].

Примеры задач

править

Представление о диапазоне задач комбинаторной геометрии дают следующие примеры.

 
Ромботришестиугольная упаковка шаров, одна из 11 возможных симметричных упаковок
 
Восемь точек в общем положении, для которых нет выпуклого пятиугольника
  • Теорема Минковского о выпуклом теле. Пусть   — замкнутое выпуклое тело, симметричное относительно начала координат    -мерного евклидова пространства, имеющее объём  . Тогда в   найдётся целочисленная точка, отличная от  . Эта теорема положила начало геометрии чисел.
  • Гипотеза Борсука утверждает, что любое тело диаметра   в  -мерном евклидовом пространстве можно разбить на   часть так, что диаметр каждой части будет меньше  . Эта гипотеза была доказана для размерностей   и  , но опровергнута для пространств большой размерности. По известной сегодня оценке она неверна для пространств размерности 64 и более[2].
  • Задача Данцера — Грюнбаума заключается в поиске конечного множества из как можно большего количества точек в многомерном пространстве, между которыми можно построить только острые углы.
  • Задача «никакие три точки не лежат на одной прямой», состоящая в нахождении количества точек, которые можно расположить на решётке   так, чтобы никакие три точки не находились на одной прямой.

См. также

править

Примечания

править
  1. Chang, Hai-Chau; Wang, Lih-Chung (2010). "A Simple Proof of Thue's Theorem on Circle Packing". arXiv:1009.4322v1 [math.MG]. {{cite arXiv}}: Неизвестный параметр |accessdate= игнорируется (справка)
  2. Thomas Jenrich, A 64-dimensional two-distance counterexample to Borsuk’s conjecture Архивная копия от 26 декабря 2018 на Wayback Machine

Ссылки

править