Demostraciones Matemticas

Demostraciones de Teoremas
27 de febrero de 2014
i
Demostraciones
A continuacin se proporcionan las demostraciones de varios teoremas matemticos
necesarios para la comprensin de la teora general de la tesis.
Desigualdad de Cauchy-Schartz
Armacin: La desigualdad de Cauchy-Schwartz dene que:

_
I
f (x)g(x) dx

_
_
I

f (x)

2
dx
_

_
1
2
_

_
_
I

g(x)

2
dx
_

_
1
2
(1)
Prueba: Para demostrar la desigualdad de Cauchy-Schwartz, primero es necesario re-
pasar algunos conceptos bsicos de valor absoluto y desigualdades.
Valor Absoluto
Partimos del concepto bsico de valor absoluto, que se dene como:
|m| =
_
(m)
2
(2)
Es decir, se dene, de forma algebraica, como valor absoluto de un nmero a la raz
positiva del cuadrado de dicho nmero. O lo que es lo mismo, a su magnitud en el sentido
geomtrico.
1
2
Para comprender cmo afecta el valor absoluto a la diferencia entre dos nmeros,
partimos del supuesto siguiente: Sea m un nmero real cualquiera, tal que:
m R (3)
Entonces, m puede tomar cualquier valor positivo o negativo entero real.
m (4)
Por 2
|m| = 0 |m|
El valor absoluto de un nmero dado, es el mximo valor positivo que ste puede tomar,
su mximo. O lo que es lo mismo:
|m| 0 (5)
Por lo tanto, por las ecuaciones 4 y 5
m|m| (6)
Suma de magnitudes y magnitud de sumas
Teniendo dos nmeros cualesquiera m y n, tales que:
m, n R
Por la ecuacin 4 tenemos:
|m+n| =

(+m) +(+n)

(m) +(n)

(m) +(+n)

(+m) +(n)

(7)
Donde m y n son los valores positivos o negativos que pueden tomar las variables m y
n respectivamente. Es decir:
m = m 0 +m = 0 m
n = n 0 +n = 0 n
3
Esto implica que el valor absoluto de una adicin de nmeros es el mximo de la combi-
nacin de sus sumandos, an cuando uno o ambos de stos sean negativos. Por deduccin
es posible ver que cuando los sumandos tienen signos distintos, se efectuar una subs-
traccin entre los factores. Debido a esto, la adicin de dos o ms factores produce un
resultado mximo cuando los signos de los sumandos son iguales y positivos.
Y por (5) tenemos que:
|m| +|n| = (+m) +(+n) (8)
Es decir, una suma de valores absolutos, es una suma de valores mximos. Por lo tanto,
por 7 y 8:
|m+n| |m| +|n| (9)
El valor de la suma de los mximos de una serie de sumandos, es igual o superior
al valor mximo de una suma serie de sumandos. Esto es conocido como el Teorema de
Sub-aditividad, que se puede generalizar como:
|m
1
+m
2
+m
3
+... +m
n
| |m
1
| +|m
2
| +|m
3
| +... +|m
n
| (10)
O simplemente:

i=1
m
i

i=1
|m
i
| (11)
Si se dene m como el producto de dos nmeros m = (k)(l), entonces:
|m| =

(+k)(+l)

(k)(l)

(+k)(l)

(k)(+l)

(12)
Si se tiene en cuenta que, por ejemplo:
(5)(3) = 15
(5)(3) = 15
(5)(3) = 15
(5)(3) = 15
4
Se puede ver que el producto de dos cantidades siempre tiene la misma magnitud pero
diferente signo, dependiendo del signo de dichas cantidades. Entonces, el valor absoluto
de un producto es igual al mximo de ese producto, es decir a la magnitud positiva de
dicho producto. Y el mximo de un producto es tambin el producto de los mximos de
sus multiplicandos. Es decir:

=|m| (13)
Si denimos el intervalo I como:
I = [a, b] (14)
Entonces, substituyendo 14 en 1 tenemos:

_
b
a
f (x)g(x) dx

_
_
b
a

f (x)

2
dx
_

_
1
2
_

_
_
b
a

g(x)

2
dx
_

_
1
2
(15)
Ya que 15 y 1 son integrales denidas, podemos sustituir las integrales por series de
sumatorias de Riemman:

i=a
f (x)g(x)x

_
b

i=a

f (x)

2
x
_

_
1
2
_

_
b

i=a

g(x)

2
x
_

_
1
2
(16)
Que se pueden expresar como:

i=a
f (x)g(x)x

_
_

_
b

i=a

f (x)

2
x
_

_
_

_
b

i=a

g(x)

2
x
_

_
_

_
1
2
(17)
Usando el principio de linealidad o el teorema de Tonelli-Fubini en 17, tenemos:

i=a
f (x)g(x)x

_
b

i=a

f (x)

2
x
b

i=a

g(x)

2
x
_

_
1
2
(18)
Recurriendo nuevamente al teorema de Tonelli-Fubini en 18 se tiene que:

i=a
f (x)g(x)x

_
b

i=a
b

i=a
_

f (x)

2
x
__

g(x)

2
x
_
_

_
1
2
(19)
5
Expandiendo los trminos en 19 se obtiene:

i=a
f (x)g(x)x

_
b

i=a
b

i=a
_

f (x)

__

f (x)

_
x
_

g(x)

__

g(x)

_
x
_

_
1
2
(20)
Y reordenando 20 mediante el teorema de Tonelli-Fubini:

i=a
f (x)g(x)x

_
b

i=a
_

f (x)

__

g(x)

_
x
b

i=a
_

f (x)

__

g(x)

_
x
_

_
1
2
(21)
Que puede reescribirse como:

i=a
f (x)g(x)x

_
_

_
b

i=a

f (x)

g(x)

x
_

_
2
_

_
1
2
(22)
Simplicando 22 tenemos:

i=a
f (x)g(x)x

i=a

f (x)

g(x)

x (23)
Si denimos:
h(x) = f (x)g(x) (24)
Y substituimos 24 en 23, por lo demostrado en 13, tenemos:

i=a
h(x)x

i=a

h(x)

x (25)
Lo que demuestra la desigualdad de Cauchy-Schwartz