Вы находитесь на странице: 1из 4

P.

Castillo

Captulo 2

Captulo 2

Espacios vectoriales normados


En esta secci
on se generalizan los conceptos geometricos de distancia y proximidad a espacios
vectoriales arbitrarios. Dichas nociones son fundamentales para el estudio ( y la propia denici
on
) de ciertas propiedades tales como convergencia de sucesiones; continuidad y diferenciabilidad de
funciones.

2.1

Normas

Denici
on 2.1.1. Sea E un K-espacio vectorial y una funci
on, : E lR + , (lR+ = {x
lR : x 0}). Diremos que la funci
on dene una norma en E si y s
olo si satisface las siguientes
propiedades:
Denida: x = 0

x = 0.

Homogeneidad: K, x E,
Desigualdad triangular: x, y E,

x = || x .
x + y x + y .

Diremos entonces que (E, ) es un espacio vectorial normado.


Ejemplo 2.1.2. Las siguientes funciones denen una norma en el espacio lR n ,
n

1. x = max |xi |.
i=1

2. x 1 =

|xi |.

i=1

3. x 2 =

|xi |2 .

i=1

Ejemplo 2.1.3. La extensi


on de estas normas para el caso del espacio de funciones continuas
denidas en un intervalo cerrado y acotado [a, b] es la siguiente:
1. f =

2. f 1 =

max |f (x)|.

x[a, b]

b
a

|f (x)|dx.

P. Castillo

3. f 2 =

Captulo 2

10

|f (x)|2 dx.

Si (E, ) es un espacio normado entonces llamaremos:


1. Bola abierta de radio r y de centro x al conjunto denido por
B(x,r) = {y E : x y < r}.
2. Bola cerrada de radio r y de centro x al conjunto denido por
(x,r) = {y E : x y r}.
B
3. Esfera de radio r y de centro x al conjunto denido por
S(x,r) = {y E : x y = r}.
A continuaci
on presentamos la denici
on de continuidad para funciones (operadores) denidos
en espacios normados. Observe que esta denici
on es similar a la denici
on de continuidad para
funciones de variable real, la cual se estudia en los cursos elementales de C
alculo.
Denici
on 2.1.4. Sean (E, ) y (F, ||| |||) dos espacios vectoriales normados, x 0 un elemento de
E y f : (E, ) (F, ||| |||), una funci
on denida en al menos una bola abierta que contiene a
olo si para todo > 0 existe > 0 tal que
x0 . Diremos f es continua en x0 si y s
x x0 <

|||f (x) f (x0 )||| <

En otras
para toda bola abierta B (f (x0 ),) en F existe una bola abierta B(x0 ,) en E tal

palabras,
que f B(x0 ,) B(f (x0 ),) . Si el operador f es continuo en todo vector x E entonces diremos
que f es continuo en E.
El siguiente teorema caracteriza los operadores lineales continuos. Observe que la continuidad
en un punto implica continuidad en todo el espacio.
Teorema 2.1.5. Sea f : (E, ) (F, ||| |||) un operador lineal entre dos espacios vectoriales
normados. Entonces las siguientes proposiciones son equivalentes:
1. f es continua en 0
2. f es continua en E
3. f es acotada en cualquier bola abierta (cerrada) centrada en 0.
Demostraci
on.
1) = 2). Sea x un vector de E jo, y > 0. Como f es continua en 0, existe > 0 tal que
si h < entonces f (h) < . Para todo y B(x, ) , se tiene x y < , luego
f (x y) < , pero por la linealidad de f , f (x y) = f (x) f (y), luego f (x) f (y) < .

P. Castillo

Captulo 2

11

2) = 3). Como la funci


on es continua en E, en particular, es continua en 0. De la denici
on
de continuidad, escogiendo = 1, existe 1 > 0 tal que para todo x B(0,1 ) , f (x) < 1.
Sea r > 0. Mostremos que f es acotada en B (0,r) . Note que para todo x B(0,r) , r1 x B(0,1 )
luego f ( r1 x) < 1. Por la linealidad de f se tiene f (x) < r1 , lo cual muestra que f
es acotada en B(0,r) .
3) = 1). Supongamos que f no es continua en 0. Luego, existe 0 > 0 tal que para todo
entero n, n > 0, existe xn B(0,1/n) f (xn ) 0 . Sea yn = nxn note que n, yn B(0,1) ,
adem
as por la linealidad de f , f (y n ) = nf (xn ), luego f (yn ) n0 , lo cual es absurdo ya
que por hip
otesis f est
a acotada en cualquier bola.

