Г- Л^ = ^Л7. Последнее означает, что кривая:
Х-7 = Л7 Г - 1 Г— Л^ ЛЬГ2 + <3>
1 и и и и
является инфлексионнои в точке Р кривои, соприкасающемся с некоторой геодезической связности Г.
Проводя рассуждения в обратном порядке и учитывая (5), получаем требуемый результат.
Библиографический список
1. Малаховский В.С. Дифференциальная геометрия многообразий фигур и пар фигур в однородном пространстве II Тр. геометрич. семинара / ВИНИТИ. М.,1969. Т.2. С.179-206.
2. Рыжков В.В. Дифференциальная геометрия точечных соответствий между пространствами // Геометрия. 1963. Итоги науки и техники / ВИНИТИ. М.,1965. С.65-107.
3. Рашевский П.К. Риманова геометрия и тензорный анализ. М.: Наука, 1967.
4. Андреев Б.А. Характеристические и гипохарактеристические направления отображения / // Дифференциальная геометрия многообразий фигур. Калининград, 1983. Вып.14. С.9-13.
5. Алешников И.С. Характеристические направления отображе-ния аффинного пространства в пространство гиперквадрик // Там же, 1995. Вып.26. С.5-8.
I.S.A l e s h n i k o v
AFFINE CONNECTIONS GENERATED BY THE MAPPING FROM THE AFFINE SPACE TO THE SPACE OF HYPERQUADRIC
The present work conciders a local differentiable mapping f of the affine space An to the space R(q) of hyperquadrics of the affine space Am , where n=dimR(q). Two affine connections A and у are introduced in the space An which are the generalization of known Vranceanu's connections of point mapping for the case of mapping f and their geometrics properties are investigated.
It is calculated the order of tangency of the image under the mapping f of a geodesic line of the connection A with the chain of hyperquadrics of the space R(q) which was introduced in the previous work. It is also calculated the order of tangency of the image under the mapping f of a geodesice line of the connection у with the bunch of hyperquadrics of the space R(q) tangent to the mapping f.
Besides this, the symptom of the characteristic direction of the mapping f at the point P0 is found. УДК 514.75
СТРУКТУРЫ ТЕОРИИ ТОЧЕЧНЫХ СООТВЕТСТВИЙ В ГЕОМЕТРИИ ГИПЕРПОЛОС
Б. А. А н д р е е в
(Калининградский государственный университет)
В работе показано, что нормализованная регулярная гиперполоса в проективном пространстве Рп порождает семейство точечных соответствий расширенных аффинных пространств. Это приводит к появлению структур теории точечных соответствий [1], [2] в геометрии гиперполос, что позволило получить и охарактеризовать новые геометрические образы, присоединенные к гиперполосе, а также дать новые интерпретации известным. Доказан ряд теорем, связывающих, с одной стороны, касательные дробно-линейные отображения, в том числе локальную корреляцию Чеха, связность Г.Врэнчану с соприкасающимися гиперквадриками, чебышевским вектором и двойственными аффинными связностями на гиперполосе - с другой. Введены понятия характеристических направлений и главных точек гиперполосы и получена их геометрическая интерпретация.
Применяемые в работе индексы принимают следующие значения:
1,...= 0,п; 1,...= 1,т; а ,...= т + 1,п — 1. Символ ^.^И указывает на формулу ^Ъ) статьи М.
§1. Отображение ГН. Рассмотрим ^мерное проективное пространство Р, отнесенное к точечному подвижному реперу К = |А: |; уравнения инфини-тезимальных перемещений репера Я и двойственного ему тангенциального репера |т К | имеют вид
= Ю КАК, ётК = —Ю К т\ (1.1)
К
причем формы Пфаффа Ю: удовлетворяют уравнениям структуры проективного пространства
ёюК = Ю? ЛЮК. (1.2)
Поместим вершину А0 репера в произвольную точку А т-мерной поверхности V с Рп, являющуюся базисной поверхностью регулярной гиперполосы Н, а гиперплоскость тп совместим с гиперплоскостью т плоского элемента (А,т) е Н. В репере нулевого порядка Я° система дифференциальных уравнений гиперполосы Н имеет вид [3,^15]:
Ю ° = 0, (1.3)
юа =ла ю (1.4)
«а = Ла1 Ю Ю П = ацЮ°, (15)
причем уравнения (1.3), (1.4) определяют m-мерную поверхность V.
Задание гиперполосы Н каждой точке A е V ставит в соответствие элемент т пространства Pn, двойственного к Pn. Формы Пфаффа йn, й", й J являются структурными формами пространства P^, поэтому уравнения (1.3), (1.5) являются системой дифференциальных уравнений отображения
fH:P еVa я = fH(P) еPn*,
где V определяется системой (1.3), (1.4). Из (2.14)[3] получаем для каждой точки А : rang fH =m.
В репере R1 первого порядка [3,c.16] гиперполоса Н задается уравнениями [3,c.18] :
й 0 = 0, й! = 0, й! = 0; (1.6) йn = a1JйJ0, < =Л(^й0, й! =Л>J. (1.7)
Продолжение системы (1.6), (1.7) приводит к фундаментальному объекту Г2 = Ц,Л™ ,Л^,^,Л™к,Л^к| второго порядка гиперполосы Н. Отметим
симметричность систем величин j a у | , | a^ | по всем индексам.
Пусть P е V и P = A + dA0 + ^2А0 +(3, где символ (г) означает совокупность членов порядков малости s > г относительно приращений главных параметров, и я = fH (P), л = тn + dTn + ^d2т" + (3). Для
P = A0 + x1A1 + xaAa + xnAn, л = тn + yiт1 +уата + Уот0 (1.8) из (1.6), (1.7) получаем:
У1 =-aijxJ - :2aijkxJxk + (3),
Уа = 2 a tJ ЛакxJ xk + (Уо = aijx1xJ + ?H
(1.9)
2. Отображение . Пусть гиперполоса Н двойственно нормализована [3,^21], а (n-m)-плоскость ^А) и ^-^-плоскость (А) - соответственно ее нормали 1 -го и 2-го рода в точке А. В частности, это могут быть определяемые внутренним инвариантным образом в третьей дифференциальной окрестности ее образующего элемента (А,т) нормали (6.33)[3]. Если поместить вершину Ап
репера Я1 на ^А), а вершины А - на (А), то в полученном репере имеем для ^А) и (А) соответственно:
х1 = 0, (2.1)
хп = 0, ха = 0, х° = 0. (2.2)
Множество V* = 1тГН является m-мерной поверхностью в Р*. Уравнения (1.9) можно рассматривать как ее параметрические уравнения. Очевидно, элементы пространства Р* вида % = тп + уата + уот° ( вида % = ут1 ) обра-
<
зуют нормаль 1-го рода ( 2-го рода ) поверхности V* в элементе х п , которую мы будем обозначать символом N (х) (символом ). Из (2.1), (2.2) получаем:
I л = (A), I л = N(A).
ле№"(х) ле (х)
Пусть Л е V и Tln (A) с Pn - подпространство, касательное к поверхности V в точке А. Нормали К(Р), Р е V устанавливают в некоторой окрестности и с Тп (Л) точки А диффеоморфизм
8Л:М еИс Тп(Л) а Р = 8Л(м) еV,
который определяется условием: пересечение Р) ^ Тп (Л) состоит из точки
М = 8д(Р). Двойственным образом определяется подпространство Т*(х) е Р* и диффеоморфизм
* Т Т* гр* / \ * / \ -г X*
8х :ае И с Тт(Т) а к = 8х(а)е V.
Таким образом, для каждой точки Л е V нормализованная гиперполоса Н определяет локальное дифференцируемое отображение
=(8Х)-'о^о 8 л:ТП (Л)^ ТП(х),
где х определяется условием (Л, х) е Н. Будем рассматривать т-плоскости
Тт(Л) и Т*(х), в которых заданы соответственно (т-1)-плоскости (А) и
* (х) как расширенные аффинные пространства. Из проведенных рассуждений вытекает
Теорема 2.1. Двойственно нормализованная регулярная гиперполоса Н для каждого своего элемента (Л,х) порождает локальный диффеоморфизм ^
двух m-мерных расширенных пространств Тт (Л) и Т*(х).
Из (1.8), (1.9) в репере для ^ получаем:
у1 =-a1JxJ - +(3. (2.3)
В дальнейшем, как и в (2.3), будем использовать неоднородные координаты, полагая, в соответствии с (1.8): хо = 1,уп = 1.
Гладкие отображения аффинных пространств являются объектом изучения теории точечных соответствий [1], [2], структуры которой, как вытекает из теоремы 2.1, оказываются связанными с геометрией гиперполосы Н. Рассмотрим некоторые фундаментальные понятия этой теории в контексте изучения гиперполосы Н.
3. Локальная корреляция Чеха. Рассмотрим связку корреляций К(Р1): Тт(А) ^ Тт(т), задаваемых формулами
—а^
У1 , (31)
1—Ркх
>Н
касательных к отображению в точке А. В случае точечного отображения 1 проективных пространств в связке касательных к нему в точке Р коллинеаций выделяется локальная коллинеация Чеха К( Р1° ) [4], [1], которая характеризуется
тем, что функция 1(К(Р°)) , где 1(1) и т(К(Р^)) - якобианы указанных
отображений, имеет в Р стационарную точку. Пусть | - тензор, взаимный к
| а ц | . В нашем случае отображение К( Р1° ) аналитически определяется соотно-
ч
шением
Р° = ^-ар'арЧ1 (3.2)
т +1
и является корреляцией, которую мы будем называть локальной корреляцией Чеха. Из (3.1), (3.2) вытекает, что нормаль 2-го рода
ха = 0, хп = 0, а^а^х1 — (т +1) = 0 (3.3)
является прообразом нормали * (т) при локальной корреляции Чеха. В дальнейшем при изучении геометрии гиперполосы Н сохранены наименования объектов, принятые в [3].
Теорема 3.1. Локальная корреляция отображения ^ определяется основным квазитензором | | второго порядка гиперполосы.
Доказательство. Из (6.11)[3] и (3.2) для К(Р1°) получаем
У1
a1jxj
1—т^хк
Следствие. Утверждения, аналогичные доказанному, справедливы также для остальных основных квазитензоров 2-го порядка гиперполосы Н.
Рассмотрим пучок соприкасающихся гиперквадрик (10.16)[3] гиперполосы Н. Находя поляры всех точек нормали ^А) относительно этих гиперквадрик, убеждаемся в совпадении пересечений всех этих поляр с гиперплоскостью
Тт (А) :
ха = 0, хп = 0, ^х1 = 1. (3.4)
Теорема 3.2. Нормали 2-го рода (3.3) и (3.4), порожденные соответственно локальной корреляцией Чеха и пучком соприкасающихся гиперквадрик, в
общем случае параллельны друг другу и переводятся одна в другую гомотетией т-плоскости Tm (A) \ (A) с центром в А и коэффициентом К = .
Теорема 3.3. Если локальная корреляция Чеха отображения f^ является линейным отображением, то пересечение m-плоскости Tm(Л) с полярой любой
точки нормали N(A) относительно элементов пучка соприкасающихся гиперквадрик совпадает с нормалью (А).
Доказательство. Линейность отображения K( P°) означает : P° = 0, что
равносильно равенству ^ = 0. Справедливость теоремы теперь вытекает из (10.16)[3].
4. Характеристические направления. Понятие характеристических
направлений [1] является одним из основных понятий теории точечных соответствий. Из теоремы 2.1 вытекает, что в геометрии регулярных гиперполос возникает обобщение этих направлений.
Пусть вектор Л = |лх j ( 5Л1 = — АЫ * ) задает в точке А направление,
лежащее в плоскости Tm(A). Геометрический объект 2-го порядка |a1j,a1jkj в
случае нормализованной гиперполосы Н определяет для каждой точки А множество направлений, удовлетворяющих системе
aijk AjAk = 2|аа^ Aj. (4.1)
Эти направления можно задать также уравнениями
Фpq - ai[paq]jkЛ1 AjAk = 0 (4.2)
как направления общих образующих системы кубических конусов ЛчФу = 0.
Определение 4.1. Лежащее в m-плоскости Tm (A) направление, определяемое в точке А вектором Л и удовлетворяющее системе (4.2), называется характеристическим направлением нормализованной регулярной гиперполосы Н.
Из систем (4.1) и (4.2) следует, что в общем случае в каждой точке А имеется 2m — 1 характеристическое направление. Прямые связки {A}, имеющие в точке А характеристические направления, называются характеристическими прямыми гиперполосы Н.
Теорема 4.1. Направление, задаваемое в точке А вектором Л, является характеристическим направлением гиперполосы Н в том и только в том случае, если для любой кривой l:R ^ Tm(A), определяющей в точке А это направление
и имеющей в А инфлексионную точку, кривая f^ ol:R ^ T(t) также имеет в
Т инфлексионную точку.
Доказательство вытекает из формул (1.13)[1], (4.1) и (2.3).
5. Главные точки. При изучении отображений в аффинное или нормализованное проективное пространство весьма полезным оказалось понятие главных точек [5], [6] отображения и связанное с ним понятие индикатрисы отображения. Следующие два определения обобщают их для геометрии нормализованной регулярной гиперполосы Н.
Определение 5.1. Точка P е Хт (A) называется главной точкой гиперполосы Н относительно точки А, если существует касательная к отображению ^ корреляция K^), такая, что: 1) прямая [АР] является K(Pi)-главной [1], 2)
K(Pi)(Р) е .
Множество главных точек относительно точки А обозначим символом
A
Определение 5.2. Определяемое для каждой точки А объектом { а-, а^к | инвариантное алгебраическое многообразие 1А :
а^Ххк — 2a1JxJ = 0, х« = 0, xn = 0, (5.1)
называется индикатрисой гиперполосы Н в точке А.
Очевидно : А е 1А. В общем случае индикатриса 1А является алгебраическим многообразием размерности 0 и порядка 2т. Из предложения 1 работы [5] вытекает
Теорема 5.1. Множество главных точек относительно А состоит из точек индикатрисы 1А, отличных от А:
А = 1а\ {А|. (5.2)
Следствие 1. На каждой характеристической в точке А прямой имеется единственная главная точка ( относительно точки А ).
Следствие 2. Каждая характеристическая в точке А прямая гиперполосы Н имеет вид [АР], где Р е А.
6. Обобщение связности Г.Врэнчану. Поля нормалей 1-го и 2-го рода порождают на поверхности V аффинную связность V с формами связности
О1 = ю 1, О j = ю Ji — 5 Jю °. (6.1)
Объект связности Г.Врэнчану [7], [1], присоединенный к точечному соответствию, в случае отображения ^ имеет вид
^ = а^, VГJk = —Г^к ю 0 + Г> 0. (6.2)
Действительно, из (1.10) и (6.2) вытекают соотношения (5.2)[1], определяющие объект связности Г.Врэнчану. В нашем случае объект(6.2) задает на нормализованной поверхности V аффинную связность Г, определяемую формами
О1 = ю 0, 01 = о 1 + Гк ю к, (6.3)
которые, в чем легко убедиться, как и формы (6.1), удовлетворяют известным уравнениям пространства аффинной связности. Таким образом, связность Г является обобщением связности Г.Врэнчану точечного соответствия для нормализованной гиперполосы Н.
В теории регулярных гиперполос известны двойственные аффинные связ-
1 2
ности V и V [8,с.40]. Определяющие их формы связности имеют вид (21) и (22) [8], которые в репере принимают соответственно вид (6.1) и (6.3). Отсюда
1
вытекает, что связность V тождественна связности V, и
Теорема 6.1. Обобщающая связность Г.Врэнчану точечного соответ-
2
ствия связность Г совпадает с аффинной связностью V регулярной гиперполосы Н, и таким образом, Г двойственна связности V.
Следствие. Связности Г и V сопряжены относительно главного фундаментального тензора гиперполосы.
Теорема 6.2. Пара связностей (Г, V) является чебышевской [9^.181] в том и только в том случае, если в каждой точке А е V локальная корреляция Чеха К(Р° ) является линейным отображением.
Доказательство. Оба условия определяются равенством ^ = 0.
Теорема 6.3. Пара связностей (Г, V) определяет характеристические
направления гиперполосы Н.
Доказательство. Система (4.2) равносильна системе
ф = ЛЧ]Л1 А = 0. (6.4)
Библиографический список
1. Рыжков В.В. Дифференциальная геометрия точечных соответствий между пространствами // Геометрия. 1963. Итоги науки / ВИНИТИ. М., 1965. С. 65-107.
2. Рыжков В.В. Дифференциальная геометрия точечных соответствий между пространствами // Алгебра, топология, геометрия. 1970. Итоги науки / ВИНИТИ. М., 1971. С. 153-174.
3. Попов Ю.И. Общая теория регулярных гиперполос / Калинингр. ун-т. Калининград, 1983. 82 с.
4. Чех Э. Проективная дифференциальная геометрия соответствий между двумя пространствами.1 // Чехосл. мат. журн. 1952. V. 2. № 1. P. 91-107.
5. Андреев Б.А. О распределении линейных элементов, порожденных отображением ^Рт ^ Ап (т>п) // Дифференциальная геометрия многообразий фигур. Калининград, 1979. Вып. 10. С.5-9.
6. Андреев Б.А. К геометрии дифференцируемого отображения f:Pm ^ $ (ш > П) // Там же, 1987. Вып. 18. С. 5-9.
7. Vranceanu G. Sul tensore associato ad una corrispondenza fra spazi proettivi // Boll. Unione mat. ital. 1957. 12. № 4. P. 489-506.
8. Столяров А.В. Дифференциальная геометрия полос // Проблемы геометрии / ВИНИТИ. М., 1978, Т. 10. С. 25-54.
9. Норден А.П. Пространства аффинной связности. М.: Наука, 1976.
B.A.A n d r e e v
STRUKTURES OF THE THEORY OF POINT CORRESPONDENCES IN THE GEOMETRY OF HYPERSTRIPS
The author states and solves the problem of the application of the theory of point correspondences (T.P.C.) in the projective geometry of hyperstrips. Principal notions of T.P.C., such as the bundle of tangent collineations, the local collineation of Cech, characteristic directions, K(Pa) - principal lines, prinsipal points, the Vranceanu's connection are applied and generalized to the study of dual-normalized hyperstrip H in the n-dimensional projective space Pn .
Let V be a smooth surface in Pn , where m=dimV<n-2, and P * is a dual space to Pn . We consider the hyperstrip H as a graph of the immersion fH: P e V a n e Pn, where P is incident to n.
Using the immersion f9 a local diffeomorfism fA of projective-affine spaces
which are tangent to V and V* = JmfH respectively at A and fH (A) is constructed for each point Ae V. The mapping fA is an object of study of T.P.C., which leads to the appearance of its structures in the geometry of hyperstrips. Consepts of characteristic directions and principal points are introduced and their geometric interpretation is obtained; it is proved that the set of principal points constructed for the point A determines the set of characteristic directions at it.
A number of theorems are proved which demonstrate links between the local correlation of Cech, belonging to the bundle of correlations, tangent to fA and such notions of the theory of hyperstrips as a bundle of osculating hyperquadrics, Chebyshev's
1 2
vector, dual affine connections V, V of a hyperstrip. Affine connection A is constructed on the surface V which generalizes Vranceanu's connection and it is proved
2
that A coincides with the connection V. It is also proved that the set of characteristic
12
directions is determined by the pair of connections V, V .