CC BY
19
УДК 514.752
DOI 10.21685/2072-3040-2018-1-3
В. Г. Шармин, Д. В. Шармин
СВОЙСТВА СФЕРИЧЕСКОГО ОБРАЗА ПРОСТРАНСТВЕННОЙ ПОЛОСЫ В E4
Аннотация.
Актуальность и цели. Исследование свойств поверхностей в различных пространствах - одна из основных задач дифференциальной геометрии. Для поверхностей в евклидовом пространстве, имеющих коразмерность, большую единицы, возникают новые геометрические характеристики и свойства, которых не имеют гиперповерхности в этом пространстве. В частности, у двумерных поверхностей в четырехмерном евклидовом пространстве появляются коэффициенты кручения. Целью данной работы является изучение свойств сферического образа двумерной поверхности, оснащенной системой нормалей без кручения, в четырехмерном евклидовом пространстве.
Материалы и методы. Используются методы дифференциальной геометрии, разработанные Э. Картаном, К. Ш. Рамазановой и А. И. Фирсовым для исследования поверхностей, имеющих коразмерность больше единицы.
Результаты. Доказаны некоторые свойства сферического образа двумерной поверхности, оснащенной системой нормалей без кручения, а также получены достаточные условия того, что он является трехмерной поверхностью.
Выводы. Исследовано строение сферического образа двумерной поверхности, оснащенной системой нормалей без кручения при выполнении некоторых дополнительных условий.
Ключевые слова: евклидово пространство, двумерная поверхность, сферическое отображение, гауссова кривизна, коэффициенты кручения поверхности.
V. G. Sharmin, D. V. Sharmin
PROPERTIES OF THE SPHERICAL IMAGE OF A SPATIAL STRIP IN E4
Abstract.
Background. The study of the properties of surfaces in various spaces is one of the main problems of differential geometry. Surfaces in Euclidean space, whose codimension is greater than one, are characterized by some new properties that do not have hypersurfaces in this space. In particular, two-dimensional surfaces in four-dimensional Euclidean space have torsion coefficients. This article is devoted to the study of the properties of a spherical image of a two-dimensional surface with a system normals without torsion in four-dimensional Euclidean space.
Materials and methods. The methods of differential geometry developed by E. Cartan, K. Sh. Ramazanova, and A. I. Firsov to study surfaces, whose codimension is greater than one.
Results. We have proved some properties of the spherical image of a two-dimensional surface with a system of normals without torsion, and also we have obtained sufficient conditions that this image is a three-dimensional surface.
Conclusions. We have investigated the structure of the spherical image of a two-dimensional surface with a system of normals without torsion, under certain additional conditions.
Key words: Euclidean space, two-dimensional surface, spherical mapping, Gaussian curvature, coefficients of torsion of the surface.
Введение
В работе [1] определена сферическая индикатриса произвольной пространственной кривой и изучены свойства этой индикатрисы. В монографии [2] установлена связь между геодезической кривизной пространственной полосы и геодезической кривизной ее сферического образа.
В. Т. Фоменко в статье [3] ввел понятие нормального кручения и провел полную классификацию поверхностей в четырехмерном пространстве постоянной кривизны, для которых нормальное кручение тождественно равно нулю.
И. И. Бодренко получила необходимое и достаточное условие того, что 2 4
поверхность F в E имеет постоянное гауссово кручение % = const ^ 0 [4].
В работе В. А. Есина [5] изучались свойства сферического отображения
поверхности Vp в Ep+2 , определенного с помощью орта данной нормали.
В ряде своих работ авторы настоящей статьи исследовали двумерные
поверхности в E4 и их сферические образы.
Так, в статье [6] выведена формула, позволяющая вычислять кривизну
сферического образа двумерной поверхности в E4 , оснащенной системой нормалей без кручения, через геометрические характеристики исходной поверхности. В работе [7] результат был перенесен на многомерный случай.
Статья [8] посвящена обобщению формулы работы [6] на случай поверхности в четырехмерном евклидовом пространстве, имеющей ненулевые коэффициенты кручения.
В настоящей статье изучаются свойства сферического образа двумер-4
ной поверхности в E при некоторых дополнительных условиях.
1. Основные определения и формулы
Пусть F2 есть C3 -регулярная поверхность в евклидовом пространстве E4 , которая задается вектор-функцией
Г = г(«1, U2 ). (1)
Во всех точках этой поверхности существуют касательная и нормальная плоскости. Зададим в каждой нормальной плоскости ортонормированный
базис, состоящий из векторов n и m . На поверхности F2 появятся два век-
2
торных поля n и m . Пусть эти поля принадлежат классу C .
Определение. Поверхность F2 вместе с полем нормалей n или m будем обозначать F12 или F22 соответственно и называть пространственной полосой.
Рассмотрим отображение
: F2 ^ S3, (2)
которое каждой точке М поверхности /2 ставит в соответствие точку М' единичной гиперсферы 5" такую, что вектор с началом в точке О и концом в точке М' равен вектору п (М), где точка О - центр гиперсферы 5"3 .
2 3
Аналогично определяется отображение "2 : / ^ S .
Определение. Отображения " и "2 называются сферическими отоб-
22
ражениями пространственных полос / или / соответственно.
Определение. Функции Р1 = п^ • т и Р2 = п^ • т называются коэффи-
2
циентами кручения поверхности / , вычисленными в нормалях п и т [6]. 22 Пусть ф! = ^ Bjjdujduj и ф2 = ^ bj■dujduj - вторые квадратичные ¿,1=1 ¿,/=1 формы поверхности /2 в направлениях п и т соответственно, где В / = ruгu; • п ь/ = ruгu; •т .
22
Определение. Поверхности Ф1 и Ф2 трехмерного евклидова пространства, у которых первая квадратичная форма совпадает с первой квадратичной формой поверхности /2, а вторые квадратичные формы равны
12
ф = ф1 + ф2 и ф = ф1 - ф2 соответственно, называются ассоциированными с поверхностью /2 [9].
22
Определение. Говорят, что поверхности Ф1 и Ф 2 трехмерного евклидова пространства образуют пару Бонне, если существует изометрия одной поверхности на другую такая, что линии кривизны переходят в линии кривизны [9].
Определение. Точка на поверхности /2 называется аксиальной, если векторы В = (Вц, В12, В22) и Ь = (Ьц, Ь^, Ь22) линейно зависимы [10].
муле
Известно, что гауссова кривизна поверхности /2 вычисляется по фор-
К = К + *2, (3)
где к = В11В22 -^ , К2 = Ь11Ь22 -Ь\ , gj = гщ • г [9]. Значение К не ^11^22 - g12 g11g22 - g12 ' 1 зависит от базиса нормальной плоскости [7].
В работе [9] А. И. Фирсовым получено необходимое и достаточное условие каноничности базиса нормальной плоскости:
ВпЬ22 - 2В12^2 + В22Ьц = 0. (4)
. ал - Ь| а2 - Ь2
Определение. Величина % = 2 • 2 — 2 называется гауссовым
кручением поверхности /2, где а1, Ь1 - главные значения тензора В1 = ги и , • п ; а2, Ь2 - главные значения тензора Ь / = ^ ^ • т [11, 12].
Определение. Базис нормальной плоскости п и m , в котором коэффициенты кручения тождественно равны нулю, называется системой нормалей без кручения [9].
Определение. Поверхность, у которой система нормалей без кручения является канонической, называется поверхностью без кручения [9].
2. Коэффициенты кручения сферического образа поверхности
Если якобиан отображения (2) отличен от нуля, то К](F2) является
2 3
C -регулярной поверхностью, расположенной на единичной гиперсфере S
евклидова пространства E4 и задаваемой вектор-функцией
П = П(м1, М2). (5)
Базис касательной плоскости поверхности (5) образован векторами пы и пМ2 . Базис нормальной плоскости этой поверхности будут образовывать ^ пи2]
[n nnl5 nu2] ведливо следующее утверждение.
векторы п и m] =-1-—. Так как пИ] • m] = 0 и п^ • m] = 0, то спра-
[п,пы ,пм ]
Свойство 1. Базис нормальной плоскости п и m] =-1-— по-
[n, nи], %]
верхности K](F2) является для этой поверхности системой нормалей без кручения.
3. Базис нормальной плоскости сферического образа поверхности
В некоторой точке поверхности F2 может быть введена система координат так, что £12 = B]2 = 0 .
Выпишем для этого случая деривационные формулы [9]:
§1Ц §11u2
2 §11 1 2 §22 §11u2 §22u
ru2 + B11n + b11m'
ru + --ru2 + b12m'
2 §11 M1 2 §22
§22u1 §22u2 ,
ru2u2 = ru1 + ru2 + B22n + b22m'
B11
—ru1 + P1m §11 1
b11 b12
mu1 =--ru1--ru2 - №
1 §11 1 §22 2
B
22
§22
ru2 + P2m'
b12 b22
mu2 =--ru1--ru2 - P2n.
§11 §22
Введем обозначения:
Bn „ B22
§11
§22
Разложим вектор m] по базису ги , гм , п, m :
m1 = A • ru + B • ru + C • n + D • m.
(6)
(7)
(8)
Н] М2
Умножая скалярно равенство (8) поочередно на векторы пИ] , пи2 , п и учитывая, что пИ] • m] = 0 , пи2 • m] = 0, п • m] = 0 и = ], получим систему уравнений:
'-¿т] + °Р] = 0 - ВР£22 + Ор2 = 0
'С = 0
_ А2 £]] + В2 £ 22+^ = ].
(9)
Легко видеть, что если р] = Р2 = 0, то m] = m .
Свойство 2. Если базис нормальной плоскости п и m поверхности
F является системой нормалей без кручения, то
B11 B22 , „ —LL = или b12 = 0.
(10)
£]] £22
2
Доказательство. Запишем уравнение Риччи для поверхности F [9]:
£]] 0 £22 Р]и2 - Р2щ = В]] 0 В22 . (]])
Ь]] Ь]2 Ь22
Поскольку р] = Р2 = 0, то определитель из (]]) равен нулю.
4. Свойства сферического образа пространственной полосы в Е4
Пусть поверхность F2 оснащена системой нормалей п и m без кру-
чения.
Пользуясь деривационными формулами (6), вычислим коэффициенты вторых квадратичных форм поверхности К](F2) в направлении нормалей пи m]:
В11 = -аВ1Ь В12 = 0, В22 = -(В22,
¿11 =-«Ьц, ¿^12 =-«Ь12 =-РЬ»12, Ь>22 =-(ЗЬ22. (12)
Свойство 3. Нормали п и т поверхности /2 являются каноническими тогда и только тогда, когда каноническими являются нормали п и т1 по-
2
верхности и>1(/ ).
Доказательство следует из равенств (12), свойства 1 и определения канонических нормалей.
2
Свойство 4. Для того чтобы точка на поверхности / была аксиальной, необходимо и достаточно, чтобы ее сферический образ на поверхности
2
"1 (/ ) являлся аксиальной точкой.
Доказательство. Из определения аксиальной точки следует, что на поверхности /2 в такой точке ¿12 = 0 и = -¿2^. Тогда из формул (12) сле-
В11 В22
дует доказательство свойства 4.
Пользуясь определением гауссова кручения, получаем, что гауссово
кручение поверхности /2 равно нулю тогда и только тогда, когда Вц = В22
или Ьц = ¿22, ¿12 = 0.
2
Гауссово же кручение поверхности "1 (/ ) равно нулю тогда и только
ВП В22 В11Ь11 В22Ь22 г. п
тогда, когда —— = ^^ или 11 11 = 22 22 , Ь12 = 0. Й1 Й2 Й1 .?22 Свойство 5. Если а = (, то для того чтобы гауссово кручение в некоторой точке поверхности /2 было равно нулю, необходимо и достаточно, чтобы гауссово кручение в соответствующей точке поверхности и>1(/2) тоже было равно нулю.
Свойство 6. Если а = ( и ¿12 = 0, то гауссовы кручения 2 и
/2) поверхностей /2 и и>1(/2) соответственно связаны равенством / 2) =а(Х/ 2.
5. Локальное строение сферического образа
пространственной полосы в Е
2
Пусть поверхность / оснащена полем нормалей п и т без кручения и К1 Ф 0.
2
Предположим, что на поверхности / имеется аксиальная точка М0 . Тогда в силу определения аксиальной точки в точке М0 имеем ¿12 = 0 и
¿Х = . в точке Мд поверхности /2 возможен один из вариантов: В11 В22
1) К1 > 0 и К2 > 0 ;
2) К] < 0 и К2 < 0 ;
3) К] Ф 0 и К2 = 0 .
Гауссова кривизна ее сферического образа К](F2) вычисляется по
формуле [6]:
К2
К = ] + -2, (]3)
К]
поэтому в точке К] (Мд) гауссова кривизна не меньше ]. Таким образом, доказана
Теорема 1. Пусть поверхность F2 оснащена полем нормалей п и m без кручения и К] Ф 0. Если на поверхности F2 существует аксиальная точка, то найдется такая окрестность и (М0), что гауссова кривизна К поверхности К](и (М0)) не меньше ].
Следствие 1. Если поверхность F2 состоит из аксиальных точек, то ее
сферический образ 2) является трехмерным, т.е. существует гиперплос-
3 2 3 3
кость Е такая, что К](F ) с Е п £ .
Следствие 2. Если поверхность F2 состоит из аксиальных точек и является поверхностью без кручения, то ее сферический образ лежит на еди-
2 3
ничной двумерной сфере S с S .
Теорема 2. Пусть поверхность F2 является поверхностью без кручения. Если в некоторой точке М0 поверхности F2 |Ъгг| < |Вгг|, Ъ]2 = 0, то найдется такая окрестность и(М0), что гауссова кривизна К поверхности К] (и (М0)) положительна.
Доказательство. Условие каноничности нормалей в точке М0 имеет
вид
Ъ]] = Ъ22
B11 B22
(14)
Если Ъц = Ъ22 = 0 , то точка М0 является аксиальной. Значит, согласно теореме ], утверждение доказано.
Пусть Ъ]] Ф 0, Ъ22 Ф 0, тогда К] и К2 имеют разные знаки. Тогда, если
|ЪЙ| < \Ви |, Ъ]2 = 0 , в точке М0 получим |К] > . В точке К](М0) гауссова
кривизна положительна. Учитывая непрерывность гауссовой кривизны, получаем утверждение теоремы.
Теорема 3. Пусть для поверхности F2 справедливо неравенство
1Г >-], (]5)
К]
тогда ее сферический образ либо лежит в некоторой гиперплоскости, либо ассоциированные с ним поверхности составляют пару Бонне.
Доказательство. Исходя из условия (15) и формулы (13), получаем, что гауссова кривизна поверхности t>i(F2) положительна. Таким образом, 2
поверхность t>i(F ) удовлетворяет условиям теоремы 6 [9], что и доказывает теорему.
Замечание 1. Теорема 3 применима к поверхностям, удовлетворяющим условиям теоремы 1 или теоремы 2.
Замечание 2. Примером поверхности, неудовлетворяющей условию
теоремы 3, является плоский тор в E4
r = г(ф, = (cos ф, sin ф,cos ^,sin (16)
Сферическим образом плоского тора, если система нормалей n и m каноническая, является плоский тор. Гауссовы кривизны плоского тора и его сферического образа равны нулю. Для плоского тора не существует гиперплоскости такой, что плоский тор принадлежит этой гиперплоскости.
Заключение
Таким образом, доказаны некоторые свойства сферического образа поверхностей с системой нормалей без кручения в четырехмерном евклидовом пространстве.
Библиографический список
1. Выгодский, М. Я. Дифференциальная геометрия / М. Я. Выгодский. - М. ; Л. : Государственное издательство технико-теоретической литературы, 1949. - 512 с.
2. Бакельман, И. Я. Введение в дифференциальную геометрию «в целом» / И. Я. Бакельман, А. Л. Вернер, Б. Е. Кантор. - М. : Наука, 1973. - 440 с.
3. Фоменко, В. Т. Классификация двумерных поверхностей с нулевым нормальным кручением в четырехмерном пространстве постоянной кривизны / В. Т. Фоменко // Математические заметки. - 2004. - Т. 75, № 5. - С. 744-756.
4. Бодренко, И. И. Характеристический признак поверхностей с постоянным гауссовым кручением в E4 / И. И. Бодренко // Вестник Волгоградского государственного университета. Сер. 1. - 2013. - № 2. - С. 13-17.
5. Есин, В. А. О сферическом отображении поверхности VpcEp+2 / В. А. Есин // Научные ведомости Белгородского государственного университета. Сер.: Мат. Физ. - 2008. - № 15. - С. 55-57.
6. Шармин, В. Г. Сферическое отображение пространственной полосы / В. Г. Шармин // Исследования по теории поверхностей постоянной кривизны. -Л. : Изд-во ЛГПИ им. А. И. Герцена, 1987. - С. 98-100.
7. Шармина, Т. Н. Связь гауссовой кривизны двумерной поверхности в (n + 2)-мерном евклидовом пространстве с гауссовой кривизной ее сферического образа / Т. Н. Шармина, В. Г. Шармин // Альманах современной науки и образования. -2010. - № 1 (32). Ч. 1. - С. 33-36.
8. Шармин, В. Г. Кривизна сферического образа двумерной поверхности с ненулевым кручением в E 4 / В. Г. Шармин, Т. Н. Шармина // Вестник Бурятского университета. Математика, информатика. - 2017. - № 1. - С. 3-9.
9. Фирсов, А. И. Канонические нормали поверхности большой коразмерности / А. И. Фирсов // Вестник Московского университета. Сер. 1: Механика. Математика. - 1976. - № 2. - С. 37-42.
10. Схоутен, И. А. Введение в новые методы дифференциальной геометрии / И. А. Схоутен, Д. Я. Стройк. - М. : ГИИЛ, 1948. - Т. 2. - 348 с.
11. Рамазанова, К. Ш. Теория кривизны Х2 в E4 / К. Ш. Рамазанова // Известия вузов. Математика. - 1966. - № 6. - С. 137-143.
12. Картан, Э. Риманова геометрия в ортогональном репере / Э. Картан. - М. : Изд-во МГУ, 1960. - 307 с.
References
1. Vygodskiy M. Ya. Differentsial'naya §eometriya [Differential geometry]. Moscow; Leningrad: Gosudarstvennoe izdatel'stvo tekhniko-teoreticheskoy literatury, 1949, 512 p.
2. Bakel'man I. Ya., Verner A. L., Kantor B. E. Vvedenie v differentsial'nuyu §eometriyu «v tselom» [Introduction to differential geometry "in general"]. Moscow: Nauka, 1973, 440 p.
3. Fomenko V. T. Matematicheskie zametki [Mathematical notes]. 2004, vol. 75, no. 5, pp. 744-756.
4. Bodrenko I. I. Vestnik Vol§o§radsko§o §osudarstvenno§o universiteta. Ser. 1 [Bulletin of Volgograd State University. Series 1]. 2013, no. 2, pp. 13-17.
5. Esin V. A. Nauchnye vedomosti Bel§orodsko§o §osudarstvenno§o universiteta. Ser.: Mat. Fiz. [Proceedings of BelSU. Mathematics. Physics]. 2008, no. 15, pp. 55-57.
6. Sharmin V. G. Issledovaniya po teorii poverkhnostey postoyannoy krivizny [Research on the theory of surfaces of constant curvature]. Leningrad: Izd-vo LGPI im. A. I. Gertsena, 1987, pp. 98-100.
7. Sharmina T. N., Sharmin V. G. Al'manakh sovremennoy nauki i obrazovaniya [Almanac of modern science and education]. 2010, no. 1 (32), part 1, pp. 33-36.
8. Sharmin V. G., Sharmina T. N. Vestnik Buryatsko§o universiteta. Matematika, in-formatika [Bulletin of Buryat University. Mathematics, computer science]. 2017, no. 1, pp. 3-9.
9. Firsov A. I. Vestnik Moskovsko§o universiteta. Ser. 1: Mekhanika. Matematika [Bulletin of Moscow State University. Mechanics. Mathematics]. 1976, no. 2, pp. 37-42.
10. Skhouten I. A., Stroyk D. Ya. Vvedenie v novye metody differentsial'noy §eometrii [Introduction into new methods of differential geometry]. Moscow: GIIL, 1948, vol. 2, 348 p.
11. Ramazanova K. Sh. Izvestiya vuzov. Matematika [University proceedings. Mathematics]. 1966, no. 6, pp. 137-143.
12. Kartan E. Rimanova §eometriya v orto§onal'nom repere [Riemannian geometry in the orthogonal frame]. Moscow: Izd-vo MGU, 1960, 307 p.
Шармин Валентин Геннадьевич
кандидат физико-математических наук, доцент, кафедра алгебры и математической логики, Тюменский государственный университет (Россия, г. Тюмень, ул. Володарского, 6)
E-mail: sharmin@utmn.ru
Шармин Дмитрий Валентинович
кандидат педагогических наук, доцент, кафедра математики и информатики, Тюменский государственный университет (Россия, г. Тюмень, ул. Володарского, 6)
E-mail: dsharmin@mail.ru
Sharmin Valentin Gennad'evich Candidate of physical and mathematical sciences, associate professor, sub-department of algebra and mathematical logic, Tyumen State University (6 Volodarskogo street, Tyumen, Russia)
Sharmin Dmitriy Valentinovich Candidate of pedagogical sciences, associate professor, sub-department of mathematics and informatics, Tyumen State University (6 Volodarskogo street, Tyumen, Russia)
УДК 514.752 Шармин, В. Г.
Свойства сферического образа пространственной полосы в E4 /
B. Г. Шармин, Д. В. Шармин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2018. - № 1 (45). -
C. 36-45. - DOI 10.21685/2072-3040-2018-1-3.
