Ortonormal

Na álxebra linear, dous vectores nun espazo de produto interno son ortonormais se son vectores unitarios ortogonais. Un vector unitario significa que o vector ten unha lonxitude de 1, que tamén se coñece como normalizado. 

Ortogonal significa que os vectores son todos perpendiculares entre si. Un conxunto de vectores forma un conxunto ortonormal se todos os vectores do conxunto son mutuamente ortogonais e todos teñen a unidade por lonxitude. Un conxunto ortonormal que forma unha base chámase base ortonormal.

 Exemplo teórico básico 
Como é un par de vectores ortonormais no espazo euclidiano 2D?

Sexan u = (x1, y1) e v = (x2, y2). Considere as restricións sobre x 1, x 2, y 1, y 2 necesarias para que u e v formen un par ortonormal.

 A partir da restrición de ortogonalidade, u • v = 0.
 A partir da restrición de lonxitude 1 en u, ||u|| = 1.
 A partir da restrición de lonxitude 1 en v, ||v|| = 1.

Con estas condicións temos 3 ecuacións:





Convertendo de coordenadas cartesianas a polares, e considerando a ecuación  e a ecuación  inmediatamente dá o resultado r1 = r2 = 1. 

Despois da substitución, a ecuación  convértese en  . Reordenar dá . Usando unha identidade trigonométrica para converter o termo cotanxente dá




Está claro que no plano, os vectores ortonormais son simplemente raios da circunferencia unitaria cuxa diferenza de ángulos é igual a 90°.

 Definición 
Sexa  un espazo de produto interno. Un conxunto de vectores



chámase ortonormal se e só se



onde  é o delta de Kronecker e  é o produto interno definido sobre .

 Propiedades 
Os conxuntos ortonormais teñen certas propiedades moi atractivas, que fan especialmente doado traballar con eles.

 Teorema . Se { e1, e2, ..., en } é unha lista ortonormal de vectores, entón 
 Teorema . Toda lista ortonormal de vectores é linearmente independente.

 Existencia 

 Teorema de Gram-Schmidt. Se { v1, v2 ,..., vn } é unha lista linearmente independente de vectores nun espazo de produto interno , entón existe unha lista ortonormal {e1, e2 ,..., en} de vectores en  tal que span (e1, e2 ,..., en) = span (v1, v2 ,..., vn ).

Onde a función span representa a xeración do espazo vectorial por un conxunto de vectores.

A demostración do teorema de Gram-Schmidt é construtiva. 

Existe unha relación profunda entre a diagonalización dun operador e como actúa sobre os vectores de base ortonormais. Esta relación está caracterizada no Teorema espectral.

 Exemplos 

 Base estándar 
A base estándar para o espazo de coordenadas Fn é
{|
|-
|{e1, e2,...,en}  onde 
| e1 = (1, 0, ..., 0)
|-
|
| e2 = (0, 1, ..., 0)
|-
|
|
|-
|
| en = (0, 0, ..., 1)
|}

Dous vectores calquera ei, ej onde i≠j son ortogonais, e todos os vectores son claramente de lonxitude unidade. Logo {e1, e2 ,..., en} forma unha base ortonormal.

 Funcións con valores reais 
Cando se refire a funcións con valores reais, normalmente asúmese o produto interno L² a non ser que se indique o contrario. Dúas funcións  e  son ortonormais no intervalo  se




 Notas 


 Véxase tamén 

 Bibliografía 



 Outros artigos 
Ortogonal
Polinomios ortogonais

Categoría:Álxebra lineal
Categoría:Análise funcional