EJERCICIOS DE ANÁLISIS FUNCIONAL

TALLER 3

LEANIS ORTIZ GÓMEZ

JOSE GUERRA GAVIRIA
1
HERNAN VEGA BENITEZ

12 de septiembre de 2018

1
Universidad de Córdoba
Sección 2.1

13) (Producto) Probar que el Producto Cartesiano X = X1 × X2 de dos espacios vectoriales

sobre el mismo campo se convierte en un espacio vectorial, si definimos las dos operaciones
algebraicas:

(x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 )

α (x1 , x2 ) = (αx1 , αx2 )

Demostración. Sea x, y, z ∈ X = X1 × X2 , donde x = (x1 , x2 ), y = (y1 , y2 ) y z = (z1 , z2 ),

entonces para que el Producto Cartesiano sea un espacio vectorial debe estar sujeto a las
siguientes condiciones:

a) Para x, y ∈ X : (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ) ∈ X.

b) Para x, y ∈ X, se obtiene la conmutatividad.

(x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 )

= (y1 + x1 , y2 + x2 )

= (y1 , y2 ) + (x1 , x2 )

c) Para x, y, z ∈ X, se tiene la asociatividad.

[(x1 , x2 ) + (y1 , y2 )] + (z1 , z2 ) = (x1 + y1 , x2 + y2 ) + (z1 , z2 )

= ((x1 + y1 ) + z1 , (x2 + y2 ) + z2 )

= (x1 + (y1 + z1 ) , x2 + (y2 + z2 ))

= (x1 , x2 ) + (y1 + z1 , y2 + z2 )

= (x1 , x2 ) + [(y1 , y2 ) + (z1 , z2 )]

d ) Existe 0 ∈ X, para todo x ∈ X, tal que

(x1 , x2 ) = (x1 + 0, x2 + 0)

= (x1 , x2 ) + (0, 0)
e) Cada x ∈ X tiene un inverso aditivo, tal que

(0, 0) = (x1 + (−x1 ), x2 + (−x2 ))

= (x1 , x2 ) + (−x1 , −x2 )

Antes de continuar definamos el campo K, tal que α, β ∈ K.

f ) Si α ∈ K y x ∈ X, entonces α (x1 , x2 ) = (αx1 , αx2 ) ∈ X.

g) Si α, β ∈ K y x ∈ X, entonces

(α + β) (x1 , y1 ) = ((α + β) x1 , (α + β) y1 )

= (αx1 + βx1 , αy1 + βy1 )

= (αx1 , αy1 ) + (βx1 , βy1 )

= α (x1 , y1 ) + β (x1 , y1 )

h) Si α ∈ K y x, y ∈ X, entonces

α [(x1 , x2 ) + (y1 , y2 )] = α (x1 + y1 , x2 + y2 )

= (α (x1 + y1 ) , α (x2 + y2 ))

= (αx1 + αy1 , αx2 + αy2 )

= (αx1 , αy1 ) + (αx2 , αy2 )

= α (x1 , y1 ) + α (x2 , y2 )

i ) Si α, β ∈ K y x ∈ X, entonces

α [β (x1 , y1 )] = α (βx1 , βy1 )

= (αβx1 , αβy1 )

= αβ (x1 , y1 )

j ) Si α = 1 ∈ K y x ∈ X, se tiene por la condición f ) que

1 (x1 , y1 ) = (1x1 , 1y1 )

= (x1 , y1 )
 Por lo tanto el Producto Cartesiano es un espacio vectorial.

14) (Espacio Cociente, Codimención) Sea Y un subespacio de un espacio vectorial X. El coset

de un elemento x ∈ X con respecto a Y se denota por x + Y y se define como el conjunto:

x + Y = {v | v = x + y, y ∈Y}

Demuestre que los cosets distintas forman una partición de X. Muestre que bajo operaciones
algebraicas definidas por:

(w + Y ) + (x + Y ) = (w + x) + Y

α (x + Y ) = αx + Y

Estos conjuntos representan los elementos de un espacio vectorial. Este espacio se llama espacio
cociente de X por Y y se denota por X/Y . Su dimensión se llama codimension de Y y se denota
por codim Y , esto es

codim Y = dim (X/Y )

Demostración. Primero, probemos que los cosets distintos forman una partición de X, es decir,
que cada elemento de X pertenece a un coset y que los distintos coset son disjuntos. En efecto,
sea x ∈ X, entonces, para cada x ∈ X, existe 0 ∈ Y , tal que

