Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
La desigualdad triangular se obtiene al tomar raíz cuadrada.<br />
1. PRELIMINARES 119<br />
La norma asociada al producto escalar usual en IR 2 o IR 3 definido en el Ejemplo 6.3 (1) corresponde<br />
a la norma x2 y da la longitud del vector x. Recordemos además que este producto<br />
escalar puede escribirse, para x e y no nulos, en términos de las longitudes de ambos vectores y<br />
de θ, el ángulo entre estos, a saber,<br />
〈x, y〉 = xy cos θ.<br />
En particular, x e y son ortogonales si y sólo si 〈x, y〉 = 0.<br />
La gran ventaja de trabajar en espacios con producto interno es que se puede generalizar esta<br />
noción de ortogonalidad.<br />
Notar que la desigualdad de Cauchy - Schwartz da, para todo x, y = 0<br />
|〈x, y〉|<br />
≤ 1.<br />
xy<br />
Esto permite definir el ángulo entre dos vectores x, y no nulos mediante la función coseno. Es<br />
decir θ ∈ [0, π] será el ángulo entre x e y si verifica<br />
cos(θ) =<br />
Luego resulta natural la siguiente definición.<br />
〈x, y〉<br />
xy .<br />
Definición 6.6. Si V es un espacio con producto interno 〈., .〉, se dice que x e y son ortogonales<br />
si 〈x, y〉 = 0. En este caso suele notarse x ⊥ y.<br />
Definición 6.7. Dos conjuntos A, B ⊂ V se dicen ortogonales (A ⊥ B) si x ⊥ y para todo<br />
x ∈ A e y ∈ B.<br />
El siguiente teorema relaciona los problemas de aproximación que queremos estudiar con la<br />
noción de ortogonalidad.<br />
Teorema 6.8. Dados S un subespacio de un espacio V con producto interno, x ∈ V e y ∈ S,<br />
son equivalentes:<br />
1. x − y = mín{x<br />
− s}<br />
s∈S<br />
2. 〈x − y, s〉 = 0, ∀s ∈ S.<br />
Además, un elemento y ∈ S que verifique alguna de las propiedades anteriores es único.<br />
Demostración. Veamos primero que (1) implica (2). Sabemos que y ∈ S minimiza la distancia<br />
de x a S. Como S es un subespacio, se tiene que y + s ∈ S para todo s ∈ S, y por lo tanto,<br />
x − y 2 ≤ x − (y + s) 2 = (x − y) − s) 2 = x − y 2 − 2〈x − y, s〉 + s 2 .