Научная статья на тему 'Односторонние поверхности в e 4'

Односторонние поверхности в e 4 Текст научной статьи по специальности «Математика»

CC BY
307
87
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БУТЫЛКА КЛЕЙНА / ЛИСТ МЕБИУСА / СКРЕЩЕННЫЙ КОЛПАК / KLEIN BOTTLE / MOBIUS BAND / CROSS-CAP

Аннотация научной статьи по математике, автор научной работы — Чешкова Мира Артемовна

Пусть вдоль замкнутой кривой на поверхности в Е 3 обносится нормальный вектор. Если при возвращении в исходную точку направление нормали совпадает с исходным, независимо от выбора кривой, то поверхность называется двусторонней. В противном случае имеем одностороннюю поверхность. Простейшей односторонней поверхностью в Е 3 является лист Мебиуса. К односторонним поверхностям в Е 3 относятся также скрещенный колпак, бутылка Клейна. В работе определяются уравнения листа Мебиуса, бутылки Клейна и скрещенного колпака в Е 4. Определена замкнутая кривая s = s (v) и нормальный вектор n = n(v), который обносится вдоль этой кривой, и при возвращении в исходную точку направление нормали совпадает с противоположным. Рассматриваемые поверхности есть односторонние поверхности. С помощью системы компьютерной математики строятся индикатрисы нормальной кривизны исследуемых поверхностей вдоль найденной замкнутой кривой. Показано, что в случае листа Мебиуса и бутылки Клейна это либо эллипс, либо отрезок прямой, проходящие через точки найденной замкнутой кривой. В случае скрещенного колпака эллипс не проходит через точки этой кривой. Построен график скалярной кривизны для листа Мебиуса.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Let a normal vector be defined along a closed curve on the surfaces. If we return to the starting point and the normal direction coincides with the original, regardless of the choice of the curve, then the surface is called bilateral. Otherwise, we have a one-sided surface. The Mobius band is a one-sided surface in E 3. A cross-cap and a Klein bottle are also one-sided surfaces in E 3. In the paper, we present equations of the Mobius band, the Klein bottle and the cross-cap in E 4. We define a closed curve s = s(v) and the normal vector n = n(v) that goes along the curve s and returns to the starting point with an opposite direction. The examined surface is the one-sided surface. With the help of a computer mathematics system we calculate normal curvature indicatrixes for examined surfaces along the defined closed curve. We demonstrate that in the case of the Mobius band and the Klein bottle it is a line segment or an ellipse passing through points of the curve. For the case of the cross-cap it is an ellipse that does not pass through points of the curve. Additionally, we plot a graph of scalar curvature for the Mobius band, the Klein bottle, and the cross-cap.

Текст научной работы на тему «Односторонние поверхности в e 4»

УДК 51

Односторонние поверхности в E4

М.А. Чешкова

Алтайский государственный университет (Барнаул, Россия)

Оne-sided Surfaces in E4

M.A. Cheshkova

Altai State University (Barnaul, Russia)

Пусть вдоль замкнутой кривой на поверхности в Е3 обносится нормальный вектор. Если при возвращении в исходную точку направление нормали совпадает с исходным, независимо от выбора кривой, то поверхность называется двусторонней. В противном случае имеем одностороннюю поверхность. Простейшей односторонней поверхностью в Е 3 является лист Мебиуса. К односторонним поверхностям в Е3 относятся также скрещенный колпак, бутылка Клейна. В работе определяются уравнения листа Мебиуса, бутылки Клейна и скрещенного колпака в Е4. Определена замкнутая кривая в = в (у) и нормальный вектор п = = п(у), который обносится вдоль этой кривой, и при возвращении в исходную точку направление нормали совпадает с противоположным. Рассматриваемые поверхности есть односторонние поверхности. С помощью системы компьютерной математики строятся индикатрисы нормальной кривизны исследуемых поверхностей вдоль найденной замкнутой кривой. Показано, что в случае листа Мебиуса и бутылки Клейна это либо эллипс, либо отрезок прямой, проходящие через точки найденной замкнутой кривой. В случае скрещенного колпака эллипс не проходит через точки этой кривой. Построен график скалярной кривизны для листа Мебиуса.

Ключевые слова: бутылка Клейна, лист Мебиуса, скрещенный колпак.

БОТ 10.14258/^уа8и(2015)1.1-21

