Ortogonalidad (matemticas)

En matemticas, el trmino ortogonalidad (del griego orthos recto y gona ngulo)

es una generalizacin de la nocin geomtrica de perpendicularidad. En el espacio
eucldeo convencional el trmino ortogonal y el trmino perpendicular son sinnimos. Sin
embargo, en espacios de dimensin finita y en geometras no eucldeas el concepto de
ortogonalidad generaliza al de perpendicularidad.
ndice
[ocultar]

1 Ortogonalidad en espacios vectoriales

o

1.1 Definicin

1.2 Ortogonalidad y perpendicularidad

1.3 Ortogonalidad respecto de una matriz (A-ortogonalidad)

2 Transformacin ortogonal

3 Ortogonalidad en otros contextos

4 Sistemas de coordenadas ortogonales

5 Vase tambin

6 Referencias

Ortogonalidad en espacios vectoriales[editar]

Definicin[editar]
Formalmente, en un espacio vectorial con producto interior V, dos vectores
son ortogonales si el producto escalar de

es cero. Esta situacin se denota

Adems, 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 geometra eucldea se tiene, dos vectores
vectores

ortogonales forman un ngulo recto, los

lo son ya

que,

. En espacios no eucldeos 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
matriz

pertenecientes a un espacio vectorial de dimensin

de dimensin

, si el productor escalar

igual a cero, se dice que

Un conjunto de

vectores

y una

, notado

son ortogonales respecto a la matriz

, es

o A-ortogonales.

se dice que forma una base A-

ortonormal si

para todo

Transformacin ortogonal[editar]
En Geometra y lgebra lineal, una transformacin
prehilbertiano

en s mismo donde

es ortogonal cuando

es una aplicacin lineal de

que cualesquiera que sean los

En particular, el conjunto
En caso de que
que

de un espacio
representa el producto escalar en

en s mismo (un automorfismo) de forma

se cumple que

puede ser un espacio eucldeo.

sea un espacio vectorial sobre el cuerpo de los nmeros complejos, se dir

es transformacin unitaria.

Ortogonalidad en otros contextos[editar]

El concepto de ortogonalidad puede extenderse a otros objetos geomtricos 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 interseccin 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 lneas isostticas de
traccin y compresin 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 eucldeo es ortogonal cuando las lneas coordenadas asociadas a los
valores constantes de alguna de las coordenadas tienen vectores tangentes que son
ortogonales entre s. Las coordenadas cartesianas, las coordenadas cilndricas y
las coordenadas esfricasson ejemplos de sistemas de coordenadas ortogonales.
Los sistemas de coordenadas ortogonales son interesantes porque el tensor
mtrico expresado en ese sistema de coordenadas es diagonal. Si adems todos los trminos
del tensor mtrico son +1 (o tambin -1 si estamos en una Variedad pseudoriemanniana) el
sistema de coordenadas se califica adems de ortonormal.
Los sistemas de coordenadas ortogonales las lneas coordenadas forman familias de curvas
ortogonales entre s.