Espacios Normados (Normas en Rn)

Uno de los conceptos ms importantes del clculo y del analisis matemtico es el de mtrica o a a a e distancia. En Rn la nocin de metrico depende a su vez del concepto de norma de un vector. o Norma de un vector: Si r = (, y ) R2 es la longuitud del segmento de recta que une los puntos x = (0, 0) y P = (x, y), sabemos por el Teorema de Pitagoras que esta longuitud esta dada por 0 x2 + y 2 . Este nmero no negativo lo denominamos la norma de un vector v = OP . En el espacio u tridimensional tambien tenemos origen.
Denicin.- Si x = (x1 , . . . , xn ) Rn , denimos la norma euclidiana de x como el real no o

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 N (x) es o

x = N (x) = Tenemos asi una funcin o

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 + . . . + yn 1

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

2 2 y1 + . . . + yn

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 + . . . + yn 1 2 2 y1 + . . . + yn

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

|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 x2 y2 x2 y2 n 1 + 1 + n 2 2 2 2 + ... + 2 2
2 2 y1 + . . . + yn x2 + . . . + x2 n 1 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. Proposicin.- Para cualquiera vestores x, y Rn o i) ii) iii) iv) x 0 0 =0 R se cumple:

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

Demostracin : o i) x = x2 + . . . + x2 0 pues es la ra positiva z n 1

x 0

ii)

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

= || x iii) x+y
2

x+y

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

= 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 x2 + . . . + x2 = 0 es decir x2 + . . . + x2 = 0 pero n n 1 1

iv) Si y = 0 se tiene entonces x i2 0 x2 = 0 i 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.
Denicin: Una norma en Rn es cualquier funcin o o

: 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:

Proposicin: Para toda norma o

i)

x = x

x Rn x, y Rn

ii) | x y | x y
Demostracin : o

i)

x = | 1| x = x

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

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 | xy

: 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 = (x1 , . . . , xn ) 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 funcin o x Rn

Proposicin.- La funcin o o

: Rn R dada por

= mx{|x1 | + . . . + |xn |} a

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

mximo o norma cbica. a u

Demostracin : o

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

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

|xi | |xi |

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

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

por lo que |||xi | = |xi | = mx{|x1 |, . . . , |xn |} = mx{|||x1 |, . . . , |||xn |} a a es decir || mx{|x1 |, . . . , |xn |} = mx{|x1 |, . . . , |xn |} = mx{|||x1 |, . . . , |||xn |} a a a || x

= x

3. x + y Sea

= mx{|x1 + y1 |, . . . , |xn + yn |} a

|x1 + y1 | mx{|x1 + y1 |, . . . , |xn + yn |} a como |x1 + y1 | |x1 | + |y1 | se tiene que mx{|x1 + y1 |, . . . , |xn + yn |} |x1 | + |y1 | a pero por denicin de o mx{|x1 | + . . . + |xn |} a tambin se tiene que e |x1 | mx{|x1 | + . . . + |xn |} a luego mx{|x1 + y1 |, . . . , |xn + yn |} mx{|x1 | + . . . + |xn |} + mx{|y1 | + . . . + |yn |} a a a o sea x+y 6

mx{|y1 | + . . . + |yn |} a

|y1 | mx{|y1 | + . . . + |yn |} a

+ y

4. x sea

mx{|x1 | + . . . + |xn |} a

|x1 | = mx{|x1 | + . . . + |xn |} a entonces |x1 | = 0 |x1 | = 0

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

por tanto f est bien denida. Puesto que |f (x)| 0 a 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 nmeros reales tales que a b + . Demostar que a b u 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