Поверхность

Пример простой поверхности

Пове́рхность — геометрическое понятие, при логическом уточнении этого понятия в разных разделах геометрии ему придаётся различный смысл.

В элементарной геометрии рассматриваются плоскости, многогранники, а также некоторые «кривые поверхности». При этом каждая поверхность определяется специальным способом, без общего определения, чаще всего как множество точек, удовлетворяющих некоторым условиям. Например, сфера — множество точек, отстоящих на заданном расстоянии от данной точки, называемой центром сферы. Понятие «поверхности» лишь поясняется, а не определяется. Например, говорят, что поверхность есть граница тела или след движущейся линии.

В современной геометрии поверхностью называют двумерное многообразие или двумерное подмногообразие, но иногда этим словом обозначают произвольное подмногообразие.

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

Поверхность в пространстве

Более точно, «простой поверхностью» называется образ гомеоморфного отображения (то есть взаимно однозначного и взаимно непрерывного отображения) внутренности квадрата. Этому определению можно дать аналитическое выражение.

Пусть на плоскости с прямоугольной системой координат u и v задан квадрат, координаты внутренних точек которого удовлетворяют неравенствам 0 < u < 1, 0 < v < 1. Гомеоморфный образ квадрата в пространстве с прямоугольной системой координат х, у, z задаётся при помощи формул х = X(u, v), у = Y(u, v), z = Z(u, v)(параметрическое задание поверхности). При этом от функций X(u, v), Y(u, v) и Z(u, v) требуется, чтобы они были непрерывными и чтобы для различных точек (u, v) и (u', v') были различными соответствующие точки (x, у, z) и (x', у', z').

Примером простой поверхности является полусфера. Вся же сфера не является простой поверхностью. Это вызывает необходимость дальнейшего обобщения понятия поверхности.

Подмножество пространства, у каждой точки которого есть окрестность, являющаяся простой поверхностью, называется правильной поверхностью.

Классификация

С точки зрения топологического строения, поверхности как двумерные многообразия разделяются на несколько типов:

• замкнутые и открытые,
• ориентируемые и неориентируемые
• и т. д.

Поверхность в дифференциальной геометрии

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

${\begin{vmatrix}f'_{u}&f'_{v}\\y'_{u}&y'_{v}\end{vmatrix}}$, ${\begin{vmatrix}f'_{u}&f'_{v}\\x'_{u}&x'_{v}\end{vmatrix}}$, ${\begin{vmatrix}y'_{u}&y'_{v}\\x'_{u}&x'_{v}\end{vmatrix}}$

был отличен от нуля (см. Поверхностей теория).

Поверхность в аналитической геометрии

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

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

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

х² + у² + z² + 1 = 0 (2)

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