Let a normal vector be defined along a closed curve on the surfaces. If we return to the starting point and the normal direction coincides with the original, regardless of the choice of the curve, then the surface is called bilateral. Otherwise, we have a one-sided surface. The Mobius band is a one-sided surface in E3. A cross-cap and a Klein bottle are also one-sided surfaces in E3. In the paper, we present equations of the Mobius band, the Klein bottle and the cross-cap in E4. We define a closed curve s = s(v) and the normal vector n = n(v) that goes along the curve s and returns to the starting point with an opposite direction. The examined surface is the one-sided surface. With the help of a computer mathematics system we calculate normal curvature indicatrixes for examined surfaces along the defined closed curve. We demonstrate that in the case of the Mobius band and the Klein bottle it is a line segment or an ellipse passing through points of the curve. For the case of the cross-cap it is an ellipse that does not pass through points of the curve. Additionally, we plot a graph of scalar curvature for the Mobius band, the Klein bottle, and the cross-cap.

Key words: Klein bottle, Mobius band, cross-cap.

Впервые уравнение односторонней поверхности, открытой Мебиусом, было получено Машке [1]. Если гауссова кривизна листа Мебиуса равна нулю, то он называется плоским. Библиография работ на эту тему дана в работе [2].

К односторонним поверхностям относятся: скрещенный колпак [3], бутылка Клейна [3; 4]. В работах [4; 5] показано разрезание бутылки Клейна на два листа Мебиуса. В [6] исследуется плоский лист Мебиуса.

В евклидовом пространстве Е4 рассмотрим гладкую замкнутую неплоскую кривую 7

без самопересечения, заданную 4п-периодической вектор-функцией р = р(у), которая не является 2п-периодической и 2п-антипериодической. Так как р(у) = р(у + 4п), то функция

= \{p{v)+p{v + 2тг))

(1)

есть 2п-периодическая, не равная нулю, а вектор-функция

1(V) = \(P(V)-P(V + 2K)) есть 2п-антипериодическая, не равная нулю.

С помощью этих функций построим примеры односторонних поверхностей.

Пусть вдоль замкнутой кривой на поверхности обносится нормальный вектор. Если при возвращении в исходную точку направление нормали совпадает с исходным, независимо от выбора кривой, то поверхность называется двусторонней. В противном случае имеем одностороннюю поверхность.

Рассмотрим линейчатую поверхность М

г(м, у) = в(у) + и/(у).

(3)

Если при этом кривая в = в (у) невырожденная, а вектор /(у) не параллелен постоянному, то когда точка кривой в = в (-у) завершит полный оборот, то прямая Ь = (в(у),/(у)) сменит направление на противоположное.

Вектор-функция г(и,у) = в(у) + и/(у) определяет лист Мебиуса, для которого в = в (у) — средняя линия, а р = р(у) = г(1, у) - край.

Определим поверхность К уравнением

г(м, у) = в(у) + 8ш(и)/(у) + + вт(2и)(/(у + п) + ! (у)е), (4)

и = 0,.., 2п, у = 0,.., 2п, где / = f (у) — 2п-анти-периодическая функция, а вектор е есть постоянный.

Вектор /(у)е удобно выбрать так, чтобы векторы /(у), /(у + п) + f (у)е были ортогональные.

Рассмотрим еще одну замкнутую поверхность

Р:

г(и, у) = в(у) + еов(и)/(у) + вш(и)в(у). (5)

В Е3, когда кривая задана на торе, поверхность М (3) есть лист Мебиуса, поверхность К (4) — бутылка Клейна, а поверхность Р (5) является моделью проективной плоскости. Если от этой модели отрезать плоскостью небольшой диск, то оставшаяся часть есть скрещенный колпак.

Будем исследовать эти поверхности, когда кривая р = р(у) расположена на тороидальной гиперповерхности Т в Е4.

Гиперповерхность Т получается при движении сферы вдоль окружности, причем 3-пространство, в котором расположена сфера, ортогонально окружности и центр сферы лежит на окружности.

Зададим окружность радиуса Д в виде:

г(у) = Де(у),е(у) = (еов(у), вт(у), 0,0), и сферу радиуса г:

г(и, ад) = г(еов(и)е(уо) + вт(и)6(ад)), 6(ад) = (0, 0, еов(ад), вт(ад)).

Параметрическое уравнение гиперповерхности Т примет вид:

г(и, у, ад) = ((Д + г еов(и)) еов(у), (Д + г еов(и)) вт(у), г8т(и) еов(ад), г вт(и) вт(ад)). (6)

Неявная форма задания гиперповерхности Т

(X + + + + Д2 - г2)2 = 4Д2(х2 + х2).

Кривую на гиперповерхности Т зададим уравнениями ад = у, м = ■|. Имеем

уу

/э(у) = ((Д + г соз( —)) соз(у), (Д + гсоз(-)) зт(у), уу

г вт( —) соз(у), г вт( —) зт(у)). (7)

Исследуем поверхности (3)-(5) в Е4. Лист Мебиуса. Рассмотрим ортобазис

а(у) = (0,0, еов(у), вт(у)),

а' = (0, 0, — вт(у), еов(у)),

е(у) = (еов(у), вт(у), 0,0),

е' = (— вт(у), еов(у), 0, 0).

В евклидовом пространстве Е4 рассмотрим линейчатую поверхность М, полагая в (7) Д = г = 1. Имеем

уу в(у) = е(у), /(у) = сов(-)е(у) + вт(-)а(у); (8)

, 1 у 1 у

/(у) = --зт(-)е(у) + -соъ{-)а{у)+

у ' у '

+ соъ{-)е (у) + вт(-)а (у). (9)

Таким образом,

уу

г (и, у) = (1 + и соэ( —)) е(у) + и в1п( — )а(у), (10)

и = —1 < и < 1, 0 < у < 2п. Исследуем эту поверхность.

г1 = г„ = /(у), г2 = гу = е'(у) + и/'(у)|„=о = е'(у).

Касательное пространство в точках средней окружности ^(и = 0) : в = е(у) имеет вид:

ТрМ = {/(у),е'(у)},р С

Векторы /(у), е'(у) — ортогональные и единичные.

Рассмотрим два единичных нормальых вектора в нормальном пространстве в точках средней окружности S.

= -зт(-)е(у)+

у /

+ сов( — )а(у), п2(у) = а (у).

(11)

Замечаем, что пх(у + 2п) = —пх(у) и базисы |г1(у),г2(у)} = {/(у), е'(у)}, {п(у + 2п),Г2(у+ +2п)} = {/(у + 2п),е'(у + 2п)} противоположно ориентированы.

Таким образом, поверхность М односторонняя.

Итак:

{р,П1(у),П2(у)},р С

' г] 'Ч --- ' I],

Г12 = /'(у), Г22 |т = —е(у);

ь11 = 0, Ь21 = 0, ь12 = 1/2, 6?2 = вш(у/2), 622 =зш(у/2),б22 =0.

Переходя к двойному углу, получим

1 у 1

6(4,4)(у) = (-8 т(-) + -8ш(2/3)-

1 у

--соз(2/3)8т(-))п1(г;)+ у

+ 8т(2/3)зт(-)п2(у).

(12)

Замечаем, что индикатриса проходит через точку окружности (при в = 0), а в точке А(0,0) она вырождается в отрезок прямой 6(4,4) = = ^ зт(2/3)п1(0). В этом случае /(0) = е(0), и образующая прямая принадлежит плоскости окружности.

Так как = зт(|), то убеждаемся, что

эллипсы в точках р(0, у),р*(0, 2п — у) идентичны.

Таким образом, имеет место следующее утверждение.

Теорема 1. Индикатриса нормальной кривизны в точке окружности в = е(у) листа Мебиуса есть эллипс, проходящий через эту точку, либо отрезок прямой. Эллипсы в точках р(0, у),р*(0, 2п — у) равны.

Следствие 1. В любой точке кривой в = = е(у) листа Мебиуса существует асимптотическое направление. В точке в = е(0) их два.

Доказательство. Асимптотическое направление 4 = (41,42) определится из системы

6Х(4,4) = ъуч* = 42(4Х + зт(^)42) = 0;

Пусть 4 = 4® г € ТрМ,р € М, Г1 = г„, Г2 = гу — касательный вектор, длина которого равна единице. Рассмотрим вектор нормальной кривизны 6 = 6(4, Ь), где 6(4,4) — вторая фундаментальная форма поверхности М.

Зафиксируем точку р, а вектор 4 будем менять. Тогда концы вектора нормальной кривизны с началом в р опишут в ТрМ^ кривую, называемую индикатрисой нормальной кривизны [7]. Индикатриса нормальной кривизны есть эллипс либо отрезок прямой.

