Ortogonalidad (matemáticas)

En matemáticas, el término ortogonalidad (del griego orthos —recto— y gonía —ángulo—)

es una generalización de la noción geométrica de perpendicularidad. En el espacio
euclídeo convencional el término ortogonal y el término perpendicular son sinónimos. Sin
embargo, en espacios de dimensión finita y en geometrías no euclídeas el concepto de
ortogonalidad generaliza al de perpendicularidad.

Índice
[ocultar]

 1 Ortogonalidad en espacios vectoriales

o 1.1 Definición
o 1.2 Ortogonalidad y perpendicularidad
o 1.3 Ortogonalidad respecto de una matriz (A-ortogonalidad)
 2 Transformación ortogonal
 3 Ortogonalidad en otros contextos
 4 Sistemas de coordenadas ortogonales
 5 Véase también
 6 Referencias

Ortogonalidad en espacios vectoriales[editar]

Definición[editar]
Formalmente, en un espacio vectorial con producto interior V,
dos vectores e son ortogonales si el producto escalar de es cero.
Esta situación se denota . Además, un conjunto A se dice que es ortogonal a otro
conjunto B, si cualquiera de los vectores de A es ortogonal a cualquiera de los vectores del
conjunto B.

Ortogonalidad y perpendicularidad[editar]
En geometría euclídea se tiene, dos vectores e ortogonales forman un ángulo recto, los
vectores y lo son ya
que, . En espacios no euclídeos puede
definirse de modo abstracto el ángulo entre dos vectores a partir del producto interior.
Ortogonalidad respecto de una matriz (A-ortogonalidad)[editar]
Dados dos vectores y pertenecientes a un espacio vectorial de dimensión y una
matriz de dimensión , si el productor escalar , notado , es
igual a cero, se dice que y son ortogonales respecto a la matriz o A-ortogonales.
Un conjunto de vectores se dice que forma una base A-
ortonormal si para todo .

Transformación ortogonal[editar]

En Geometría y Álgebra lineal, una transformación de un espacio

prehilbertiano en sí mismo —donde representa el producto escalar en —
es ortogonal cuando es una aplicación lineal de en sí mismo (un automorfismo) de forma
que cualesquiera que sean los se cumple que .

En particular, el conjunto puede ser un espacio euclídeo.

En caso de que sea un espacio vectorial sobre el cuerpo de los números complejos, se dirá
que es transformación unitaria.

Ortogonalidad en otros contextos[editar]

El concepto de ortogonalidad puede extenderse a otros objetos geométricos diferente de los

vectores. Por ejemplo dos curvas suaves se consideran ortogonales en un punto si sus
respectivos vectores tangentes son ortogonales. Dos familias de curvas se llaman ortogonales
si en el punto de intersección de una curva de la primera familia con una curva de la segunda
familia ambas resultan ser ortogonales. Un ejemplo de esto es el de las líneas isostáticas de
tracción y compresión en una viga, las cuales son lasenvolventes de las tensiones principales.

Sistemas de coordenadas ortogonales[editar]

Un sistema de coordenadas sobre una variedad de Riemann o un

espacio localmente euclídeo es ortogonal cuando las líneas coordenadas asociadas a los
valores constantes de alguna de las coordenadas tienen vectores tangentes que son
ortogonales entre sí. Las coordenadas cartesianas, las coordenadas cilíndricas y
las coordenadas esféricasson ejemplos de sistemas de coordenadas ortogonales.

Los sistemas de coordenadas ortogonales son interesantes porque el tensor

métrico expresado en ese sistema de coordenadas es diagonal. Si además todos los términos
del tensor métrico son +1 (o también -1 si estamos en una Variedad pseudoriemanniana) el
sistema de coordenadas se califica además de ortonormal.
Los sistemas de coordenadas ortogonales las líneas coordenadas forman familias de curvas
ortogonales entre sí.