CC BY
29
Библиографический список
1. Буккель, В. Теория сверхпроводимости. Основы и приложения / В. Буккель. М., 1975. 361 с.
2. Воронцов, М.А. Принципы адаптивной оптики / М.А. Воронцов, В.Н. Шмальгаузен. М., 1985. 336 с.
3. Искендеров, А.Д. Вариационный метод решения обратной задачи об определении квантомеханического потенциала / А.Д. Искендеров, Г.Я. Ягубов // Докл. АН СССР. 1988. Т. 303, № 5. С. 1044-1048.
4. Ягубов, Г.Я. Оптимальное управление коэффициентом квазилинейного уравнения Шредингера: дис. .. . д-ра физ.-мат. наук / Ягубов Г.Я. Киев, 1994. 318 с.
5. Искендеров, А.Д. Оптимальное управление нелинейными квантомеханическими системами / А.Д. Искендеров, Г.Я. Ягубов // Автоматика и телемеханика. 1989. № 12. С. 27-38.
6. Ягубов, Г.Я. О вариационном методе решения многомерной обратной задачи для нелинейного нестационарного уравнения Шредингера / Г.Я. Ягубов, М.А. Му-
УДК 514.133+514.17
КОНЕЧНЫЕ ЗАМКНУТЫЕ 5-КОНТУРЫ РАСШИРЕННОЙ ГИПЕРБОЛИЧЕСКОЙ ПЛОСКОСТИ
Л.Н. Ромакина
Саратовский государственный университет, кафедра геометрии E-mail: [email protected]
На расширенной гиперболической плоскости H2 проведена классификация конечных замкнутых 5-контуров, выделены их четыре типа, инвариантных относительно фундаментальной группы G плоскости H2. Доказано, что выпуклые 5-контуры принадлежат двум типам. Внутренность 5-контура первого типа совпадает с плоскостью H2, 5-контур второго типа может быть составлен из двух простых конечных замкнутых контуров размерности 3 и 4. Его внутренность совпадает с внутренностью составляющего простого 4-контура. Исследованы топологические свойства 5-контуров.
Ключевые слова: расширенная гиперболическая плоскость, тип конечного замкнутого 5-контура, выпуклый конечный замкнутый 5-контур, род вершины 5-контура, особые точки 5-контура.
саева// Изв. АН. Аз. ССР. Сер. Физ.-тех. и мат. науки. 1994. Т. XV, № 5-6. С. 58-61.
7. Baudouin, L. Regularity for a Schrödinger equation with singular potentials and application to bilinear optimal control / L. Baudouin, O. Kavian, J.P. Puel // J. Differential Equations. 2005. Vol. 216. P. 188-222.
8. Cances, E. Controle optimal bilineare d'uno equation de Schrodinger / E. Cances, C. Le Bris, M. Pilot // C.R. Acad. Sci. Paris. 2000. Vol. 330, № 1. P. 567-571 /controle optimal/.
9. Понтрягин, Л.С. Обыкновенные дифференциальные уравнения / Л.С. Понтрягин. М., 1982. 332 с.
10. .Ладыженская, О.А. Краевые задачи математической физики / О.А. Ладыженская. М., 1973. 408 с.
11. Искендеров, А.Д. Определение потенциала в нестационарном уравнении Шредингера / А.Д. Искендеров // Проблемы математического моделирования и оптимального управления: сб. науч. ст. Баку, 2001. С. 6-36.
Finite Closed 5-Loops of Extended Hyperbolic Plane
L.N. Romakina
Saratov State University, Chair of Geometry E-mail: [email protected]
There are four types of finite closed 5-loops which are invariant by the fundamental group G and singled out on the extended hyperbolic plane H2. It is proved that convex 5-loops belong to two types. The interior of the first type 5-loop coincides with the plane H2. The 5-loop of the second type allows the partition into two simple loops of three and four dimension. Its interior coincides with the interior of the component of the simple 4-loop. The topological 5-loop properties are researched.
Key words:extended hyperbolic plane, type of finite closed 5-loop, convex finite closed 5-loop, sort of 5-loop apex, special points of 5-loop.
ВВЕДЕНИЕ
В работе [1] рассматриваются замкнутые конечные п-контуры расширенной гиперболической плоскости Н2 как совокупности отрезков АхА2, А2А3,..., Ап-1 Ап, для которых содержащие их прямые являются изотропными. Точки А15А2,...,Ап называют вершинами, прямые АхА2,А2А3,...,Ап-1 Ап,АпА1 — сторонами, а отрезки АхА2,А2А3,...,Ап-1 Ап,АпА1 — ребрами конечного замкнутого п-контура. Ребра, имеющие общую вершину, и вершины, принадлежащие одному ребру, называют смежными ребрами и вершинами соответственно.
Точку плоскости Н2 называют внутренней относительно п-контура, если она не принадлежит данному контуру, и каждая прямая, проходящая через эту точку, имеет с п-контуром не менее двух общих точек.
Непустое множество всех внутренних относительно конечного замкнутого п-контура точек плоскости Н2 называют внутренностью данного контура. Обозначение: Ш ^ — внутренность контура ^.
Каждые две точки плоскости Н2 в зависимости от положения по отношению к абсолюту могут определять: отрезок параболической прямой, два отрезка эллиптической прямой, отрезок или квазиотрезок гиперболической прямой. С учетом этого введено следующее определение выпуклого замкнутого конечного контура плоскости Н2.
Пусть замкнутый конечный контур ^ плоскости Н2 обладает внутренностью. Говорят, что отрезок (квазиотрезок) принадлежит внутренности контура ^, если каждая точка отрезка (квазиотрезка) является внутренней относительно данного контура.
Замкнутый конечный контур плоскости Н2 называют выпуклым, если для любых двух его внутренних точек существует отрезок или квазиотрезок с концами в этих точках, принадлежащий внутренности данного контура.
Свойства конечных замкнутых контуров размерности 3 и 4 подробно исследованы в работе [1]. В данной работе продолжено изучение конечных замкнутых контуров на плоскости Н2, исследованы топологические свойства указанных контуров размерности 5. В зависимости от положения на абсолютной овальной линии несобственных точек сторон контура проведена их классификация. Выделены четыре типа 5-контуров, инвариантных относительно преобразований фундаментальной группы С плоскости Н2, даны аналитические характеристики каждого типа. Решен вопрос о наличии и количестве особых точек, проведена характеристика вершин, получены аналоги предложения Паша. Доказано, что 5-контур обладает внутренностью тогда и только тогда, когда он является контуром первого или второго типа. В этих случаях контур является выпуклым. Внутренностью 5-контура первого типа является вся плоскость Н2, а внутренностью 5-контура второго типа — внутренность 4-контура, участвующего в составлении данного 5-контура из простых контуров размерности 3 и 4.
1. ТИПЫ РАЗМЕЩЕНИЙ ПЯТИ ТОЧЕК С ЗАДАННЫМ ОТНОШЕНИЕМ СОСЕДСТВА НА АБСОЛЮТНОЙ ЛИНИИ ПЛОСКОСТИ Н2
1.1. Как известно, на овальной линии проективной плоскости не существует отношения порядка для трех точек, но имеет место понятие разделенности (неразделенности) двух пар действительных точек. Пусть на овальной линии даны действительные точки А, В, С, Будем говорить, что пара точек А, В разделяет (не разделяет) пару точек С, если точка пересечения прямых АВ и С^ является внутренней (внешней) относительно овальной линии.
Пусть на овальной линии а проективной плоскости Р2 задана упорядоченная система (Т) точек: Т1,Т2,... ,ТП, п > 3. Соседними точками точки Т в системе (Т) назовем такие точки Т}, для которых |г — з| = 1, г, з = 1,п. Соседней для точки Т1 (Тп) в системе (Т) назовем также точку Тп (Т1).
Пару точек Т, Т} назовем разделенной на линии а в системе точек (Т), если в этой системе существует, по крайней мере, одна пара точек, разделяющая на линии а пару Т^Т}. В противном случае пару точек Т , Т} будем называть неразделенной на линии а в системе точек (Т).
Расположение точек системы (Т) на линии а назовем правильным, если никакая пара соседних точек системы не разделена на линии а.
При п > 4 для трех точек системы (Т) на линии а можно ввести отношение порядка: будем говорить, что в системе (Т) точка Т лежит на линии а между точками Тр и Тч, р, д = 1, п, если пара точек Тр, Тд разделена на линии а в системе точек (Т) и не разделена в системе (Т*) : (Т*)иТ = (Т). Обозначение: Тр — Т — Тч.
1.2. Рассмотрим определенную на овальной линии а плоскости Р2 упорядоченную систему четырех точек (Т*) = {1, 2,3,4}. Пусть X = (1 и 2) П (3 и 4) и У = (2 и 3) П (1 и 4). В замечании 1 к теореме 2 [1] показано, что для точек X, У возможны только следующие варианты взаимного расположения относительно линии а:
1) обе точки X, У являются внешними относительно линии а,
2) точка X является внешней, а У — внутренней относительно линии а,
3) точка У является внешней, а X — внутренней относительно линии а.
В первом случае, согласно введенным определениям, ни одна пара соседних точек системы (Т*) не разделена на линии а, т. е. расположение точек системы на линии является правильным (рис. 1, а).
Рассматриваемые точки обозначены нумерованными кружками. Во втором и третьем случаях разделены соответственно пары соседних точек 1, 2 и 3, 4 (рис. 2, а), 2, 3 и 4, 1 (рис. 3, а).
Таким образом, существует только три возможных типа расположения упорядоченной четверки точек на овальной линии а, инвариантных относительно всех преобразований плоскости Р2, сохраняющих отношение разделенности пар точек на а.
1.3. Добавим к системе (Т*) точку 5, получим новую систему: (Т) = {1, 2,3,4, 5}. В каждом из трех возможных типов расположений точек 1, 2, 3, 4 на линии а существует четыре возможных типа положений точки 5:
1) 1 - 5 - 2 (рис. 1, б), 2 - 5 - 3 (рис. 1, в), 3 - 5 - 4 (рис. 1, г), 4 - 5 - 1 (рис. 1, д);
2) 1 - 5 - 3 (рис. 2, б), 3 - 5 - 2 (рис. 2, в), 2 - 5 - 4 (рис. 2, г), 4 - 5 - 1 (рис. 2, д);
3) 1 - 5 - 2 (рис. 3, б), 2 - 5 - 4 (рис. 3, в), 4 - 5 - 3 (рис. 3, г), 3 - 5 - 1 (рис. 3, д).
1 - 5 - 2
2 - 5 - 3
3 - 5 - 4
4 - 5 - 1
а б в г д
Рис. 1. Расположение точек системы на линии а, когда обе точки X, У являются внешними: а - правильное расположение четверки точек, б-д — типы расположения точки 5
1-5-3
3-5-2
2-5-4
абвг Рис. 2. Расположение точек системы на линии а, когда точка X является внутренней, а - разделены пары точек 1,2 и 3,4, б-д — типы расположения точки 5
4-5-1 д
а У — внешней:
1-5-2
2-5-4
4-5-3
3-5-1 д
абвг Рис. 3. Расположение точек системы на линии а, когда точка У является внутренней, а X — внешней: а - разделены пары точек 2,3 и 4,1, б-д — типы расположения точки 5
Изобразим точки 1, 2, 3, 4, 5 в порядке их следования в системе (Т), сохраняя отношение соседства между точками системы, и соответственно каждому возможному типу положений точки 5 на линии а стрелками соединим те пары соседних точек системы (Т), которые оказались разделенными на а (рис. 4).
Сравнивая рисунки по наличию установленных отношений разделенности пар соседних точек, замечаем, что все возможные типы положений точки 5 на линии а определяют точно четыре типа положений точек системы (Т) на а, инвариантных относительно всех преобразований плоскости Р2, сохраняющих отношение разделенности пар точек на а. Положения, в которых в системе (Т) на линии а нет разделенных пар соседних точек (рис. 4, г) отнесем к первому типу. Ко второму, третьему и четвертому типу отнесем соответственно те положения, в которых имеются две разделенные пары соседних точек (рис. 4, а, в, з, к, м), три разделенные пары соседних точек (рис. 4, б, д, ж, и, л) и пять разделенных пар соседних точек (рис. 4, е). Заметим также, что, вводя новую нумерацию точек
системы (Т), сохраняя при этом отношение соседства точек в данной системе, можно добиться отождествления фигур, изображающих на рис. 4 расположения точек системы (Т) на линии а, отнесенные к одному типу.
С^© 0 0
1 - 5 - 2 а
2 - 5 - 3 б
3 - 5 - 4
4 - 5 - 1
1-5-3 д
3-5-2
2-5-4 /ж
4-5-1
(?)
1-5-2
2-5-4
4-5-3
3-5-1
и к л м
Рис. 4. Типы размещения пяти точек с заданным отношением соседства
Каждое преобразование фундаментальной группы С плоскости Н2 сохраняет положение точки относительно абсолютной овальной линии, следовательно, сохраняет и разделенность (неразделенность) пар точек на абсолютной линии. Поэтому на основании проведенных рассуждений справедлива следующая теорема.
Теорема 1. На абсолютной линии плоскости Н2 существует четыре инвариантных относительно фундаментальной группы С типа размещения пяти точек с заданным отношением соседства.
2. ТИПЫ КОНЕЧНЫХ ЗАМКНУТЫХ 5-КОНТУРОВ ПЛОСКОСТИ Н2
Пусть АВСДЕ — конечный замкнутый 5-контур плоскости Н2 с бесконечно удаленными точками К1, К2, К3, К4, К5 сторон ЕА, АВ, ВС, СЕ, ЕЕ соответственно. Согласно теореме 1 существует четыре типа положений точек системы (Т) = {К^г = 1, 5} на абсолютной линии 7 плоскости Н2. Согласно типу положения точек системы (Т) на 7 определим четыре типа конечных замкнутых 5-контуров плоскости Н2, инвариантных относительно группы С.
Контур АВСЕЕ отнесем к первому типу, если точки системы (Т) правильно расположены на линии 7, ко второму (третьему) типу — если система (Т) содержит две (три) разделенные на 7 пары соседних точек. Если все пары соседних точек системы (Т) разделены на 7, контур АВСЕЕ отнесем к четвертому типу.
Для исследования топологических свойств 5-контуров присоединим к контуру АВСЕЕ канонический репер Я = {А1 ,А2,А3,А4} плоскости Н2, уравнение абсолютной линии 7 в котором имеет вид
х1х2 — х3 =0.
(1)
Вершины А1, А2 и единичная точка А4 репера Я принадлежат линии 7, следовательно, эти точки, не теряя общности рассуждений, можно совместить с несобственными точками сторон контура АВСЕЕ. Пусть А1 = К1, А2 = К2, А4 = К4. Тогда точка А совпадает с третьей координатной
в
г
е
з
вершиной, а вершины В и Е контура можно задать координатами: В(0 : Ь : 1), Е(е : 0 : 1), где Ье = 0, так как точки В и Е отличны от А. Некоординатные изотропные прямые, проходящие через точки В и Е, заданы в репере Я уравнениями:
ВС : Ь2х1 + 4х2 - 4Ьх3 = 0,
БЕ : 4x1 + е2х2 - 4ех3.
(2)
Прямая СБ касается абсолюта в точке К4 = А4(1 : 1 : 1), следовательно, ее уравнение имеет вид
х1 + х2 - 2х3 = 0.
(3)
Из уравнений (1)-(3) находим координаты собственных для плоскости Н2 точек С, Б и несобственных точек К3, К5.
Итак, вершины данного контура имеют в репере Я координаты:
А(0 : 0 : 1), В(0 : Ь : 1), С(4 : 2Ь : Ь + 2), Б(2е :4: е + 2), Е(е : 0 : 1),
(4)
где Ье = 0. Кроме того, Ь = 2 (е = 2), так как иначе точка В(С) совпадает с точкой А4 и является несобственной точкой плоскости Н2, т. е. данный контур не является конечным. Несобственные точки сторон данного контура заданы в репере Я координатами:
К (1:0:0), К2(0:1:0), К3 (4: Ь2 : 2Ь), К4 (1:1:1), К (е2 : 4 : 2е),
(5)
а точки пересечения несмежных сторон контура — координатами:
ЕА П ВС = Р1(4:0: Ь), АВ П СБ = Рг(0 : 2 : 1), ВС П БЕ = Р3(4е : 4Ь : Ье + 4), СБ П ЕА = Р4(2 : 0 : 1), БЕ П АВ = Р5(0 : 4 : е).
(6)
Найдем условия, аналитически характеризующие в репере Я типы расположений точек системы (Т) на абсолютной линии. Пусть каждый тип расположения точек системы (Т) представлен соответственно фигурами, изображенными на рис. 1, д, г, в; 2, в, где точка г изображает соответствующую точку Кг.
В первых трех случаях точки К1, К2, К3, К4 правильно расположены на абсолютной линии 7. Следовательно, точки X = К1К2 П К3К4 и У = К2К3 П К4К1 являются внешними относительно этой линии (рис. 5). Поляра каждой внешней относительно 7 точки — гиперболическая прямая плоскости Н2. Прямые К1К2 и К3К4 (К2К3 и К4К1) являются полярами точек А и С (В и Р4) соответственно. Следовательно, прямая АС (ВР4) является полярой точки X(У). Таким образом, условие
правильного расположения точек К1, К2, К3, К4 на линии 7 равносильно условию принадлежности прямых АС и ВР4 гиперболическому типу. В репере Я прямые АС и ВР4 заданы уравнениями:
АС : Ьх1 - 2х2 = 0, ВР4 : Ьх1 + 2х2 - 2Ьх3. (7)
Значения £1 и £2 тангенциальной квадратичной формы ф = 4Х1Х2 - X2, соответствующей заданию (1) абсолюта плоскости Н2, от координат прямых АС и ВР4 (7) равны: = -8Ь, = Ь(2 - Ь). Следовательно, прямые АС и ВР4 одновременно являются гиперболическими тогда и только тогда, когда
Ь > 2. (8)
Рис. 5. Правильное расположение точек К\, К2, Кз, К4 на абсолютной линии
Итак, условие (8) характеризует правильное расположение точек К1, К2, К3, К4 на абсолютной линии 7. Если на линии 7 правильно расположены и точки К1, К2, К3, К4, К5, т.е. данный контур принадлежит первому типу, то пары точек К2 ,К5 и К3 ,К5 разделяют пару точек К1,К4. Прямые К1К4, К2К5, К3К5 в репере Я заданы соответственно уравнениями:
К1К4 : х2 - х3 =0, К2К5 : 2х1 - ех3 = 0, К3К5 : 2Ьх1 + 2ех2 - (Ье + 4)х3 = 0.
Точки К2К5 П К1К4 = N1 (е : 2 : 2), К3К5 П КК4 = N2 (62е2 — 26е2 + 8е — 16 : 262е — 86 : 262е — 86) являются при условии (8) внутренними относительно линии 7 тогда и только тогда, когда
е > 2. (9)
Следовательно, условия (8), (9) определяют в репере Я конечный замкнутый 5-контур первого типа.
Далее нам потребуются уравнения прямых, соединяющих соседние точки системы (Т): К1К2 : хз =0, КК3 : 6x1 — 2хз = 0, К1К5 : ех2 — 2хз = 0,
К3К4 : 6х1 + 2х2 — (2 + 6)х3 = 0, К4К5 : 2х1 + ех2 — (2 + е)х3 = 0.
Если при правильном расположении точек К1, К2, К3, К4 на абсолютной линии 7 точка К5 лежит между точками К3,К4(К2,К3), т. е. данный контур второго (третьего) типа, то пары точек К1,К5 и К2,К5 (К1,К5 и К4,К5) разделяют пару точек К3,К4 (К2,К3).
Точки К1К5 П К3К4 = N3 (2е + 6е — 4 : 26 : 6е) и К2К5 П К3К4 = N4(2e : 26 + 4 — 6е : 4) являются при условии (8) внутренними относительно линии 7 тогда и только тогда, когда (е — 2)(4 — 6е) > 0. Таким образом, второй тип конечных замкнутых 5-контуров в репере Я определен условиями:
6 > 2, 0 < е < 2,
6е > 4.
(10)
Точки К1К5 П К2К3 = ^(2е : 26 : 6е) и К4К5 П К2К3 = N6(2е : 26 + 6е — 4 : 6е) являются при условии (8) внутренними относительно линии 7 тогда и только тогда, когда 6е(4 — 6е) > 0. Следовательно, третий тип конечных замкнутых 5-контуров в репере Я определен условиями:
6 > 2, 0 < е < 2,
6е < 4.
(11)
У 5-контура четвертого типа каждая пара соседних точек системы (Т) разделена. Следовательно, внутренними относительно линии 7 являются точки N, К1К2 П К3К4 = N7(2 : —6 : 0) и К1К2 П К4К5 = N3(—е : 2 : 0). В репере Я конечный замкнутый 5-контур четвертого типа определен условиями:
6 < 0, е < 0, 6е < 4. (12)
На рис. 6 изображены конечные замкнутые 5-контуры первого, второго, третьего и четвертого типов соответственно.
аб Рис. 6. Конечные замкнутые 5-контуры первого (а), второго (б) типов
V
Е Рх/ККРа
к'ТТ^Ч к;™
СР2
Е
К2
к\
V
в г
Рис. 6, Продолжение. Конечные замкнутые 5-контуры третьего (в), четвертого (г) типов
3. ОСОБЫЕ ТОЧКИ 5-КОНТУРОВ
Исследуем конечные замкнутые 5-контуры плоскости Н2 на наличие особых точек. Пусть в каноническом репере Я вершины данного конечного замкнутого 5-контура АРСРЕ заданы координатами (4), несобственные точки Кг сторон — координатами (5), а точки Рг пересечения несмежных сторон контура — координатами (6), г = 1 ,5.
Каждая сторона контура — касательная к абсолютной линии. Следовательно, каждая точка Рг принадлежит точно двум его сторонам. Точка Рг является особой точкой контура тогда и только тогда, когда она принадлежит точно двум ребрам данного контура.
Выразим через параметры Ь и е, определяющие в репере Я элементы данного контура АРСРЕ, следующие числа:
/ц = (АЕРх К) = /22 = (СБР2 К4) =
4
4 - Ье' 2(е - 2)
е(2 - Ь)'
/12 = (ВСРх Кз) = /31 = (ВСРз Кз) =
2 - Ь 2 '
е(Ь - 2) 2(е - 2)'
/21 = (АВР2К2) =
2
/32 = (РЕРз К5) =
2-Ь 2(Ь - 2)
Ь(2 - е)'
/41 = (СРР4К4) = /51 = (РЕР5 К5) =
Ь(е - 2)
2(2 - ь) ' 2
2 - е'
/42 = (АЕР4 К1) = /52 = (АВР5К2) =
2
2-е 4
4 - Ье
Точка Рг принадлежит двум ребрам данного контура, т. е. является особой точкой контура, тогда и только тогда, когда числа /г1, /г2 одновременно меньше нуля.
Для каждого типа 5-контуров определим знаки чисел /г1, /г2, характеризующие принадлежность точки Рг ребрам данного контура. Результаты представим в табл. 1.
Таблица 1
Тип контура Аналитическая характеристика в репере Я Р1 Р2 Рз Р4 Р5
/11 /12 /21 /22 /31 /32 /41 /42 /51 /52
I Ь > 2, е > 2
II Ь > 2, 0 < е < 2, Ье > 4 - - - + + + + + + -
III Ь > 2, 0 < е < 2, Ье < 4 + - - + + + + + + +
IV Ь < 0, е < 0, Ье < 4 + + + + + + + + + +
Данные табл. 1 доказывают следующую теорему.
Теорема 2. На плоскости Н2 конечные замкнутые 5-контуры первого типа имеют пять особых точек, второго типа — одну особую точку, 5-контуры третьего и четвертого типов являются простыми.
Отметим, что 5-контур второго (третьего) типа содержит три (две) точки пересечения противоположных сторон, при этом ни одна из точек пересечения противоположных сторон 5-контура четвертого типа ему не принадлежит.
4. ХАРАКТЕРИСТИКА ВЕРШИН 5-КОНТУРОВ
4.1. У конечных замкнутых 5-контуров различных типов обнаружены различные закономерности расположения вершин. Чтобы описать эти закономерности, введем следующие понятия.
Каждые две прямые li, 12 проективной плоскости P2 разбивают множество всех точек плоскости, не принадлежащих этим прямым, на два непустых непересекающихся множества [2]. Каждое из этих множеств вместе с прямыми 11, 12 назовем углом плоскости P2 между прямыми 11, 12.
Через каждую внешнюю относительно абсолютной линии y точку X плоскости H2 проходят две действительные касательные к абсолюту, которые определяют два угла плоскости P2. Одному из этих углов полностью принадлежит абсолютная линия y. Назовем этот угол ковалианой точки X и обозначим Wx. Дополнение ковалианы точки X до плоскости H2 назовем валианой точки X и обозначим WX (валиана от англ. valley — долина, приставка ко- от лат. con — вместе).
Изотропные и гиперболические прямые плоскости H2, проходящие через точку X, согласно определению принадлежат ковалиане точки X, а все эллиптические прямые, проходящие через точку X, принадлежат ее валиане. Каждое преобразование группы G сохраняет принадлежность прямой заданному типу. Поэтому, если f е G и f (X) = Y, то f (WX) = WY и f (WX) = WY.
Если некоторая точка Y принадлежит валиане (ковалиане) точки X, то прямая XY является эллиптической (гиперболической), следовательно, точка X принадлежит валиане (ковалиане) точки Y.
4.2. Пусть X — вершина некоторого конечного замкнутого 5-контура плоскости H2. Вершины контура, смежные с X, лежат на изотропных прямых, проходящих через точку X. Каждая из двух несмежных с X вершин может принадлежать либо валиане, либо ковалиане точки X. Следовательно, на плоскости H2 можно выделить три инвариантных относительно группы G рода вершин конечных замкнутых 5-контуров.
Вершину X конечного замкнутого 5-контура плоскости H2 назовем вершиной первого (второго) рода, если обе несмежные с X вершины контура принадлежат ковалиане (валиане) точки X. Если вершина X изотропного 5-контура не является вершиной первого или второго рода, назовем ее вершиной третьего рода.
Пусть ABCDE — конечный замкнутый 5-контур плоскости H2, элементы которого заданы в каноническом репере R координатами (4)-(6). Несмежные с вершиной A вершины C и D принадлежат изотропной прямой CD с несобственной точкой K4. Сторона CD данного контура пересекает несмежные с ней стороны, изотропные прямые AB и AE, в точках P2, P4. Следовательно, точки P2, P4 определяют две части прямой CD, одна из которых принадлежит валиане точки A, другая содержит точку K4 и принадлежит ковалиане точки A. Если Ia,c = (CK4P2P4) < 0 (Ia,d = (DK4P2P4) < 0), то C е WA (D е WA). Если IA,c > 0 (Ia,d > 0), то C е WA (D е WA). Таким образом, знаки чисел Ia,c , Ia,d определяют род вершины A данного контура. Аналогично введем пары чисел
(Ib,d = (DK5P3P5), Ib,e = (EK5P3P5)), (Ic,a = (AK1P1P4), Ice = (EKPiP4)),
(Id,a = (AK2P2P5), Id,b = (DK2P2P5)), (Ie,b = (BK3P1P3), Ie,c = (CK3P1P3)),
характеризующих род соответственно вершин B, C, D, E данного контура. Выразим введенные числа через параметры b и e, определяющие координаты элементов контура в репере R:
Т =2 Т = e
IA,c = Т, IA,D = 7Г b2
e(b - 21 be
Ib'd = ie-т' Ib'e = be-!
r 2 be - 4
Ic'A = b Ic'E = b(e-2)
e e(b - 2)
Id'a = 2' Id'b =
be - 4 be - 4 Ie,b = —;-, Ie,c =
be
b(e - 2)
В табл. 2 представлены наборы знаков введенных чисел, соответствующие типам 5-контуров плоскости Н 2.
Таблица 2
Тип контура А В С В Е
/а,с /а,в 1в,е 1с,а 1с,е /в,а 1э,в 1е,в 1е,с
I + + + + + + + + + +
II + + + + + - + + + -
III + + - - + + + - - +
IV - - - - - - - - - -
На основании результатов табл. 2 справедлива следующая теорема.
Теорема 3. Все вершины конечного замкнутого 5-контура первого (четвертого) типа являются вершинами первого (второго) рода. 5-контур второго типа содержит три вершины первого рода и две вершины третьего рода. 5-контур третьего типа содержит две вершины первого рода, одну второго и две вершины третьего рода.
5. АНАЛОГИ ПРЕДЛОЖЕНИЯ ПАША
В данной части работы докажем для конечных замкнутых 5-контуров плоскости Н2 аналоги предложения Паша (теоремы 4-11).
Пусть АВСБЕ — конечный замкнутый 5-контур, элементы которого заданы в репере Я координатами (4), (5), (6). Если прямая а плоскости Н2 не совпадает с координатной прямой А;[А2 репера Я, то в этом репере ее можно задать координатами: (а1 : а2 : 1). Найдем координаты точек пересечения прямой а сторонами данного контура:
ЕА П а = Т1(-1 : 0 : а1), АВ П а = Т2(0 : -1 : а2), ВС П а = Т3(4 + 4а2Ь : -Ь2 - 4а1Ь : а2Ь2 - 4а1),
СБ П а = Т4(1 + 2а2 : -1 - 2а1 : а2 - а1), БЕ П а = Т5(е2 + 4а2е : -4 - 4а1е : 4а2 - а1е2).
Принадлежность точек Т^ г = 1, 5, ребрам данного контура определена знаками следующих чисел:
/1 = (АЕК1Т1), /2 = (АВК2Т2), /3 = (ВСК3 Тз), /4 = (СБК4 Т4), /5 = (БЕК5Т5).
Условимся, что прямая а не проходит через вершину данного 5-контура. Тогда числа / существуют и каждое из них отлично от нуля. Выражения чисел / через параметры Ь и е в репере Я имеют вид
/4 =
/1 = а1 е + 1, /2 = а2Ь + 1, (2 - Ь)(2(а1 е + 1)+4а2 + е)
/3 =
/5 =
2(а2 Ь + 1) +4а1 + Ь (2 - Ь)(а2Ь + 1) '
(2 - е)(а1 е + 1)
(13)
4 (е - 2)(2(а2Ь + 1)+4а1 + Ь)' 5 2(а1е + 1)+4а2 + е' Определим все допустимые наборы знаков чисел / для каждого типа изотропных 5-контуров. 1. Контур АВСБЕ первого типа. Имеют место неравенства (8), (9). В табл. 3 приведены все возможные наборы знаков чисел /.
Каждый возможный набор содержит, по крайней мере, три минуса. Существует набор, состоящий из пяти минусов, и не существует набо-
Таблица 3
/1 + - - - - + + + - - -
/2 + + + +
/з - + - + - + - - - + -
/4 - - - + + - - + - - +
/5 - + - - + - + - + - -
ров, содержащих два или четыре минуса. На основании полученных результатов справедливы следующие теоремы.
Теорема 4. Каждая прямая плоскости Н2 пересекает, по крайней мере, три ребра любого конечного замкнутого 5-контура первого типа.
Теорема 5. Если на плоскости Н2 прямая пересекает четыре ребра конечного замкнутого 5-контура первого типа, то она пересекает каждое его ребро.
2. Контур АВСБЕ второго (третьего) типа. Выполняются неравенства (10) ((11)). Все допустимые наборы знаков чисел / (13) для контуров второго типа представлены в табл. 4, для контуров третьего типа — в табл. 5.
Каждый набор знаков чисел / в табл. 4, 5 содержит, по крайней мере, один минус. Существуют наборы знаков чисел /¿, содержащие точно один минус. Если набор знаков чисел / содержит более одного минуса, то он содержит точно три минуса. Получаем следующие теоремы.
Теорема 6. Каждая прямая плоскости Таблица 4
/1 + - - - + + + + - - - -
/2 + + + + +
/з - + + - + - + - - - + +
/4 + - + + + - - + - + + -
/5 + + - + + + - - + - + -
Таблица 5
/1 + + + - + + + + - - -
/2 + + + + + +
/з - + + - + - + - - + +
/4 + + - + + + - - + + -
/5 + - + + + - - + - + -
Таблица 6
/1 + + + + - - - + + - -
/2 + + + + + +
/з - + - + - - + + - + +
/4 + - - + + - + + - + -
/5 + + - - + - - + + + -
Н2 пересекает, по крайней мере, одно ребро конечного замкнутого 5-контура второго (третьего) типа.
Теорема 7. На плоскости Н2 существуют прямые, имеющие с конечным замкнутым 5-контуром второго (третьего) типа единственную общую точку.
Теорема 8. Если прямая плоскости Н2, не содержащая вершину конечного замкнутого 5-контура второго (третьего) типа, пересекает два ребра контура, то она пересекает точно три его ребра.
3. Контур АВСБЕ четвертого типа. Выполняются неравенства (12). Все возможные наборы знаков чисел / (13) представим в табл. 6.
Каждый возможный набор содержит, по крайней мере, один минус. Существуют наборы, содержащие один, три и пять минусов. Не существует наборов, содержащих два или четыре минуса. Доказаны следующие теоремы.
Теорема 9. Каждая прямая плоскости Н2 пересекает, по крайней мере, одно ребро конечного замкнутого 5-контура четвертого типа.
Теорема 10. На плоскости Н2 существуют прямые, имеющие с 5-контуром четвертого типа единственную общую точку.
Теорема 11. Каждая прямая плоскости Н2, не содержащая вершину конечного замкнутого 5-контура четвертого типа, пересекает или одно ребро контура, или три его ребра, или все ребра контура.
6. ВЫПУКЛОСТЬ КОНЕЧНЫХ ЗАМКНУТЫХ 5-КОНТУРОВ
Из теоремы 4 следует, что каждая точка плоскости Н2 является внутренней относительно любого конечного замкнутого 5-контура первого типа. Таким образом, справедлива
Теорема 12. Конечный замкнутый 5-контур первого типа является выпуклым, его внутренность совпадает с плоскостью Н2.
Из теорем 7, 10 следует, что на плоскости Н2 существуют точки, не являющиеся внутренними относительно конечного замкнутого 5-контура второго, третьего или четвертого типа.
Для 5-контура второго типа выполняется следующая теорема.
Теорема 13. Конечный замкнутый 5-контур второго типа плоскости Н2 является выпуклым, его внутренность совпадает с внутренностью принадлежащего ему простого конечного замкнутого 4-контура.
Доказательство. Пусть Р = АВСБЕ — 5-контур второго типа (см. рис. 6, б), элементы которого заданы в репере Я координатами (4)-(6) при условиях (10). Тогда согласно табл. 1 точка Р1 является единственной особой точкой контура Р. Эта точка разбивает каждое содержащее ее ребро контура на два отрезка:
ЕА = ЕР1 и Р1 А, ВС = ВР1 и Р1С. (14)
Каждый из отрезков ЕР1, Р1А, ВР1, Р1С принадлежит стороне данного контура, следовательно, является отрезком изотропной прямой. Разложения (14) позволяют представить данный 5-контур Р
в виде объединения замкнутых конечных контуров: 3-контура ABPi и 4-контура CDEPi. Итак,
F = ABP1 U CDEPb (15)
Конечный замкнутый 4-контур CDEPj^ не имеет точек самопересечения, следовательно, является простым. Условие (15) определяет разложение контура F на простые контуры.
По теореме 1 [1] на плоскости H2 не существует точек, внутренних относительно конечного замкнутого 3-контура, а по теореме 2 [1] простой замкнутый конечный 4-контур обладает внутренностью и является выпуклым. Покажем, что конечный замкнутый 5-контур F второго типа обладает внутренностью и int F = int (CDEP]J.
Пусть некоторая точка M плоскости H2 принадлежит множеству int (CDEPj^). Согласно определению внутренней точки относительно конечного замкнутого контура, каждая прямая, проходящая через точку M, пересекает контур CDEP1 не менее чем в двух точках. Тогда в силу разложения (14) каждая прямая, проходящая через точку M, пересекает не менее чем в двух точках и контур F. Следовательно, M е int F. Поэтому in^CDEP^ с int F.
Покажем, что если некоторая точка K плоскости H2 не принадлежит множеству int (CDEPi^), то она не является внутренней относительно контура F.
Противоположные стороны контура CDEPj^ пересекаются в точках Р3 и Р4: DE П CPj. = Р3, CD П EP1 = Р4. В работе [1] доказано, что int (CDEP1) = Wp3 П Wp4 , т. е. внутренность контура CDEP]^ является пересечением валиан точек Р3 и Р4. Пусть K не принадлежит, например, валиане точки Р4. Тогда прямая KP4 является либо изотропной, либо гиперболической. В репере R точка Р4 имеет координаты (2:0:1), точку K зададим ненулевой тройкой чисел (k1 : k2 : k3).
Если точка K не принадлежит изотропной прямой, проходящей через точку Р4, то k2 = 0, и прямую KP4 в репере R можно задать координатами (—k2 : k1 — 2k3 : 2k2). Условие принадлежности прямой KP4 гиперболическому типу в репере R равносильно неравенству:
k2 (k1 + k2 — 2k3) > 0. (16)
Числа / (13) для прямой KP4 в репере R равны:
г 2 — e bk1 + 2k2 — 2b(k1 + k2 — 2k3 /1 = —;;—, /2 =-tt,-, /3 =
2k2 (2 — b)(bk1 +2k2 — 2bk3)'
_ 2(2 — b) k2 (e — 2)2
/4 = t-,-^, /5 =
Ь(е - 2)' 4(кх + к2 - 2к3)'
Параметры Ь, е удовлетворяют неравенствам (10), поэтому с учетом неравенства (16) получаем: /1 > 0, /2/3 < 0, /4 > 0, /5 > 0. Таким образом, точно четыре числа / будут больше нуля. Это означает, что прямая КР4 пересекает лишь одно ребро контура Е. Следовательно, точка К не является внутренней относительно данного контура.
Если к2 = 0, то изотропная прямая КР4 совпадает со стороной АЕ данного контура Е. Полагая, что К не принадлежит абсолютной линии 7, координатами точки К в репере Я примем тройку чисел (к : 0 : 1). Если точка К принадлежит ребру АЕ, то согласно определению К не является внутренней точкой относительно контура Е. Пусть К не принадлежит отрезку АЕ, тогда выполняется неравенство (КК1 АЕ) > 0. Запишем это неравенство в координатах:
к
k — e
> 0. (17)
Через точку К проходит, например, прямая КК2, уравнение которой в репере Я имеет вид: х1 — кх3 = 0. Для прямой КК2 числа / (13) в репере Я равны:
к — е _ 1 _ к(Ь + 2) — 4 (2 — Ь)(2(к — е) + ке) _ (2 — е)
/1 = —7—, /2 = 1, /3 = —гтт;-—, /4 = "7-/, , -ТТ-, /5 =
k ' 2 ' 3 k(2 — b) ' 4 (e — 2)(k(b + 2) — 4)' 5 2+
При выполнении неравенств (10), (17) имеют место условия: /1 > 0, /2 > 0, /3/4 < 0, /5 > 0. Эти условия означают, что прямая КК2 пересекает одно и только одно ребро контура Е. Следовательно, и в этом случае (при к2 = 0) точка К не является внутренней относительно данного контура Е.
Аналогично можно показать, что точка K не является внутренней относительно контура F, если она не принадлежит валиане точки P3. Итак, показали, что если K / int(CDEP1), то K / intF. Таким образом, int F = int (CDEP1).
Простой 4-контур CDEPi является выпуклым, следовательно, выпуклым является и данный контур F. Теорема доказана.
Для 5-контура третьего типа имеет место
Теорема 14. На плоскости H2 не существует точек, внутренних относительно конечного замкнутого 5-контура третьего типа.
Доказательство. Пусть ABCDE — 5-контур третьего типа, заданный в репере R координатами (4)-(6) при условиях (11). Через каждую точку M плоскости H2 проходит одна прямая пучка с центром в точке K5(e2 : 4 : 2e). Каждая прямая l этого пучка в репере R может быть задана координатами l(4a : —e(ae + 2) : 4).
Для прямой l числа Ii (13) в репере R равны:
4 - 2be - abe2
Ii = ae + 1,
I2 =
I4 =
4
I3 =
2(4 +8a + 2b - 2be - abe2) (2 - b)(4 - 2be - abe2) '
2(b - 2)(ae + 1)
I,5 = 1.
4 + 8a + 2b - 2be - abe2 '
Все возможные наборы знаков чисел Ii для прямой l приведены в табл. 7.
Каждый допустимый набор знаков чисел Ii содержит точно один минус. Следовательно, каждая прямая пучка с центром в точке K5 имеет с контуром ABCDE единственную общую точку.
Таким образом, через каждую точку плоскости H2 можно провести пря- Таблица 7
мую, пересекающую данный 5-контур третьего типа в единственной точке. Следовательно, никакая точка плоскости H2 не является внутренней относительно 5-контура третьего типа. Теорема доказана.
Докажем аналогичную теорему для 5-контуров четвертого типа.
Теорема 15. На плоскости H2 не существует точек, внутренних относительно конечного замкнутого 5-контура четвертого типа.
Доказательство. Пусть ABCDE — 5-контур четвертого типа, заданный в R координатами (4), (5), (6) при условиях (12). Через произвольную точку M плоскости H2 проведем прямую l пучка с центром в точке K (1 : 0 : 0). Координаты прямой l в репере R имеют вид (0 : a : 1). Числа Ii (13) для прямой l в репере R равны:
/1 - + + +
/2 + - + +
/3 + + - +
/4 + + + -
/5 + + + +
Ii = 1, I2 = ab + 1,
I3 =
2(ab + 1) + b (2 - b)(ab +1)'
I4 =
(b - 2)(4a + e + 2) (e - 2)(2(ab + 1) + b)'
I5 =
2-e
4a + e + 2 Таблица 8
Табл. 8 содержит все допустимые наборы знаков чисел 1 для прямой 1.
Согласно данным, представленным в табл. 8, прямая 1 имеет с контуром АВСРЕ единственную общую точку, поэтому точка М не является внутренней относительно данного контура. В проведенных рассуждениях М — любая точка плоскости Н2. Следовательно, на Н2 нет точек, внутренних относительно 5-контура четвертого типа. Теорема доказана.
Следствием теорем 12-15 является следующее утверждение.
Теорема 16. Конечный замкнутый 5-контур плоскости Н2 обладает внутренностью (является выпуклым) тогда и только тогда, когда он является контуром первого или второго типа.
/1 + + + +
/2 - + + +
/3 + - + +
/4 + + - +
/5 + + + -
Библиографический список
1. Ромакина, Л.Н. Конечные замкнутые 3(4)-контуры расширенной гиперболической плоскости / Л.Н. Ромакина // Изв. Сарат. унта. Нов. сер. 2010. Т. 10. Сер. Математи-
ка. Механика. Информатика, вып. 3. С. 14-26. 2. Ромакина, Л.Н. Геометрии коевклидовой и копсевдоевклидовой плоскостей / Л.Н. Ромакина. Саратов: Науч. книга, 2008.
