Поверхня Боя У геометрії поверхня Боя приклад занурення дійсної проєктивної площини в 3 вимірному просторі На відміну ві

У геометрії поверхня Боя — приклад занурення дійсної проєктивної площини в 3-вимірному просторі. На відміну від римської поверхні та плівки Мебіуса, вона не має інших особливих точок, крім самоперетину.

Анімація поверхні Боя

Історія Редагувати

Знайдена Вернером Боєм у 1901 році, який відкрив її за завданням Давида Гільберта, щоб довести, що проєктивну площину не можна занурити в 3-просторі.

Поверхня Боя вперше була явно параметризована Бернаром Мореном у 1978 році. Іншу параметризацію виявили Роб Куснер і Роберт Браянт. Поверхня Боя є одним із двох можливих занурень дійсної проєктивної площини, які мають лише одну потрійну точку.

Модель поверхні Боя в Обервольфасі

Властивості Редагувати

Поверхня Боя має 3-кратну симетрію. Це означає, що у неї є вісь дискретної симетрії обертання: будь-який поворот на 120° навколо цієї осі залишає поверхню виглядати точно так само. Поверхня Боя може бути розрізана на три взаємно конгруентні частини.

Застосування Редагувати

Побудова поверхні Боя з паперу

Поверхня Боя може бути використана як проміжна модель у мінімаксному вивертанні сфери. Проміжна модель — це занурення сфери із такою властивістю, що обертання міняється всередині і зовні, і тому вона може бути використана для того, щоб вивернути сферу (навиворіт). Поверхні Боя (с = 3) і Морена (с = 2) починають послідовність проміжних моделей із вищою симетрією, вперше запропонованих Джорджем Френсісом, індексованих парними цілими числами 2p (для p неарного, ці занурення можна розкласти на множники через проєктивну площину). Все це передає параметризація Куснера.

Параметризація поверхні Боя Редагувати

Вигляд описаної тут параметризації

Поверхня Боя може бути параметризована кількома способами. Одна із параметризацій, відкрита Робом Куснером і Робертом Браянтом, є наступною: дано комплексне число w, величина якого менша або дорівнює одиниці (), нехай

таким чином

де x, y і z — шукані декартові координати точки на поверхні Боя.

Якщо виконати інверсію цієї параметризації з центром у потрійній точці, то отримаємо повну мінімальну поверхню з трьома кінцями (саме так ця параметризація була відкрита природним чином). Це означає, що параметризація Браянта-Куснера поверхонь Боя є «оптимальною» в тому сенсі, що це «найменш вигнуте» занурення проєктивної площини в тривимірний простір.

Зациклений анімований розріз поверхні Боя.

Властивість параметризації Браянта–Куснера Редагувати

Якщо w замінити на від'ємне значення, зворотне його комплексно спряженому, тоді функції g₁, g₂ і g₃ від w залишаються незмінними.

Замінивши $w$ в термінах його дійсної та уявної частин $w = s + it$ , і розширивши результуючу параметризацію, можна отримати параметризацію поверхні Боя в термінах раціональних функцій $s$ і $t$ . Це показує, що поверхня Боя є не тільки алгебраїчною, але навіть раціональною поверхнею. Зауваження до попереднього параграфа показує, що спільна точка цієї параметризації складається з двох точок (тобто майже кожна точка поверхні Боя може бути отримана за двома значеннями параметрів).

Зв'язок поверхні Боя з дійсною проєктивною площиною Редагувати

Нехай — параметризація Браянта–Куснера поверхні Боя. Тоді

Це пояснює умову за параметром: якщо тоді Однак тут все трохи складніше У цьому випадку Це означає, що якщо точка поверхні Боя виходить із двох значень параметрів: Іншими словами, поверхня Боя була параметризована диском таким чином, що пари діаметрально протилежних точок по периметру диска еквівалентні. Це показує, що поверхня Боя є зображенням дійсної проєктивної площини RP² гладкою функцією. Тобто параметризація поверхні Боя — це занурення дійсної проєктивної площини в евклідовий простір.

Примітки Редагувати

Morin, Bernard (13 листопада 1978). Équations du retournement de la sphère [Equations of the eversion of the sphere]. Comptes Rendus de l'Académie des Sciences. Série A (фр.) 287: 879–882.
Kusner, Rob (1987). Conformal geometry and complete minimal surfaces. Bulletin of the American Mathematical Society. New Series 17 (2): 291–295. doi:10.1090/S0273-0979-1987-15564-9. .
Goodman, Sue; Marek Kossowski (2009). Immersions of the projective plane with one triple point. Differential Geometry and Its Applications 27 (4): 527–542. ISSN 0926-2245. doi:10.1016/j.difgeo.2009.01.011.
Raymond O'Neil Wells (1988). Surfaces in conformal geometry (Robert Bryant). The Mathematical Heritage of Hermann Weyl (May 12–16, 1987, Duke University, Durham, North Carolina). Proc. Sympos. Pure Math. 48. American Mathematical Soc. с. 227–240. ISBN 978-0-8218-1482-6. doi:10.1090/pspum/048/974338.

Джерела Редагувати

Kirby, Rob (November 2007). What is Boy's surface?. Notices of the AMS 54 (10): 1306–1307. This describes a piecewise linear model of Boy's surface.
- Casselman, Bill (November 2007). Collapsing Boy's Umbrellas. Notices of the AMS 54 (10): 1356. Article on the cover illustration that accompanies the Rob Kirby article.
Mathematisches Forschungsinstitut Oberwolfach (2011). The Boy surface at Oberwolfach. .
Sanderson, B. Boy's will be Boy's, (undated, 2006 or earlier).
Weisstein, Eric W. Boy's Surface(англ.) на сайті Wolfram MathWorld.

[Morin_1978-1] Morin, Bernard (13 листопада 1978). Équations du retournement de la sphère [Equations of the eversion of the sphere]. Comptes Rendus de l'Académie des Sciences. Série A (фр.) 287: 879–882.

[Kusner_1987-2] Kusner, Rob (1987). Conformal geometry and complete minimal surfaces. Bulletin of the American Mathematical Society. New Series 17 (2): 291–295. doi:10.1090/S0273-0979-1987-15564-9. .

[Goodman2009-3] Goodman, Sue; Marek Kossowski (2009). Immersions of the projective plane with one triple point. Differential Geometry and Its Applications 27 (4): 527–542. ISSN 0926-2245. doi:10.1016/j.difgeo.2009.01.011.

[Wells1988-4] Raymond O'Neil Wells (1988). Surfaces in conformal geometry (Robert Bryant). The Mathematical Heritage of Hermann Weyl (May 12–16, 1987, Duke University, Durham, North Carolina). Proc. Sympos. Pure Math. 48. American Mathematical Soc. с. 227–240. ISBN 978-0-8218-1482-6. doi:10.1090/pspum/048/974338.