Normal (geometría)
# Normal (geometría)

En geometría, una normal es un objeto matemático (como una recta o vector) que es perpendicular con respecto a otro objeto determinado. Por ejemplo, la recta normal a una curva plana en un punto dado es la línea recta (infinita) perpendicular a la tangente y a la curva en el punto considerado.
Un vector normal puede tener longitud uno (en cuyo caso es un vector normal unitario) o su longitud puede representar la curvatura del objeto (un vector de curvatura).
Multiplicar un vector normal por -1 da como resultado un vector opuesto, que puede usarse para indicar de qué lado se sitúa (por ejemplo, en el interior o en el exterior de una figura).
En el espacio tridimensional, la normal a una superficie en un punto P es un vector perpendicular a la tangente a la superficie en dicho punto P. La palabra normal también se utiliza como adjetivo: una recta normal a un plano, la componente normal de una fuerza, o un vector normal. El concepto geométrico de normalidad se identifica con el de ortogonalidad en otros campos de la matemática (como los ángulos rectos en trigonometría).
El concepto se ha generalizado a las variedades diferenciables de dimensión arbitraria integradas en un espacio euclídeo. El espacio vectorial normal o espacio normal de una variedad en el punto $P$ es el conjunto de vectores que son ortogonales al espacio tangente en $P$.
Los vectores normales son de especial interés en el caso de curvas y superficies suaves.
La normal se usa a menudo en gráficos 3D por computadora (observe el singular, ya que solo se definirá una normal) para determinar la orientación de una superficie hacia luz para generar el sombreado plano, o la orientación de cada una de las esquinas de una superficie (sus vértices) para imitar una superficie curva empleando el sombreado de Phong .
El pie de una normal en un punto buscado Q (análogo al pie de una perpendicular) se puede definir en el punto P de la superficie donde el vector normal contiene a Q.
La distancia normal de un punto Q a una curva o a una superficie es la distancia euclídea entre Q y su pie P.

# Normal (geometría)
## Normal a superficies en el espacio 3D
### Cálculo de la normal a una superficie

* Para un polígono convexo (como por ejemplo, un triángulo), se puede calcular un vector normal al plano que lo contiene como resultado del producto vectorial de dos de sus aristas no paralelas entre sí.
* Para un plano dado por la ecuación $ax+by+cz+d=0,$, su vector normal es el vector $\mathbf {n} =(a,b,c)$.
* Para un plano cuya ecuación está dada en forma paramétrica $\mathbf {r} (s,t)=\mathbf {r} _{0}+s\mathbf {p} +t\mathbf {q} ,$; donde $\mathbf {r} _{0}$ es un punto en el plano y $\mathbf {p} ,\mathbf {q}$ son vectores no paralelos pertenecientes al plano, una normal al plano es un vector normal tanto a $\mathbf {p}$ como a $\mathbf {q} ,$ que se puede calcular como el producto vectorial$\mathbf {n} =\mathbf {p} \times \mathbf {q} .$
* Si una superficie $S$ en el espacio tridimensional $\mathbb {R} ^{3}$ (que puede no ser un plano) es parametrizada mediante un sistema de coordenadas curvilíneas $\mathbf {r} (s,t)=(x(s,t),y(s,t),z(s,t)),$ con variables reales $s$ y $t$, entonces una normal a S es, por definición, una normal a un plano tangente a S, dada por el producto vectorial de las derivadas parciales: $\mathbf {n} ={\frac {\partial \mathbf {r} }{\partial s}}\times {\frac {\partial \mathbf {r} }{\partial t}}.$
* Si una superficie $S$ se define mediante una función implícita como el conjunto de puntos $(x,y,z)$ que satisfacen la ecuación $F(x,y,z)=0$, entonces una normal en un punto $(x,y,z)$ de la superficie viene dada por el gradiente $\mathbf {n} =\nabla F(x,y,z)$, teniendo en consideración que el gradiente en cualquier punto es perpendicular a los conjuntos de nivel de $S$ existentes en el entorno del punto.
* Para una superficie $S$ en $\mathbb {R} ^{3}$ dada como la gráfica de una función $z=f(x,y),$, se puede encontrar una normal que apunta hacia arriba a partir de la parametrización $\mathbf {r} (x,y)=(x,y,f(x,y)),$ dando $\mathbf {n} ={\frac {\partial \mathbf {r} }{\partial x}}\times {\frac {\partial \mathbf {r} }{\partial y}}=\left(1,0,{\tfrac {\partial f}{\partial x}}\right)\times \left(0,1,{\tfrac {\partial f}{\partial y}}\right)=\left(-{\tfrac {\partial f}{\partial x}},-{\tfrac {\partial f}{\partial y}},1\right);$
    o más sencillamente, a partir de su forma implícita $F(x,y,z)=z-f(x,y)=0$, dando $\mathbf {n} =\nabla F(x,y,z)=\left(-{\tfrac {\partial f}{\partial x}},-{\tfrac {\partial f}{\partial y}},1\right).$
