Espacios Normados (Normas en Rn)

Uno de los conceptos m as importantes del c alculo y del analisis matem atico es el de m etrica o distancia. En Rn la noci on de metrico depende a su vez del concepto de norma de un vector. Norma de un vector: Si r = ( x, y ) R2 es la longuitud del segmento de recta que une los puntos = (x, y ), sabemos por el Teorema de Pitagoras que esta longuitud esta dada por 0 = (0, 0) y P x2 + y 2 . . En el espacio Este n umero no negativo lo denominamos la norma de un vector v = OP tridimensional tambien tenemos origen.
Denici on.- Si x = (x1 , . . . , xn ) Rn , denimos la norma euclidiana de x como el real no

x2 + y 2 + z 2 como la norma de un vector con respecto al

negativo decir,

x2 + . . . + z 2 que denotaremos por cualquiera de los simbolos x o N (x) es

x = N (x) = Tenemos asi una funci on

x2 + . . . + z 2

: Rn R que designamos la norma euclidiana, la cual asigna

a cada vector x Rn un real x .

Desigualdad de Cauchy-Shwarz Sean x = (x1 , . . . , xn )
2 x2 1 + . . . + yn

y = (y1 , . . . , yn ) elementos de Rn entonces |x1 y1 + . . . + xn yn |

2 + . . . + y2 y1 n

Primero probaremos la desigualdad |x1 ||y1 | + . . . + |xn ||yn | lo cual implica la desigualdad deseada ya que |x1 y1 + . . . + xn yn | |x1 ||y1 | + . . . + |xn ||yn |
2 x2 1 + . . . + yn 2 + . . . + y2 y1 n

Soluci on: Si alguno de los vectores x oy es 0 entonces la desigualdad se cumplo trivialmente, pues en este caso ambos miembros son 0. Si x , y = 0 hagamos =
2 + . . . + y 2 usando y , la desigualdad a probar se escribe y1 n 2 x2 1 + . . . + yn

|x1 ||y1 | + . . . + |xn ||yn | y como , > 0 esta desigualdad es equivalente a x1 y1 xn + ... + yn 1

Dado que para cualquiera reales a y b se cumple |ab| tenemos entonces que
2 2 x2 y1 x2 yn n 1 + + 2 2 2 2 + ... + 2 2 2 + . . . + y2 2 y1 x2 n 1 + . . . + xn 2 2 = + 2 2

a2 + b2 2

x1

y1

+ ... +

xn

yn

1 2

1 2

=1 Pasemos ahora a las propiedades de la norma euclidiana. Proposici on.- Para cualquiera vestores x , y Rn i) ii) iii) iv) x 0 0 =0 R se cumple:

x = || x x +y x + y x =0 x =0

Demostraci on : i) x =
2 x2 z positiva 1 + . . . + xn 0 pues es la ra

x 0

ii)

x x = = = = (x1 )2 + . . . + (xn )2
2 2 2 x2 1 + . . . + xn 2 2 (x2 1 + . . . + xn )

2 x2 1 + . . . + xn

= || x iii) x +y
2

x +y

= (x1 + y1 )2 + . . . + (xn + yn )2
2 2 2 = x2 1 + 2x1 y1 + y1 + . . . + xn + 2xn yn + yn 2 2 2 = x2 1 + . . . + xn + 2(x1 y1 + . . . + xn yn ) + y1 + . . . + yn

= x

+ 2(x1 y1 + . . . + xn yn ) + y

Aplicando la desigualdad de Cauchy-Shwarz x1 y1 + . . . + xn yn x y se tiene que x

2

+ 2(x1 y1 + . . . + xn yn ) + y
2

+2 x y + y

=[ x + y ]2

x +y

[ x + y ]2 y al sacar raiz obtenemos x +y x + y

2 2 2 x2 1 + . . . + xn = 0 es decir x1 + . . . + xn = 0 pero

iv) Si y = 0 se tiene entonces x i2 0 x2 i =0 x =0 i = 1, . . . , n

El concepto general de Norma en Rn . Las propiedades de la norma euclidiana nos ayudan para denir la nocion abstracta de Norma.
Denici on: Una norma en Rn es cualquier funci on

: Rn R que satisface las siguientes

propiedades que denominaremos Axiomas de Norma para cualesquiera x , y Rn y toda R se cumple 3

i) x 0

0 =0

ii) x = || x iii) x +y x + y iv) x =0 x =0 : Rn R se cumple:

Proposici on: Para toda norma

i)

x = x

x Rn x , y Rn

ii) | x y | x y
Demostraci on :

i)

x = | 1| x = x

ii) 0 x = x y +y x y + y x y x y

Intercambiando x por y obtenemos y x y x = x y Otras normas en Rn Denimos norma en Rn i) Dado que x R |x| 0, se tiene
1 1