Denici
on 2.1.6. Sea (E, ) un espacio vectorial normado y {x k }k1 una sucesi
on de elementos
de E. Diremos que la sucesi
on converge hacia el vector x si y s
olo si
lim xk x = 0

En este caso escribiremos xk x o lim xk = x. En otras palabras


k

> 0 N ,

k N

xk x <

La convergencia depende de la norma que se utiliza. Podemos encontrar ejemplos para los
cuales una sucesi
on (xk ) E converge en el espacio (E, ) pero no converge para el espacio
(E, ). Observe que el espacio vectorial es el mismo.
Otra forma de denir continuidad en un punto puede ser por medio de convergencia de sucesiones. f es continua en x si y s
olo si para toda sucesi
on (x k ) tal que
lim xk = x

lim f (xk ) = f (x)

Adem
as en el caso de los operadores lineales, por el Teorema 2.1.5, f es continua si y s
olo si
lim xk = 0

lim f (xk ) = 0

on
Denici
on 2.1.7. Diremos que una sucesi
on {x k } de un espacio normado (E, ) es una sucesi
de Cauchy si y s
olo si
> 0,

N lN,

m, n N = xm xn <

Ejemplo 2.1.8. Toda sucesi


on convergente de un espacio normado es una sucesi
on de Cauchy. El
recproco no es cierto: existen espacios normados para los cuales existen sucesiones de Cauchy las
cuales no convergen en el espacio.
Denici
on 2.1.9. Diremos que un espacio normado (E, ) es completo si toda sucesi
on de
Cauchy es convergente.
Ejemplo 2.1.10. El espacio (lR, +, ) con la norma | |, valor absoluto, es un espacio completo. La
demostraci
on puede encontrarse en cualquier libro b
asico de An
alisis Real. La motivaci
on para la
construcci
on de los n
umeros reales es la de completar el espacio de los n
umeros racionales.

P. Castillo

Captulo 2

12

Utilizando el hecho que (lR, | |) es un espacio completo, entonces podemos probar por ejemplo
umero natural n:
que el espacio normado (lRn , 2 ) es completo para cualquier n
Demostraci
on. Sea n un entero mayor o igual a 2. (Note que para n = 1 no hay nada que
on de Cauchy en (lRn , 2 ). Denotaremos por xik la
probar pues x 2 = |x|). Sea xk una sucesi
i-esima componente del vector xk . En primer lugar note que para todo i = 1, . . . , n tenemos
|xim xin | xm xn 2
Luego como xk es de Cauchy, las sucesiones {xik }k1 , para i = 1, . . . , n, formadas por la i-esima
componente, son tambien sucesiones de Cauchy en el espacio completo (lR, | |), por lo que son
convergentes. Denotamos por xi0 el lmite de cada una de estas sucesiones y por x 0 = (x10 , . . . xn0 ).
Podemos probar sin dicultad que
lim xk = x0
k

Denici
on 2.1.11. Sea E un espacio vectorial y , dos normas en E. Diremos que
las normas son equivalentes si y s
olo si toda sucesi
on que converge hacia x en una norma tambien
converge hacia x en la otra norma.
La equivalencia de dos normas es igual a decir que los operadores lineales
Id : (E, ) (E, )

Id : (E, ) (E, )

son ambos continuos.


El siguiente teorema muestra otra propiedad de los espacios vectoriales de dimensi
on nita.
Teorema 2.1.12. En un espacio vectorial E de dimensi
on nita todas las normas son equivalentes.
Demostraci
on. Sin perdida de generalidad, podemos suponer que el espacio E es el espacio K n
para alg
un entero positivo n. Probaremos que cualquier norma ||| ||| denida en K n es equivalente
a la norma euclideana 2 .
En primer lugar note que la funci
on ||| ||| : (K n , 2 ) lR es continua. ( en el espacio
n
normado (K , 2 )). Esto se puede deducir de la siguiente desigualdad, para todo x =
(xi ), y = (yi ) Kn se tiene:
||||x||| |||y|||| |||x y|||
n

|xi yi ||||ei |||

i=1

max {|||ei |||}

i=1,...,n

|xi yi |

i=1

n max {|||ei |||} x y 2


i=1,...,n

M x y 2 ,

donde M = n max {|||ei |||}


i=1,...,n

(0,1) es un conjunto compacto en (Kn , 2 ), por continuidad


Luego como la bola cerrada B
(0,1) : m |||x||| M ,
de ||| ||| existen dos reales positivos m y M tales que para todo x B
n
por lo que para todo x K , m x 2 |||x||| M x 2 . Lo cual es suciente para
demostrar la equivalencia de las normas.

Вам также может понравиться