Гіпотеза Борсука

Гіпотеза Борсука (задача Борсука) — спростована гіпотеза в комбінаторній геометрії:

Розрізання відрізка, трикутника та тетраедра на частини меншого діаметра

Чи можливо довільне тіло скінченного одиничного діаметра в ${\displaystyle n}$-вимірному евклідовому просторі розбити на не більш ніж ${\displaystyle n+1}$ частину так, що діаметр кожної частини буде меншим за 1?

Висунув ^[pl] . Відіграла значну роль у розвитку комбінаторної геометрії XX століття: протягом тривалого періоду гіпотезу підтверджено для низки окремих випадків^[⇨] та основні зусилля були спрямовані на пошук доведень у загальному випадку, оскільки вагомих сумнівів у її справедливості не виникало. Однак знайдено контрприклад^[⇨].

Станом на 2023 доведено, що гіпотеза істинна при ${\displaystyle n\leqslant 3}$, і хибна для ${\displaystyle n\geqslant 64}$, статус твердження для ${\displaystyle 4\leqslant n<64}$ залишається нез'ясованим.

Розрізання правильного шестикутника ширини 1 на 3 частини діаметром менше ніж 1.

Сприятливі розв'язки

Випадок ${\displaystyle n=1}$ очевидний. Випадок ${\displaystyle n=2}$ довів 1933 року сам Борсук, скориставшись результатом ^[hu] 1929 року, згідно з яким будь-яку фігуру діаметра 1 можна помістити в правильний шестикутник ширини 1, а такий шестикутник у свою чергу допускає розрізання на три п'ятикутники діаметра ${\displaystyle {\tfrac {\sqrt {3}}{2}}<1}$ . Крім того, Борсук довів, що ${\displaystyle n}$-вимірну кулю не можна розділити на ${\displaystyle n}$ частин меншого діаметра, тим самим затвердивши нижню оцінку кількості частин (доведення ґрунтується на теоремі Борсука — Уляма).

^[en] довів справедливість гіпотези при всіх ${\displaystyle n}$ для опуклих тіл із гладкою межею.

^[pl] довів випадок ${\displaystyle n=3}$ для всіх обмежених тіл, незалежно від нього цей самий результат отримав британський математик ; просте доведення, подібний до Борсукового, знайшли пізніше Бранко Ґрюнбаумом і ; вони довели, що будь-яке тіло діаметра 1 можна помістити у певний октаедр з відсіченими трьома вершинами, який у свою чергу допускає розбиття на 4 частини діаметра менше 0,9888.

Щонайменше від початку 1970-их років гіпотезу підтверджено для центрально-симетричних тіл. 1971 року Клод Роджерс довів гіпотезу для будь-якої множини, інваріантної відносно дії групи перетворень, які залишають на місці правильний ${\displaystyle n}$-вимірний симплекс.

установив справедливість гіпотези для опуклих тіл з поясом із регулярних точок, він позитивно розв'язав задачу для всіх тіл обертання в довільних розмірностях.

Число Борсука

Число Борсука ${\displaystyle f(n)}$ — найменша кількість можливих частин меншого діаметра, на які можна розбити будь-яке обмежене тіло в ${\displaystyle n}$-вимірному просторі. Паралельно з підтвердженням гіпотези ${\displaystyle f(n)=n+1}$ в окремих випадках, покращувалися нижні та верхні оцінки для ${\displaystyle f(n)}$. Порівняно легко отримані оцінки ${\displaystyle f(n)\leqslant (2{\sqrt {n}}+1)^{n}}$ і ${\displaystyle f(n)\leqslant 2^{n}}$. з'ясував, що ${\displaystyle f(n)\leqslant 2^{n-1}+1}$.

Серед асимптотичних верхніх оцінок довгий час найкращою була оцінка ^[en] (1965): ${\displaystyle f(n)\leqslant {\big (}{\sqrt {2}}+o(1){\big )}^{n}}$; ^[en] показав, що:

${\displaystyle f(n)\leqslant {\Big (}{\sqrt {\tfrac {3}{2}}}+o(1){\Big )}^{n}}$.

Заперечні розв'язки

Заперечний розв'язок задачі в загальному випадку виявили 1993 року ^[en] і ^[en], які побудували контрприклад у розмірності ${\displaystyle n=1325}$ та довели невиконання гіпотези для всіх ${\displaystyle n>2014}$. Крім того, вони показали, що для досить великих ${\displaystyle n}$, існують ${\displaystyle n}$-вимірні тіла, які не можна розбити на ${\displaystyle {\big (}1{,}203+o(1){\big )}^{\sqrt {n}}}$ частин меншого діаметра. В наступні роки розмірність, вище від якої гіпотеза не виконується, послідовно знижувалася:

• 1993 — ${\displaystyle n\geqslant 2015}$ (Калаї — Кан),
• 1994 — ${\displaystyle n\geqslant 946}$ (Ніллі),
• 1997 — ${\displaystyle n\geqslant 903}$ (Вайсбах — Грей),
• 1997 — ${\displaystyle n\geqslant 561}$ (Райгородський),
• 2000 — ${\displaystyle n\geqslant 560}$ (Вайсбах),
• 2001 — ${\displaystyle n\geqslant 324}$ (Гінрігз),
• 2002 — ${\displaystyle n\geqslant 323}$ (Піхурко),
• 2003 — ${\displaystyle n\geqslant 298}$ (Гінрігз — Ріхтер),
• 2013 — ${\displaystyle n\geqslant 65}$ (Бондаренко),
• 2013 — ${\displaystyle n\geqslant 64}$ (Єнріх).

