Нормаль

Норма́ль в геометрии — обобщение понятия перпендикуляра к прямой или плоскости на произвольные гладкие кривые и поверхности.

В точке кривой построены векторы касательной (T), главной нормали (N) и бинормали (B). Показана также соприкасающаяся плоскость, содержащая касательную и главную нормаль.

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

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

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

Вектор нормалиПравить

 

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

Вектор нормали (или орт нормали) к поверхности в данной точке — единичный вектор, приложенный к данной точке и параллельный направлению нормали. Для каждой точки гладкой поверхности можно задать два нормальных вектора, отличающихся направлением. Аналогично определяются векторы нормали к пространственной кривой в данной точке; среди них, соответственно сказанному выше, выбирают два, ортогональных друг к другу: вектор главной нормали и вектор бинормали.

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

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

Нормаль к пространственной кривойПравить

Пусть $\mathbf{r}=\mathbf{r}(t)$${\mathbf {r}}={\mathbf {r}}(t)$  — векторное уравнение кривой. Тогда направление главной нормали может быть получено как двойное векторное произведение: $[[{\mathbf{r}}^{\prime },{\mathbf{r}}^{″}],{\mathbf{r}}^{\prime }].$$[[\mathbf {r} ',\ \mathbf {r} ''],\ \mathbf {r} '].$  В случае естественной параметризации кривой (её длиной дуги) орт главной нормали равен ${\mathbf{r}}^{″}$${\mathbf {r}}''$ .

Векторное уравнение бинормали в точке $t=t_0$$t=t_{0}$  имеет вид:

$\mathit{r}(\mathrm{\lambda <!--\; \lambda \; -->})=\mathit{r}(t_0)+\mathrm{\lambda <!--\; \lambda \; -->}[{\mathit{r}}^{\prime }(t_0),{\mathit{r}}^{″}(t_0)].$${\boldsymbol {r}}(\lambda )={\boldsymbol {r}}(t_{0})+\lambda [{\boldsymbol {r}}'(t_{0}),~{\boldsymbol {r}}''(t_{0})].$ 

Уравнение нормальной плоскости в точке $\mathit{r}(t_0)=\{x_0,y_0,z_0\}$${\boldsymbol {r}}(t_{0})=\{x_{0},y_{0},z_{0}\}$ :

$x_0^{\prime }(x-<!--\; -\; -->x_0)+y_0^{\prime }(y-<!--\; -\; -->y_0)+z_0^{\prime }(z-<!--\; -\; -->z_0)=0$$x'_{0}(x-x_{0})+y'_{0}(y-y_{0})+z'_{0}(z-z_{0})=0$ 

Нормаль к плоской кривойПравить

Для плоской кривой содержащая её плоскость совпадает с соприкасающейся. Нормаль, с точностью до знака, только одна — главная, и её уравнение в точке $(x_0,y_0)$$(x_{0},\ y_{0})$  имеет следующий вид.

Способ задания плоской кривой	Уравнение кривой	Уравнение нормали
Параметрическое задание	$\mathbf{r}=\mathbf{r}(t)$${\mathbf {r}}={\mathbf {r}}(t)$	$y=y_0-<!--\; -\; -->\frac{x_0^{\prime }}{y_0^{\prime }}(x-<!--\; -\; -->x_0)$$y=y_{0}-{\frac {x_{0}'}{y_{0}'}}(x-x_{0})$
Явное задание	$y=f(x)$$y=f(x)$	$y=y_0-<!--\; -\; -->\frac{x-<!--\; -\; -->x_0}{y_0^{\prime }}$$y=y_{0}-{\frac {x-x_{0}}{y_{0}'}}$
Неявное задание	$F(x,y)=0$$F(x,y)=0$	$y=y_0+\frac{(F_y^{\prime }{)}_0}{(F_x^{\prime }{)}_0}(x-<!--\; -\; -->x_0)$$y=y_{0}+{\frac {(F_{y}')_{0}}{(F_{x}')_{0}}}(x-x_{0})$

Нормаль к поверхностиПравить

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

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

	Координаты нормали в точке поверхности
параметрическое задание: $\mathbf{r}=\mathbf{r}(u,v)$$\mathbf{r} = \mathbf{r}(u,\ v)$	$\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{\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}}$
неявное задание: $F(x,y,z)=0$$F(x,y,z)=0$	$\frac{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}x};\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}y};\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}z}\right)}{\sqrt{{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}x}\right)}^2+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}y}\right)}^2+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}F}{\mathrm{\partial <!--\; \partial \; -->}z}\right)}^2}}$$\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}}$
явное задание: $z=f(x,y)$$z=f(x,y)$	$\frac{\left(-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}x};-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}y};1\right)}{\sqrt{{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}x}\right)}^2+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}y}\right)}^2+1}}$$\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 {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)$$(x_{0},y_{0},z_{0})$ . Из формул видно, что в случае неявного задания направление нормали к функции $F(x,y,z)$$F(x,y,z)$  совпадает с направлением её градиента.

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

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

$k_n=\pm <!--\; \pm \; -->k\cos \mathrm{\theta <!--\; \theta \; -->}$$k_n = \pm k\,\cos\,\theta$ 

Кривизна $k_n$$k_n$  нормального сечения в заданной точке зависит от направления этого сечения; если кривизна не постоянна, то максимум и минимум достигаются в двух взаимно перпендикулярных направлениях, называемых главными направлениями. На сфере, на торцах эллипсоида и т. п. кривизна постоянна, и все направления — главные.

ЛитератураПравить

• Нормаль // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.
• Погорелов А. И. Дифференциальная геометрия. — 6-е изд. — М.: Наука, 1974. — 176 с.
• Рашевский П. К. Курс дифференциальной геометрии. — 4-е изд. — М.: ГИТТЛ, 1956.

СсылкиПравить

• Нормаль // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.