x=x+0∈x+Y

Por lo tanto, cada x ∈ X pertenece al menos a un coset. Supongamos que x1 + Y y x2 + Y

son dos cosets arbitrarios no disjuntos, es decir, (x1 + Y ) ∩ (x2 + Y ) 6= ∅. Sea v un elemento
que esta en dicha intercesión, entonces, por definición existen y1 , y2 , tal que

v = x1 + y1 = x2 + y2 ⇒ x2 − x1 = y1 − y2 ∈ Y (1)

Luego, para y ∈ Y tenemos x2 − x1 + y ∈ Y y notemos que

 x2 + y = x1 + (x2 − x1 ) + y ∈ x1 + Y

De forma analoga de la ecuación (3) podemos obtener x1 − x2 + y ∈ Y , entonces

x1 + y = x2 + (x1 − x2 ) + y ∈ x2 + Y

De las concluciones anteriores se obtiene que los cosets x1 + Y = x2 + Y , por lo que los cosets
distintos forman una partición de X.

Segundo, probemos que bajo operaciones algebraicas defininas anteriormente, estos conjun-
tos representan los elementos de un espacio vectorial. En efecto, demostremos que las dos
operaciones están bien definidas, entonces, para x, w ∈ X tenemos:

(x + Y ) + (w + Y ) = {a + b | a ∈ x + Y, b ∈ w + Y }

= {a + b | a = x + y1 , b = w + y2 , y1 , y2 ∈ Y }

= {a + b = x + y1 + w + y2 | y1 , y2 ∈ Y }

= {x + w + y1 + y2 | y1 , y2 ∈ Y }

= {(x + w) + y | y = y1 + y2 ∈ Y }

= (x + w) + Y

Por otra parte, para x ∈ X y α ∈ K, con α no nulo.

α (x + Y ) = {αa | a ∈ x + Y }

= {α (x + y1 ) | y1 ∈ Y }

= {αx + αy1 | y1 ∈ Y }

= {αx + y | y = αy1 ∈ Y }

= αx + Y

Ası́, las operaciones algebraicas estan bien definidas. Ahora verifiquemos que las operaciones
satisfacen las leyes de los espacios vectoriales, entonces, para x, w, z ∈ X y α, β ∈ K.

a) Para x, w ∈ X.

(x + Y ) + (w + Y ) = (x + w) + Y ∈ X/Y
b) Para x, w ∈ X, se tiene la conmutativa.

(x + Y ) + (w + Y ) = (x + w) + Y

= (w + x) + Y

= (x + Y ) + (w + Y )

c) Para x, w, z ∈ X, obtenemos la asociatividad.

[(x + Y ) + (w + Y )] + (z + Y ) = [(x + w) + Y ] + (z + Y )

= [(x + w) + z] + Y

= [x + (w + z)] + Y

= (x + Y ) + [(w + z) + Y ]

= (x + Y ) + [(w + Y ) + (z + Y )]

d ) Definamos 0X/Y := 0 + Y , entonces, para todo (x + Y ) ∈ X/Y .

(x + Y ) + 0X/Y = (x + Y ) + (0 + Y )

= (x + 0) + Y

= x+Y

e) Dado que cada x ∈ X tiene su inverso aditivo, entonces,

0X/Y = 0+Y

= (x + (−x)) + Y

= (x + Y ) + ((−x) + Y )

f ) Si α ∈ X y x ∈ X, se tiene,

α (x + Y ) = αx + Y ∈ X/Y (2)
 g) Sea α, β ∈ K, entonces se tiene,

(α + β) (x + Y ) = [(α + β) x] + Y

= (αx + βx) + Y

= (αx + Y ) + (βx + Y )

h) Sea α ∈ K y x, w ∈ X.

α [(x + Y ) + (w + Y )] = α [(x + w) + Y ]

= [α (x + w)] + Y

= (αx + αw) + Y

= (αx + Y ) + (αw + Y )

= α (x + Y ) + α (w + Y )

i ) α, β ∈ K y x ∈ X.

α (β (x + Y )) = α (βx + Y )

= (α(βx) + Y )

= ((αβ)x + Y )

= (αβ) (x + Y )

j ) Si α = 1 y x ∈ X, por la f ) se tiene,

1 (x + Y ) = (1x + Y )

= (x + Y )

