CC BY
50
УДК 517.75
Тор Клиффорда и бутылка Клейна
М.А. Чешкова
Алтайский государственный университет (Барнаул, Россия)
Clifford Torus and Klein Bottle
М.А. Cheshkova
Altai State University (Barnaul, Russia)
Если вдоль некоторой замкнутой кривой на поверхности локальная ориентация в касательном пространстве меняет знак, то поверхность называется односторонней. Простейшей односторонней поверхностью является лист Мёбиуса. К односторонним поверхностям относится также бутылка Клейна, скрещенный колпак. Бутылку Клейна можно рассматривать как два листа Мёбиуса, склеенные по краю.
В работе бутылка Клейна разрезается на два листа Мёбиуса.
Пусть на торе Клиффорда в Е 4 задана замкнутая кривая с помощью 4п-периодической вектор-функции. Используя найденную функцию, определяются уравнения листов Мёбиуса, бутылки Клейна. Если средняя линия одного из листов Мёбиуса вырождается в точку, то получим скрещенный колпак. С помощью системы компьютерной математики строятся индикатрисы нормальной кривизны исследуемых поверхностей. В случае бутылки Клейна индикатриса нормальной кривизны есть эллипс. Если бутылка Клейна вырождается в скрещенный колак, то индикатриса нормальной кривизны есть окружность.
Ключевые слова: бутылка Клейна, лист Мёбиуса, скрещенный колпак, 4^-периодическая функция.
БОТ 10.14258/izvasu(2017)1-29
A surface is called the one-sided surface if a local orientation along a closed curve on a tangent space changes its sign. The simplest one-sided surface is the Mobius strip. The Klein bottle and cross-cap are also one-sided surfaces. The Klein bottle can be considered as two Mobius strips glued on edges.
In this paper, the Klein bottle is cut into two Mobius strips. We define the closed curve on the Clifford torus in E4 using 4^-periodic vector-function. We get a cross-cap if the Mobius strip degenerates into a point. Indicatrices of normal curvature for the investigated surfaces are studied with the help of computer mathematics. For the Klein bottle, the indicatrix of normal curvature is an ellipse. If the Klein bottle degenerates into a cross-cap, then the indicatrix of normal curvature is a circle.
Key words: Klein bottle, Mobius band, cross-cap,
4^-periodic function.
Если на поверхности в Еп существует замкнутая кривая (дезориентирующий контур), обладающая тем свойством, что при ее обходе локальная ориентация в касательном пространстве меняет знак, то поверхность называется односторонней.
Впервые уравнение односторонней поверхности в Е3, открытой Мёбиусом, было получено Машке [1]. Если гауссова кривизна листа Мёбиуса равна нулю, то он называется плоским. Библиография работ на эту тему дана в работе [2].
К односторонним поверхностям относятся: скрещенный колпак [3], бутылка Клейна [3—5]. В [6] исследуется плоский лист Мёбиуса. Кроме того, односторонние поверхности и их приложения рассматриваются в работах [7-14].
В евклидовом пространстве рассмотрим гладкую замкнутую неплоскую кривую 7 без самопересечения, заданную 4п-периодической вектор-функцией р = р(у), которая не является 2п-периодической и 2п-антипериодической.
Так как р(у) = р(у + 4п), то функция
= \(p(v) + P(v + 2п)),
(1)
есть 2п-периодическая не равная нулю, а вектор-функция
Къ) = \ш - р(у + 2п)) (2)
есть 2п-антипериодическая, не равная нулю.
Используем найденные функции для построения модели бутылки Клейна. Рассмотрим поверхность КЬ:
г(и, у) = (р + соз(и))з(у) + згп(и)1(у),р = ^1, (3)
и е [—п,п\,у е [—п,п\.
Теорема 1. Поверхность КЬ односторонняя. Доказательство. Рассмотрим замкнутую кривую (дезориентирующий контур) г(0,у) = (р + 1)з(у). Имеем т\ = ти\и=о = ¡(у),г2 = ту \и=о = (р + 1)з'(у).
Касательное пространство в точках кривой Б : г(0, у) = (р + 1)з(у) примет вид
ТкКЬ = {¡(у),з'(у)},к С Б
Замечаем, что базисы
{Т1(у),г2(у)} = {1(у)),з' (у)},
{г\ (V + 2п),г2(у + 2п)} = {1(у + 2п),з'(у + 2п)}
противоположно ориентированы. Поверхность односторонняя.
Нетрудно проверить, что и вдоль замкнутой кривой Б* : г(п,у) = (р — 1)з(у) локальные базисы также меняют ориентацию. Теорема 2.
Поверхность КЬ определяет модель бутылки Клейна.
Доказательство. Рассмотрим бутылку Клейна как фактор-пространство [15, с. 75 ]:
К * = —п,п] х [—п,п]/[(—п,у) ~
(п,v), (—п —п) ~ (и,п)].
Для поверхности (3) имеем г(—п,у) = (р — 1)з(у) = г(п,у), что соответствует «склейке» (—п, у) ~ (п, у).
А так как г(—и, —п) = (р + соз(—и))з(—п) + згп(—и)1(—п) = (р + соз(—и))з(п) — згп(—и)1(п) = г(и,п), то имеем «склейку» (—и, —п) ~ (и,п)].
Поверхность Клейна можно получить, «склеив» два листа Мёбиуса по краю.
Рассмотрим кривую г = г(и0,у),у е [—2п, 2п] на КЬ и разрежем КЬ вдоль нее.
Получили лист Мёбиуса КЬ1 (криволинейный)
г(и, у) = (р + соз(и))з(у) + згп(и)1(у), (4)
и е [—ио,ио\,у е [—п,п\.
Для листа КЬ1 средней линией является линия Б : г(0,у) = (р + 1)з(у), а краем - кривая г = г(и0, у), у е [—2п, 2п].
Второй лист КЬ2 задается уравнением
г(и, у) = (р + соз(и))з(у) + згп(и)1(у), (5)
и е [и0, 2п — и0], у е [—п, п].
Для листа КЬ2 средней линией является линия Б * : г(п,у) = (р — 1)з(у). Край листа КЬ1 совпадает с краем листа КЬ2.
Будем строить рассматриваемые поверхности в Е4.
Рассмотрим тор Клиффорда
г(и,у) = (соз(и),зт(и),соз(у),зт(у)), (6)
и е [0, 2п],у е [0, 2п].
Положим и = у/2. Тогда
уу
р(у) = (coз(2),згn(2),coз(v),зin(v)),
s(v) = (0, 0,cos(v), sin(v)) v
l(v) =(cos(2) Имеем, используя (7),
vv
l(v) = (cos(2),sin(2), 0, 0). (7)
rl = ru = -sin(u)s(v) + cos(u)l(v),
r2 = rv = (p + cos(u))s' (v) + sin(u)l' (v).
Определим метрический тензор gij = (ri,Tj) бутылки Клейна KL.
gil = l,gi2 = 0,g22 = 4sin(u)2 + (p+cos(u))2. (8)
Определим единичные нормальные векторы ni,n<2 в произвольной точке поверхности KL.
nl = cos(u)s(v) + sin(u)l(v),
n2 = (4(p + cos(u))l'(v) — sin(u) s' (v)).
V4g22
Пусть t = tiri G TkKL,k G KL,rl = ru,r2 = rv — касательный вектор, длина которого равна единице. Рассмотрим вектор нормальной кривизны b = b(t, t), где b(t, t) — вторая фундаментальная форма поверхности KL.
Зафиксируем точку k, а вектор t будем менять. Тогда концы вектора нормальной кривизны с началом в k опишут в TkKL^ кривую, называемую индикатрисой нормальной кривизны [16, с. 253]. Индикатриса нормальной кривизны есть эллипс либо отрезок прямой.
Определим ее.
Имеем
t = cos(e)—^ + sin(e)-¡—L^,
ы ы
b(t,t) = (cos(p)2b^l + 2sin(/3)cos(/3)bl2--Ь
Vd22
1
' g22'
sin(e )2b\2 — )nl + (cos(j3)2b2l +
2sin(e)cos(e )b22 + sin(e)2b22-)n2,
\/g22 g22
blj =< rij,ni >,b2j = < rij,n2 >,
h1 - м!2 -oh1 -oh2 - 1+ pcos(u) h11 - -1 ; h11 - 0 ; h12 — 0 ; h12 — --•
V4922
h22 - P(P + cos(u)) — Ç22, Щ,2 - 0
(9)
Итак,
h(t,t) - h1 (t,t)n1 + h2(t,t)n2,
b1 - -1 + p(p + COs(u)) ат(вГ h2 922
pCOs(u) + 1 .
- -—-sin(2p).
2922
Переходя к двойному углу, получим
h1 - 1
p(p + cos(u) p(p + cos(u))
2922
2922
pcos(u) + 1 ,
2922
sln(2@),
cos(2/3), (10)
(11)
29
29
При р = 0 это отрезок прямой.
Построим индикатрисы нормальной кривизны при р =2 вдоль линий : и = 0 (рис. 1) и и = 3/4п (рис. 2).
Рис. 1. Индикатриса нормальной кривизны и нормаль средней кривизны при р = 2,и = 0
Рис. 2. Индикатриса нормальной кривизны и нормаль средней кривизны при р = 2,и = 3/4п
Определим две матрицы Ах , А2 [17, с. 22]
<Ах(г^ ), Г1 > = < Ъ(Г, Г^ ), Щ >,
< A2 (ri),rj >-< h(ri,rj ),n > . Обозначим
Aa(ri ) — A0airk; a — 2; Akmgk] — Щ .
В силу (8), (9) получим
A1 -
-1
o
p(p+cos(u))
1
o
1+pcos(u)s
A - | 2gVs
A2 - I 1+pcos(u) o
\ 2g^g *
Таким образом, имеет место следующая теорема.
Теорема 3. Индикатриса бутылки Клейна КЬ при р = 0 есть эллипс е осями
р(р + воз (и)) рвов (и) + 1 , , ах =--—-,а,2 = -—-,д = аеЬ(дц).
9 - det(9ij ) - 922-
Вектор п - 2((tranceA1)n1 + (tranceA2)n2) называется нормалью средней кривизны [17, с. 40].
Имеем п - (p(p+2ogs(u)) — 1)n1. Средняя кривизна H равна H - \п\ - \p(p+2gs(u)) — 1\.
Определим гауссову кривизну K бутылки Клейна KL [18, с. 133 ] K - — 412 (299uu — 9u).
Рис. 3. Гауссова кривизна при p = 2,u Е [—п,п]
Рис. 4. Гауссова кривизна при p = -2, u Е [—п, п]
Рис. 5. Индикатриса нормальной кривизны и нормаль средней кривизны при р = 0,и = п/4
g
Используя математический пакет, построим графики (рис. 3-5). Остановимся подробнее на случае р = 0. Имеем < г,г >= 1,Н = 1.
Теорема 4. Если р = 0, то
1) бутылка Клейна КЬ принадлежит 3-сфере,
2) индикатриса нормальной кривизны есть отрезок прямой,
3) средняя кривизна Н = 1.
Лист Мёбиуса КЬ1 задается уравнением
г(и, у) = (р + соз(и))(0, 0, соз(у), згп(у))+
згп(и)(соз(у/2), згп(у/2), 0, 0), и е [—и0,и0},у е [—п,п\.
Для листа КЬ1 средней линией является линия
Б : г(0, у) = (р + 1)(0, 0, соз(у), згп(у)). Уравнение второго листа КЬ2 имеет вид г(и, у) = (р + соз(и))(0, 0, соз(у), згп(у))+
згп(и)(соз(у/2), згп(у/2), 0, 0),
и е [и0, 2п — и0], у е [—п, п].
Для листа КЬ2 средней линией является линия
Б* : г(п, у) = (р — 1)(0, 0, соз(у), згп(у)).
Библиографический список
1. Mashke H. Note on the unilateral surface of Moebius // Trans. Amer. Math. Soc., 1900. — Vol. 1, № 1.
2. Сабитов И.Х. Изометрические погружения и вложения плоского листа Мёбиуса в евклидовы пространства // Известия РАН. — 2007. — T. 71, № 5.
3. Кривошапко С.Н., Иванов В.Н., Хала-би С.М. Аналитические поверхности. — М., 2006.
4. Гильберт Д., Кон-Фоссен С. Наглядная геометрия. — M., 1981.
5. Чешкова М. А. О бутылке Клейна // Известия Алтайского гос. ун-та. — 2012. — T. 73, № 1/1.
6. Чешкова М. А. О плоском листе Мёбиуса // Известия Алтайского гос. ун-та. — 2013. — T. 77, № 1/2.
7. Борисюк А.Р. Глобальные бифуркации на бутылке Клейна. Общий случай // Математический сборник. — 2005. — Т. 196, № 4.
8. Набеева Л.Р. Классификация узлов в утол-шенной бутылке Клейна // Вестник Челябинского гос. ун-та. — 2012. — T. 280, № 26.
9. Карпухин М.А. Немаксимальность экстремальных метрик на торе и бутылке Клейна // Математический сборник. — 2012. — Т. 280, № 26.
10. Журавлев В.Г. Множества ограниченного остатка на двулистной накрывающей бутылки Клейна // Записки научных семинаров Санкт-Петербургского отделения математического ин-та им. В.А. Стеклова РАН. — 2014. — Т. 429, № 29.
11. Немировский С.Ю. Гомологический класс лагранжевой бутылки Клейна // Известия Российской академии наук. Серия математическая. —
2009. — Т. 73, № 4.
12. Шевчишин В.В. Лагранжевы вложения бутылки Клейна и комбинаторные свойства группы классов отображений // Известия Российской академии наук. Серия математическая. — 2009. — Т. 73, № 4.
13. Козлов И.К. Классификация лагранже-вых расслоений // Математический сборник. —
2010. — Т. 201, № 11.
14. Шалагинов М.Ю., Иванов М.Г., Долгопо-лов М.В. Задачи с оператором Лапласса на топологических поверхностях // Вестник Самарского гос. техн. ун-та. Серия: Физико-математические науки. — 2011. — № 2.
15. Борисович Ю.Г., Близняков Н.М., Израи-левич Я.А., Фоменко Т.Н. Введение в топологию. — М., 1995.
16. Картан Э. Риманова геометрия в ортогональном репере. — МГУ, 1960.
17. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии. — Т. 2. — М., 1981.
18. Позняк Ю.Г., Шикин Е.В. Дифференциальная геометрия: первое знакомство. — М., 1990.
