Геодезическая Область

Связное множество точек поверхности таких, что для каждой точки хсуществует круг с центром в х, при этом имеет один из следующих видов: 1); 2) — полукруг круга; 3) — сектор круга , отличный от полукруга; 4) состоит из конечного числа секторов круга , не имеющих никаких общих точек, кроме х. Точка хв первом случае наз. регулярной внутренней точкой, во втором — регулярной граничной точкой, в третьем — угловой точкой и в четвертом — узловой точкой. Г. о., компактная в себе и не имеющая узловых точек, наз. нормальной областью. Нормальная область есть или замкнутая поверхность, или поверхность с границей, состоящей из конечного числа попарно непересекающихся жордановых полигонов. Г. о. можно рассматривать как нек-рое метрич. пространство благодаря введению так наз. G-расстояния между точками аи b (нижняя грань всех спрямляемых кривых, соединяющих а и b и лежащих целиком в G). Спрямляемая дуга в G с концами а, b наз. G-oтрезком, если она связывает а с b в G кратчайшим образом. Отдельные точки считаются за G-отрезки нулевой длины. Для всех точек G-отрезка справедливо равенство: G-лучом наз. луч, лежащий в Г. о., у к-рого каждая частичная дуга есть G-отрезок. G-прямой наз. множество, состоящее из двух лучей, не имеющих никаких других общих точек, кроме начала, причем каждая дуга, содержащаяся в прямой, является G-отрезком. Г. о. имеет тогда и только тогда полную кривизну, если для всякой последовательности нормальных областей, исчерпывающих Г. о., полные кривизны стремятся к одному и тому же значению. Если гауссова кривизна области нигде не отрицательна или нигде не положительна, то область имеет полную кривизну. Если область не имеет полной кривизны, то всегда можно указать исчерпывающую последовательность нормальных областей, полные кривизны к-рых стремятся к . Если граница полной Т.