Читать «Большая Советская Энциклопедия (ПО)» онлайн - страница 31

  2) Математически строгое определение П. основывается на понятиях топологии. При этом основным является понятие простой поверхности, которую можно представить как кусок плоскости, подвергнутый непрерывным деформациям (растяжениям, сжатиям и изгибаниям). Более точно, простой П. называется образ гомеоморфного отображения (т. е. взаимно однозначного и взаимно непрерывного отображения) внутренности квадрата (см. ). Этому определению можно дать аналитическое выражение. Пусть на плоскости с прямоугольной системой координат u и u задан квадрат, координаты внутренних точек которого удовлетворяют неравенствам 0 < u < 1, 0 < u < 1. Гомеоморфный образ квадрата в пространстве с прямоугольной системой координат х, у, z задаётся при помощи формул х = j(u, u ), у =  Y(u, u ), z = c(u, u ) (параметрические уравнения П.). При этом от функций j(u, u ), Y(u, u) и c(u, u) требуется, чтобы они были непрерывными и чтобы для различных точек (u, u) и (u’, u’ ) были различными соответствующие точки (x, у, z ) и (x’, у’, z' ). Примером простой П. является полусфера. Вся же сфера не является простой П. Это вызывает необходимость дальнейшего обобщения понятия П. Поверхность, окрестность каждой точки которой есть простая П., называется правильной. С точки зрения топологического строения, П. как двумерные многообразия разделяются на несколько типов: замкнутые и открытые, ориентируемые и неориентируемые и т.д. (см. ).

  В дифференциальной геометрии исследуемые П. обычно подчинены условиям, связанным с возможностью применения методов дифференциального исчисления. Как правило, это — условия гладкости П., т. е. существования в каждой точке П. определённой касательной плоскости, кривизны и т.д. Эти требования сводятся к тому, что функции j(u, u), Y(u, u), c(u, u) предполагаются однократно, дважды, трижды, а в некоторых вопросах — неограниченное число раз дифференцируемыми или даже аналитическими функциями. Кроме того, требуется, чтобы в каждой точке хотя бы один из определителей

, ,

был отличен от нуля (см. ).

  В аналитической геометрии и в алгебраической геометрии П. определяется как множество точек, координаты которых удовлетворяют определённому виду уравнений:

Ф (х, у, z ) = 0.     (* )

  Таким образом, определённая П. может и не иметь наглядного геометрического образа. В этом случае для сохранения общности говорят о мнимых П. Например, уравнение

х² + у² + z² + 1 = 0

определяет мнимую сферу, хотя в действительном пространстве нет ни одной точки, координаты которой удовлетворяют такому уравнению (см. также ). Если функция Ф (х, у, z ) непрерывна в некоторой точке и имеет в ней непрерывные частные производные , из которых хотя бы одна не обращается в нуль, то в окрестности этой точки П., заданная уравнением (*), будет правильной П.