Комбинаторная геометрия (TkbQnugmkjugx iykbymjnx)

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

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

Хотя многогранники, замощения и упаковка шаров исследовались ещё Кеплером и Коши, современная комбинаторная геометрия начала формироваться в конце 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