Поверхность

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Теория поверхностей»)
Перейти к: навигация, поиск
Пример простой поверхности

Пове́рхность в геометрии и топологии — двумерное топологическое многообразие. Наиболее известными примерами поверхностей являются границы геометрических тел в обычном трёхмерном евклидовом пространстве. С другой стороны, существуют поверхности (например, бутылка Клейна), которые нельзя вложить в трёхмерное евклидово пространство без привлечения сингулярности или самопересечения.

«Двумерность» поверхности подразумевает возможность реализовать на ней метод координат, хотя и необязательно для всех точек. Так, поверхность Земли (в идеале) представляет собой двумерную сферу, широта и долгота каждой точки которой являются её координатами (за исключением полюсов и 180-ого меридиана).

Концепция поверхности применяется в физике, инженерном деле, компьютерной графике и прочих областях при изучении физических объектов. Например, анализ аэродинамических качеств самолёта базируется на обтекании потоком воздуха его поверхности.

Способы задания[править | править исходный текст]

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

F(x,\,y,\,z)=0\qquad (1)

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

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

z=f(x,y)\qquad (1')

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

\left\{ \begin{array}{ccc} 
x &=& x(u,v) \\
y &=& y(u,v) \\
z &=& z(u,v)
\end{array}\right.\qquad (1'')

Понятие о простой поверхности[править | править исходный текст]

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

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

Пусть на плоскости с прямоугольной системой координат 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').

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

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

Поверхность в дифференциальной геометрии[править | править исходный текст]

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

Случай неявного задания. Поверхность, заданная уравнением F(x,\,y,\,z)=0,\; F:\Omega\to\mathbb{R}^3, является гладкой регулярной поверхностью, если \exist P_0(x_0,\,y_0,\,z_0):\;F(x_0,\,y_0,\,z_0)=0, функция F непрерывно дифференцируема в своей области определения \Omega, а её частные производные одновременно не обращаются в нуль (условие правильности) на всём множестве \Omega:

\left( \frac{\partial F}{\partial x}\right)^2+\left( \frac{\partial F}{\partial y}\right)^2+\left( \frac{\partial F}{\partial z}\right)^2>0

Случай параметрического задания. Зададим поверхность векторным уравнением \mathbf{r} = \mathbf{r}(u,\ v), или, что то же самое, тремя уравнениями в координатах:

\left\{ \begin{array}{ccc} 
x &=& x(u,v) \\
y &=& y(u,v) \\
z &=& z(u,v)
\end{array}\right.\quad (u,\,v)\in\Omega

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

  • система устанавливает взаимно однозначное соответствие между образом и прообразом \Omega;
  • функции x(u,v),\,y(u,v),\,z(u,v) непрерывно дифференцируемы в \Omega;
  • выполнено условие невырожденности:
\begin{vmatrix}x'_u & x'_v \\ y'_u & y'_v \end{vmatrix}^2+\begin{vmatrix}y'_u & y'_v \\ z'_u & z'_v \end{vmatrix}^2+\begin{vmatrix}z'_u & z'_v \\ x'_u & x'_v \end{vmatrix}^2>0

Геометрически последнее условие означает, что векторы \frac{\partial\mathbf{r}} {\partial u}, \frac{\partial\mathbf{r}} {\partial v} нигде не параллельны.

Координатная сетка на сфере

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

Случай явного задания. Поверхность S может быть определена как график функции z=f(x,y); тогда S является гладкой регулярной поверхностью, если функция f дифференцируема. Этот вариант можно рассматривать как частный случай параметрического задания: x=u;\ y=v;\ z=f(u,v).

Касательная плоскость[править | править исходный текст]

Касательная плоскость в точке поверхности.

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

Пусть гладкая кривая на параметрически заданной поверхности \mathbf{r} = \mathbf{r}(u,\ v) задана в виде:

u = u(t);\ v = v(t).

Направление \mathbf{v} касательной к такой кривой даёт вектор:

\mathbf{v} = \frac{d\mathbf{r}}{dt}=\frac{\partial\mathbf{r}}{\partial u} \frac{du}{dt} + \frac{\partial\mathbf{r}}{\partial v} \frac{dv}{dt}

Отсюда видно, что все касательные ко всем кривым в данной точке лежат в одной плоскости, содержащей векторы \frac{\partial\mathbf{r}} {\partial u}, \frac{\partial\mathbf{r}} {\partial v}, которые мы выше предположили независимыми.

Уравнение касательной плоскости в точке \mathbf{r_0}=(x_0, y_0, z_0) имеет вид:

\left(\mathbf{r} - \mathbf{r_0}, \frac{\partial\mathbf{r}} {\partial u}, \frac{\partial\mathbf{r}} {\partial v}\right) = 0\quad (смешанное произведение векторов).

В координатах уравнения касательной плоскости для разных способов задания поверхности приведены в таблице:

касательная плоскость к поверхности в точке (x_0,y_0,z_0)
неявное задание \frac{\partial F}{\partial x}(x-x_0)+\frac{\partial F}{\partial y}(y-y_0)+\frac{\partial F}{\partial z}(z-z_0)=0
явное задание \frac{\partial f}{\partial x}(x-x_0)+\frac{\partial f}{\partial y}(y-y_0)=(z-z_0)
параметрическое задание \begin{vmatrix} x-x_0 & y-y_0 & z-z_0 \\ x_u' & y_u' & z_u' \\ x_v' & y_v' & z_v' \end{vmatrix} = 0

Все производные берутся в точке (x_0,y_0,z_0).

Метрика и внутренняя геометрия[править | править исходный текст]

Вновь рассмотрим гладкую кривую:

u = u(t);\ v = v(t).

Элемент её длины определяется из соотношения:

ds^2 = |d\mathbf{r}|^2 = (\frac{\partial\mathbf{r}}{\partial u} du + \frac{\partial\mathbf{r}}{\partial v} dv)^2 = E\,du^2 + 2 F\,du\,dv + G\,dv^2,

где E=\mathbf{r'_u}\mathbf{r'_u};\ F=\mathbf{r'_u}\mathbf{r'_v};\ G=\mathbf{r'_v}\mathbf{r'_v}.

Эта квадратичная форма называется первой квадратичной формой и представляет собой двумерный вариант метрики поверхности. Для регулярной поверхности её дискриминант EG-F^2>0 во всех точках. Коэффициент ~F=0 в точке поверхности тогда и только тогда, когда в этой точке координатные кривые ортогональны. В частности, на плоскости с декартовыми координатами u,\ v получается метрика ds^2 = du^2 + dv^2 (теорема Пифагора).

Геликоид
Катеноид

Метрика не определяет однозначно форму поверхности. Например, метрики геликоида и катеноида, параметризованных соответствующим образом, совпадают, то есть между их областями существует соответствие, сохраняющее все длины (изометрия). Свойства, сохраняющиеся при изометрических преобразованиях, называются внутренней геометрией поверхности. Внутренняя геометрия не зависит от положения поверхности в пространстве и не меняется при её изгибании без растяжения и сжатия (например, при изгибании цилиндра в конус)[1].

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

Нормаль и нормальное сечение[править | править исходный текст]

Векторы нормали в точках поверхности

Одной из основных характеристик поверхности является её нормаль — единичный вектор, перпендикулярный касательной плоскости в заданной точке:

\mathbf{m} = \frac{[\mathbf{r'_u}, \mathbf{r'_v}]} {|[\mathbf{r'_u}, \mathbf{r'_v}]|}.

Знак нормали зависит от выбора координат.

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

Если же кривая на поверхности не является нормальным сечением, то её главная нормаль образует с нормалью поверхности некоторый угол \theta. Тогда кривизна k кривой связана с кривизной k_n нормального сечения (с той же касательной) формулой Мёнье:

k_n = \pm k\,\cos\,\theta

Координаты орта нормали для разных способов задания поверхности приведены в таблице:

Координаты нормали в точке поверхности
неявное задание \frac{\left(\frac{\partial F}{\partial x};\,\frac{\partial F}{\partial y};\,\frac{\partial F}{\partial z}\right)}{\sqrt{\left(\frac{\partial F}{\partial x}\right)^2+\left( \frac{\partial F}{\partial y}\right)^2+\left( \frac{\partial F}{\partial z}\right)^2}}
явное задание \frac{\left(-\frac{\partial f}{\partial x};\,-\frac{\partial f}{\partial y};\,1\right)}{\sqrt{\left(\frac{\partial f}{\partial x}\right)^2+\left( \frac{\partial f}{\partial y}\right)^2+1}}
параметрическое задание \frac{\left(\frac{D(y,z)}{D(u,v)};\,\frac{D(z,x)}{D(u,v)};\,\frac{D(x,y)}{D(u,v)}\right)}{\sqrt{\left(\frac{D(y,z)}{D(u,v)}\right)^2+\left(\frac{D(z,x)}{D(u,v)}\right)^2+\left(\frac{D(x,y)}{D(u,v)}\right)^2}}

Здесь \frac{D(y,z)}{D(u,v)}=\begin{vmatrix}y'_u & y'_v \\ z'_u & z'_v \end{vmatrix},\quad\frac{D(z,x)}{D(u,v)}=\begin{vmatrix} z'_u & z'_v\\ x'_u & x'_v \end{vmatrix},\quad\frac{D(x,y)}{D(u,v)}=\begin{vmatrix}x'_u & x'_v \\ y'_u & y'_v \end{vmatrix}.

Все производные берутся в точке (x_0,y_0,z_0).

Кривизна[править | править исходный текст]

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

Вообще говоря, в каждой точке поверхности существуют два перпендикулярных направления e_1 и e_2, в которых нормальная кривизна принимает минимальное и максимальное значения; эти направления называются главными. Исключение составляет случай, когда нормальная кривизна по всем направлениям одинакова (например, у сферы или на торце эллипсоида вращения), тогда все направления в точке — главные.

Поверхности с отрицательной (слева), нулевой (в центре) и положительной (справа) кривизной.

Нормальные кривизны в главных направлениях называются главными кривизнами; обозначим их \kappa_1 и \kappa_2. Величина:

K=\kappa_1\kappa_2

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

Гауссова кривизна может быть вычислена через метрику, и поэтому она является объектом внутренней геометрии поверхностей (отметим, что главные кривизны к внутренней геометрии не относятся). По знаку кривизны можно классифицировать точки поверхности (см. рисунок). Кривизна плоскости равна нулю. Кривизна сферы радиуса R всюду равна \frac{1}{R^2}. Существует и поверхность постоянной отрицательной кривизны — псевдосфера.

Геодезические линии, геодезическая кривизна[править | править исходный текст]

Кривая на поверхности называется геодезической линией, или просто геодезической, если во всех её точках главная нормаль к кривой совпадает с нормалью к поверхности. Пример: на плоскости геодезическими будут прямые и отрезки прямых, на сфере — большие круги и их отрезки.

Эквивалентное определение: у геодезической линии проекция её главной нормали на касательную плоскость есть нулевой вектор. Если кривая не является геодезической, то указанная проекция ненулевая; её длина называется геодезической кривизной k_g кривой на поверхности. Имеет место соотношение:

k^2 = k_g^2 + k_n^2,

где k — кривизна данной кривой, k_n — кривизна её нормального сечения с той же касательной.

Геодезические линии относятся к внутренней геометрии. Перечислим их главные свойства.

  • Через данную точку поверхности в заданном направлении проходит одна и только одна геодезическая.
  • На достаточно малом участке поверхности две точки всегда можно соединить геодезической, и притом только одной. Пояснение: на сфере противоположные полюса соединяет бесконечное количество меридианов, а две близкие точки можно соединить не только отрезком большого круга, но и его дополнением до полной окружности, так что однозначность соблюдается только в малом.
  • Геодезическая является кратчайшей. Более строго: на малом куске поверхности кратчайший путь между заданными точками лежит по геодезической.

Площадь[править | править исходный текст]

Ещё один важный атрибут поверхности — её площадь, которая вычисляется по формуле:

S=\iint\,|[\mathbf{r}'_u\times\mathbf{r}'_v]|\;\mathrm{d}\,u\,\mathrm{d}\,v

Здесь \mathbf{r}'_u=\left\{\frac{\partial x}{\partial u},\,\frac{\partial y}{\partial u},\,\frac{\partial z}{\partial u}\right\},\ \mathbf{r}'_v=\left\{\frac{\partial x}{\partial v},\,\frac{\partial y}{\partial v},\,\frac{\partial z}{\partial v}\right\}.

В координатах получаем:

явное задание параметрическое задание
выражение для площади \iint\,\sqrt{\left(\frac{\partial f}{\partial x}\right)^2+\left( \frac{\partial f}{\partial y}\right)^2+1}\;\mathrm{d}\,x\,\mathrm{d}\,y \iint\,\sqrt{\left(\frac{D(x,y)}{D(u,v)}\right)^2+\left(\frac{D(y,z)}{D(u,v)}\right)^2+\left(\frac{D(z,x)}{D(u,v)}\right)^2}\;\mathrm{d}\,u\,\mathrm{d}\,v

Поверхность в топологии[править | править исходный текст]

Ориентация[править | править исходный текст]

Лента Мёбиуса.

Также важной характеристикой поверхности является её ориентация.

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

Ориентированной называется двусторонняя поверхность с выбранным направлением нормали.

Примерами односторонних и, следовательно, неориентируемых поверхностей являются бутылка Клейна или Лист Мёбиуса.

Топологические типы поверхностей[править | править исходный текст]

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

Обобщение[править | править исходный текст]

О многомерных аналогах теории см.:

Литература[править | править исходный текст]

Примечания[править | править исходный текст]

Логотип Викисловаря
В Викисловаре есть статья «поверхность»

Ссылки[править | править исходный текст]