Комбінаторна геометрія: відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Створена сторінка: Файл:Pyramid_of_35_spheres_animation.gif|праворуч|обрамити|[[Кубічна сингонія|Кубічне гранецентроване...
 
Рядок 16:
[[Файл:8-points-no-pentagon.svg|міні|Вісім точок в загальному положенні, для яких немає опуклого п'ятикутника]]
 
* {{iw|Теорема Ердеша — СекерешСекереша про опуклі багатокутники||ru|Задача со счастливым концом}} стверджує, що в будь-якій достатньо великій множині точок у [[Загальне положення|загальному положенні]] на площині можна знайти <math>n</math>точок, які є вершинами опуклого многокутника. Гіпотезу Ердеша&nbsp;— СекерешСекереша про мінімальненайменше число точок, які обов'язково містять опуклий <math>n</math>-кутник, на сьогодні не доведено. Дана задача є також завданням {{нп|Теорія Рамсея|теорії Рамсея|ru|Теория Рамсея}}.
 
* [[Теорема Мінковського|Теорема Мінковського про опукле тіло]]. Нехай <math>S</math>&nbsp;— замкнуте [[Опукла множина|опукле тіло]], симетричне відносно початку координат <math>O</math> <math>n</math>-вимірного евклідового простору, що має об'єм <math>\ge 2^n</math>. Тоді в <math>S</math> знайдеться цілочисельна точка, відмінна від <math>O</math>. Ця теорема поклала початок [[Геометрія чисел|геометрії чисел]].
Рядок 22:
* Гіпотеза Борсука стверджує, що будь-яке тіло діаметра <math>d</math> в <math>n</math>-вимірному [[Евклідів простір|евклідовому просторі]] можна розбити на <math>n+1</math> частину так, що [[діаметр]] кожної частини буде меншим, ніж <math>d</math>. Цю гіпотезу було доведено для розмірностей <math>2</math> і <math>3</math>, але спростовано для просторів більшої розмірності. За відомою сьогодні оцінкою вона не правильна для просторів розмірності 64 і більше<ref>Thomas Jenrich, [http://arxiv.org/abs/1308.0206 A 64-dimensional two-distance counterexample to Borsuk's conjecture]</ref>.
 
* {{iw|Задача Данцера — ГрюнбаумаҐрюнбаума||ru|Задача Данцера — Грюнбаума}} полягає в пошуку скінченної множини з якомога більшої кількості точок у багатовимірному просторі, між якими можна побудувати тільки гострі кути.
 
== Див. також ==