Por lo tanto, los cosets represetan los elementos del espacio vectorial X/Y .

15) Sea X = R3 y Y = {(ξ1 , 0, 0) | ξ1 ∈ R}. Encuentre X/Y , X/X, X/{0}

 Demostración. Notemos que para X/Y los elementos son lineas paraleas a la abscisa ξ1 . Más
precisamente, por definición X/Y = {x + Y | x ∈ X}; para un punto x0 = ξ10 , ξ20 , ξ30 fijo,

pero arbitrario, se tiene,

ξ10 , ξ20 , ξ30 + (ξ1 , 0, 0) | ξ1 ∈ R



x0 + Y =
 0
ξ1 + ξ1 , ξ20 + 0, ξ30 + 0 | ξ1 ∈ R


=
 0
ξ1 + ξ1 , ξ20 , ξ30 | ξ1 ∈ R


=

que corresponde a una lı́nea paralela al eje de la abscisa ξ1 . Ahora para X/X y X/{0}.

X/X = {x + X | x ∈ X}

= {0}

X/{0} = {x + 0 | x ∈ X}

= {x | x ∈ X}

= X

Sección 2.2

10) (Esfera Unitaria) La esfera

S(0; 1) = {x ∈ X | kxk = 1}

En un espacio normado X es llamada la esf era unitaia. Probar que para las normas en el
Problema 6 y para la norma definida por:

1/4
kxk4 = x41 + y14

Las esferas unitarias se ven como se muestrea en la Figura1.

Demostración. Sean X un espacio normado y x = (x1 , y1 ) ∈ X.

Para la norma kxk1 , la esfera unitaria se convierte en:

S(0; 1) = {x ∈ X : kxk1 = 1}

= {x ∈ X : | x1 | + | y1 |= 1}

Luego, si tomamos | x1 | + | y1 |= 1 y despejamos |y1 |, entonces se tiene:


 1 − |x1 | si y1 > 0
|y1 | =
 |x | − 1 si y < 0
1 1

Ahora, si y1 = 0, se tiene que las opciones para x1 son {−1, 1}. Entonces, se puede notar que
|x1 | genera un rombo centrado en el origen con lados de igual longitud.
Para la norma kxk2 , la esfera unitaria se puede escribir como:

S(0; 1) = {x ∈ X : kxk2 = 1}
n
1/2 o
= x ∈ X : x21 + y12 =1

= x ∈ X : x21 + y12 = 1


En este caso se tiene una circunferencia de radio 1.

Para la norma kxk4 , la esfera unitaria es:

 S(0; 1) = {x ∈ X : kxk4 = 1}
n
1/4 o
= x ∈ X : x41 + y14 =1

= x ∈ X : x41 + y14 = 1


= x ∈ X : x41 = 1 − y14

n
1/4 o
= x ∈ X : |y1 | = 1 − x41

Notemos que


 1 − x4
1/4 si y1 > 0
1
|y1 | = 1/4
 − 1 − x4

si y1 < 0
1

Luego, si y1 = 0, se tiene que x1 puede tomar los valores {−1, 1}. Por lo que su representación
en el plano es:

Por ultimo, para la norma kxk∞ , la esfere unitaria es:

S(0; 1) = {x ∈ X : max {|x1 |, |y1 |} = 1}

Entonces, para el caso en el que |x1 | sea el máximo, se tienen dos valores distintos {−1, 1}, por
lo que se tienen lineas verticales en los puntos (−1, 0) y (1, 0) respectivamente. De igual forma
para el caso en el que |y1 | sea el máximo, se tienen lineas horizontales en el eje y1 , exactamente
 en los puntos (0, −1) y (0, 1). Notemos que si se trazan todas las lineas en el mismo plano
forman un cuadrado. Solo nos intereza el cuadrado con vértices (−1, 1), (1, 1)(1, −1)(−1, −1).

Por lo tanto, si reunimos todas las esferas unitarias con sus respectivas normas en un mismo
plano, se obtiene la Figura1.

11) (Conjunto Convexo, segmento) Un subconjunto A de un espacio vectorial X es llamado

convexo si x, y ∈ A, implica

M = {z ∈ X | z = αx + (1 − α) y, 0 ≤ α ≤ 1}

M se llama segmento cerrado con los puntos de frontera x e y; cualquier otro z ∈ M se llama
un punto interior de M . Demuestre que la bola cerrada unitaria

