You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
118 6. POLINOMIOS ORTOGONALES Y APROXIMACIÓN POR CUADRADOS MÍNIMOS<br />
En los espacios vectoriales con producto interno se tiene la norma inducida por dicho producto:<br />
x = 〈x, x〉 1<br />
2 , para todo x ∈ V.<br />
No es inmediato ver que con esta definición se obtiene efectivamente una norma. Esto es posible<br />
gracias a la siguiente desigualdad.<br />
Proposición 6.4. (Desigualdad de Cauchy - Schwarz) Si 〈., .〉 es un producto interno sobre<br />
un espacio vectorial V , entonces<br />
para todo x, y ∈ V.<br />
|〈x, y〉| ≤ 〈x, x〉 1<br />
2 〈y, y〉 1<br />
2<br />
Demostración. Sean x, y ∈ V dos vectores fijos. Si 〈y, y〉 = 0, no hay nada que probar. Supongamos<br />
entonces que 〈y, y〉 = 0.<br />
Para cada t ∈ IR consideramos x − ty, entonces<br />
0 ≤ 〈x − ty, x − ty〉<br />
= 〈x, x〉 − t〈x, y〉 − t〈y, x〉 + t 2 〈y, y〉<br />
= 〈x, x〉 − 2t〈x, y〉 + t 2 〈y, y〉<br />
= c − 2bt + at 2 = p(t).<br />
De esta manera se obtiene una función cuadrática donde a = 〈y, y〉, b = 〈x, y〉 y c = 〈x, x〉.<br />
Como p(t) ≥ 0 para todo t ∈ IR, esta cuadrática tiene a lo sumo una raíz real y por lo tanto<br />
4b 2 − 4ac ≤ 0. Luego,<br />
de donde se sigue el resultado.<br />
0 ≥ b 2 − ac = 〈x, y〉 2 − 〈x, x〉〈y, y〉<br />
Corolario 6.5. Si 〈., .〉 es un producto interno sobre un espacio vectorial V , entonces<br />
define una norma sobre V .<br />
x = 〈x, x〉 1<br />
2<br />
Demostración. La única dificultad está en probar la desigualdad triangular, para eso notemos<br />
que dados x, y ∈ V se tiene,<br />
x + y 2 = 〈x + y, x + y〉<br />
= x 2 + 2〈x, y〉 + y 2 .<br />
Usando la desigualdad de Cauchy - Schwarz vale, 〈x, y〉 ≤ |〈x, y〉| ≤ xy. Luego,<br />
x + y 2 ≤ x 2 + 2xy + y 2<br />
= (x + y) 2