Desigualdad de Cauchy-Schwarz

Saltar a: navegacin, bsqueda

En matemticas, la desigualdad de Cauchy-Schwarz, tambin conocida como
desigualdad de Schwarz, desigualdad de Cauchy o desigualdad de CauchyBunyakovski-Schwarz, es una desigualdad muy til encontrada en diferentes reas,
tales como el lgebra lineal aplicada a vectores, en anlisis matemtico aplicada a series
infinitas e integracin de productos de funciones, y en teora de probabilidades, aplicada
a varianzas y covarianzas.
La desigualdad para sumas fue publicada por Augustin Louis Cauchy (1821), mientras
que la correspondiente desigualdad para integrales fue establecida por Viktor
Yakovlevich Bunyakovsky (1859) y redescubierta por Hermann Amandus Schwarz
(1888) (a menudo mal escrito como "Schwartz").

Enunciado
La desigualdad de Cauchy-Schwarz establece que para todo par de vectores x e y de un
espacio vectorial real o complejo dotado de un producto escalar
espacio prehilbertiano),

(es decir, un

Equivalentemente, tomando la raz cuadrada en ambos lados, y refirindose a la norma

de los vectores, la desigualdad se escribe como

Adicionalmente, los dos lados son iguales si y slo si x e y son linealmente

dependientes (geomtricamente, si son paralelos o uno de los vectores es igual a cero).

La desigualdad de Cauchy-Scharz se puede probar con un caso particular de la

Identidad de Lagrange, incluso para el caso de los nmeros complejos.
La desigualdad de Cauchy-Schwarz se usa para probar que el producto escalar es una
funcin continua con respecto a la topologa inducida por el mismo producto escalar.
La desigualdad de Cauchy-Schwarz se usa para probar la desigualdad de Bessel.
La formulacin general del principio de incertidumbre de Heisenberg se deriva usando
la desigualdad de Cauchy-Schwarz sobre el producto escalar definido en el espacio de
las funciones de onda fsicas.

La desigualdad de Cauchy-Schwarz
Publicado en 06/10/2012 by Miguel Lacruz
El producto escalar de dos vectores

se define mediante la expresin

Es fcil comprobar que el producto escalar es una forma bilineal simtrica definida
positiva, es decir, que se cumplen las siguientes propiedades.

Proposicin (Propiedades del producto escalar)

1.
2.
3.
4.

y adems

La norma eucldea de un vector

que
si y slo si
y que

si y slo si

se define como

Es evidente

Teorema (Desigualdad de Cauchy-Schwarz)

Si
entonces
Demostracin. Consideramos la funcin definida por
Est claro que
para todo
Observemos que

es decir, que
es una funcin polinmica de segundo grado con a lo sumo una raz
real, y por lo tanto su discriminante es no positivo:

Esta ltima desigualdad implica como queramos demostrar.