B̃(0; 1) = {x ∈ X | kxk ≤ 1}

en un espacio normado X es convexa

Demostración. Sean X un espacio normado y x, y ∈ B̃(0; 1), entonces para cualquier 0 ≤ α ≤ 1.

 kαx + (1 − α) yk ≤ kαxk + k (1 − α) yk

≤ |α|kxk + |1 − α|kyk

≤ |α| + |1 − α|

≤ α + (1 − α)

≤ α+1−α

≤ 1

Por lo tanto, B̃(0; 1) es convexa en el espacio normado X.

12) Usando el Problema 11, pruebe que

p p 2
ψ(x) = |ξ1 | + |ξ2 |

no define una norma en el espacio vectorial de todos los pares ordenados x = (ξ1 , ξ2 ), · · · de
numeros reales. Dibuje la curva ψ(x) = 1 y comparela con la Figura2.
Demostración. Supongamos que ψ(x) es una norma en X, entonces por Poblema 11 se tiene
que la bola unitaria es convexa en X con la norm ψ(x). Entonces si tomamos x = (1, 0) y
y = (0, 1), los cuales estan en B̃(0; 1), ya que

p p 2
ψ(x) = |1| + |0|
p 2
= |1|

= |1|

= 1

p p 2
ψ(y) = |0| + |1|
p 2
= |1|

= |1|

= 1

Luego, considerando α = 0,5 y x, y ∈ B̃(0; 1)

ψ(αx + (1 − α) y) = ψ(0,5x + (1 − 0,5) y)

= ψ(0,5x + 0,5y)
p p 2
= |0,5| + |0,5|
 p 2
= 2 |0,5|

= 2

> 1

Lo cual contradice el Problema 11. Por lo tanto ψ(x) no define una norma en el espacio vectorial
X de todos los pares x = (ξ1 , ξ2 ), · · · de numeros reales. Ahora, dibujemos la curva ψ(x) = 1
 Sección 2.3

14) (Espacio Cociente). Sea Y un subespacio de un epacio normado (X, k · k). Probar que la norma
k · k en X/Y esta definida por
kb
xk0 = ı́nf kxk
x∈b
x

b ∈ X/Y , esto es, x

donde x b es un coset de Y .

Demostración. Sea X/Y = {x ∈ X : x + Y } por problema 14, de las secciones 2,1 , se tiene
que las propiedades algebraicas están bien definidas

N1 ) k · k0 = ı́nf x∈bx kxk ≥ 0.

N2 ) kb
xk0 = 0 si y solo si x 0 ∈ X/Y .
b=0+Y =b

N3 ) Si α 6= 0 entonces

y1
kαb
xk0 = kαx + Y k0 = ı́nf kαx + y1 k = ı́nf |α|kx + k = |α| ı́nf kx + yk
y1 ∈Y α y∈Y

= |α|kx + Y k0 = |α|kb
xk0

Si α = 0 entonces kαb
xk0 = k0b
xk0 = k0 + Y k0 = kb xk0
0k0 = 0kb
 b , Vb ∈ X/Y
N4 ) Sea U

kU
b + Vb k0 = ı́nf k(u + y1 ) + (v + y2 )k
y1 ,y2 ∈Y

≤ ı́nf ku + y1 k + ı́nf kv + y2 k
y1 ∈Y y2 ∈Y

≤ ku + Y k0 + kv + Y k0 = kU
b k0 + kVb k0

Sección 2.4

2) Cual es el c mas grande posible en (1) si X = R2 y x1 = (1, 0), x2 = (0, 1)? Si X = R3 y

x1 = (1, 0, 0), x2 = (0, 1, 0), x3 = (0, 0, 1)

Demostración. • si X = R2 y x1 = (1, 0), x2 = (0, 1) entonces kα1 (1, 0) + α2 (0, 1)k ahora
ya que k · k ∼ k · k1 entonces k(α1 , α2 )k1 ≥ c(|α1 + |α2 |) entonces |α1 + |α2 | ≥ c(|α1 + |α2 |)
entonces 1 ≥ c > 0

• si X = R2 y x1 = (1, 0), x2 = (0, 1)? Si X = R3 y x1 = (1, 0, 0), x2 = (0, 1, 0), x3 = (0, 0, 1)