Для побудови контприкладів у всіх випадках використано скінченні множини та тонкі комбінаторні результати. Нижні оцінки для найменшого числа частин меншого діаметра в більшості контрприкладів — ${\displaystyle {\big (}1{,}203+o(1){\big )}^{\sqrt {n}}}$, у одному з результатів Райгородського (1999) цю оцінку покращено до ${\displaystyle {\big (}1{,}2255+o(1){\big )}^{\sqrt {n}}}$.

Варіації та узагальнення

^[en] висунув гіпотезу, що будь-яке тіло одиничного діаметра в тривимірному просторі допускає розбиття на 4 частини з діаметром:

${\displaystyle {\sqrt {\frac {3+{\sqrt {3}}}{6}}}\approx 0{,}888}$,

тобто, куля є «найгіршим» у цьому сенсі тілом.

1971 року гіпотезу Борсука підтверджено для сферичного та гіперболічного просторів при ${\displaystyle n=2,3}$.

цей результат узагальнено на довільні розмірності для центрально-симетричних опуклих гіперповерхонь.

2012 року вивчено аналоги проблеми Борсука у просторі ${\displaystyle \mathbb {Q} ^{n}}$ з евклідовою метрикою та з метрикою ${\displaystyle l_{p}}$.

2019 року розглянуто питання про розбиття довільних обмежених метричних просторів на задану кількість підмножин меншого діаметра, та виявлено критерії здійсненності та нездійсненності такого розбиття залежно від відстані за метрикою Громова — Гаусдорфа від заданого простору до симплексів заданої потужності, де під симплексом розуміють метричний простір, у якому всі ненульові відстані однакові.

Примітки

1. Райгородский, 2006, с. 27.
2. Болтянский — Гохберг, 1965, с. 34.
3. Грюнбаум, 1971, с. 62.
4. B. V. Dekster. The Borsuk conjecture holds for convex bodies with a belt of regular points // Geometriae Dedicata. — 1993. — Т. 45 (19 червня). — С. 301–306.
5. B. V. Dekster. The Borsuk conjecture holds for bodies of revolution // Journal of Geometry. — 1995. — Т. 52 (19 червня). — С. 64–73.
6. J. Kahn, G. Kalai. A counterexample to Borsuk’s conjecture // Bull. Amer. Math. Soc. (N.S.). — 1993. — Vol. 29, no. 1 (19 June). — P. 60—62. — arXiv:math.MG/9307229.
7. А. М. Райгородский. О размерности в проблеме Борсука // УМН. — 1997. — Т. 52, № 6(318) (19 червня). — С. 181—182.
8. A. Hinrichs, C. Richter. New sets with large Borsuk numbers // Discrete Mathematics. — 2003. — Т. 270 (19 червня). — С. 137—147. з джерела 27 вересня 2007.
9. Andriy V. Bondarenko. On Borsuk’s conjecture for two-distance sets. — 2013. — 19 червня. — arXiv:1305.2584.
10. Thomas Jenrich. A 64-dimensional two-distance counterexample to Borsuk’s conjecture. — 2013. — 19 червня. — arXiv:1308.0206.
11. Райгородский, 2006.
12. Райгородский, 2006, с. 16.
13. А. С. Рисслинг. Проблема Борсука в пространствах постоянной кривизны // Украинский геометрический сборник. — Харьков. — Т. 11. — С. 78—83. з джерела 9 січня 2021.
14. А. Д. Милка. Аналог проблемы Борсука // Известия вузов. Серия математическая. — 1992. — № 5 (19 червня). — С. 58—63.
15. А. Б. Купавский, Е. И. Пономаренко, А. М. Райгородский. О некоторых аналогах проблемы Борсука в пространстве ${\displaystyle \mathbb {Q} ^{n}}$ // Труды МФТИ. — 2012. — Т. 12, № 1 (19 червня). — С. 81—90.
16. , . Solution to Generalized Borsuk Problem in Terms of the Gromov–Hausdorff Distances to Simplexes. — arXiv:1906.10574v1.

Література

• В. Г. Болтянский, И. Ц. Гохберг. Теоремы и задачи комбинаторной геометрии. — М. : Наука, 1965. — 108 с. — (Математическая библиотечка) (містить доведення гіпотези в розмірностях 2 і 3)
• В. Г. Болтянский, И. Ц. Гохберг. Разбиение фигур на меньшие части/ серия = Популярные лекции по математике, выпуск 50. — М. : Наука, 1971. — 88 с.
• Б. Грюнбаум. Этюды по комбинаторной геометрии и теории выпуклых тел. — М. : Наука, 1971.
• А. М. Райгородский. Проблема Борсука. — М. : МЦНМО, 2006. — 56 с.
• А. Б. Скопенков. ${\displaystyle n}$-мерный куб, многочлены и решение проблемы Борсука // Математическое просвещение. — М. : МЦНМО, 1999. — Вип. 3 (3) (19 червня).