You are on page 1of 7

Norma o Mdulo de un vector Se define como la longitud del segmento orientado (vector) en el espacio mtrico considerado.

Se calcula a travs del producto interno del vector consigo mismo.

Efectuado el producto escalar, tenemos:

de modo que

Por componentes, tomando la base cannica en {i, j, k}

formada por los vectores unitarios

de modo que

La desigualdad de Cauchy-Schwarz 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. y adems si y slo si 2. 3. 4. La norma eucldea de un vector que si y slo si y que se define como Es evidente

Teorema (Desigualdad de Cauchy-Schwarz) Si entonces Demostracin. Consideramos la funcin definida por claro que para todo Observemos que Est

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.

Corolario (Desigualdad de Minkowski) Si entonces Demostracin. Tenemos

y tomando races cuadradas se deduce la desigualdad.

La desigualdad de Cauchy-Schwarz

Adems de la relacin existe otra relacin entre la norma y el producto interior llamada desigualdad de Cauchy-Schwarz: Proposition

Sean e cumple la desigualdad de Cauchy-Schwarz:

dos vectores en

. Entonces se

Demostraci\on. Tome valor absoluto en ambos lados de la igualdad y recuerde que

En realidad esta desigualdad tambin es vlida en . Para demostrar este aserto, primero debemos definir producto interior en este espacio ms general, de modo tal que esta definicin coincida con la dada anteriormente para el caso particular de es simple de hacer ya que hemos demostrado que en se cumple la igualdad Esto

. Por consiguiente tenemos la siguiente definicin:

Sean Diremos que su producto interior

dos vectores en est definido por la siguiente igualdad:

Proposition

El producto interior siguientes propiedades:

cumple con las

1. 2. 3. 4. y

5.

Demostraci\on. Ejercicio. Proposition

En el producto interior Schwarz:

tambin cumple con la desigualdad de Cauchy-

la cual, expresada usando coordenadas, es equivalente a:

Demostracin. Debido a que cualquier nmero real (positivo o negativo) elevado al cuadrado en mayor o igual a cero, se deduce que para todo se cumple:

Observe que hemos llegado a que para todo

, se cumple la desigualdad:

en donde Esto significa que el grfico de la curva:

es una parbola abierta hacia arriba y corta al eje de las a lo ms en un punto (ya que si cortara en dos puntos distintos, la parte de la parbola que quedara entre estos dos

puntos asumira valores negativos, lo cual contradecira el hecho que para todo real). Por lo tanto, recordando la relacin que existe entre el discriminante de una ecuacin de segundo grado y el nmero de soluciones, deducimos que dicho discriminante debe ser menor o igual a cero. Esto es:

Por lo tanto, dividiendo por 4, obtenemos que,

Extrayendo races cuadradas y recordando que deduce que demostracin. , vale decir

son nmeros no negativos, se Esto termina la

1. Comenzaremos con la desigualdad triangular del valor absoluto de nmeros reales Para x, y nmeros reales se cumple | x + y | | x | + | y |. Demostracin: Para x e y se verifican las desigualdades: -|x|x|x| -|y|y|y| Sumando ambas desigualdades tenemos - (| x | +| y | ) x + y | x | + | y | y de aqu se obtiene el resultado. 2. Desigualdad del cuadriltero. Si a, b, c y d son nmeros reales, entonces se tiene a b + c d [( a2 + c2 ) ( b2 + d2) ]

Demostracin: Elevando al cuadrado el miembro izquierdo se tiene: ( a b + c d )2 = a2 b2 + 2 a b c d + c2 d2 a2 b2 + a2 d2 + c2 b2 + c2 d2 (1) haciendo uso de la desigualdad 2 x y x 2+ y 2 la cual es cierta para x e y nmeros reales. Factorizando el segundo miembro de la desigualdad (1) obtenemos ( a b + c d )2 ( a2 + c2 ) ( b2 + d2) y de aqu se obtiene el resultado, al tomar races cuadradas en ambos lados. 3. Desigualdad triangular para los nmeros complejos. Sean Z = a + bi y W = c + di , dos nmeros complejos, entonces se tiene | Z + W | | Z | + | W |. Demostracin: Tenemos las igualdades |Z+W|
2

=(Z+W)(Z+W)=ZZ +WW+ZW+ZW =|Z|+ |W|+ZW+ZW

Si logramos probar que ZW+ZW2|Z||W| se tendr entonces | Z + W | Notemos que Z W + Z W = (a + bi )(c - di) + (a - bi )(c + di) = ac + bd - ( ad - bc ) i + ac + bd + ( ad - bc ) i = 2 ( ac + bd ) 2 [( a 2+ b 2)( c 2+ d 2)] =2|Z||W| Ntese que hemos usado la desigualdad del cuadriltero en la penltima lnea. 3. Desigualdad triangular para R2. Sean V = (a ,b) , U = ( c, d) y W = ( e, f) tres vectores del plano. Entonces se tiene |U-V| |U-W|+ |W-V|
2

( 1)

(| Z | + | W |)2 y de aqu se obtendr el resultado.

Demostracin. Tenemos | U - V |2 = ( c - a )2 + ( d - b)2 = [( c - e) + ( e - a )] 2 + [( d - f ) + ( f - b)]2 = ( c - e )2 + ( e - a)2 + 2 ( c- e)( e-a) + ( d - f )2 + ( f - b)2 + 2 ( d -f)( f- b).

Usando la desigualdad del cuadriltero, se tiene : 2 ( c- e)( e-a) + 2 ( d -f)( f- b) 2 [ ( c - e )2 + ( d - f )2 ] [ ( e - a)2 + ( f - b)2 ]
Ntese que

| U - W | = [ ( c - e )2 + ( d - f )2 ] y | W - V | = [ ( e - a)2 + ( f - b)2 ]

Luego

| U - V |2 | U - W | 2+ 2 | U - W| | W - V | + | W - V | 2 = [ | U - W | + | W -V | ]2 y tomando maces cuadradas en ambos lados nos produce el resultado deseado.