En matemáticas, el término ortogonalidad (del griego ὀρθός ‘recto’ y γωνία ‘á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.
Ortogonalidad en espacios vectoriales
Definición
Formalmente, en un espacio vectorial con producto interiorV, dos vectores e son ortogonales si el producto escalar de es cero.[1] 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.
Complemento ortogonal
Si S es un subespacio vectorial de M, el complemento ortogonal de S en M está formado por los vectores de M que son perpendiculares a todos los vectores de S.
Ejemplo 1
Ejemplo 2. Cálculo por el método de Gauss
Ortogonalidad y perpendicularidad
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)
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 .
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 las envolventes de las tensiones principales.
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í.