* Dado que en los puntos singulares de una superficie no es posible definir un plano tangente, no existe una normal bien definida en ellos, como por ejemplo en el caso del vértice de un cono. En general, es posible definir una normal en casi todos los puntos de una superficie definida por una función lipschitziana.

# Normal (geometría)
## Normal a superficies en el espacio 3D
### Orientación

La normal a una (hiper)superficie generalmente se escala para tener longitud unitaria, pero no tiene una dirección única, ya que su opuesto también es una vector normal unitario. Para una superficie que es la frontera topológica de un conjunto en tres dimensiones, se pueden distinguir entre dos orientaciones normales, la normal que apunta hacia adentro y la normal que apunta hacia afuera. Para una superficie orientada, la orientación de los vectores normales suele estar determinada por la regla de la mano derecha o su análogo en dimensiones superiores.
Si la normal se construye como el producto cruzado de vectores tangentes (como se describe en el texto anterior), entonces se obtiene un pseudovector.

# Normal (geometría)
## Normal a superficies en el espacio 3D
### Transformación de las normales

$3\times 3$
Al aplicar una transformación geométrica a una superficie, suele ser útil deducir las normales de la superficie resultante a partir de las normales originales.
Específicamente, dada una matriz de transformación $\mathbf {M}$ de 3×3, es posible determinar la matriz $\mathbf {W}$ que transforma un vector $\mathbf {n}$ perpendicular al plano tangente $\mathbf {t}$ en un vector $\mathbf {n} ^{\prime }$ perpendicular al plano tangente transformado $\mathbf {Mt} ,$ mediante el siguiente procedimiento:
Denotando n′ como $\mathbf {Wn}$, se debe determinar $\mathbf {W}$:
${\begin{alignedat}{5}W\mathbb {n} {\text{ es perpendicular a }}M\mathbb {t} \quad \,&{\text{si y solo si}}\quad 0=(W\mathbb {n} )\cdot (M\mathbb {t} )\\&{\text{si y solo si}}\quad 0=(W\mathbb {n} )^{\mathrm {T} }(M\mathbb {t} )\\&{\text{si y solo si}}\quad 0=\left(\mathbb {n} ^{\mathrm {T} }W^{\mathrm {T} }\right)(M\mathbb {t} )\\&{\text{si y solo si}}\quad 0=\mathbb {n} ^{\mathrm {T} }\left(W^{\mathrm {T} }M\right)\mathbb {t} \\\end{alignedat}}$
Elegir $\mathbf {W}$ de modo que $W^{\mathrm {T} }M=I,$ o $W=(M^{-1})^{\mathrm {T} },$ satisfaga la ecuación anterior, dando un $W\mathbb {n}$ perpendicular a $M\mathbb {t} ,$ o un $\mathbf {n} ^{\prime }$ perpendicular a $\mathbf {t} ^{\prime },$ según sea necesario.
Por lo tanto, se debe utilizar la matriz inversa transpuesta de la transformación lineal al transformar las normales de la superficie. La inversa transpuesta es igual a la matriz original si la matriz es ortonormal, es decir, cuando es puramente rotacional (sin escalamiento ni cizallamiento).

# Normal (geometría)
## Hipersuperficies en el espacio n-dimensional

Para un hiperplano $(n-1)$-dimensional en el espacio $n$-dimensional $\mathbb {R} ^{n}$ dado por su representación paramétrica:
    $\mathbf {r} \left(t_{1},\ldots ,t_{n-1}\right)=\mathbf {p} _{0}+t_{1}\mathbf {p} _{1}+\cdots +t_{n-1}\mathbf {p} _{n-1},$