Определим индикатрису нормальной кривизны листа Мебиуса в точках р С 5.

Имеем

4 = ео8(в)г1 + вш(в)г2, 6(4, 4) = = (еов(в )2 611 + 2 эт(в )еов(в)612 + + вт(в)2 622)п1 + +(еов(в)2 6?1 + +2э1п(в )еов(в)622 + 8т(в )2 622)п2;

61 =< Г] ,п1 >,627- =< Г] ,п2 >,гц = 0,

2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

б2(4, 4) = 62,4¥ = зт(^)4241 = 0.

Имеем общее решение 42 = 0. Если у = 0, то два решения: 41 = 0, 42 = 0.

Построим индикатрису в точках А(0,0), В(0,п/12), С(0,п) (рис. 1).

Рис. 1. Индикатриса листа Мебиуса точках А(0,0), В(0,п/12), С(0,п)

-0.5 ■

-0.5-

Рис. 2. Индикатриса бутылки Клейна в точках А(0, 2атсЬд(2)),Б(0, 2атсЬд(2)+п/4), С(0, 2атсЬд(2)+п)

Рис. 3. Индикатриса скрещенного колпака в точках А(п/2, 0), Б(п/2, п/12), С(п/2, п)

Бутылка Клейна. Определим поверхность К уравнением

г(и, у) = е(у) + вт(и)/(у) + вт(2и)/(у + п)),

и = 0 < и < 2п, 0 < у < 2п; (13)

е(у + п) = —е(у), а(у + п) = —а(у), уу

