2.2.7 Vectores ortogonales y ortonormales
Vectores ortogonales
Dos vectores \(\vec{u} \) y \(\vec{v} \) son ortogonales (perpendiculares, \(\vec{u} \perp \vec{v} \)) cuando forman un ángulo recto, lo que equivale a la condición analítica:
Si alguno de los vectores es nulo, el producto escalar es cero pero no se habla de perpendicularidad en sentido geométrico.
Los vectores \(\vec{u} = (1, 2, -1) \) y \(\vec{v} = (2, -1, 0) \) son ortogonales, porque \(\vec{u} \cdot \vec{v} = 2 - 2 + 0 = 0 \)
Conjuntos ortonormales
Un conjunto de vectores \(\{\vec{e}_1, \vec{e}_2, \vec{e}_3\} \) es ortonormal cuando son ortogonales dos a dos y todos unitarios, es decir:
Tres vectores ortonormales en \(\mathbb{R}^3 \) forman una base ortonormal; la más conocida es la canónica \(\{\vec{i}, \vec{j}, \vec{k}\} \)
El conjunto \(\{(1, 0, 0), (0, 1, 0), (0, 0, 1)\} \) es ortonormal: los productos escalares dos a dos valen \(0 \) y cada vector tiene módulo \(1 \)
Halla un vector no nulo perpendicular a \(\vec{u} = (1, 2, -3) \)
Para resolver este ejemplo empezaremos por imponer la condición de ortogonalidad \(\vec{u} \cdot \vec{v} = 0 \) con un vector genérico.
A continuación elegiremos valores sencillos para dos componentes y despejaremos la tercera.
Condición con un vector genérico.
Para \(\vec{v} = (x, y, z) \):
Tomamos \(y = 1 \) y \(z = 0 \), de donde \(x = -2 \)
Vector obtenido y comprobación.
El vector \((-2, 1, 0) \) es no nulo y perpendicular a \(\vec{u} \)
Comprueba que $$\vec{u}_1 = \left( \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}, 0 \right) $$ y \(\vec{u}_2 = (0, 0, 1) \) forman un conjunto ortonormal.
Para resolver este ejemplo empezaremos por comprobar que ambos vectores son unitarios.
A continuación comprobaremos que son ortogonales.
Módulos unitarios.
Ortogonalidad.
Son unitarios y ortogonales entre sí, luego forman un conjunto ortonormal.
Demuestra que los vectores \(\vec{e}_1 = (1, 0, 0) \), $$\vec{e}_2 = \left( 0, \frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2} \right) $$ y $$\vec{e}_3 = \left( 0, -\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2} \right) $$ forman una base ortonormal de \(\mathbb{R}^3 \)
Para resolver este ejercicio empezaremos por comprobar la ortogonalidad dos a dos.
A continuación comprobaremos que todos son unitarios.
Para terminar concluiremos que forman una base.
Ortogonalidad dos a dos.
Módulos unitarios.
\(|\vec{e}_3| = 1 \) (mismo cálculo que el anterior).
Conclusión como base.
Tres vectores ortogonales dos a dos en \(\mathbb{R}^3 \) son linealmente independientes, y tres vectores independientes en un espacio de dimensión tres forman base.
Los tres vectores forman una base ortonormal de \(\mathbb{R}^3 \)
Halla un vector unitario perpendicular a \(\vec{u} = (1, 2, -2) \)
Para resolver este ejercicio empezaremos por buscar un vector no nulo ortogonal a \(\vec{u} \) imponiendo producto escalar nulo.
A continuación lo normalizaremos dividiendo por su módulo.
Para terminar comprobaremos el resultado.
Vector ortogonal no nulo.
Buscamos \(\vec{w} = (x, y, z) \) con \(x + 2y - 2z = 0 \)
Tomando \(x = 0 \), \(y = 1 \) y \(z = 1 \), se cumple \(0 + 2 - 2 = 0 \), luego \(\vec{w} = (0, 1, 1) \) es ortogonal a \(\vec{u} \)
Normalización.
Comprobación.
El vector $$\left( 0, \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}} \right) $$ es unitario y perpendicular a \(\vec{u} \)
Demuestra que si \(|\vec{u}| = |\vec{v}| \) entonces \(\vec{u} + \vec{v} \) y \(\vec{u} - \vec{v} \) son perpendiculares, y compruébalo con \(\vec{u} = (1, 2, 2) \) y \(\vec{v} = (2, 2, 1) \)
Para resolver este ejercicio empezaremos por calcular el producto escalar de la suma por la diferencia con letras.
A continuación usaremos la hipótesis de módulos iguales.
Para terminar haremos la comprobación numérica.
Producto con letras.
Desarrollando por la propiedad distributiva y simplificando por conmutatividad:
Hipótesis de módulos iguales.
Si \(|\vec{u}| = |\vec{v}| \), entonces \(|\vec{u}|^2 - |\vec{v}|^2 = 0 \), luego el producto escalar es nulo y los vectores son perpendiculares.
Comprobación numérica.
Queda demostrado y comprobado: las diagonales de un rombo vectorial son perpendiculares.