donde $\mathbf {p} _{0}$ es un punto en el hiperplano y $\mathbf {p} _{i}$ para $i=1,\ldots ,n-1$ son vectores linealmente independientes que pertenecen al hiperplano, una normal al hiperplano es cualquier vector $\mathbf {n}$ en el núcleo de la matriz $P={\begin{bmatrix}\mathbf {p} _{1}&\cdots &\mathbf {p} _{n-1}\end{bmatrix}}$, lo que significa que $P\mathbf {n} =\mathbf {0} .$ Es decir, cualquier vector ortogonal a todos los vectores que están en el plano es por definición una normal a la superficie. Alternativamente, si el hiperplano se define como el conjunto solución de una única ecuación lineal $a_{1}x_{1}+\cdots +a_{n}x_{n}=c,$, entonces el vector $\mathbb {n} =\left(a_{1},\ldots ,a_{n}\right)$ es normal.
La definición de una normal a una superficie en un espacio tridimensional se puede extender a hipersuperficies $(n-1)$ dimensionales en $\mathbb {R} ^{n}$. Una hipersuperficie puede ser localmente definida de forma implícita como el conjunto de puntos $(x_{1},x_{2},\ldots ,x_{n})$ que satisfacen una ecuación $F(x_{1},x_{2},\ldots ,x_{n})=0,$ donde $F$ es una función escalar dada. Si $F$ es diferenciable, entonces la hipersuperficie es una variedad diferenciable en el entorno de los puntos donde el gradiente no es cero. En estos puntos un vector normal viene dado por el gradiente:
    $\mathbb {n} =\nabla F\left(x_{1},x_{2},\ldots ,x_{n}\right)=\left({\tfrac {\partial F}{\partial x_{1}}},{\tfrac {\partial F}{\partial x_{2}}},\ldots ,{\tfrac {\partial F}{\partial x_{n}}}\right)\,.$
La recta normal es el subespacio unidimensional con base $\{\mathbf {n} \}$.

# Normal (geometría)
## Variedades definidas por ecuaciones implícitas en el espacio n-dimensional

Una variedad diferencial definida por ecuaciones implícitas en el espacio dimensional $n$ $\mathbb {R} ^{n}$ es el conjunto de ceros comunes de un conjunto finito de funciones en $n$ variables diferenciables
    $f_{1}\left(x_{1},\ldots ,x_{n}\right),\ldots ,f_{k}\left(x_{1},\ldots ,x_{n}\right)$.
La matriz jacobiana de la variedad es la matriz $k\times n$ cuya $i$-ésima fila es el gradiente de $f_{i}$. Según el teorema de la función implícita, la variedad se comporta como tal en el entorno de un punto donde la matriz jacobiana tiene rango $k$. En tal punto $P,$ el espacio vectorial normal es el espacio vectorial generado por los valores en $P$ de los vectores gradientes de $f_{i}$.
En otras palabras, una variedad se define como la intersección de $k$ hipersuperficies, y el espacio vectorial normal en un punto es el espacio vectorial generado por los vectores normales de las hipersuperficies en el punto.
El 'espacio normal (afín) en un punto $P$ de la variedad es el espacio afín que pasa por $P$ y es generado por el espacio vectorial normal en $P$.
Estas definiciones pueden ampliarse literalmente a los puntos en los que la variedad deja de serlo.

# Normal (geometría)
## Variedades definidas por ecuaciones implícitas en el espacio n-dimensional
### Ejemplo

Sea V la variedad definida en el espacio tridimensional por las ecuaciones:
    $x\,y=0,\quad z=0$
Esta variedad es la unión del eje $x$ y el eje $y$.
En un punto $(a,0,0),$ donde $a\neq 0$, las filas de la matriz jacobiana son $(0,0,1)$ y $(0,a,0)$. Por lo tanto, el espacio afín normal es el plano de ecuación $x=a$. De manera similar, si $b\neq 0$, el plano normal en $(0,b,0)$ es el plano de ecuación $y=b$.
En el punto $(0,0,0)$ las filas de la matriz jacobiana son $(0,0,1)$ y $(0,0,0)$. Por lo tanto, el espacio vectorial normal y el espacio afín normal tienen dimensión 1 y el espacio afín normal es el eje $z$.

# Normal (geometría)
## Ecuaciones genéricas
### Normal a una curva 3D

