Desigualdad de Cauchy-Bunyakovsky-Schwarz

De Wikipedia, la enciclopedia libre
(Redirigido desde «Desigualdad de Cauchy-Schwarz»)
Saltar a: navegación, búsqueda

En matemáticas, la desigualdad de Cauchy-Bunyakovsky-Schwarz, también conocida como desigualdad de Schwarz, desigualdad de Cauchy o desigualdad de Cauchy-Schwarz, es una desigualdad que se encuentra en diversas áreas de la matemática, como el álgebra lineal[1] , el análisis matemático[2] y la teoría de probabilidades.[3]

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).

Enunciado[editar]

Sean a_1,...,a_n y b_1,...,b_n números reales cualesquiera.

Desigualdad de Cauchy-Bunyakovsky-Schwarz

\left(\sum_{k=1}^n{a_kb_k}\right)^2\leq\left(\sum_{k=1}^n{a_k^2}\right)\left(\sum_{k=1}^n{b_k^2}\right)

Además la igualdad se verifica si y sólo si existe un número real x tal que a_kx+b_k=0 para cada k=1 \dots n.

Demostración[editar]

Una suma de cuadrados no puede ser nunca negativa. Por lo tanto tenemos:

\sum_{k=1}^n({a_kx+b_k})^2\geq0

para todo número real x, y es igualdad si, y sólo si, cada término de la suma es cero. Esta desigualdad puede escribirse en la forma:

Ax^2+2Bx+C\geq0

donde:

A=\sum_{k=1}^n{a^2_k},\quad B=\sum_{k=1}^n{a_kb_k},\quad C=\sum_{k=1}^n{b^2_k}

Si A>0, hacemos x=-B/A para obtener B^2-AC\leq0, que es la desigualdad deseada. Si en esta desigualdad hacemos A=0, la demostración es trivial.

Utilizando notación vectorial, la desigualdad de Cauchy-Schwarz toma la forma:


(a\cdot{}b)^2\leq\left\|{a}\right\|^2\left\|{b}\right\|^2

donde

a=(a_1,...,a_n), b=(b_1,...,b_n) son dos vectores n-dimensionales, a\cdot{}b=\sum_{k=1}^n{a_kb_k} es su producto escalar y \left\|{a}\right\|=\sqrt[]{(a\cdot{}a)} es la norma de a.


La desigualdad de Cauchy-Bunyakovsky-Schwarz se puede probar con un caso particular de la Desigualdad de Hölder, con p = q = 2.

La desigualdad de Cauchy-Bunyakovsky-Schwarz se puede probar con un caso particular de la Identidad de Lagrange, incluso para el caso de los números complejos.

La desigualdad de Cauchy-Bunyakovsky-Schwarz se usa para probar que el producto escalar es una función continua con respecto a la topología inducida por el mismo producto escalar.

La desigualdad de Cauchy-Bunyakovsky-Schwarz se usa para probar la desigualdad de Bessel.

La formulación general del principio de incertidumbre de Heisenberg se deriva usando la desigualdad de Cauchy-Bunyakovsky-Schwarz sobre el producto escalar definido en el espacio de las funciones de onda físicas.

Véase también[editar]

Referencias[editar]

  1. De Burgos, Juan (27 de enero de 2006). Álgebra lineal y geometría cartesiana (3ª edición). McGraw Hill. p. 259. ISBN 978-8448149000. 
  2. Apostol, Tom M. (Abril de 2006). Análisis Matemático. Barcelona: Reverte. p. 17. ISBN 9788429150049. 
  3. Chung, Kai Lai (1983). Teoría elemental de la probabilidad y de los procesos estocásticos. Reverte. p. 198. ISBN 9788429150490. 

Enlaces externos[editar]