entonces kα1 (1, 0, 0) + α2 (0, 1, 0) + α3 (0, 0, 1)k1 ≥ c(|α1 + α2 | + |α3 |) ası́ k(α1 , 0, 0) +
(0, α2 , 0) + (0, 0, α3 )k1 ≥ c(|α1 + α2 | + |α3 |) de lo que se tiene que |α1 | + |α2 | + |α3 | ≥
c(|α1 | + |α2 | + |α3 |) entonces 1 ≥ c > 0 por lo tanto c = 1 es el valor mas grande.

5) Si k · k y k · k0 son normas equivalentes en X, probar que una Sucesión de Cauchy en (X, k · k)

y (X, k · k0 ) son lo mismo.

Demostración. Sean (X, k · k) y (X, k · k0 ) y k·k ∼ k·k0 , entonces existen a, b escalares positivos,
tal que

ak · k ≤ k · k0 ≤ bk · k

Ahora, sea {xn } una suceción de Cauchy en (X, k · k). Dado  = b0 > 0, existe N ∈ N, tal que
m, n ≥ N

kxn − xm k < 0

Luego, por la relación de equivalencia entre las normas

 1
kxn − xm k0 ≤ kxn − xm k < 0
b
kxn − xm k0 < b0

kxn − xm k0 < 

Ası́, la suceción {xn } es de Cauchy en (X, k · k0 ).

0
Por otra parte, sea {xn } una suceción de Cauchy en (X, k · k0 ). Dado  = a > 0, existe N ∈ N,
tal que m, n ≥ N

kxn − xm k0 < 0

Luego, por la relación de equivalencia entre las normas

akxn − xm k ≤ kxn − xm k0 < 0

0
kxn − xm k <
a
kxn − xm k0 < 

Por lo que la suceción {xn } es de Cauchy en (X, k · k). En consecuencia la sucesión de Cauchy
es la misma para X con cualquiera de las normas.

8) En un espacio normado X la convergencia absoluta de cualquier serie implica siempre la

convergencia de esa serie, muestra que X es completo.

Demostración. Sea {xn } una sucesión de Cauchy en X. Dado cualquier k ∈ N, existe Nk ∈ N tal
1
que para todo m, n ≥ Nk , kxm − xn k < 2k
por construción ,{Nk } es una sucesión decreciente.

Considere la sucesión {yk } definida por yk = xNk+1 − xNk

∞
X ∞
X
kyk k = kxNk+1 − xNk k
k=1 k=1
∞
X 1
= <∞
2k
k=1

P∞
Esto muestra que la serie k=1 yk es absolutamente convergente.
 ∞
X ∞
X
yk = lı́m yk
n→∞
k=1 k=1
X∞
= lı́m xNk+1 − xNk
n→∞
k=1

= lı́m xNn+1 − xN1 < ∞

n→∞

Donde {xNn+1 } es una subsucesión convergente de {xn }. Además {xn } es una sucesión de
Cauchy y por lo tanto X es completo.

10) Demuestre que si un espacio normado tiene una base Schauder, es separable.

Demostración. Supongamos que X tiene una base de Schauder {en }. Dado cualquier x ∈ X,
existe una unica sucesión de escalares λn ∈ K tales que

kx − (λ1 e1 + λ2 e2 + . . . + λn en )k → 0, n→∞

considere la sucesión {fn } ⊂ X definida por

en
fn =
ken k

Note que kfn k = 1 para todo n ≥ 1 y {fn } es una base de Schauder para X, de hecho, si
elegimos µj = λj kej k ∈ K entonces
n
X n
X
kx − µj fj k = kx − λj ej k → 0, n→∞
j j

En particular, para cada x ∈ X dado cualquier  > 0, existe un N ∈ N tal que

n
X
kx − µj fj k <  para todo n > N
j=1

defina a M como el siguiente conjunto

 
Xn 
M= θj fj ∈ K, n ∈ N
 
j=1

Donde Kes un subconjunto denso contable de K, para µj ∈ K para  > 0 dado existe θj ∈ K

tal que |µj − θj | < 2n para todo j = 1, . . . , n entonces
 n
X n
X n
X n
X
kx − θj fj k ≤ k µj fj k + k µj fj − θj fj k
j=1 j=1 j=1 j=1
n
 X
< + |µj − θj |kfj k
2
j=1
n
  X
< + 1
2 2n
j=1
 
= + =
2 2

Esto muestra que existe un y ∈ M para cualquier vecindad de x donde x ∈ X arbitrario, M

es un subconjunto denso contable de X y X es separable.