Sea $\mathbf {r} =\mathbf {r} (t)$ la ecuación vectorial de una curva definida en el espacio tridimensional. Entonces, la dirección de la normal principal se puede obtener como el doble producto vectorial: $[[\mathbf {r} ',\ \mathbf {r} ''],\ \mathbf {r} '].$ En el caso de la parametrización natural de la curva (en función de su longitud de arco), el vector unitario de la normal principal es igual a $\mathbf {r} ''$.
La ecuación vectorial de la binormal en el punto $t=t_{0}$ tiene la forma:
    ${\boldsymbol {r}}(\lambda )={\boldsymbol {r}}(t_{0})+\lambda [{\boldsymbol {r}}'(t_{0}),~{\boldsymbol {r}}''(t_{0})]$.
La ecuación del plano normal en el punto ${\boldsymbol {r}}(t_{0})=\{x_{0},y_{0},z_{0}\}$:
    $x'_{0}(x-x_{0})+y'_{0}(y-y_{0})+z'_{0}(z-z_{0})=0$

# Normal (geometría)
## Ecuaciones genéricas
### Normal a una curva plana

Para una curva plana, el plano que la contiene coincide con el plano osculador. Solo existe una normal en cada punto, (si se prescinde del signo), la principal, y su ecuación en el punto $(x_{0},\ y_{0})$ tiene la siguiente forma:
| Tipo de ecuación | Ecuación de la curva | Ecuación de la normal |
| Paramétrica | $\mathbf {r} =\mathbf {r} (t)$ | $y=y_{0}-{\frac {x_{0}'}{y_{0}'}}(x-x_{0})$ |
| Explícita | $y=f(x)$ | $y=y_{0}-{\frac {x-x_{0}}{y_{0}'}}$ |
| Implícita | $F(x,y)=0$ | $y=y_{0}+{\frac {(F_{y}')_{0}}{(F_{x}')_{0}}}(x-x_{0})$ |

# Normal (geometría)
## Ecuaciones genéricas
### Normal a una superficie

En geometría diferencial, las superficies que se examinan suelen estar sujetas a condiciones relacionadas con la posibilidad de utilizar métodos de cálculo diferencial. Como regla general, estas son condiciones para determinar la suavidad de la superficie, es decir, la existencia en cada punto de la superficie de elementos como un determinado plano tangente, o un valor de la curvatura. Estos requisitos se reducen al hecho de que las funciones que definen la superficie se suponen una, dos, tres veces y, en algunos casos, un número ilimitado de veces diferenciables o incluso que se trata de funciones analíticas. En este último caso, se impone una condición de regularidad adicional (véase el artículo superficie (topología)). Un conocido ejemplo de un punto de una superficie donde la normal no está definida es el vértice de un cono, dado que no hay ningún plano tangente.
Las coordenadas del vector unitario normal para diferentes métodos de definir una superficie se dan en la tabla siguiente:
| | Coordenadas de la normal en un punto de una superficie |
| Ecuación paramétrica: $\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}}}}$ |
| Ecuación implícita: $F(x,y,z)=0$ | ${\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}}}}$ |
| Ecuación explícita: $z=f(x,y)$ | ${\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}}}$ |
Las expresiones siguientes corresponden a las operaciones anteriores: ${\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}}$. Todas las derivadas se toman en el punto $(x_{0},y_{0},z_{0})$. De las fórmulas se desprende claramente que en el caso de una ecuación implícita, la dirección de la normal a la función $F(x,y,z)$ coincide con la dirección de su gradiente.
La sección de una superficie por un plano que contiene la normal de la superficie en un punto dado forma una determinada curva, que se denomina sección normal de la superficie. La normal principal de una sección normal coincide con la normal a la superficie (sin considerar su signo).
Si la curva de la superficie no es una sección normal, entonces su normal principal forma un cierto ángulo $\theta$ con la normal de la superficie. Entonces, la curvatura $k$ de la curva está relacionada con la curvatura $k_{n}$ de la sección normal (con la misma tangente) de acuerdo con el teorema de Meusnier:
    $k_{n}=\pm k\,\cos \,\theta$
La curvatura $k_{n}$ de una sección normal en un punto dado depende de la dirección de esta sección; si la curvatura no es constante, entonces el máximo y el mínimo se alcanzan en dos direcciones mutuamente perpendiculares, llamadas direcciones principales. En una esfera o en los puntos extremos de un elipsoide, la curvatura es constante y todas las direcciones son direcciones principales.

# Normal (geometría)
## Aplicaciones

* Las normales de superficie son útiles para definir integrales de superficie de campos vectoriales.
* Las normales de superficie se usan comúnmente en gráficos 3D por computadora para cálculos de iluminación (véase la ley de Lambert), a menudo ajustadas por un mapeado normal.
* Las capas de render que contienen información normal de la superficie se pueden usar en composición digital para cambiar la iluminación aparente de los elementos renderizados.
* En visión artificial, las formas de los objetos 3D se estiman a partir de normales a las superficies utilizando estéreo fotometría.
* El vector normal se puede obtener como el gradiente de la función distancia con signo.

# Normal (geometría)
## Normal en óptica geométrica

Se denomina rayo normal al que apunta perpendicularmente hacia afuera de la superficie de un medio óptico en un punto dado. En el estudio de la reflexión de la luz, ángulo de incidencia y ángulo de reflexión son respectivamente el ángulo entre la normal y el rayo incidente (en el plano de incidencia) y el ángulo entre la normal y el rayo reflejado.