En matemàtiques, el terme ortogonal, és una generalització del concepte geomètric perpendicular.

Etimològicament ve del grec antic (ὀρθός orthos), que vol dir "recte" i (γωνία gonia), que vol dir angle.

Habitualment s'empra perpendicular per referir-se a l'espai euclidià i ortogonal quan es parla de vectors i sistemes de coordenades.

Definició

modifica

Dos vectors   i   són ortogonals si el seu producte intern (producte escalar) és zero.

Dos subespais vectorials   i   són ortogonals si cada vector en   és ortogonal a tots els vectors en  .

Una transformació lineal   s'anomena ortogonal si preserva el producte escalar dels vectors transformats. Això és, si parells de vectors preserven l'angle entre ells i els vectors les seves longituds.

El terme normal és sovint usat en lloc d'ortogonal. Nogensmenys, normal pot també referir-se a vectors unitaris. En particular es diu ortonormal d'un conjunt de vectors que són ortogonals i normals (de mòdul 1). Per tant és preferible usar el terme ortogonal.

Ortogonalitat en espais vectorials euclidians

modifica

En un espai euclidià de 2 o 3 dimensions 2 vectors són ortogonals si el seu producte escalar és zero, és a dir, fan entre ells un angle recte.

En 3 dimensions el complement ortogonal d'una línia és un pla i viceversa

En un espai euclidià de 4 dimensions el complement ortogonal d'una recta és un hiperpla i viceversa i el d'un pla un altre pla.

Exemple

modifica

Els vectors (1, 0, 0), (0, 0, 1) i (0, -1, 0) són ortogonals entre si. Es pot comprovar fent el producte escalar de dos en dos. El resultat serà sempre 0. A més, com tots ells tenen mòdul unitari, aquest conjunt de vectors forma una base ortonormal.

Funcions ortogonals

modifica

Entre dues funcions f and g es pot definir un producte intern de la forma:

 

on   és una funció de pes (o ponderació) no negativa.

Hom diu que les funcions són ortogonals si el seu producte intern és zero:

 

Exemples

modifica
  • Les funcions quadràtiques (2t + 3) i (5t² + t − 17/9). són ortogonals respecte a una funció de pes unitària en l'interval entre -1 i 1:


 
 
 
  • Les funcions (1), (sin(nx)), (cos(nx)) : n = 1, 2, 3, ... són ortogonals en respecte la mètrica de Lebesgue en l'interval entre 0 i 2π. Aquesta és la base teòrica de les sèries de Fourier.

Estadística

modifica

En anàlisi estadística, les variables que afecten un resultat s'anomenen ortogonals si són independents. Això és, que els seus efectes es poden predir per separat sense interacció entre ells.

Si hi ha correlació entre dues variables aleshores no són ortogonals. Noteu que hi ha força semblança entre el càlcul de la correlació de dues sèries de dades i el producte escalar de dos vectors.