/(у + 7г) = 8т(-)е(у) - сов(-)а(г'). (14)

Кроме того,

< /(у), /(у + п) >= 0, |/(у)| = |/(у + п)| = 1.

Определим касательное и нормальное пространства к поверхности К С Е4 в точках окружности. Имеем

г1 = ги = еов(и)/(у) + 2 еов(2и)/(у + п); (15)

г2 = гу = е'(у) + вт(и)/'(у) + вш(2и)/'(у + п). (16) Вдоль окружности и = 0

г1 = /(у) + 2/(у + п),г2 = е'(у). (17)

Касательное пространство в точках средней окружности 5 : в = е(у) имеет вид ТрК = {/(у)+ +2/(у + п), е'(у)}, р С

Векторы -|=(/(и) + 21(г' + 7г)), е'(г') ортогональные и единичные.

Рассмотрим два единичных нормальных вектора в нормальном пространстве в точках средней окружности 5.

гмН = -1=(-21(1>) + 1(1> + 7г)),П2(1>) = а'(1>). (18) V 5

Замечаем, что «1(у + 2п) = — «4 (у) и базисы {г1(у),г2(у)} = {/(у) + 2/(у + п), е'(у)}, {п(у+ +2п), г2(у + 2п)} = {/(у + 2п)+2/(у + п + 2п),е'(у+ +2п)} противоположно ориентированы. Имеем ТрК^ = {р, «1, «2}, р С Определим индикатрису в точках р С 5.

г11 = — 8ш(и)/(у) — 4вш(2и)/(у + п)|и=о = г12 = еов(и)/'(у) + 2 еов(2и)/'(у + п) |И=0

= /'(у) + 2/'(у + п) = (/(у) + 2/(у + п))' = уу

= (со8(-) + 28т(-))'ф)+

у у у

+ (вт(-) - 2со8(-))'а(г») + (сов(-)+

V V V

+2sin(-))e» + (sin(-) - 2cos(-))a»;

Г22 = e''(v) + sin(u)Z''(v)+ sin(2u)Z''(v + n)|u=0 = —e(v), = 0, &2i = 0,

V5 2

b\2 = 2 =зтф -2cos(-);

Ч2 = ^=(-2совф + sin(|)), bj2 = 0; Положим t = cos(ß)^ + sin(/3)r2. Тогда

= (--в т(2/3)+

1 — еов(2в),

уу

+ 8т(2у8)(-2со8(-) + 8т(-))п2И.

Это уравнение эллипса, проходящего через точку окружности, причем при — 2соз(-|)+ + = 0 он вырождается в отрезок прямой.

Убеждаемся, что эллипсы в точкахр(0, 2аге£д(2)+ +у), р*(0, 2агсйд(2) + 2п — у) идентичны.

Таким образом, имеет место следующая теорема.

Теорема 2. Индикатриса бутылки Клейна в точке окружности г = е(у) есть эллипс, проходящий через эту точку, либо отрезок прямой. Эллипсы в точках р(0, 2агсйд(2) + у), р*(0, 2агсйд(2) + 2п — у) равны.

Следствие 2. В любой точке кривой в = е(у) бутылки Клейна существует асимптотическое направление. В точке в = е(2агсйд(2)) их два.

Постоим индикатрису бутылки Клейна в точках окружности (рис. 2).

Скрещенный колпак. Рассмотрим поверхность Р:

г(и, у) = е(у) + еов(и)/(у) + вш(и)е(у), (19)

и = 0 < и < 2п, 0 < у < 2п.

Окружность 5 определяется уравнением г(п/2, у) = 2е(у).

Определим касательное и нормальное пространства к поверхности Р С Е4 в точках окружности.

Имеем

г1 = ги = еов(и)е(у) — вш(и)/(у); (20)

г2 = г« = (1 + вт(и))е'(у) + еов(и)/'(у). (21)

Вдоль окружности и = п/2

Касательное пространство в точках средней окружности 5 : в = 2е(у) примет вид:

ТрР = {/(у), е'(у)}, р С

Замечаем, что векторы е'(у), /(у) ортогональные и единичные.

Рассмотрим два единичных нормальных вектора в нормальном пространстве в точках средней окружности 5.

у

п !(у) = -зт(-)е(г;)+

у'

+ сов( — )а(у), п2(г>) = а (г>). (23)

Замечаем, что «1(у + 2п) = — «4 (у) и базисы {г 1 (у), г2 (у)} = {/(у) + 2/(у + п), е'(у)},{г1(у+ +2п), г2(у + 2п)} = {/(у + 2п) + 2/(у + п + 2п), е'(у + 2п)} противоположно ориентированы.

Итак, ТрР^ = {р, «1,«2},р С

Определим индикатрису нормальной кривизны поверхности Р в точках р С 5. Имеем

г11 = гии |и=п/2 = —е(у);

г12 = ги« = |и=п/2 = —/'(у); г22 = гт |и=п/2 = —2е(у).

1

2'

bJi = sin(-),6?1 = 0,6^ ь\2 = -sin(^),6^2 = 2sin(^),&:

2

2

22

0.

Положим t = cos(/3)ri + sin(/3)^-. Переходя к двойному углу, получим

,3

1

b(t, t)(v) = (— sin( —) — — sin(2/3) —

Ч

2' 4

ri = —Z(v),, Г2 = 2e'(v).

(22)

1 v -4 sin(-)cos(2/3))ni(i;)-

1 v

--sin(2/?)sin(-)n2H.

Это уравнение эллипса, при v =0 он вырождается в отрезок прямой b(t, t) = — j sin((2/3)ni(0).

Так как sin( ) = sin(|), то убеждаемся, что эллипсы в точках p(n/2, v), p*(n/2, 2п — v) идентичны.

Таким образом, имеет место следующая теорема.

Теорема 3. Индикатриса нормальной кривизны в точках окружности скрещенного колпака есть эллипс либо отрезок прямой. Эллипсы в точках p(n/2, v),p*(n/2, 2п — v) равны.

Следствие 3. Только в одной точке v =0 кривой s = 2e(v) скрещенного колпака существует асимптотическое направление, причем их два.

Построим эти кривые (рис. 3).

2

Библиографический список

1. Mashke H. Note on the Unilateral Surface of Moebius // Trans. Amer. Math. Sos. —1900. — V. 1, №1.

2. Сабитов И.Х. Изометрические погружения и вложения плоского листа Мебиуса в евклидовы пространства // Известия РАН. — 2007. — Т. 71, №5.

3. Кривошапко С.Н., Иванов В.Н., Хала-би С.М. Аналитические поверхности. — М., 2006.

4. Гильберт Д., Кон-Фоссен С. Наглядная геометрия. — М., 1981.

5. Чешкова М.А. О бутылке Клейна // Известия Алтайского гос. ун-та. — 2012. — №1/1.

6. Чешкова М.А. О плоском листе Мебиуса // Известия Алтайского гос. ун-та. — 2013. — №1/2.

7. Картан Э. Риманова геоиетрия в ортогональном репере. — М., 1960.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.