| y x | x y

: Rn R por

= |x1 | + . . . + |xn |

x Rn . Por demostrar

es una

= |x1 | + . . . + |xn | 0

x Rn

ii) Si R y x = (x1 , . . . , xn ) Rn , entonces x = |x1 | + . . . + |xn | = |||x1 | + . . . + |||xn | = ||(|x1 | + . . . + |xn |) = || x x Rn

iii) Si x = (x 1 , . . . , x n ) y y = (y1 , . . . , yn ) son elementos de Rn x +y = |x1 + y1 | + . . . + |xn + yn | ||x1 | + |y1 | + . . . + |xn | + |yn | = |x1 | + . . . + |xn | + . . . + |y1 | + . . . + |yn | = x Si x
1 1

+ y

=0

|x1 | + . . . + |xn | = 0 y como cada |xi | 0 i = 1, . . . , n

entonces |x1 | + . . . + |xn | = 0 |xi | = 0 i = 1, . . . , n

x =0 Consideremos ahora la funci on x Rn

Proposici on.- La funci on

: Rn R dada por

= m ax{|x1 | + . . . + |xn |}

: Rn R es una norma en Rn , que se denomina norma del

m aximo o norma c ubica.

Demostraci on :

1. Puesto que |xi | 0 i = 1, . . . , n entonces m ax{|x1 | + . . . + |xn |} 0 es decir x

2. Sea R y x Rn . Se tiene entonces que x = m ax{|x1 |, . . . , |xn |} = m ax{|||x1 |, . . . , |||xn |} Supongamos ahora que |xi | = m ax{|x1 |, . . . , |xn |} 5

|xi | |xi |

i = 1, . . . , n i = 1, . . . , n i = 1, . . . , n

|||xi | |||xi | |xi | |xi |

por lo que |||xi | = |xi | = m ax{|x1 |, . . . , |xn |} = m ax{|||x1 |, . . . , |||xn |} es decir || m ax{|x1 |, . . . , |xn |} = m ax{|x1 |, . . . , |xn |} = m ax{|||x1 |, . . . , |||xn |} || x

= x

3. x +y Sea

= m ax{|x1 + y1 |, . . . , |xn + yn |}

|x1 + y1 | m ax{|x1 + y1 |, . . . , |xn + yn |} como |x1 + y1 | |x1 | + |y1 | se tiene que m ax{|x1 + y1 |, . . . , |xn + yn |} |x1 | + |y1 | pero por denici on de m ax{|x1 | + . . . + |xn |} tambi en se tiene que |x1 | m ax{|x1 | + . . . + |xn |} luego m ax{|x1 + y1 |, . . . , |xn + yn |} m ax{|x1 | + . . . + |xn |} + m ax{|y1 | + . . . + |yn |} o sea x +y 6

m ax{|y1 | + . . . + |yn |}

|y1 | m ax{|y1 | + . . . + |yn |}

+ y

4. x sea

m ax{|x1 | + . . . + |xn |}

|x1 | = m ax{|x1 | + . . . + |xn |} entonces |x1 | = 0 |x1 | = 0

Sea I = [0, 1]. Demsotrar que f = sup{|f (x)|}. Es una norma de C [0, 1].
Soluci on: Recordar que toda funci on real continua denida en un intervalo cerrado es acotada,

por tanto f est a bien denida. Puesto que |f (x)| 0 ademas f = 0 sii |f (x)| = 0 Recordemos un resultado x I , i.e. sii f = 0

x I entonces f 0 y

Sean ay b n umeros reales tales que a b + . Demostar que a b Supongase que a > b entonces a = b + , > 0 tomamos = 2 entonces =b+ 2

a>b+ >b+ ab

ahora sea > 0. Entonces existe x0 I tal que f +g = sup{|f (x) + g (x)|} |f (x0 ) + g (x0 )| + |f (x0 )| + |g (x0 )| + sup{|f (x)|} + sup{|g (x)|} + = f + g + 7

f +g f + g kf = sup{|kf (x)|} = sup{|k ||f (x)|} = |k | sup{|f (x)|} = |k | f (x)

1

Sea k R entonces

Demostrar que f =
0

|f (x)|dx es una norma de C [0, 1] (funciones continuas en el intervalo

[0, 1])
1 1

1. f =
0

|f (x)|dx 0 puesto que

|f (x)| 0

|f (x)|dx 0

2. Tenemos que
1

kf

=
0 1

|kf (x)|dx |k ||f (x)|dx

0 1

= = |k |

|f (x)|dx
0

= |k | f 3. Tenemos que
1

f +g

=
0 1

|f (x) + g (x)|dx [|f (x)| + |g (x)|]dx

0 1 1

=
0

|f (x)|dx +
0

|g (x)|dx

= f + g