EJERCICIOS RESUELTOS

DEL LIBRO FUNCTIONAL ANALYSIS by KREYSZIG

ELABORADO POR: NIETO CORONEL JOEL GASTON

"No temas a los lestrigones ni a los cíclopes

ni al colérico Poseidón,
seres tales jamás hallarás en tu camino,
si tu pensar es elevado, si selecta
es la emoción que toca tu espíritu y tu cuerpo.
Ni a los lestrigones ni a los cíclopes
ni al salvaje Poseidón encontrarás,
si no los llevas dentro de tu alma,
si no los yergue tu alma ante ti." Poema Itaca de Kavafis

REPASO ESPACIOS MÉTRICOS

Problema 1
Será que d(x, y) x - y) es una métrica para R.
2

∀ ∈
= (

M1. Claramente x, y R se tiene (x - y) ≥ 0 lo que implica que d(x, y) ≥ 0 .

2

∈
M2. Sean x, y R , supongamos que d(x, y) = 0 →
(x - y) |x - y| = 0
2
→
x = y,→
→
= 0

reciprocamente, si x = y entonces d(x, y) = d(x, x) = (x - x) = 0 d(x, y) = 0 .

2

∈
M3. Dados x, y R entonces d(x, y) = (x - y) = (y - x) = d(y, x) .
2 2

M4. Se tiene que probar que para ∀x y z ∈ R , se cumple:

, ,

d(x, y) ≤ d(x, z) + d(z, y)

pero este no es el caso ya que si x = 1, y = 3, z = 2 entonces:
d(1, 3) > d(1, 2) + d(2, 3)
(1 - 3) > (1 - 2) + (2 - 3)
2 2 2

4 > 1+1

Por lo tanto d(x, y) = (x - y) no es una métrica para .

2
R ∎
Problema 2
Encontrar todas la métricas de un conjunto de dos elementos, hacer lo mismo con un
conjunto de un elemento

Sea X a b } con una métrica d : X × X

= { , → R , entonces
0
 d(a, a) = 0, d(b, b) = 0, d(a, b) = d(b, a) k = d(a, b) > 0
Por lo tanto cualquier métrica d en X es una función del siguiente tipo:

d(x, y) = k ∈R +
si x ≠ y (1)
0 si x = y
para algún k ∈ R . Reciprocamente cualquier función del tipo (1) es una métria en X.
+

Sea Y = { 𝛼 con una métrica e Y Y → R , entonces

} : × 0

e(𝛼, 𝛼) = 0
por la tanto ∀x y ∈ Y, e x y
, ( , ) = 0 es la única métrica que se puede definir en Y. ∎
Problema 3
En l ∞ x = (𝜉j ) : | 𝜉j | ≤ cx } , espacio de sucesiones acotadas de números reales. Para
= {

x = (𝜉j ) y y = (𝜂j ), pruebe que la métrica d(x, y) = sup | 𝜉j - 𝜂j | satisface la desigualdad

j
triangular.
Por demostrar:
d(x, y) ≤ d(x, z) + d(z, y)
Sean x = ( 𝜉 j ) , y = (𝜂 j ) , z = (𝜁 j )

| 𝜉i - 𝜂i | ≤ sup | 𝜉i - 𝜂i | = d(x, y)
j
| 𝜉i - 𝜂i | = | (𝜉i - 𝜁i ) + (𝜁i - 𝜂i ) | ≤ | 𝜉i - 𝜁i | + | 𝜁i - 𝜂i | ≤ d(x, z) + d(z, y)

| 𝜉i - 𝜂i | ≤ d(x, z) + d(z, y), ∀i ∈ N

Pero d(x, y) = sup | 𝜉j - 𝜂j | es la cota superior mínima del conjunto

∈ N , pero d x z
j
A = { | 𝜉j - 𝜂j | : j } ( , )+ d(z, y) tambien es una cota superior de A, por lo
tanto:

sup | 𝜉j - 𝜂j | ≤ d(x, z) + d(z, y)

∎
j
d(x, y) ≤ d(x, z) + d(z, y)
Problema 4
Mostrar que la otra métrica en el espacio de funciones continuas C[a, b] está dada por
b
d(x, y) = ∫ a
| x(t) - y(t) | dt
(M1)
 d : C[a, b] × C[a, b] →R +

↦ d x y ∫a
0

b
( x, y) ( , ) = | x(t) - y(t) | dt
d es una función real no negativa.
∈
(M2) Sean x, y C[a, b] ; si x = y entonces:

d(x, y) = d(x, x) = ∫ a
b
| x(t) - x(t) | dt = 0

Reciprocamente, si d(x, y) = 0 entonces

b
∫ | x(t) - y(t) | dt = 0
⇓
a

∀t ∈ a b],
[ , | x(t) - y(t) | = 0
x(t) - y(t) = 0
⇓
∀t ∈ a b],
[ , x(t) = y(t)
entonces x = y.
(M3) Sean x, y ∈ C a b , entonces:
[ , ]

d(x, y) = ∫a
b
| x(t) - y(t) | dt = ∫ a
b
| y(t) - x(t) | dt = d(y, x)
(M4) Sean x, y, z ∈Ca b [ , ] entonces:

d(x, y) = ∫b

a
| x(t) - y(t) | dt, d(x, z) = ∫ a
b
| x(t) - z(t) | dt, d(z, y) = ∫ a
b
z t - y(t) | dt
| ( )

∀t ∈ a b] x(t) - y(t) | ≤ | x(t) - z(t) | + | z(t) - y(t) |

⇓
[ , |

∫ a
b
| x(t) - y(t) | dt ≤ ∫ a
b
| x(t) - z(t) | dt + ∫ a
b
z t - y(t) | dt
| ( )

d(x, y) ≤ d(x, z) + d(z, y)

Por lo tanto d es una métrica en X = C[a, b] . ∎
Problema 5
(Distancia de Hamming) Sea X el conjunto de triples ordenados de ceros y unos. Muestre
que X tiene 8 elementos y que d(x, y) definido por el número de entradas difirentes que
tiene x e y, es una métrica.
El conjunto X = { (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1) }
 x 4
= 100 x 5
= 101

x = 001
x 0
= 000
1

x 6
= 110 x 7
= 111

x 2
= 010 x 3
= 011

(M1) d : X × X →R , d(x, y) = Cantidad entradas diferentes que tiene x y y. d es una

función real no negativa.

∈
(M2) Sean x, y X ; si x = y entonces d(x, y) = 0 , ya que x y y no tienen entradas
diferentes. Recíprocamente, d(x, y) = 0 entonces x y y no tienen entradas diferentes, luego
x = y.

∈
(M3) Sean x, y X ; Si x y y tienen 0 ≤ n ≤ 3 entradas diferentes entonces y y x también
tienen n entradas diferentes, por lo tanto, d(x, y) = d(y, x) .
Problema 6
La desigualdad triangular en espacios métrico tiene mas propiedades interesantes. Muestre
que | d(x, y) - d(z, w) | ≤ d(x, z) + d(y, w)
d(x, y) ≤ d(x, z) + d(z, y)
d(z, y) ≤ d(z, w) + d(w, y)
d(x, z) + d(z, y) ≤ d(x, z) + d(z, w) + d(w, y)
d(x, y) ≤ d(x, z) + d(z, w) + d(w, y)
d(x, y) - d(z, w) ≤ d(x, z) + d(y, w) (2)
Por otro lado:
d(z, w) ≤ d(z, x) + d(x, w)
d(z, x) + d(x, w) ≤ d(z, x) + d(x, y) + d(y, w)
d(z, w) ≤ d(z, x) + d(x, y) + d(y, w)
d(z, w) - d(x, y) ≤ d(z, x) + d(y, w)
-(d(z, x) + d(y, w)) ≤ d(x, y) - d(z, w) (3)
Por (2) y (3), se tiene:
 -(d(z, x) + d(y, w)) ≤ d(x, y) - d(z, w) ≤ d(x, z) + d(y, w)

| d(x, y) - d(z, w) | ≤ d(x, z) + d(y, w) ∎

Problema 7
(Axioma de métrica) Los axiomas M1 a M4 puede ser sustituido por otros axiomas. Por
ejemplo, muestre que M3 y M4 puede ser deducido a partir de M2 y
≤
d(x, y) d(z, x) + d(z, y) .

Sea X un conjunto no vacio, d es una métrica en X si verifica los siguientes axiomas:

M1. d es una función de valores reales finita y no negativa.
M2. ∀x, y ∈ X d(x, y) = 0 si y solo si x = y.
M3. ∀x, y ∈ X d(x, y) = d(y, x)
≤
M4. ∀x, y, z ∈ X d(x, y) d(x, z) + d(z, y) .

Supongamos (M2) y ∀x, y, z ∈ X, d(x, y) d(z, x) + d(z, y) ≤

Por hipótesis se cumple ∀x, y, z ∈ X se cumplen
d(y, x) ≤ d(z, y) + d(z, x)
d(x, y) ≤ d(z, x) + d(z, y)
En partícular, si z = x entonces
d(y, x) ≤ d(x, y) + d(x, x)
⇓
d(y, x) ≤ d(x, y)
Además, si z = y entonces
d(x, y) ≤ d(y, x) + d(y, y)
⇓
d(x, y) ≤ d(y, x)
Por lo tanto
d(x, y) = d(y, x), ∀x, y ∈ X
Luego, se verifica la propiedad (M3), por otro lado:
d(x, y) ≤ d(z, x) + d(z, y) ⇔ d(x, y) ≤ d(x, z) + d(z, y)
Es decir ∀x, y, z ∈ X se cumple d(x, y) ≤ d(x, z) + d(z, y) . ∎

Problema 8

≤ ∫ t p- dt ∫u 𝛼p 𝛽q
𝛼 𝛽 1 1
Usar la desigualdad 𝛼𝛽 1
+
q-1 du = + donde + = 1 con p > 1
0 0 p q p q
eq > 1 , para mostrar que la media geométrica de dos números positivos no excede a la
media aritmética.
Supongamos que 𝛼 ≥ 0 y 𝛽 ≥ 0 y sean p = q = 2, los cuales cumplen
1 1 1 1
+ = + = 1 entonces se tiene
p q 2 2

𝛼 2
𝛽 2

𝛼𝛽 ≤ +
2 2

⇓
2𝛼𝛽 ≤ 𝛼 + 𝛽
2 2

⇓
4𝛼𝛽 ≤ 𝛼 + 2𝛼𝛽 + 𝛽
2 2

4 𝛼𝛽 ≤ (𝛼 + 𝛽) 2

𝛼+𝛽
2

0 ≤ 𝛼𝛽 ≤
2

⇓
𝛼+𝛽
𝛼𝛽 ≤ ∎
2

Problema 9
Encontrar una sucesión que converge a cero pero no converge en ningún l p , con
1 ≤ 1 < +∞ .

Sea p ≥ 1 un número real fijo entonces

∞
lp = ( 𝜉i ) : ∑ | 𝜉i | p < ∞
i=1

en l p se define la siguiente métrica, si x, y ∈ lp

1

∞
p

d(x, y) = ∑ | 𝜉i - 𝜂i | p
i=1

≥ ,a k
1
Considerar la sucesión (b j ) con números a(k), N(k) veces. donde k 1 ( ) = y
k
N(k) = 2 k esto es
1 1 1 1 1 1 1 1 1 1 1 1
( bj ) = 1, 1, , , , , , , , , , , , , ........
⏠⏣⏣
⏡⏣⏣
⏢2 2 2 2 3 3 3 3 3 3 3 3
veces
2
⏠⏣⏣⏣
⏡⏣⏣⏣
veces ⏢⏠⏣⏣⏣⏣⏣
4
⏡⏣⏣⏣⏣⏣
veces ⏢ 8
Por contrucción lim
i →∞
bi = 0 y ∑ ∞
i=1
| bi |
p = ∑
∞
i=1
2
i 1

i
p
. Una condición necesaria para que la

serie ∑
∞
i=1
| bi |
p sea convergente es que la sucesión x
i = | bi |
p = 2
i 1

i
p
tiene converger a

cero.
Afirmamos que (x i ) no converge a cero y por lo tanto (b i ) l p . ∉
Problema 10
(Diámetro de conjunto acotado) El diámetro de un conjunto no vacío acotado A en un
espacio métrico (X, d), se define como 𝛿(A) = sup d(x, y) . A resulta acotado si
∈
∞
xy A ,

𝛿(A) < + . Muestre que, si A ⊆ B, entonces 𝛿(A) ≤ 𝛿(B).

∀a b ∈ A d a b ≤ 𝛿 A , ( , ) ( )

Para cualquier 𝜀 ∈ R existen a b ∈ A tales que 𝛿 A - 𝜀 d a b . Pero por hipótesis

+

A ⊆ B entonces a b ∈ B luego d a b ≤ 𝛿 B
0
, 0
( ) < ( 0
, 0
)

d a b , luego:
a b∈B
0
, 0
( 0
, 0
) ( ) = sup ( , )

∀𝜀 ∈ R 𝛿 A - 𝜀 𝛿 B
,

+
, ( ) < ( )

Es decir, ∀𝜀 ∈ R 𝛿 A +
𝛿 B 𝜀.
, ( ) < ( )+

𝛿(A) - 𝛿(B)
Supongamos que 𝛿(A) > 𝛿(B) entonces si 𝜀 = > 0 se tiene:
2

𝛿(A) < 𝛿(B) +

𝛿(A) - 𝛿(B)
⇒𝛿A ( )
<
𝛿(B)
⇒𝛿A ( ) < 𝛿(B) (4)

≤𝛿 B .∎
2 2 2

(4) es una contradicción, por lo tanto necesariamente 𝛿(A) ( )

Problema 11
(Distancia entre conjuntos) La distancia entre dos conjuntos no vacíos A y B en un
espacio métrico (X, d) está definido por D(A, B) = inf d(a, b) . Muestre que D no es una
a A b B ∈ ∈ ,

métrica en el conjunto de partes de X.

Supongamos que X = Ryd x y ( x - y | , consideremos los siguientes interlavos

, ) = |

abiertos en X = , A R = (-1, 0), B = (0, 1), C = (1, 2) , afirmamos que:

D(A, C) > D(A, B) + D(B, C)

en efecto:

D(A, C) = inf{ | a - c | : a A, c C } ∈ ∈ ⇔ ∀∀a𝜀 ∈∈ AR ∀∃ca∈ ∈CA D∃cA∈ CC ≤ dd aa cc ,

+
, '
,

,
(

'
, )

,
( ,

( ',
)

') < D(A, B) + 𝜀

 A C

-1 0 1 2
R
B
Claramente D(A, C) = 1 , ya que ∀a ∈ A ∀c ∈ C ≤ d a c
, , 1 ( , ) y dado 𝜀 ∈R +
existen

a' ∈ -
𝜀
2
,0 ⊆A yc ' ∈ 1, 1 +
𝜀
2
∈ C tales que d a c ( ', ') < 1 + 𝜀.

Por otro lado D(A, B) = 0 y D(B, C) = 0 . Por lo tanto:

D(A, C) = 1 > D(A, B) + D(B, C) = 0 + 0 = 0
Por lo tanto D no es una métrica en conjunto de partes de R, luego D no siempre induce
una métrica en conjunto de partes del espacio métrico X. ∎
Problema 12
d(x, y)
Si (X, d) es una métrica, muestre que d(x, y) = es otra métrica para X
1 + d(x, y)

M1. ∀x y ∈ X,
, 0 ≤dx y
( , ) entonces 0 < 1+ d(x, y) , lo que implica
d(x, y)
0 ≤ = d(x, y) .
1 + d(x, y)

Es decir d : X × X →
R es una función real no negativa.
∈
M2. Si x, y X tales que x = y entonces d(x, y) =
d(x, y)
1 + d(x, y)
=
d(x, x)
1 + d(x, x)
=
0

1+0
= 0 ,

ya que d es una métrica en X.

Reciprocamente, si d(x, y) = 0 para algunos x, y ∈ X entonces d x y ( , ) =

d(x, y)
1 + d(x, y)
= 0 ,

entonces d(x, y) = 0 , pero d es una métrica en X, luego x = y.

M3. Sean x, y ∈ X entonces d x y ( , d(y, x) , luego:

) =

d(x, y) d(y, x)
d(x, y) = = = d(x, y)
1 + d(x, y) 1 + d(y, x)

M4. Dados x, y, z ∈ X entonces:

d(x, y) ≤ d(x, z) + d(z, y) (5)
si d(x, y) = a ≥ 0, d(x, z) = b ≥ 0 , d(z. y) = c ≥ 0 entonces (5) equivale a a ≤ b + c , lueg
a ≤ b + c + 2bc + abc
 a ab ac abc ≤ b c bc abc ab ac abc
+ + + ( + +2 + )+( + + )

a
(1 + b c bc ≤ b ba bc abc c cb ca abc
+ + ) ( + + + )+( + + + )

a(1 + b c bc ≤ b
+ + ) (1 + a c ac c
+ + )+ (1 + b a ab
+ + )

a(1 + b )(1 + c ≤b) (1 + a )(1 + c c )+ (1 + b )(1 + a )

pero 1 + a > 0, 1 + b > 0, 1 + c > 0 , luego:

a ≤ b c
a b c
+
1+ 1+ 1+

Es decir:
dxy ≤ dxz
( , ) ( , ) dzy ( , )

dxy dxz dzy

+
1+ ( , ) 1+ ( , ) 1+ ( , )

∀x y z ∈ X , , , dx y ≤dx z dz y
( , ) ( , )+ ( , )

Por lo tanto d es una métrica en X. ∎

Problema 13
Muestre que la unión de dos conjuntos acotados en un espacio métrico es también acotado.

Primero probemos:
X
Sea un espacio métrico no vacio, z∈X
y ≠ ⊆ , entonces las siguientes ∅ S X
proposiciones son equivalentes:
S
i) 𝛿( ) < ∞
X
ii) Hay una bola de centrada en que incluye . z S
X
iii) Hay una bola de que incluye . S
i)⇒ ii)
A
Si 𝛿( ) < + ∞
y para cualquier z∈X
se tiene lo siguiente, sea entonces: x∈A
dx z ≤dx y dy z
( , ) ( , )+ ( , )

donde y ∈ A es arbitrario y fijo, luego:

dx z ≤𝛿A dy z ( , ) ( )+ ( , )

esto equivale a:
x∈Bz 𝛿A dy z ( ; ( (6) )+ ( , ))

ya que (6) se cumple para cualquier x ∈ A <, se tiene

A⊆Bz 𝛿A dy z [ ; ( )+ ( , )]

Por lo tanto A esta incluida en un bola centrada en z.

ii) ⇒ iii) Si existe una bola de X centrada en z que incluye S entonces exiset una bola en X
que incluye S.
iii)⇒ i) Supongamos que existe una bola de X que incluye S, es decir existe un w ∈Xy
un r ∈ R +
tal que
S ⊆ B(w; r)
afirmamos que 𝛿(B(w; r)) ≤ 2r , en efecto, sean x, y B(w, r) entonces d(x, w) < r y ∈
d(y, w) < r
luego:
d(x, y) ≤ d(x, w) + d(w, y) < r + r = 2r
pero 𝛿(B(w; r)) = sup{ d(x, y) : x, y B(w; r) } , entonces 𝛿(B(w; r)) ≤ 2r . Por el problema ∈
10, se tiene:
𝛿(S) ≤ 𝛿(B(w; r)) ≤ 2r
Por lo tanto 𝛿(S) < + ∞, en otras palabras S es acotado.
Sea S ⊆ X y S ⊆ X tales que 𝛿 S ∞ y 𝛿S ∞ , dado z ∈ X, existen
r r ∈ R tales que S ⊆ B z r y S ⊆ B z r , sea r
1 2
( 1
) < + ( 2
) < +

1
, 2
+
1
( ; 1
) 2
( ; 2
) = max{ r ,r1 2
}

Sea x S ∈ ∪S →x ∈ S x ∈ S →d x z r ≤ r d x z r ≤ r→d x z r ,
∈ B z r → S ∪ S ⊆ B z r → 𝛿 S ∪ S ≤ r . Por lo tanto S ∪ S
1 2 1
, 2
( , ) < 1
, ( , ) < 2
( , ) <

entonces x es
∎
( ; ) 1 2
( ; ) ( 1 2
) 2 1 2

acotado.

Problema 14
Para (X , d ) y (X
1 1 2
, d 2
) espacio métricos X = X 1
× X 2
, muestre que otra métrica
alternativa a d(x, y) = d (x , y
1 1 1
)+ d (x , y
2 2 2
) para x = ( x ,x 1 2
) yy = ( y ,y1 2
) es

d(x, y) = d (x , y
2

1 1 1
)+ d (x , y
2

2 2 2
)

M1. La función

d: X × X →R
↦dx y
1 2

(x, y) d (x , y d (x , y
2 2
( , ) = 1 1
)+ 2 2
)
1 2

donde d 1
( x , y ) ≥ 0, d (x , y ) ≥ 0 ,
1 1 2 2 2
d (x , y
2

1 1 1
)+ d (x , y ) ≥ 0. Por lo tanto d es una
2

2 2 2

función real no negativa.

M2. Sean x x , x ), y = (y , y ) X . si x = y (x , x
= ( 1 2 1 2
∈ → 1 2
) = ( y ,y
1 2
) →x 1
= y,x
1 2
= y 2

entonces d (x , y ) = d(x , x ) = 0 , d (x , y ) = d (x , x
1 1 1 1 1 2 2 2 2 2 2
) = 0 , lo que implica que:
 d(x, y) = d (x , y
2

1 1 1
)+ d (x , y
2

2 2 2
) = 0+0 = 0

Reciprocamente si
→
d(x, y) = 0 d (x , y ) + d (x , y ) = 0 d (x , y ) = 0, d (x , y ) = 0
2

1 1 1
2

2 2 2
→ 1 1 1 2 2 2

ya que d y d son métricas en X y X respectivamente, se tiene x = y y x

1 2 1 2 1 1 2
= y 2
, por lo
tanto x = y.

M3. Sean x = ( x , x ), y = (y , y
1 2 1 2
) ∈ X , luego
d(x, y) = d (x , y
2
1 1 1
)+ d (x , y
2
2 2 2
) = d (y , x
2
1 1 1
)+ d (y , x
2
2 2 2
) = d(y, x)
M4.
x = (x , x 1 2
) ∈X , y = (y , y 1 2
) ∈X , t = (t , t 1 2
) ∈X
d(x, y) = d (x , y
2

1 1 1
)+ d (x , y
2

2 2 2
), d(x, t) = d (x , t
2

1 1 1
)+ d (x , t
2

2 2 2
),

d(t, y) d (t , y ) + d (t , y ) 2

1 1 1
2

2 2 2

Ya que d , d son métricas en X, entonces:

⇒
1 2

d (x , y ) ≤ d (x , t ) + d (t , y ) (d (x , y )) ≤ (d (x , t ) + d (t , y )) 2 2

⇒
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

d (x , y ) ≤ d (x , t ) + d (t , y ) (d (x , y )) ≤ (d (x , t ) + d (t , y ))
2 2 2 2 2 2 2 2 2 2 2 2
2
2 2 2 2 2 2
2

( d (x , y
1 1 1
))
2
+( d (x , y
2 2 2
))
2
≤ d x t ( 1
( 1
, 1
)+ d (t , y
1 1 1
))
2
+( d (x , t
2 2 2
)+ d (t , y
2 2 2
))
2

Sean
u = d (x , t 1 1 1
), v = d (t , y 1 1 1
), w = d (x , t 2 2 2
), z = d (t , y 2 2 2
)

entonces
( d (x , y
1 1 1
))
2
+( d (x , y
2 2 2
))
2
≤ u v ( + )
2
+( w + z) 2

Por otro lado

0 ≤ wv - uz
w v - 2wvuz + u z( )
2
=
2 2 2 2

2wvuz ≤ w v + u z
2 2 2 2

u v + 2(uv)(wz) + w z ≤ u v + w v + u z
2 2 2 2 2 2 2 2 2 2
+ wz 2 2

( uv + wz) ≤ v u 2 2 2
+ w 2
+ z u 2 2
+ w 2
= v 2
+ z 2
u 2
+ w 2

uv + wz ≤ v 2
+ z 2
u 2
+ w 2

Por otro lado:

( u + v) 2
+( w + z) 2
= u 2
+2 uv + v 2
+ w 2
+2 wz + z 2
 2( uv wz ≤ + ) 2 v 2
+ z u 2 2
+ w 2

luego

( u v + )
2
+( w z ≤u + )
2 2
+ v 2
+ 2 v 2
+ z u 2 2
+ w 2
+ w 2
+ z 2

( u v + )
2
+( w z ≤
+ )
2
u 2
+ v 2
+ v 2
+ z 2

Entonces:

( d x y ( , ))
2
+( d x y ( , ))
2
≤ u v ( + )
2
+( w z ≤ + )
2
u 2
+ v 2
+ v 2
+ z 2

⇓
1 1 1 2 2 2

d x y
2
( , )+ d x y ≤2
( , ) d x t
2
( , )+ d x t 2
( , ) + d t y
2
( , )+ d t y 2
( , )

⇓
1 1 1 2 2 2 1 1 1 2 2 2 1 1 2 2 2 2

d x y
2
1
( 1
, 1
)+ d x y ≤ d x t
2
2
( 2
, 2
)
2
1
( 1
, 1
)+ d x t
2
2
( 2
, 2
) + d t y
2
1
( 1
, 2
)+ d t y
2
2
( 2
, 2
)

dx y ≤dx t dt y ( , ) ( , )+ ( , )

Por lo tanto d es una métrica en X X X .∎ = 1

× 2

Problema 15
Muestre que la otra métrica para el conjunto anterior puede ser

dxy ( , ) = max{ d x y d x y
1
( 1
, 1
), 2
( 2
, 2
)}

M1.
Sean x = ( x x y1
, 2
), = ( y y 1
, 2
) ∈X 1
× X 2

d X : × X →R
↦dx y
1 2

( xy , ) ( , ) = max{ d x y d x y
1
( 1
, 1
), 2
( 2
, 2
)}

Ya que 0 ≤ di xi yi ≤ d x y( , ) ( , ) , entonces d es una función real no negativa.

M2.
Supongamos que x x y y y ∈X x X tales que
→
= ( 1
, 2
), = ( 1
, 2
) 1
× 2

x y
= ( x x
1
y y entonces
, 2
) = ( 1
, 2
)

dxy d x y d x y
( , ) = max{ 1
( 1
, 1
), 2
( 2
, 2
) } = max{ d x x d x x
1
( 1
, 1
), 2
( 2
, 2
)}
ya que d y d son métricas, se tiene d
1 2
x , y ) = 0, d (x , y ) = 0 , entonces d(x, y) = 0 .
1
( 1 1 2 2 2

Reciprocamente, si x = (x , x ), y = (y , y ) ∈ X × X , d(x, y) = 0 luego:

1 2 1 2 1 2

d(x, y) = max{ d (x , y ), d (x , y ) } = 0 1 1 1 2 2 2

d (x , y ) ≤ 0, d (x , y ) ≤ 0
1 1 1 2 2 2

⇓
x =y , x =y 1 1 2 2

Por lo tanto x = y.

M3.
Sean x = ( x , x ), y = (y , y ) ∈ X
1 2 1 2 1
× X 2

d(x, y) = max{ d (x , y ), d (x , y
1 1 1 2 2 2
) } = max{ d (y , x ), d (x , x
1 1 1 2 2 2
)} = d(y, x)
M4.
Sean x = ( x , x ), y = (y , y ), z = (z , z ) ∈ X
1 2 1 2 1 2 1
× X 2

d (x , y ) ≤ d (x , z
1 1 1
d (z , y ) ≤ d(x, z) + d(z, y)
1 1 1
)+ 1 1 1

d (x , y ) ≤ d (x , z
2 2 2
) + d (z , y ) ≤ d(x, z) + d(z, y)
2 2 2 2 2 2

⇓
d(x, y) = max{ d (x , y ), d (x , y ) } ≤ d(x, z) + d(z, y)
1 1 1 2 2 2

Por lo tanto d es una métrica en X × X . ∎ 1 2

Problema 16
Cómo es la bola abierta B(x ; 1) , en ?, en 0
R C?, en C a b ? [ , ]

• Sea X = R, dx y ( , ) = | x - y| entonces B(x 0

; 1) = { x ∈ R : |x - x| < 1}
0

( )
x -1 x
0 x 0
0
+1
R

• Sea X = C = {( x, y) : x ∈ R, y ∈ R } , z = (x, y), w = (u, v) ∈ C .

d(z, w) = ( x - u) 2
+( y - v) 2
 x 0

• Sea X = C[a, b] = f : [a, b] → R ∣ f es continua , x, y ∈Ca b[ , ]

d(x, y) = max | x(t) - y(t) |

∈
t [a,b]

Sea f ∈C a b ,B f
[ , ] ( ; 1) = ∈
g C[a, b] : max | f(t) - g(t) | < 1
∈
t [a,b]

g
f

a b

Problema 17
Muestre que cualquier conjunto no vacío A ⊆ Xd ( , ) es abierto si solamente si es unión de
bolas abiertas.

Definición: Un subconjunto M de un espacio métrico X se llama abierto si ∀x ∈ M existe un

𝛿 ∈R +
tal que B(x, 𝛿) ⊆ M.
Supongamos que A es abierto entonces dado x ∈ A existe un 𝛿x ∈ R +
tal que
B(x, 𝛿x ) ⊆ A , lo que implica que:
 ∈
x B(x, 𝛿x ) ⊆ ⋃ B z 𝛿z ( , )

∈
z A
Ya que x ∈ A es arbitrario, se tiene
A⊆ ⋃ B z 𝛿z ( , )

∈
z A
por otro lado ∀x ∈ A , B(x, 𝛿x ) ⊆ A , entonces
⋃ B z 𝛿z ( , ) ⊆A
z A ∈
Por lo tanto:

A= ⋃ B z 𝛿z ( , )

∈
z A
Es decir A es unión de bolas abiertas.

Reciprocamente si A es unión de bolas abiertas, es decir, A⋃ C, donde C es una =

familia de bolas abiertas de X; sea x ∈ A → x ∈ ⋃ C → x ∈ B para alguna bola B ∈ C,

además

B⊆ ⋃C ∈
A, es decir x B ⊆ A, ya que x A es arbitrario se deduce que A es ∈
abierto. ∎
=

Problema 18
Si x es un punto de acumulación de A
0
⊆ Xd( , ). Mostrar que cualquier vecindad de x 0

contiene infinitos puntos de A.

Por definición x ∈ X es un punto de acumulación de A sii ∀𝜀 ∈ R , +

B x 𝜀 - x ∩A ≠ ∅
0

es decir existe un y ∈ B x 𝜀 - x y y ∈ A, sea 𝛿

(( ( 0
; ) { 0
})

dx y luego existe un
y ∈ Bx 𝛿 - x y ∈ A tal que y ≠ y .
0
(( ( 0
; ) { 0
}) 0 1
= ( 0
, 0
)

1
(( ( 0
; 1
) { 0
}), 1 0 1
 y 0 ∈A
d(x , y
0 0)

x 0

y 1 ∈A

Continuado se obtiene una sucesión (y n ) cuyos términos son todos distintos y pertenecen al
∩
conjunto (B(x ; 𝜀) - { x }) A , por lo tanto cualquier vecindad de x contiene infinitos
∎
0 0 0

puntos de A.
Problema 19
→R
Muestre que B[a, b] = { f : [a, b] , f acotado } no es separable.

∈
Sean x, y B[a, b] , d(x, y) = sup | x(t) - y(t) | .
∈ t ab
[ , ]

Definamos el conjunto A ⊆ B[a, b] como la colección de todas las funciones

fc (t) = 1 si t = c
0 si t ≠ 0
∈
donde c [a, b] . El conjunto A es no numerable. Además, la métrica en B[a, b] muestra que
∈
para cualesquiera f, g A se cumple d(f, g) = 1 . Si cada una de estas funciones f A es ∈
1
el centro de una bola "pequeña", digamos, de radio , estas bolas no se intersectan y se
3

tiene un número incontable de estas bolas. Si M es denso en B[a, b] , entonces

⏨
M = B[a, b] . Si f A∈ → f ∈ M⏨, entonces B f;
1

3
- {f} ∩ M ≠ ∅ . Por lo tanto M no
puede ser númerable. Ya que M es un subconjunto denso arbitrario de B[a, b] , se concluye
que B[a, b] no puede contener un subconjunto denso numerable. Por lo tanto B[a. b] es no
separable. ∎
Problema 20
Muestre que una aplicación T : X →
Y es continua si y solamente, si la imagen inversa de
cualquier conjunto cerrado M ⊆ Y es cerrado en X.
(⇒ ) Supongamos que la aplicación T entre los espacios métricos (X, d) y (Y, e) es

continua.
Sea M ⊆ Y un conjunto cerrado de Y, luego sea N = T - (M) = { x X : T(x) M } la 1
∈ ∈
imagen inversa de M. Dado z ∈ ⏨N → existe una sucesión zn (
n
) en N tal que
lim z n = z ,
→∞
ya que T es continua entonces Tzn = Tz, notar que la sucesión (Tzn ) de puntos de M
n →∞
lim

es convergente, al ser M cerrado se tiene que Tz M lo que implica que z T -1 (M) ∈ ∈ = N.

∈
Ya que z T -1 (M) es arbitrario se concluye ⏨⏨⏨⏨
T -1 (M) = T -1 (M), es decir T -1 (M) es
cerrado.
( ⇐) Reciprocamente, supongamos que para cualquier M ⊆ (Y, e) cerrado, la imagen

inversa T - (M) es cerrado. Sea U ⊆ Y un conjunto abierto entonces Y - U es cerrado,

1

luego T - 1
( Y - U) es cerrado; afirmamos que X - T - (U) = T - (Y - U) . 1 1

∈
𝛼 X - T - (U) 1
→ 𝛼 ∈ X 𝛼 ∉ T-
,
1
( U) →T 𝛼 ∈ Y( ) , T(𝛼) U ∉ → T 𝛼 ∈ Y - U → 𝛼 ∈ T-
( )
1
( Y - U)

X - T - (U) ⊆ T - (Y - U) 1 1

∈ → ∈ →
𝛽 T - (Y - U) T(𝛽) Y - U T(𝛽) Y, T(𝛽) U 𝛽 X, 𝛽 T - (U) 𝛽 X - T - (U)
1
∈ ∉ → ∈ ∉ 1
→ ∈ 1

T - (Y - U) ⊆ X - T - (U) 1 1

Luego X - T - (U) = T - (Y - U) , lo que implica X - T - (U) es cerrado, lo que implica que

1 1 1

T - (U) es abierto, ya que U ⊆ Y es un conjunto abierto arbitrario, se concluye que T es

1

continua.
∎
Problema 21
Muestre que toda sucesión de Cauchy es acotada.
Sea (x n ) una sucesión de Cauchy en un espacio métrico (X, d), entonces para cualquier
𝜀 ∈R +
∈ N tal que si n m ∈ N con n m ≥ N entonces d xn xm 𝜀.
existe un N , , ( , ) <

Si 𝜀 entonces existe un K ∈ N tal que n m ∈ N , n m ≥ K entonces d x n x m ;

tomemos un m ∈ N m ≥ K fijo, luego para cualquier n ≥ K se cumple
= 1 , , ( , ) < 1

0
, 0

d(xn , xm 0
) < 1

Definamos
𝛿 = max{ d(x , xm 1 0
),..., d(xm - , xm
0 1 0
), 1 }

luego
∀n ∈ N , d(xn , xm ) < 1 ⇔ ∀n ∈ N xn ∈ B xm , ( , 𝛿)
∎
0 0

Por lo tanto (x n ) es una sucesión acotada.

Problema 22
Si (x n ) y (y n ) son sucesiones de Cauchy en (X, d). Muestre que la sucesión a n = d(xn , yn )
converge. Ilustrar con un ejemplo.
Dado 𝜀 ∈R +
entonces existen N, K ∈ N tales que si n m p q ∈ N con m n ≥ N y , , , ,

𝜀 𝜀
p, q ≥ K entonces d(xn , xm ) < , d(y p , y q ) < .
2 2

Tomemos M = max{ ∈
N, K } , si k N con k, l ≥ M entonces
| a k - a l | = | d(x k , y k ) - d(x l , y l ) | ≤ d(x k , y k ) + d(x l , y l ) < 𝜀

Por lo tanto (a n ) = (d(x n , y n )) es una sucesión de Cauchy en R, por lo tanto (a n ) es

convergente. ∎
Problema 23
Usar la completitud de R para probar la completitud de C
Sea (z n ) cualquier sucesión de Cauchy en C, donde zn xn iyn . Para cualquier 𝜀 ∈ R +
,
∈ N tal que si n m ∈ N y n m
= +

existe un N , , > N entonces:

d C (z m , z n ) = ‖ z m - z n ‖ = xm - xn ) 2
ym - yn ) ≤ 𝜀 2

⇓
( +(

xm - xn ) 2
ym - yn 2
≤𝜀 2

⇓
( +( )

( xm - xn ) ≤ 𝜀 2 2
, ( ym - yn ) ≤ 𝜀 2 2

xm - xn | ≤ 𝜀 | xm - xn | ≤ 𝜀
|

Asi, ambas sucesiones (x n ) y (y n ) son de sucesiones de Cauchy en R, ya (R, | | ) es un

espacio métrico completo entonces (x n ) y (y n ) son convergentes en R, es decir:
lim x n = x
i
R lim yn = y R
→∞
∈ i →∞
∈
Sea z = ∈
x + iy C , afirmamos que
→ ∞ zn z x iy lim
i
= = +

Para cualquier 𝜀 ∈ R , existen M K ∈ N tales que si n ≥ N y k ≥ K entonces

+
,

dR (xn , x) = | xn - x | ≤
𝜀
∧ dR (yn , y) = | yn - y | ≤
𝜀
2 2

Si j ≥ max{ N, K } entonces

𝜀
∧ 𝜀
2 2

( xj - x) ≤ 2
( yj - y) ≤ 2

2 2
 ( xj - x) 2
+ ( yj - y) ≤ 𝜀 2 2

dC (zj , z) = ‖ zj - z ‖ = ( xj - x) 2
+ ( yj - y) ≤ 𝜀 2

dC (zj , z) ≤ 𝜀
Por lo tanto (z n ) es convergente, al ser (z n ) una sucesión de Cauchy en C arbitraria
C
entonces es completo. ∎
Problema 24
Sea X el espacio de n-tuplas de números reales x = ( 𝜉 ,𝜉1 2
,..., 𝜉n ), y para
y = (𝜂 , 𝜂 ,..., 𝜂n ) , definimos la métrica
1 2

d(x, y) = max | 𝜉j - 𝜂j |
j
Mostrar que (X, d) es completo.

R n , donde xm 𝜉 m 𝜉nm
Considerar cualquier sucesión de Cauchy (x m ) en =
( )
,...,
( )
. Luego

dado 𝜀 ∈ R , existe un N ∈ N tal que si m n ∈ N con m n ≥ N entonces

1

+
, ,

d(xm , xn ) = max 𝜉jm - 𝜉jn ( ) ( )

< 𝜀
≤j≤n
∈ N fijo tal que
1

Sea i 1 ≤ i ≤ n, y n, m ≥ N , entonces
𝜉i m ( )
- 𝜉i n ≤ max 𝜉jm - 𝜉jn
( ) ( ) ( )
= d(xm , xn ) < 𝜀
1 ≤j≤n
Luego la secuencia 𝜉 i k ( )
es una sucesión de Cauchy en R, al ser R un espacio métrico
completo se deduce que 𝜉i k ( )
𝜉i . Afirmamos que (xm ) converge a
→∞
lim =
k
x = (𝜉 , 𝜉 𝜉n ) .
∈ ∈ N tales que si k
1 2
,...,

Para cualquier 𝜀 R , existen N +

1
,..., Nn 1
≥N 1
,..., kn ≥ Nn entonces
k k
𝜉
(

1
1)
-𝜉 1
< 𝜀, ...., 𝜉n n
( )
- 𝜉n < 𝜀

Sea M = max{ N ,..., Nn } y sea k ≥ M entonces

∀∈
1

i { 1,..., n } 𝜉i k - 𝜉i ( )
< 𝜀
luego

max
i
𝜉i k( )
- 𝜉i < 𝜀 ⇒ d xk x ( , ) < 𝜀

Por lo tanto (x m ) es convergente en R n , entonces R n es completo. ∎

Problema 25
 R
Mostrar que el espacio es incompleto con la métrica d(x, y) = | arctan x - arctan y |
R
Considerar la sucesión (x n ) en , donde x n = n. Afirmamos que (x n ) es una sucesión de
R
Cauchy pero no converge en con la métrica d(x, y) = | arctan x - arctan y |

Ya que dado 𝜀 ∈ R , existe un N ∈ N tal que

+

∀n N > arctan( n) -
𝜋
2
<
𝜀
2

Si n, m > N entonces
𝜋 𝜋 𝜀 𝜀
d(xm , xn ) = | arctan(m) - arctan(n) | ≤ arctan( m) - + - arctan(n) < + = 𝜀
2 2 2 2

Por lo tanto (x n ) n) es una sucesión de Cauchy con la métrica

= (

d(x, y) = | arctan x - arctan y |

Supongamos que (x n ) converge en R con la métrica d dada. Por definición existe un x ∈ R

tal que
lim
n → ∞ d xn x
( , ) =
n →∞
lim | arctan( n) - arctan(x) | = 0
𝜋
lo cual implica que arctan(x) debe ser igual a por unicidad del límite. Esto contradice
2

x ∈ R ya que ∀x ∈ R, arctan( x) <

𝜋
2
. ∎
Problema 26
Muestre que el subespacio Y ⊂Ca b [ , ] consistente de todos los x ∈Ca b [ , ] tal que
x(a) = x(b) es completo.

Considerar Y ⊂ C[a, b] definido por Y = { ∈

x C[a, b] : x(a) = x(b) } . Es suficiente demostrar
que Y es cerrado en C[a, b] .
Sea cualquier f ∈ Y⏨, entonces existe una secuencia de funciones fn ∈ Y tal que
f en C a b . Por definición, dado cualquier 𝜀 ∈ R existe un N ∈ N tal que si
( )

→ ∞ fn
+
lim = [ , ]
n
n > N se tiene
d(fn , f) = max | fn (t) - f(t) | < 𝜀
∈
t [a,b]
∈
En particular, para cualquier t [a, b] , | f n (t) - f(t) | < 𝜀 para todo n > N. Esto muestra
que (f n ) converge a f uniformemente en [a, b] . Ya que las f n son funciones continuas en
[a, b] y la convergencia es uniforme. el límite f es continua en [a, b] , es decir f C[a, b] . ∈
Por otro lado
| f(a) - f(b) | ≤ | f(a) - fn (a) | + | fn (a) - fn (b) | + | fn (b) - f(b) |
 = | f(a) - fn (a) | + | fn (b) - f(b) | ≤ 2max | fn (t) - f(t) |
∈
t [a,b]

f(a) - f(b) | ≤ 2d(fn , f) < 2𝜀

⇓
|

f a -f b
⇓
| ( ) ( )| = 0

f(a) = f(b)
∈
Por lo tanto f Y, entonces Y = ⏨ Y.
Problema 27
Mostrar que el espacio discreto es completo

Sea (X, d) un espacio métrico, es decir d : X × X → R esta definida por:

d(x, y) = 1 si x = y
0 si x ≠ y
Sea (x n ) una sucesión de Cauchy en X, luego dado cualquier 𝜀 ∈R +
existe un N ∈ N,
luego para cualquier n, m ∈ N tal que n m N se cumple d xn xm
, > ( , ) < 𝜀.

, existe un K ∈ N tal que

1
En partícular si 𝜀 =
2

n m K ⇒ d xn xm
1
, > ( , ) < (7)

∈ N tal que n
2

Tomemos n 0
, m 0
K con n ≠ m . Supongamos que xn ≠ xm luego
0
, m 0
> 0 0 0 0

d(xn , xm ) = 1 0 0
(8)
Pero (8) contradice (7), esto implica que x n = x m , entonces para todo n > K , x n = x K .
0 0 +1

Por lo tanto lim x n = x K .

n →∞ +1

Esto implica que las únicas secuencias de Cauchy (x n ) en X son sucesiones constantes o
sucesiones que eventualmente son constantes. Por lo tanto cualquier espacio métrico
discreto es completo. ∎
Problema 28
Mostrar que la sucesión de Cauchy

≤ t ≤ n- xn (t) = t - si n - ≤ t ≤ 1
1

xn (t) = n si 0
2
,
2 2

no converge.

Demostrar que, otra sucesión de Cauchy es (x n ) donde

1
-
xn (t) = n si 0 ≤ t ≤ n -2 , xn (t) = t 2
si n - ≤ t ≤ 1.
2
tomar m > n luego

∫ ∫ ∫
1 1

1
m 2
n 2
1
d(xm , xn ) = | xm (t) - xn (t) | dt = ( m - n)dt + -n
0 0
1

m 2
t

3
x 3

2
x 2

-2 -1 0 1 2 3 4 5 6

∫ ∫
1 1

m 2
n 2
1
d(xm , xn ) = ( m - n)dt + - n dt
0
1

m 2
t

m-n n
d(xm , xn ) = t - nt
2

+ 2 |
m 2

m
1

1n 1 n 1 n
d(xm , xn ) = - + 2 -
- 2 -
m m 2
n n 2
m m 2

1n 2 1 2 n 1 1
d(xm , xn ) = - + - - + = -
m m 2
n n m m 2
n m
Dado 𝜀 ∈ R , existe un N
+
>
1

𝜀
→𝜀 >
1

N
, luego tomemos n > N, lo que implica
1 1
𝜀> >
N n
Si m > n entonces
1 1 m-n
d(xm , xn ) = - =
n m nm
Pero

m < m+n →m-n < m → mnm- n <

m
nm
→ mnm- n <
1

n
luego, si m > n > N entonces
m-n 1 1
d(xm , xn ) =
< < < 𝜀
nm n N
Por lo tanto (x n ) es una sucesión de Cauchy en C[0, 1] , con la métrica

d(x, y) = ∫ 1

| x(t) - y(t) | dt .
∈C → x, es decir:
0

Supongamos que existe un x [0, 1] tal que x n

d(xn , x) = 0
→∞
lim
n

∫ ∫
1

n 2 1

d(xn , x) = | xn (t) - x(t) | dt + 1

| xn (t) - x(t) | dt
0

n 2

Cuando n → ∞ se cumple
1
x(t) = ,

t
Pero x ∉C , ya que x no es continua en t . Por lo tanto (x n ) no converge en
∎
[0, 1] = 0

C[0, 1]. Y además (C[0, 1], d) es un espacio métrico no completo.

ESPACIOS DE BANACH
Problema 1
Será que d(x, y) x - y) es una métrica para R.
2

∀ ∈
= (

M1. Claramente x, y R se tiene (x - y) ≥ 0 lo que implica que d(x, y) ≥ 0 . 2

∈
M2. Sean x, y R , supongamos que d(x, y) = 0 (x - y) |x - y| = 0 x = y, → 2
→ →
→
= 0

reciprocamente, si x = y entonces d(x, y) = d(x, x) = (x - x) = 0 d(x, y) = 0 . 2

∈
M3. Dados x, y R entonces d(x, y) = (x - y) = (y - x) = d(y, x) . 2 2

M4. Se tiene que probar que para ∀x y z ∈ R , se cumple:

, ,
 d(x, y) ≤ d(x, z) + d(z, y)
pero este no es el caso ya que si x = 1, y = 3, z = 2 entonces:
d(1, 3) > d(1, 2) + d(2, 3)
(1 - 3) > (1 - 2) + (2 - 3)
2 2 2

4 > 1+1

Por lo tanto d(x, y) = ( x - y) 2

no es una métrica para R. ∎
Problema 2
Para x = ( 𝜉 ,𝜉1 2
,..., 𝜉n ) ∈ R n , y para 1 ≤ p < +∞, demuestre que
p
1

‖x‖ p = | 𝜉 1
p
| + |𝜉 2
p
| + ⋯ + | 𝜉n |
p

es una norma.

(N1) Sea x = ( 𝜉 ,𝜉1 2

,..., 𝜉n ) ∈ R n y p ∈ R , 1 ≤p < + ∞, entonces

p
∈R
1

| 𝜉 1
p
| + |𝜉 2
p
| + ⋯ + | 𝜉n |
p +

Donde R +
0
= { 𝛼 ∈ R | 𝛼 ≥ 0 } , es decir:
∀x ∈ R n , ‖x‖ p ≥ 0

(N2)
Sea x 𝜉 , 𝜉 ,..., 𝜉n ) ∈ R n .
= ( 1 2

Si x = (𝜉 , 𝜉 ,..., 𝜉 n ) = (0, 0,..., 0) = 0

1 2
entonces

p
1

‖x‖ p = |0|
p + |0| p + ⋯ + |0|
p = 0

Recíprocamente, si ‖ x ‖ p = 0 entonces
1
p
‖x‖ p = | 𝜉 1
p
| + |𝜉 2
p
| + ⋯ + | 𝜉n |
p = 0

| 𝜉 1
|
p + |𝜉
2
|
p+ ⋯ + | 𝜉n | p = 0
⇓
𝜉 1
= … = 𝜉n = 0
⇓
x = (𝜉 , 𝜉 ,..., 𝜉n ) = (0, 0,..., 0) = 0 1 2

(N3) Sea 𝛼 ∈ R y x = (𝜉 , 𝜉 ,..., 𝜉 n ) ∈ R n luego 1 2

1
p 1
p
‖ 𝛼x ‖ p = | 𝛼𝜉 1
|
p + | 𝛼𝜉
2
|
p+ ⋯ + | 𝛼𝜉n | p = | 𝛼| |𝜉 1
|
p + |𝜉
2
|
p+ ⋯ + | 𝜉n | p = | 𝛼| ‖x‖ p
⇓
‖ 𝛼x ‖ p = | 𝛼| ‖x‖ p
(N4) Sean a b p q ∈ R tales que a ≥ b ≥ p q 1 1
, entonces
p q
, , , 0, 0, > 1, > 1, + = 1

ab ≤ a p bq
(9)
p q
+

En efecto, ya que f R → R , f x e satisface ∀x ∈ R f x

x ex , entonces es f
convexa. Por lo tanto para cualesquiera x y 𝛼 𝛽 ∈ R con 𝛼 ≥
: ( ) = , ''( ) = > 0

, , , 0 , 𝛽≥0 y 𝛼 + 𝛽 = 1 se
cumple:
f 𝛼x 𝛽y) ≤ 𝛼f(x) + 𝛽f(y)
⇓
( +

e 𝛼x+𝛽y ≤ 𝛼e x 𝛽e y + (10)

a b la desigualdad (1) se verifica. Si a

Si b entonces tomar 𝛼
1
𝛽=
1
,
p q
= = 0 > 0, > 0 = ,

x p a y q b en (2), lo que da como resultado

= ln , = ln

1
p a 1
q b
p q
( ln )+ ( ln )

e ≤ ep a + 1 eq b
1
ln ln

p q
⇓p
a bq
ab ≤
p q
+

Sean x = ( 𝜉 1
,..., 𝜉 n ), y = (𝜂 1
,..., 𝜂n ) ∈ Rn , luego
∑ ∑
n
1
p n
1
q
A = | 𝜉i | p , B = | 𝜂i | q
i =1 i =1

afirmamos que:

∑ ∑ ∑
n n
1
p n 1
q
| 𝜉i | | 𝜂i | ≤ | 𝜉i | p | 𝜂i | q
i =1 i =1 i =1

∑ ∑
n
1
p n
1
q
En efecto, si | 𝜉i | p = 0, | 𝜂i | p = 0 → ∀i ∈ { 1,.., n }, 𝜉i = 𝜂i = 0
i =1 i =1

∑
i
n

=1
| 𝜉i | | 𝜂i | = 0
 1
p 1
q
n n
Si A= ∑ | 𝜉i | p > 0 y B= ∑ | 𝜂i | p > 0 , entonces definimos
i=1 i=1
| 𝜉i | | 𝜂i |
ai = , bi =
A B
aip biq
ai bi ≤ +
p q
n n n
∑ ai bi ≤ ∑ 1
aip +
1
∑ biq
i=1 pi =1
qi =1

n n p n q n n
𝜉i | | 𝜂i | 𝜉i | 𝜂i |
∑ |
≤
1
∑ |
+
1
∑ |
=
1 1
∑ | 𝜉i p
| +
1 1
∑ | 𝜂i | q =
1
+
1
= 1

i=1 A B pi =1
A qi =1
B pA p
i=1 qB q
i=1 p q
⇓
p q
1 1

n n n
∑ | 𝜉i | | 𝜂i | ≤ AB = ∑ | 𝜉i | p ∑ | 𝜂i | p
i=1 i=1 i=1

Ya que ∀i ∈ { 1,..., n } se cumple | 𝜉i + 𝜂i | ≤ | 𝜉i | + | 𝜂i | , entonces

n n n
∑ | 𝜉i + 𝜂i | ≤∑ | 𝜉i | + ∑ | 𝜂i |
i=1 i=1 i=1
Es decir la desigualdad (3), se verifica para p = 1 .
1 1 1

p p p
n n n
∑ | 𝜉i + 𝜂i | p ≤ ∑ | 𝜉i | p + ∑ | 𝜂i | p
(11)

i=1 i=1 i=1

-1
1 p
Si p > 1 luego tomemos q = 1 - = ya que de esta forma se cumple
p p-1
1 1
+ = 1 , por otro lado p = q(p - 1) .
p q
n n
∑ (| 𝜉i | + | 𝜂i |)
p = ∑ (| 𝜉i | + | 𝜂i | )( | 𝜉i | + | 𝜂i | ) p- 1

i=1 i=1
n
= ∑ | 𝜉i | ( | 𝜉i | + | 𝜂i | ) p- 1
+ | 𝜂i | ( | 𝜉i | + | 𝜂i | ) p- 1

i=1
 1 1 1 1

∑ ∑ ∑ ∑
n p n q n p n q

≤ | 𝜉i | p (| 𝜉i | + | 𝜂i | ) q p- ( 1)
+ | 𝜂i | p (| 𝜉i | + | 𝜂i | ) q p- ( 1)

i=1 i=1 i=1 i=1

1 1 1 1

∑ ∑ ∑ ∑
n p n q n p n q

= | 𝜉i | p (| 𝜉i | + | 𝜂i | ) p + | 𝜂i | p (| 𝜉i | + | 𝜂i | ) p
i=1 i=1 i=1 i=1

1 1 1

∑ ∑ ∑
q p p
n n n
= (| 𝜉i | + | 𝜂i | ) p | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1

1
⇓ 1 1

∑ ∑ ∑ ∑
n n q n p n p

(| 𝜉i | + | 𝜂i | ) p ≤ (| 𝜉i | + | 𝜂i | ) p | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1 i=1

1 1
⇓ 1
-

∑ ∑ ∑
1

n q n p n p

(| 𝜉i | + | 𝜂i | ) p ≤ | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1
⇓
1 1 1

∑ ∑ ∑
p p p
n n n
(| 𝜉i | + | 𝜂i | ) p ≤ | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1

Pero

⇒ ∑ 𝜉i ∑
n n
| 𝜉i + 𝜂i | ≤ | 𝜉i | + | 𝜂i | ⇒ | 𝜉i + 𝜂i |
p ≤ (| 𝜉i | + | 𝜂i |)
p | + 𝜂i |
p ≤ (| 𝜉i | + | 𝜂i | ) p
i=1 i=1

1 1 1 1

∑ ∑ ∑ ∑
n p n p n p n p

| 𝜉i + 𝜂i | p ≤ (| 𝜉i | + | 𝜂i | ) p ≤ | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1 i=1
 1
⇓ 1 1

∑ ∑ ∑
n p n p n p

| 𝜉i + 𝜂i | p ≤ | 𝜉i | p + | 𝜂i | p
i=1 i=1 i=1

‖x + y‖ p ≤ ‖x‖ p + ‖y‖ p

Por lo tanto Rn ‖ ⋅ ‖ p
, es un espacio vectorial normado. ∎
Problema 3
Mostrar que en un espacio vectorial X las operaciones de la adición y multiplicación por un
escalar son continuas respecto a la norma.

Sean (x n ) y (y n ) sucesiones en X convergentes en X tales que x n → x y yn → y, y sea

(𝛼 n ) una sucesión convergente en . R
Afirmamos que la sucesión (x n + y n ) en X converge a x + y , en efecto:
‖ (x n + y n ) - (x + y) ‖ ≤ ‖ xn - x ‖ + ‖ yn - y ‖

Pero, dado 𝜀 ∈R +
existen N, K ∈ N tales que
n≥N → ‖ xn - x ‖ <
𝜀
2
k≥K → ‖ yk - y ‖ <
𝜀
2

Sea M = max{ K, N } , si m ≥ M entonces

‖ (x m + y m ) - (x + y) ‖ ≤ ‖ x m - x ‖ + ‖ y m - y ‖ < 𝜀
Luego:
xn + yn ) = x + y
→∞
lim (
n
Por lo tanto la suma de vectores en X es una función continua.
Por otro lado, afirmamos que lim 𝛼 n x n = 𝛼x, en efecto:
n →∞
‖ 𝛼 n x n - 𝛼x ‖ = ‖ (𝛼 n - 𝛼)x n + 𝛼(x n - x) ‖ ≤ 𝛼n - 𝛼 ‖ xn ‖
| | + | 𝛼 | ‖ xn - x ‖
Ya que (x n ) es convergente entonces es acotada, luego existe un C ∈R +
tal que
‖ xn ‖ ≤C , ∀n ∈ N
Luego
‖ 𝛼 n x n - 𝛼x ‖ ≤ 𝛼n - 𝛼 C
| | + | 𝛼 | ‖ xn - x ‖
Además, dado 𝜀 ∈R +
existen N, K ∈ N tal que:
n ≥ N ⇒ 𝛼n - 𝛼
𝜀
| | <
2C
Si | 𝛼 | = 0 entonces

𝜀
‖ 𝛼 n x n - 𝛼x ‖ ≤ 𝛼n - 𝛼 C
| | < < 𝜀
2

luego
𝛼n xn = 𝛼x
→∞
lim
n
Pero si | 𝛼 | ≠ 0entonces
k≥K ⇒ ‖ xn - x ‖ <
𝜀
2|𝛼|

𝜀 𝜀
‖ 𝛼 n x n - 𝛼x ‖ ≤ 𝛼n - 𝛼 C
| | + | 𝛼 | ‖ xn - x ‖ < C + |𝛼| = 𝜀
2C 2|𝛼|

lo que implica
𝛼n xn = 𝛼x
→∞
lim
n
Por lo tanto el producto por escalares es una función continua. ∎
Problema 4
R
En n la norma suma ‖ ‖ y la norma euclidiana ‖ ‖ , verifica
1 2

≤ ‖x‖ ≤ ‖x‖
1
‖x‖ 1 2 1
.

n
Sea x ∈ Rn → x = ( 𝜉 ,𝜉
1 2
,..., 𝜉n ) entonces:

‖x‖ 1 = | 𝜉 1
| + ⋯ 𝜉n+ | |

‖x‖ 2 = |𝜉 1
|
2
+ ⋯ 𝜉n + | |
2

∑n
∑ n
2

‖x‖ 12
= | 𝜉i | = | 𝜉 1
|
2
+ ⋯ + | 𝜉n | 2
+ | 𝜉i | | 𝜉j |
i=1 i≠j

donde ∑n

i≠j
| 𝜉i | | 𝜉j | ≥ 0, luego:

∑
i≠j
n
| 𝜉i | | 𝜉j | ≥ 0

‖x‖ 1 2
- |𝜉 1
|
2
+ ⋯ + | 𝜉n | 2
≥ 0
 ‖ x ‖ 12 ≥ | 𝜉 1
|
2
+ ⋯ + | 𝜉n | 2

‖x‖ 1 ≥ | 𝜉 1
|
2
+ ⋯ + | 𝜉n | 2
= ‖x‖ 2

⇓
‖x‖ 2 ≤ ‖x‖ 1

Por otro lado, empleando la siguiente inecuación

∑ ∑ ∑
1
p 1
q
n n n
| 𝜉i | | 𝜂i | ≤ | 𝜉i | p | 𝜂i | p
i=1 i=1 i=1
demostrada en el problema 2, para p = q = 2 y 𝜂i = 1 i ∀∈ { 1,..., n } se tiene:

∑ ∑ ∑
1 1

n n 2
n 2

| 𝜉i | | 1 | ≤ | 𝜉i | 2
|1|
2
⇒ ‖x‖ 1
≤ ‖x‖ 2
n ⇒ 1
‖x‖ 1 ≤ ‖x‖ 2

i=1 i=1 i=1 n

Por lo tanto
1
‖x‖ 1 ≤ ‖x‖ ≤ ‖x‖ 2 1
∎
n
Problema 5
Si el producto (composición) de dos operadores existe. Demostrar que es lineal.
Sea X, Y, Z espacio vectoriales y sean T : X Y y S : Y Z operadores lineales. → →
Sea a ∈R ∈
y u, v X ; entonces ST : X Z cumple, lo siguiente →
ST(u + v) = S(T(u + v)) = S(Tu + Tv) = STu + STv

ST(av) = S(T(av)) = S(aTv) = a(S(Tv)) = aSTv

Por lo tanto ST es también un operador lineal. ∎
Problema 6
Sean T : X
-
→
Y un operador lineal y dim X = dim Y=n< ∞. Demostrar que R T ( ) = Y
si y solo si T existe. 1

( ⇒ )

Si R(T) = Y entonces dim R(T) = dim Y = n , por el teorema de la dimensión

dim X = dim R(T) + dim N(T)

dim X = dim Y + dim N(T)

 n = n + dim N(T)
dim N(T) = 0

N(T) = { 0 }
Luego T : X → Y es inyectiva, además por hipótesis T es sobreyectiva por lo tanto T es
biyectica. Por lo tanto T - Y → X existe.
1

⇐-
:

Si T existe entonces dado cualquier v ∈ N T → Tv

( )

1
. ( ) = 0

T - (Tv) = T - 0 = 0
1 1

IX v = 0
v=0
donde I X : X → X es el operador identidad u X, IX u = u . ∀ ∈
Dado y ∈ Y, sea x =
1
∈
T - y X entonces

Tx = T T - y = IY y = y 1

Por lo tanto Y ⊆ R(T), es decir Y = R(T), esto implica que T es sobreyectiva. ∎

Problema 7
Sean X e Y son espacio normados. Mostrar que un operador lineal T : X → Y es acotado si
transforma conjuntos acotados de X en conjunto acotados de Y.

Por definición T : X → Y es un operador lineal acotado sii existe c ∈ R tal que

∀x ∈ X ‖Tx‖ ≤ c‖x‖ ,

Supongamos que si A ⊆ X es acotado, entonces T A ⊆ Y es también acotado.

∈R
( )

Es decir, existen 𝛿 , 𝛿 +
tales que
∀x ∈ A
1 2

, ‖x‖ ≤𝛿 , ‖ Tx ‖ ≤𝛿
∈ R fijo, la bola cerrada de centro y radio 𝜀, B 𝜀 x ∈ X d x ≤ 𝜀
1 2

Dado 𝜀 +
⊆ X,
es un conjunto acotado, luego existe un 𝛿 ∈ R tal que ‖ Tx ‖ ≤ 𝛿 , para todo x ∈ B
0 [0; ] = { : ( , 0) }

+
𝜀] .
Sea v ∈ X -
𝜀 𝜀 [0;

{0}entonces
𝜀
u= v (12)
‖v‖
 ‖u‖ =
⏰ 𝜀 v⏰
⏰ ‖v‖ ⏰ =
‖v‖
𝜀
‖v‖ = 𝜀 ⇒ u∈B [0; 𝜀]

Luego
⏰ ⏰
‖ Tu ‖ ≤ 𝛿𝜀
⇓
⏰ 𝜀 ⏰
⏰ ‖ v ‖ ⏰ ≤ 𝛿𝜀
T v
⏰ ⏰ ⇓
𝜀
‖ Tv ‖ ≤ 𝛿𝜀
‖v‖

𝛿𝜀
‖ Tv ‖ ≤ ‖v‖ (13)
𝜀

En resumen, ∀v ∈ X - {0} se cumple ‖ Tv ‖ ≤ c ‖ v ‖ , donde c =

𝛿𝜀
𝜀
. Notar que si v = 0 (4)

se sigue cumpliendo. Por lo tanto, ∀x ∈ X, ‖Tx‖ ≤ c‖x‖ donde c =

𝛿𝜀
𝜀
, en otras palabras

T:X → Y es un operador lineal acotado.

Reciprocamente, supongamos que T X → Y es un operador lineal acotado. Sea A ⊆ X un
conjunto acotado, luego existe un 𝛿 ∈ R tal que ∀x ∈ A ‖ x ‖ ≤ 𝛿, ya que T es acotado
:

+
,

entonces
∀x ∈ X ‖Tx‖ ≤ ‖T‖ ‖x‖ ,

‖ Tx ‖
donde ‖ T ‖ y0 ≤ ‖T‖ .
=
∈
sup
x X-{ 0 } ‖ x ‖

Si ‖ T ‖ = 0 entonces T = 0 : X →
Y, 0(x) = 0 , es decir T es el operador nulo la cual mapea
conjuntos acotados en conjuntos acotados.
Si ‖ T ‖ ≠ 0 entonces 0 < ‖ T ‖ , esto implica que
∀x ∈ A
≤ ‖T‖ ‖x‖ ≤ ‖T‖𝛿
, ‖ Tx ‖
Establezcamos 𝛿 ‖ T ‖ 𝛿 ∈ R , luego ∀x ∈ A ‖ Tx ‖ ≤ 𝛿 , esto implica que
' =
+
, '

TA
( Tx x ∈ A es un conjunto acotado en Y, ya que A ⊆ X es un subconjunto acotado
) = { : }

en X arbitrario se sigue que T mapea conjuntos acotados en X en conjuntos acotados en Y.

∎
Problema 8
Mostrar que el operador T : l ∞ → l ∞ definido por y = { 𝜂j } = Tx, donde 𝜂j =
𝜉j
donde
j
x = { 𝜉j }, es lineal y acotado.

Sean x, z ∈ l∞ , a b ∈ R entonces x
, = { 𝜉i } y z = { 𝜁i }

a 𝜉 i b𝜁 i + 𝜉i 𝜁i
T ax bz T a 𝜉i b 𝜁i T a 𝜉 i b𝜁 i a b aT x bT z
i i i
( + ) = ( { }+ { }) = ({ + }) = = + = ( )+ ( )

T ax bz
( + ) = aT x bT z
( )+ ( )

Dado x = { 𝜉i } ∈ l∞ , para cualquier j ∈ N se cumple

1 ≤j
Luego
𝜉j | ≤ j 𝜉j
⇓
| | |

𝜉j
≤ 𝜉j |
j
|

pero ‖ x ‖ 𝜉i | , entonces
i∈N
= sup |

𝜉j
≤ 𝜉j | ≤ ‖x‖
j
|

j ∈ N ⊆ R es acotado, luego
𝜉j 𝜉j
Esto implica que el conjunto ‖ Tx ‖
j∈N
: sup =
j j
Por lo tanto
∀x ∈ l∞ , ‖ Tx ‖ ≤ ‖x‖
es decir T es un operador lineal acotado. ∎
Problema 9
Mostrar que el subespacio imagen R(T) de un operador lineal acotado, no necesariamente
es un conjunto cerrado de Y.

Sea (x n ) una sucesión en el espacio l , donde x n ∞ = 𝜉jn y

 j si j ≤ n
𝜉jn =
0 si j > n
Por otro lado, considerar el operador lineal acotado T : l ∞ → l∞ del anterior problema,
luego
Txn = yn = 𝜂jn
donde

𝜉jn 1
si j ≤ n
𝜂jn = =
j
j
0 si j > n
Luego (y n ) ∈RT
( ) ⊂ l ∞ . Afirmamos que la sucesión yn ( ) converge a y = ( 𝜂 j ), 𝜂 j =
1
.
j
En efecto

‖ yn - y ‖ = sup
∈N
j
𝜂jn - 𝜂j =
1
→ 0 cuando n →∞
n+1
∉ ∈
Sin embargo, y R(T). Ya que, si existe un x l ∞ tal que Tx = y, entonces x debería ser
la sucesión (𝜉 j ), con 𝜉 j = j , el cual claramente no esta en el espacio l ∞ . Por lo tanto
R(T) no es cerrado en l ∞ . ∎
Problema 10
Sea T un operador lineal acotado de un espacio normado X sobre un espacio normado Y. Si
existe una constante positiva b tal que
‖ Tx ‖ ≥ b‖x‖ ∀x ∈ X
Muestre que T - 1
→ X existe y es acotado.
: Y

El operador lineal Y X → Y es sobreyectivo por hipótesis, para demostrar que T -

:
1
existe
solo hay que probar que T es inyectivo.

Sea z ∈NT ( ) = { ∈
v X : Tv = 0 } → Tz = 0 , pero por hipótesis se tiene
‖ Tz ‖ ≥ b‖z‖
⇓
b‖z‖ ≤
⇓
0

≤ ‖z‖ ≤
⇓
0 0
 ‖z‖ = 0

N
Luego z = 0, es decir (T) = { 0 }, luego T es inyectiva. Por lo tanto T es biyectiva y existe
un T - : Y
-
1
X. →
tal que T y = x, donde Tx = y.
1

‖ Tx ‖ ≥ b‖x‖ ⇔ ‖y‖ ≥ b⏰ T- y⏰ 1

Entonces
⏰ ⏰

⏰ T- y⏰ 1
≤ b ‖y‖
1
, ∀y ∈ Y
⏰ ⏰
Por lo tanto T - es también acotada.
1
∎
Problema 11

Sea T : C[0, 1] →C [0, 1] definida por y(t) = ∫ s 𝜏 d𝜏1

( ) . Encontrar R(T) y

→C
0

T - : R(T)
1
[0, 1] . Será que T - es lineal y acotada.?
1

El teorema fundamental del cálculo produce

R(T) = y C[0, 1] | y C∈ ∈ 1
[0, 1], y(0) = 0
Después, afirmamos que T es inyectiva, en efecto, suponer que x 1
, x 2
∈C [0, 1] tales que
Tx = Tx , luego
1 2

⇒ ∫ x s ds ∫ x ⇒∫x
t t t
Tx 1
= Tx 2 1
( ) = 2
s ds
( ) ( 1
s - x (s))ds = 0
( ) 2

∀s ∈ t .
0 0 0

Entonces x(s) = y(s), [0, ]

dy
El operador lineal T - esta definido por T -
1
= y' , es decir, T
- 1
y= 1
es operador
dt
derivada. Sin embargo T - no es acotado. Sea y n (t) = t n , donde n
1
∈ N. Además ‖yn ‖ = 1

y
⏰ T - yn ⏰
⇒
1

⏰ T - yn ⏰
1
= ⏰ nt n- ⏰ 1
= n ⏰ ⏰ = n
⏰ ⏰ ⏰ ⏰ ‖ yn ‖

Ya que n ∈ N es arbitrario, esto muestra que no hay un número fijo c ∈ R +

tal que
⏰ T - yn ⏰
⏰ ≤ c, por lo tanto T - es no acotado. ∎
1

⏰ 1

‖ yn ‖

Problema 12
En C[0, 1] , se definen respectivamente S y T por

ys
( ) = s∫ x t dt
0
1

( ) , ys( ) = sx s ( )

S y T conmutan? Hallar ‖ S ‖ ‖ T ‖ ‖ ST ‖ ‖ TS ‖ . , , ,

S C →C
x ↦ Sx y
: [0, 1] [0, 1]

↦ R tal que y s s∫ x t dt.

1

donde y : [0, 1] ( ) = ( )

→C
0

T C
x ↦ Tx
: [0, 1] [0, 1]

= y
donde y : [0, 1] → R tal que y s sx s . ( ) = ( )

Sea x ∈C [0, 1] , entonces:

( STx s )( ) = s∫ tx t dt
0
1

( )

s ∫ x t dt
1

( TSx s )( ) =
2
( )
0

Si x(t) = t luego
( STx s )( ) = s∫ t dt 0
1

2
=
s
3

s ∫ tdt
1
s 2

( TSx s )( ) =
2
=
0 2

luego
STx ≠ TSx
Por lo tanto S y T no conmutan.
Considerar en C[0, 1] , la siguiente norma ‖ ‖ : C[0, 1] ⋅ → R , ‖x‖ = max |
t∈
[0,1]
xt ( )| .

‖ Sx ‖ = max
s∈
∫ x t dt
s
1

( ) = max | |
t∈
s ∫ x t dt ≤ ∫ x t dt ≤ ∫
1

( )
1

( )
1

| x t dt ≤
( )| ∫ t∈ 1

max | x t dt
( )| = x
‖ ‖

⇓
0 0 0 0 0
[0,1] [0,1] [0,1]

‖ Sx ‖ ≤ ‖ x ‖
Para cualquier x ∈C [0, 1] no nula se cumple
 ‖ Sx ‖
≤ 1
‖x‖
‖ Sx ‖
pero por definición ‖ S ‖ , luego
=
∈ sup
x C[0,1]-{ 0 } ‖ x ‖

‖S‖ ≤ 1

Por otro lado si x(t) = 1 , entonces

‖ Sx ‖ = max
s ∈[0,1]
s ∫ dt0
1

= 1 ∧ ‖x‖ = 1

Entonces
‖ Sx ‖
‖x‖
= 1 ≤ ‖S‖
Por lo tanto:
‖S‖ = 1

Sea x ∈C [0, 1] , se tiene

‖ Tx ‖ = max | sx(s) | = max | s | | x(s) | ≤ max | x(s)| = ‖ x ‖
∈ ∈ ∈
⇓
s [0,1] s [0,1] s [0,1]

‖ Tx ‖ ≤ ‖x‖
Si x ≠ 0 entonces
‖ Tx ‖
‖x‖
≤ 1 ⇒ ‖T‖ ≤ 1

Para z ∈C [0, 1] , z(t) = 1 se tiene

‖z‖ = max | 1 | = 1, ‖ Tz ‖ = max | | = 1 s
∈ ∈
⇓
t [0,1] s [0,1]

‖ Tz ‖
‖z‖
= 1 ≤ ‖T‖
Por lo tanto ‖ T ‖ = 1.

‖ STx ‖ = max
∈
s
s∫ tx t dt
1

( ) = max | |
∈
s
s ∫ tx t dt ≤ ∫ tx t dt ≤ ∫
1

( )
1

( )
1

| tx(t)| dt ≤ ∫ t x dt
1

‖ ‖ =
‖x‖

⇓
[0,1]
0
[0,1]
0 0 0 0 2
 ‖ STx ‖ ≤ 1
x
‖ ‖
2

⇓
‖ ST ‖ ≤ 1

Pero si z(t) = 2, ∀t ∈ [0, 1] entonces

z
‖ ‖ = 2, ‖ STz ‖ = max
s∈ [0,1]
∫
s
0
1

2tdt = max | | = 1
s∈
[0,1]
s

‖ STz ‖
‖z‖
=
1

2
≤ ‖ ST ‖
Por lo tanto

ST ‖
1
‖ =
2

‖ TSx ‖ = max
s∈
[0,1]
s 2
∫ x t dt
0
1

( ) = max
s∈ [0,1]
s 2
∫ x t dt ≤ ∫ x t dt ≤ ∫
0
1

( )
0
1

( )
0
1

| x t dt ≤
( )| ∫
0
1

x dt
‖ ‖ = x
‖ ‖

⇓
‖ TSx ‖ ≤ ‖ x ‖
⇓
‖ TS ‖ ≤ 1

pero si z(t) = 1

z
‖ ‖ = 1, ‖ TSz ‖ = max s 2
= 1
s∈ [0,1]

⇓
‖ TSz ‖
‖z‖
= 1 ≤ ‖ TS ‖
Por lo tanto ‖ TS ‖ = 1 .∎

FUNCIONALES LINEALES
Problema 1
Muestre que las funcionales definidas sobre C[a, b] por
 f (x) =
1
∫xty a
b
( ) 0
t dt, y
( ) 0
fijo.

f (x) = 𝛼x(a) + 𝛽x(b) , 𝛼, 𝛽 fijos.

2

Son lineales y acotadas.

Sean x 1
, x ∈ C[a, b] c , c ∈ R entonces
2 1 2

f (c x
1 1 1
+ cx 2
) = ∫ cx
a
b
( 1 1
t
( )+ cx (t))y (t)dt = c
2 0 1
∫x
a
b
1
t y (t)dt + c
( ) 0 2
∫x a
b
2
t y (t)dt = c f (x
( ) 0 1 1 1
)+ c f(x (14)
2 2
)

f (c x
2 1 1 + cx
2 2) = 𝛼((c x 1 1 + c x )(a)) + 𝛽((c x
2 2 1 1 + c x )(b)) = 𝛼(c x (a) + c x (a)) + 𝛽(c x (b) + c x (b))
2 2 1 1 2 2 1 1 2 2

f (c x
2 1 1
+ cx 2 2
) = 𝛼c x (a) + 𝛼c x (a) + 𝛽c x (b) + 𝛽c x (b)
1 1 2 2 1 1 2 2

f (c x
2 1 1
+ cx 2 2
) = ( 𝛼c x (a) + 𝛽c x (b)) + (𝛼c x (a) + 𝛽c x (b))
1 1 1 1 2 2 2 2

f (c x 2 1 1 + cx
2 2) = c (𝛼x (a) + 𝛽x (b)) + c (𝛼x (a) + 𝛽x (b))
1 1 1 2 2 2

f (c x
2 1 1 + cx 2 2) = c f(x
1 1) + c f(x
2 2) (15)

Por (1) y (2), f y f son lineales. 1 2

| f (x) | =
1
∫xty
a
b
( ) 0
( )t dt ≤ ∫a
b
| x(t)y (t) | dt = 0
∫ a
b
| x(t) | | y (t) | dt ≤ 0
∫ a
b
| x(t) | max
𝜏∈[a,b]
y (𝜏) dt
0

| f (x) | ≤
1
∫ a
b
| x(t) | ‖ y ‖ dt = ‖ y 0 0
‖ ∫ a
b
| x(t) | dt ≤ ‖ y 0
‖ ‖ x ‖ (b - a)

| f (x) | ≤ ( ‖ y
1 0
‖ (b - a)) ‖ x ‖ (16)

| f (x) | = | 𝛼x(a) + 𝛽x(b) |

2

pero x(a) | ≤ ‖ x ‖ , | x(b) | ≤ ‖ x ‖ , luego

|

| f (x) | = | 𝛼x(a) + 𝛽x(b) | ≤ | 𝛼x(a) | + | 𝛽x(b) | = | 𝛼 | | x(a) | + | 𝛽 | | x(b) | ≤ | 𝛼 | ‖ x ‖ + | 𝛽 | ‖ x ‖

2

f (x) | ≤ ( | 𝛼 | + | 𝛽 | ) ‖ x ‖ | 2
(17)
Por (3) y (4) f y f son acotadas ∎ 1 2

Problema 2
Si f es una función lineal acotada sobre un espacio normado complejo, la conjugación f⏨
será lineal? será acotada?
 f X→C
↦ f x Re f x
:

x ( ) = ( ( )) + iIm(f(x))
f es lineal y acotada.
Definimos

f⏨: X →C
x ↦ ⏨⏨
fx ( ) = Re(f(x)) - iIm(f(x))
Sea x 1
, x 2
∈ X, c c ∈ C entonces
1
, 2

⏨
f (c x
1 1 + cx 2 2) = ⏨⏨⏨⏨⏨⏨
f(c x + c x ) = ⏨⏨⏨⏨⏨⏨⏨⏨
1 c f (x ) + c f(x ) = ⏨
1 2 2 c ⏨⏨⏨
f(x ) + ⏨
1c ⏨⏨⏨
f(x ) = ⏨
1 c ⏨
f (x
1 2 2 1 1 2 2 1 1) + ⏨
c ⏨
2 f (x 2)

⏨
f (c x 1 1
+ cx
2 2
) = ⏨
c ⏨
f (x
1 1
)+ ⏨
c ⏨
f (x
2 2
)

Por lo tanto ⏨
f no es lineal. ∎
Problema 3
Sea f ≠ 0 cualquier funcional lineal sobre X y x es cualquier punto fijo de X - N(f) , donde
∈
0

N(f) es el espacio nulo de f . Demuestre que cualquier x X tiene única representación

x = 𝛼x + y , donde y N(f).
0
∈
f:X → R, f ≠ 0 , entonces existe un z ∈ X tal que f z ( ) ≠ 0 , es decir X - N(f) ≠ ∅.
Tomemos un x 0
fijo en X - N(f) .

Notar que f(x 0

) ≠ 0 luego 𝛽 =
f(x
1

0
)
∈R

Dado x ∈ X, definimos 𝛼 =
f(x)
f(x ) 0
∈ R, y = x-
f(x)
f(x )
x
0
0
, luego

f(x) f(x)
𝛼x + y= x + x- x = x
f(x ) f(x )
0 0 0

0 0

Además

f(x) f(x) f(x) f(x)

f(𝛼x + y) = f x + x- x = f(x )+ f(x) - f(x ) = f(x)
0
f(x ) 0
0
f(x ) 0
0
f(x )0
0
f(x )
0
0

Pero
 f(x) f(x)
f(y) = f x - x = f(x) - f(x ) = 0
f(x ) 0
f(x ) 0

⇓
0 0

y N(f) ∈
Por lo tanto para cualquier x ∈ X, existe un 𝛼 ∈ R y un y ∈ N f , tal que ( )

x = 𝛼x 0
+ y

Supongamos que existen otros 𝛼' ∈ R y y ∈ N f tales que ' ( )

x = 𝛼'x 0
+ y'
Sin embargo

f(x) = f(𝛼x y) = 𝛼f(x ∧ f(x) = 𝛼'f(x

⇓
0
+ 0
) 0
)

𝛼f(x 𝛼'f(x f(x ) ≠ 0

⇓
0
) = 0
), 0

𝛼 = 𝛼'
Por otro lado
x = 𝛼x y = 𝛼'x y'
⇓
0
+ 0
+

𝛼x y 𝛼x y'
⇓
0
+ = 0
+

y = y' ∎
Problema 4
Sea T :R 3
→R definida por (𝜉
3
1
, 𝜉 ,𝜉2 3
) ↦ ( 𝜉 ,𝜉 , -𝜉 -𝜉
1 2 1 2
) . Encontrar R(T), N(T) y la
matriz que representa T.

Una base de R 3
es e 1
= (1, 0, 0), e 2
= (0, 1, 0), e 3
= (0, 0, 1) , luego

Te = T(1, 0, 0) = (1, 0, -1)

1

Te = T(0, 1, 0) = (0, 1, -1)

2

Te = T(0, 0, 1) = (0, 0, 0)
3

La matriz [T] que representa a T con respecto a la base e e e { 1

, 2
, 3
} es [T] = (aij ), donde
Tej = ∑
3

i=1
aij ei

∎
1 0 0

[ T] = 0 1 0

-1 -1 0

Problema 5
Encuentre la base dual de la base { (1, 0, 0), (0, 1, 0), (0, 0, 1) } para R. 3

Sean f 1
, f ,f
2 3
los siguientes funcionales lineales definidos en R 3

f i (e j ) = 1 si i = j
0 si i ≠ j
Dado
x = (𝜉 , 𝜉 , 𝜉
1 2 3
) ∈ R →x 3
= 𝜉 1
(1, 0, 0) + 𝜉 2
(0, 1, 0) + 𝜉 3
(0, 0, 1) = 𝜉 e 1 1
+ 𝜉 e
2 2
+ 𝜉 e .
3 3

f (x) = f (𝜉 e
1 1 1 1
+𝜉 e 2 2
+𝜉 e 3 3
) = 𝜉 f(e 1 1
)+ 𝜉 f(e 2 2
)+ 𝜉 f(e 3 3
) = 𝜉 1

f (x) = f (𝜉 e
2 1 1 1
+𝜉 e 2 2
+𝜉 e 3 3
) = 𝜉 f(e 1 1
) + 𝜉 f(e 2 2
) + 𝜉 f(e 3 3
) = 𝜉 2

f (x) = f (𝜉 e
3 1 1 1
+𝜉 e 2 2
+𝜉 e 3 3
) = 𝜉 f(e 1 1
) + 𝜉 f(e 2 2
) + 𝜉 f(e 3 3
) = 𝜉 3

Es decir
f (𝜉 , 𝜉 , 𝜉
1 1 2 3
) = 𝜉 1

f (𝜉 , 𝜉 , 𝜉
2 1 2 3
) = 𝜉 2

f (𝜉 , 𝜉 , 𝜉
3 1 2 3
) = 𝜉 3

Afirmamos que f , f ,f son una base para el espacio dual R 3

' .
∈
1 2 3

Sea f R 3
' entonces f(x) = f(𝜉 e 1 1
+ 𝜉 e
2 2
+ 𝜉 e
3 3
) = 𝜉 f(e1 1
)+ 𝜉 f(e
2 2
)+ 𝜉 f(e ) .
3 3

Luego
f(x) = f(e )f (x) + f(e )f (x) + f(e )f (x)
⇓
1 1 2 2 3 3

f(x) = (f(e )f fe f f(e )f )(x)

⇓
1 1
+ ( 2
) 2
+ 3 3

f = f(e )f + f(e )f + f(e )f

∈ span f ⇒
1 1 2 2 3 3

Es decir f ( 1
, f ,f2 3
) R ⊆ span f
3
' ( 1
, f ,f2 3
) , ya que la inclusión
span(f , f , f ) ⊆
1 2 3
R 3
' es trivial, se tiene

R 3
' = span(f , f , f )

∈ R entonces
1 2 3

Además, sean c , c ,c
→R
1 2 3

cf
1 1
+ cf 2 2
+ cf 3 3
= 0: R 3
 x ↦ 0

Entonces
( cf
1 1
+ cf 2 2
+ c f )(ei ) = 0(ei )
3 3

c f (e i ) + c f (e i ) + c f (e i ) = 0
1 1 2 2 3 3

ci = 0 , i ∈ { 1, 2, 3 }

Por lo tanto f f ,f son linealmente independientes, luego f f ,f es una base para

R ∎
1
, 2 3 1
, 2 3

3
'

Problema 6
Si x ≠ y en un espacio de dimensión finita X, muestre que existe una funcional lineal f
sobre X tal que f(x) ≠ f(y).
Sea { e , e ,..., e n } una base de X. luego
…
1 2

x=𝜉 e + ⋯ + 𝜉n en , y = 𝜂 e 𝜂n en + +

≠ y, necesariamente existe un j ∈ N
1 1 1 1

Ya que x con 1 ≤ j ≤ n tal que 𝜉 j ≠ 𝜂j .

Proposición: Sea v , v ,..., v n una base de V y w wn ∈ R, entonces existe una única
→
1 2 1
,...,

transformación lineal T : V W tal que

Tvk = wk
Para cada k = 1,..., n ,
Por la proposición anterior existe un único funcional lineal f : X → R tal que
f(e 1
) = 0,..., f(ej ) = 1,..., f(en ) = 0
Luego
f(x) = f(𝜉 e 1 1
+ ⋯ + 𝜉j ej + ⋯ + 𝜉n en ) = 𝜉j

f(y) = f(𝜂 e 1 1
+ … + 𝜂j ej + … + 𝜂n en ) = 𝜂j
Entonces

f(x) ≠ f(y) ∎
Problema 7
Sea Z un subespacio propio de un espacio n-dimensional X, y sea f una funcional lineal
definida sobre Z. Muestre que f puede ser extendida a una funcional lineal f sobre X tal
que f| Z = f.
Sea { v , v ,..., v m } una base del subespacio Z, luego esta base se puede extender a una
∈
1 2

base de X, es decir existen u , u ,..., u n-m- , u n-m X tales que

1 2 1

{ v 1
,..., vm , u 1
,..., un-m }
es una base de X.
Por la proposición que se uso en el ejercicio anterior, existe una única funcional lineal
f:X → R tal que
f(v
f(v ),..., f(vm ) = f(vm ), f(u ) = 0,..., f(un-m ) = 0
) =

∈ ∈
1 1 1

Sea x Z entonces z = 𝜉 v +…+ 𝜉 m v m donde 𝜉 ,..., 𝜉 m R , luego

1 1 1

f(z) = f(𝜉 v 1 1
+…+ 𝜉 m v m ) = 𝜉 f( v
1 1
)+ …+ 𝜉 m f(v m ) = 𝜉 f(v
1 1
)+ …+ 𝜉 m f(v m ) = f(z)
∀∈
Es decir z Z, f(z) = f(z). Por lo tanto f| Z = f. ∎
Problema 8
R
Sea n dotada con la norma máxima. Cuál es la norma del espacio dual Rn ' ? Muestre
su afirmación.
Los funcionales lineales f 1
, f 2
,..., fn ∈ Rn ' definidos por

si i = j
f i (e j ) = 1

0 si i ≠ 0

forman una base para Rn ', donde los e , e ,..., e n Rn 1 2

∈ son la base canónica de Rn.
Dado f ∈ Rn ' ,yx = ( 𝜉 1
,..., 𝜉n ) ∈ Rn entonces
f(x) = f(𝜉 𝜉n ) = f(𝜉 e …+ 𝜉 n e n ) 𝜉 f(e ⋯ 𝜉n f en
⇓
1
,..., 1 1
+ = 1 1
)+ + ( )

f = f(e )f 1 1
+ …+ f(e n )f n
Definimos la siguiente función

‖⋅‖: Rn →R
f ↦ ‖f‖
'

= max | f(ei ) |
i
Afirmamos que ‖ ⋅ ‖ es una norma en Rn ' .

N1) Claramente ‖ f ‖ = max | f(ei ) | ≥ 0, f ∀ ∈ Rn ' .

→ ‖f‖
i
N2) Si f = 0 entonces f(e 1
) = … = f(en ) = 0 = 0 . Recíprocamente, si ‖ f ‖ = 0 ,
luego
 f ei ≤ , ∀i ∈ n , esto implica que f e f e ⋯ f en Dado cualquier
x ∈ R , x 𝜉 𝜉n 𝜉 e … 𝜉n en , se tiene
| ( )| 0 { 1,..., } ( 1
) = ( 2
) = = ( ) = 0.

n = ( ,..., ) = + +
1 1 1

f x f 𝜉 e … 𝜉n en 𝜉 f e
( ) = ( ⋯ 𝜉n f en 𝜉
1 1
⋯ 𝜉n
+ + ) = 1
( 1
)+ + ( ) = 1
(0) + + (0) = 0

Por lo tanto f . = 0

N3) Sean f ∈ Rn ' , y sea 𝛼 ∈ R , entonces

‖𝛼 ‖ f = max | 𝛼f(ek ) | = max | 𝛼 | | f(ek ) | = | 𝛼 | max | f(ek ) | = | 𝛼 | ‖ f ‖
k k k
N4) Sean f, g ∈R n ' , entonces

‖ ‖ f = max | f ek
( )|, ‖ ‖g = max | g ek
( )|, ‖ f g‖ + = max | ( f g ek
+ )( )|
k k k

f g ek f ek g ek ≤ f ek g ek ≤ ‖ f ‖ g
‖ ‖
⇓
|( + )( )| = | ( )+ ( )| | ( )| + | ( )| +

∀k ∈ n f g ek ≤ ‖ f ‖ ‖ ‖ g
⇓
{ 1,..., }, |( + )( )| +

‖ f g‖ ≤ ‖f‖
+ + ‖ ‖ g
Por lo tanto ‖ f ‖ = max |
k
f ek( )| , es una norma en R n ∎. '

Problema 10
Si X es un espacio de dimensión infinita, muestre que el espacio dual X' no es idéntico al
dual algebráico X . *

X ' = f X → R f es lineal y acotada

: | , X *
= f X → R f es lineal
: |

Claramente X' ⊆X *
. Por ejemplo, X = C 1
[0, 1] , ∀x ∈ C 1
[0, 1], ‖ ‖ x = max |
t∈ [0,1]
xt( )| .

C 1
[0, 1] es de dimensión infinita. Definamos el siguiente funcional:
f C →R
x↦fx
1
: [0, 1]

( ) = x'(1)

Sean x x ∈C 1
, y c c ∈ R , luego:
2
1
[0, 1] 1
, 2

fc x c x ( cx cx
1 1
+ cx 2
cx
2
) = ( c fx c fx
1 1
+ 2 2
)'(1) = 1 1
'(1) + 2 2
'(1) = 1
( 1
)+ 2
( 2
)

Entonces f es lineal. Afirmamos que f no es acotado, en efecto, sean x n t t n donde

n ∈ N, además ‖ xn ‖
( ) =

y = 1

f xn n → f xn n ( ) = | ( )| =
 f(xn ) |
Ya que
|

‖ xn ‖
= ∈
n y n N, esto demuestra que no existe un número c fijo tal que
|f(xn ) |
≤ c. Por lo tanto f no es un funcional lineal acotado. Por lo tanto, en general, para
‖ xn ‖
espacios normados de dimensión infinita se tiene X ⊈ X'. *
∎

ESPACIOS DE HILBERT
Problema 1
Sea X un espacio vectorial real con producto interior. Demuestre que
‖x + y‖ 2 = ‖x‖ 2 + ‖y‖ 2 ⇒ x, y = 0

Si el campo de escalares es complejo, lo anterior no necesariamente es cierto. Muestre un

ejemplo.
‖x + y‖ 2 = x + y, x + y = x, x + y + y, x + y
Pero X es un espacio vectorial real
‖x + y‖ 2 = x, x
x, y + y, x + y, y = ‖ x ‖ + 2 x, y
+
2
+ ‖y‖ 2
‖ x + y ‖ - ‖ x ‖ - ‖ y ‖ = 2 x, y
2 2 2

Pero ‖ x + y ‖ - ‖ x ‖ - ‖ y ‖ = 0
2 2
2 x, y
2
= 0 → x, y = 0 . →
C
Sea X = espacio vectorial con la suma usual de número complejos y la multiplicación
usual de un número complejo por un escalar complejo, en X se tiene el siguiente producto
interno
C C→C
↦
, : ×

( x, y) x, y = x⏨
y

sean x = 1 yy = i entonces
‖x + y‖ 2 = ‖x‖ 2 + ‖y‖ 2 = 2

pero x, y = i.
Problema 3
En un espacio con producto interno x, u = x, v para todo x, muestre que u = v.
x, u - x, v = 0
∀∈x X, x, u - v = 0
Si x = u - v entonces
 u - v, u - v = 0

‖u - v‖ 2 = 0

‖u - v‖ = 0

u-v = 0
u=v
Problema 4
Sea { x n } una sucesión en un espacio con producto interior, demuestre que
‖ xn ‖ → ‖x‖ ∧ xn , x → x, x ⇒ →
xn x
‖ xn - x ‖ 2 = xn - x, xn - x = xn , xn - x - x, xn - x
xn , xn - xn , x - x, xn x, x
⇓
= +

‖ xn - x ‖ 2 = ‖ xn ‖ 2 - xn , x - x, xn + ‖x‖ 2

Afirmamos que ‖ x n ‖ ‖ x ‖ y x, x n
2
→ x, x , en efecto:
2
→
Sean f : R→R
, f(x) = x y g : , g(z) = ⏨ C→C
z , notar que ( ‖ xn ‖ ) es una sucesión
2

R
convergente en , ( x n , x ) es una sucesión en . Notar que las funciones f y g son C
continuas, luego las sucesiones (f( ‖ x n ‖ )) = ‖ x n ‖ 2 y (g( xn , x )) = ⏨⏨⏨
xn , x son

convergentes y además ‖ x n ‖ 2
→ f ‖x‖
( ) = ‖x‖ 2 y
⏨⏨⏨
xn , x = x, xn →g ( x, x ) = ⏨⏨⏨
x, x = x, x .
Luego:
‖ xn - x ‖ 2 ‖ xn ‖ 2 - xn , x - x, xn ‖x‖ 2
→∞ →∞
lim = lim +
n n

‖ xn - x ‖ 2 ‖ xn ‖ 2 - xn , x - x, xn ‖x‖ 2 ‖x‖ 2 - x, x - x, x ‖x‖ 2

→∞ →∞ →∞ →∞ →∞
lim = lim lim lim + lim = + = 0

⇓
n n n n n

‖ xn - x ‖
2

→∞
lim = 0
n

ya que h : R +
0
→R ,h x ( ) = x es continua, se tiene:
h ‖ xn - x ‖ 2
‖ xn - x ‖ h(0) = 0
→∞ →∞
lim = lim =

⇓
n n

xn → x

Problema 5
Muestre que un espacio con producto interno x ⟂ y si y solo si ‖ x + 𝛼y ‖ = ‖ x - 𝛼y ‖ para
todo escalar 𝛼.

Primero
‖ x + 𝛼y ‖ 2 = x + 𝛼y, x + 𝛼y = x, x + 𝛼y + 𝛼 y, x + 𝛼y

‖ x + 𝛼y ‖ 2 = x, x + ⏨ x, y
𝛼 + 𝛼 y, x + ⏨ y, y
𝛼𝛼 (18)

‖ x - 𝛼y ‖ 2 = x - 𝛼y, x - 𝛼y = x, x - 𝛼y - 𝛼 y, x - 𝛼y

‖ x - 𝛼y ‖ 2 = x, x - 𝛼⏨ x, y - 𝛼 y, x + 𝛼 𝛼⏨ y, y (19)

Si x ⟂ y entonces x y , = 0 → y, x = 0 , por (1) y (2).

‖ x + 𝛼y ‖ = x, x + 𝛼 𝛼
2
⏨ y, y
‖ x - 𝛼y ‖ 2 x, x ⏨ y, y
𝛼𝛼 (20)
⇓
= +

‖ x + 𝛼y ‖ ‖ x - 𝛼y ‖
⇓
2 2
=

‖ x + 𝛼y ‖ = ‖ x - 𝛼y ‖
Reciprocamente sii

‖ x + 𝛼y ‖ x, x 𝛼⏨ x, y 𝛼 y, x ⏨ y, y
𝛼𝛼 x, x - 𝛼⏨ x, y - 𝛼 y, x ⏨ y, y
𝛼𝛼 ‖ x - 𝛼y ‖
2 2

⇓
= + + + = + =

𝛼⏨ x, y 𝛼 y, x - 𝛼⏨ x y - 𝛼 y, x
⇓
+ = ,

2 𝛼⏨ x, y +2 𝛼 y, x = 0

∀𝛼 ∈ C , 𝛼⏨ x, y + 𝛼 y, x = 0

Si 𝛼 = 1 → x, y + y, x = 0 ; si 𝛼 = i → -i x y , + i y, x = 0 ; luego

x, y + y, x = 0

- x, y y, x
⇓
+ = 0

xy
⇓
2 , = 0

xy
⇓
, = 0

x⟂y
Problema 6 (Operador cero)
Sea T : X →
X un operador lineal acotado sobre un espacio complejo con producto interno
X. Si Tx, x = 0 para todo x ∈ X, muestre que T = 0 . Muestre además que si el campo
de escalares es real, el resultado no necesariamente es cierto.

Sean x, y ∈ X y 𝛼 ∈ C, entonces
T(𝛼x + y), 𝛼x + y = 0

𝛼Tx + Ty, 𝛼x + y = 0

𝛼 Tx, 𝛼x + y + Ty, 𝛼x + y = 0
𝛼[ 𝛼⏨ Tx, x + Tx, y 𝛼 Ty, x + Ty, y
]+ ⏨ = 0

𝛼 | Tx, x + 𝛼 Tx, y + 𝛼
|
2
⏨ Ty, x + Ty, y = 0

Pero Tx, x = 0 y Ty, y = 0 , entonces

𝛼 Tx, y + 𝛼
⏨ Ty, x = 0
Si 𝛼 = 1 entonces:
Tx, y + Ty, x = 0

Si 𝛼 = i entonces:
i Tx, y - i Ty, x
⇓
= 0

Tx, y - Ty, x = 0

Tx, y = 0
2 ⇒ ∀x y ∈ X Tx y , , , = 0

Dado x ∈ X→ y = Tx X ∈ →
Tx, Tx → ‖Tx‖ → Tx → T
= 0 = 0 = 0 = 0. ∎
Problema 7

Muestre que el subconjunto M = y = (𝜂 1

,..., ∈
𝜂n ) C n: ∑n

j=1
𝜂j = 1 es completo y

convexo. Además, encuentre el vector de mínima norma en M.

Ya que H = C n es un espacio de Hilbert con el siguiente producto interno:

x = (𝜉 1
,..., 𝜉 n ), z = (𝜁 1
,..., ∈
𝜁n ) C n, x, y = ∑
n

i=1
𝜉i ⏨
𝜁i

C
Claramente M ⊆ H = , para demostrar que M es completo basta probar que es cerrado,
por que H es completo.
Afirmamos que la función f es lineal, donde f : Cn →C ,
f(x) = f(𝜉 1
,..., 𝜉n ) = 𝜉 1
+ ⋯ 𝜉n +

Sean x = ( 𝜉 ,..., 𝜉 n ), z = (𝜁 ,..., ∈

𝜁n ) C n y 𝛼 C ∈
∑ ∑ ∑
1 1

n n n
f(𝛼x + z) = f(𝛼𝜉 1
+ 𝜁 1
,..., 𝛼𝜉n + 𝜁n ) = 𝛼𝜉i + 𝜁i = 𝛼 𝜉i + 𝜁i = 𝛼f(x) + f(z)
i=1 i=1 i=1

Luego la función f es continua luego f - 1

({ 1 }) = M es cerrado, por lo tanto M es completo.

Dados y, y' ∈ M, y = ( 𝜂 1
,..., 𝜂 n ) , y' = ( 𝜂 1
',..., 𝜂n ') , 𝜂 1
+ ⋯ 𝜂n + = 1 ,
𝜂 ⋯ 𝜂n .
∈
1
'+ + ' = 1

Sea t [0, 1] , luego

ty' + (1 - t)y = t(𝜂 1

',..., 𝜂n ') + (1 - t)(𝜂 1
,..., 𝜂n ) = (t𝜂 1
' + (1 - t)𝜂 1
,..., t𝜂n ' + (1 + t)𝜂n )

∑
i=1
n
t𝜂i ' + (1 - t)𝜂i = t ∑
n

i=1
𝜂i ' + (1 - t) ∑
i=1
n
𝜂i = t + (1 - t) = 1

Por lo tanto:
∀t ∈
ty' + (1 - t)y M [0, 1], ∈
Ya que y, y' ∈ M son arbitrarios, entonces M es convexo. ∎
Problema 9
Muestre que un subespacio Y de un espacio vectorial de Hilbert H es cerrado en H si y solo
si Y = Y ⟂⟂ .

Supongamos que Y es cerrado, entonces

H = Y ⊕ Z, Z = Y⟂

sea x ∈ Y⟂⟂ , entonces x y⟂⟂ z donde y ∈ Y ⊂ Y⟂⟂⟂ y z ∈ Z. Ya⟂que Y⟂⟂ es un espacio

vectorial, luego z x - y ∈ Y , por lo tanto z ⟂ Y . Pero z ∈ Y , después z ⟂ z , por lo
= +

→ x y → x ∈ Y. Entonces Y⟂⟂ ⊂ Y.
=

tanto z = 0 =

Por lo tanto
Y = Y ⟂⟂
Reciprocamente, si Y = Y ⟂⟂ . Sea x ⏨ ∈
Y , luego existe una sucesión (xn ) en Y tal que
→ ⟂ ∈
xn x, dado cualquier v Y , por la continuidad del producto interno
 xn v , → xv
,

pero xn ∈ Y ⟂⟂ Y, xn v ∀n ∈ N . Entonces x v
= , = 0, , = 0 → x ∈ Y⟂⟂ = Y . Por lo
tanto Y Y ⏨, es decir Y es cerrado. ∎
=

OPERADORES ADJUNTOS Y AUTO-ADJUNTOS

Problema 1
Demuestre que cualquier funcional lineal acotada f sobre el espacio l 2
puede ser
representado
en la forma

fx ( ) = ∑∞
j
⏨j ,
𝜉j 𝜂 x = { 𝜉j } ∈l 2

∈l
=1

donde z = { 𝜂j } 2
es únicamente determinado por f y ‖f‖ = ‖ ‖.z

Sea l 2
= ( 𝜉i ) : ∑∞
i =1
| 𝜉i | 2
< ∞ = H es un espacio vectorial con la suma usual de
sucesiones y el producto usual de un escalar por una sucesión, además
H H→K
∑
, : ×

∞
( xy , ) ↦ xy, = 𝜉i 𝜁⏨i (21)
i =1

donde x = ( 𝜉i ) y y = (𝜁i ), es un producto interior para el espacio vectorial l . Luego l es 2 2

un espacio de Hilbert es decir = l H

es un espacio métrico completo con la métrica
2

inducida por el producto interior descrito en (1).

Por el teorema de Riesz, cualquier funcional lineal acotada fl :
2
→ C puede ser
representada de la siguiente forma

fx ( ) = xz
, = ∑∞
i
𝜉i ⏨
𝜁i

∈ H es único y esta determinado por f y tiene norma ‖z‖ ∎

=1

donde = (𝜂 i ) z = f
‖ ‖.
Problema 2
Demuestre que el dual del espacio real l 2
es l 2
.

l 2
' = fl :
2
→R | f es lineal y acotada , l 2
= ( 𝜉 i )| ∑ ∞
i =1
| 𝜉i | 2
< ∞
l 2
es un espacio de Hilbert con el siguiente producto interior

x y∈l x
,
2
, = ( 𝜉 i ), y = ( 𝜂 i ), xy , = ∑
i
∞
𝜉i ⏨
𝜂i

f H→K z ∈ H tal
=1

Por teorema de Riesz (Dado un funcional lineal acotado : , existe un único

que ∀x ∈ H
, ( ) = , fx xz f
y ‖ ‖ = ‖ ‖ .) la siguiente función esta bien definida z
T l :
2
→l'
2

f ↦ Tf = z
donde ∀x ∈ l fx 2
, ( ) = xz , . Se afirma que T es un isomorfismo, en efecto
• Sea f g ∈ l,
2
' y𝛼 ∈ R, entonces:
T f 𝛼g w ( + ) =

donde ( f 𝛼g x x w → f x 𝛼g x x w , pero Tf u Tg v tal que

+ )( ) = , ( )+ ( ) = , = , =

fx ( ) = x u y g x x v , luego
, ( ) = ,

f x 𝛼g x x w
↓
( )+ ( ) = ,

xu 𝛼xv xw
↓
, + , = ,

x u 𝛼v xw
↓
, + = ,

u + 𝛼v = w
Es decir
Tf ( + 𝛼g) = w = u + 𝛼v = Tf + 𝛼Tg
Por lo tanto T es lineal,
• Sea f ∈ N T → Tf ( ) = 0 →f x ( ) = x ,0 = 0 , por lo tanto f = 0 . Luego
NT T es inyectiva.
, lo que implica que
• Dado un x ∈ l definimos f x H → K , f x u
( ) = {0}

ux .
2

Dados u u ∈ H , c ∈ R tal que fx u cu

, : ( ) = ,

1
, 2
u cu x u ( 1
+ 2
) = 1
+ 2
, = 1
, x cu x
+ 2
, = fx u
( 1
)+ cfx u
( 2
) .
Además por la desigualdad de Scharwz se tiene
fx u u x ≤ ‖u‖ ‖x‖ | ( )| = | , |

que f x es acotada, es decir f x ∈ l . Por lo tanto Tf x x, luego T es sobreyectiva. En2

' =

conclusión l y l son isomorfos, l ≅ l . ∎

2 2
'
2 2
'

Problema 3
Demuestre que el espacio dual H ' de un espacio de Hilbert H es un espacio de Hilbert con
el producto interno definido por
 fz fv , = ⏨⏨⏨
zv vz , = ,

donde fz x( ) = xz ,

H ' = f H → K f es lineal y acotada

: |

Sean f g∈ H;H
, ' ' es un espacio vectorial con las siguientes operaciones:
( f g x fx gx
+ )( )+ ( )+ ( ), ( 𝛼f)(x) = 𝛼f(x), 𝛼 ∈K
Primero probemos que
, : H H →K '× '

fz fv ↦ fz fv
( , ) , = ⏨⏨⏨
zv vz , = ,

es un producto interior en H. '

Sean , , f g h∈H' entonces fg h

, y son funcionales lineales y acotadas, por el teorema de
z v w∈H
Riesz se cumple que existen únicos , , tales que:
∀x ∈ H f x fz x x z g x fv x x v h x fw x
, ( ) = ( ) = , , ( ) = ( ) = , , ( ) = ( ) = xw ,

Sea la función T H → H , tal que Tf z f x

: 'x z , luego se cumple: = , ( ) = ,

Tf g( + ) = u f g x , ( + )( ) = xu
,

( f g x
+ )( ) = fx gx
( )+ ( ) = 𝜆 xz , +xv , = xz xv , + , = xz v, + = xTf Tg
, ( )+ ( )

Tf g ( + ) = Tf Tg
( )+ ( )

T 𝜆f ( ) = u ', ( 𝜆f)(x) = xu , '

𝜆f)(x) = 𝜆f(x) = 𝜆 xu x⏨
𝜆u
↓
( , = ,

T 𝜆f( ) = ⏨u
𝜆

f gh
+ , = fz fv fw+ , = wz v, + = wz , + wv , = fz fw, + fv fw, = fh
, + gh
,

hf g
, + = fw fz fv
, + = z vw+ , = zw
, + vw , = hf
, + hg ,

𝛼f, g = 𝛼fz , fv = v⏨
𝛼z , = 𝛼 vz , = 𝛼 fg ,

g 𝜆f, = fv 𝜆fz , = ⏨z, v

𝜆 = ⏨ z, v
𝜆 = ⏨ fv , fz
𝜆 = ⏨ g, f
𝜆
 f, f = fz , fz = z, z = ‖z‖ 2 ≥ 0

Si f = 0 ∈ H →T f
' ( ) = 0 ∈ H→ 0, 0 = 0 , reciprocamente, si f ∈H ' y f, f = 0

entonces

fz , fz = 0 z, z → = 0 → ‖z‖ = ‖f‖ = 0 →f = 0

Por lo tanto fz , fv = ⏨⏨⏨ z, v = v, z es un producto interior en H'.

∈
Sea (f n ) n N una sucesión una sucesión de cauchy en H', aplicando el teorema de Riesz,
se tiene f n = f zn , f n (x) = x, z n = f zn (x) , donde z n H, por hipotesis existe un N ∈ ∈N
tal que
si n, m ≥ N entonces ‖ fzn - fzm ‖ 𝜀 → ‖ zn - zm ‖ ≤ 𝜀 , luego zn es una sucesión de

→ ∞ zn z ∈ H, sea el funcional fz H → K , definido por

< ( )

Cauchy en H, por lo tanto lim = :

n
fz (x) = x, z ,
fz es lineal y además | fz (x) | = | x, z | ≤ ‖ z ‖ ‖ x ‖ es acotada, es decir fz ∈ H . '

Afirmamos que lim

n →∞
fn =
n →∞
lim f zn = fz , en efecto, dado 𝜀 ∈ R , existe un K ∈ N tal que
+

si n ≥ K entonces ‖ zn - z ‖ 𝜀 , pero <

‖ fn - f ‖ 2 ‖ f zn - fz ‖ 2
f zn - f z , f zn - f z zn - z, zn - z ‖ zn - z ‖ 2
⇓
= = = =

‖ fn - f ‖ < 𝜀
Por lo tanto (f n ) es convergente en H', ya que la sucesión de Cauchy es arbitraria se sigue
que H' es un espacio de Hilbert. ∎
Problema 4
Sean X e Y espacios normados. Muestre que una forma sesquilineal acotada h sobre X × Y
es continua (juntamente en ambas variables).

Sea h : X × Y → K una forma sesquilineal, es decir h verifica ∀x x x ∈ X , ∀y y y ,

∈
, 1
, 2
, 1
, 2

𝛼 K
h(x + x , y) = h(x , y) + h(x , y)
1 2 1 2

h(x, y + y ) = h(x, y ) + h(x, y )

1 2 1 2

h(𝛼x, y) = 𝛼h(x, y)
h(x, 𝛼y) = ⏨
𝛼 h(x, y)
además
| h(x, y) | ≤ ‖ h ‖ ‖ x ‖ ‖ y ‖

Por demostrar que si (x n ) es un sucesión convergente en X, es decir lim x n = x

→∞ X, y ∈
∈
n
sea (y n ) una sucesión convergente en Y, es decir yn = y Y, por demostrar que la
→∞
lim
n
sucesión
( h(xn , yn )) es convergente en K y converge a h(x, y).

En efecto.

h(xn , yn ) - h(x, y) | = | h(xn , yn ) - h(x, y) - h(xn , y) + h(xn , y) |

|

| h(x n , y n ) - h(x, y) | = | h(x n , y n - y) - h(x - x n , y) | ≤ | h(x n , y n - y) | + | h(x - x n , y) |

| h(xn , yn ) - h(x, y) | ≤ | h(xn , yn - y) | + | h(x - xn , y) |

pero
h(xn , yn - y) | ≤ ‖ h ‖ ‖ xn ‖ ‖ yn - y ‖ ; | h(x - xn , y) | ≤ ‖ h ‖ ‖ x - xn ‖ ‖ y ‖
|

Ya que (x n ) es convergente es también acotada es decir existe un c R tal que ∈ +

n N, ‖ xn ‖ ≤ c ∀ ∈
luego:
h(xn , yn ) - h(x, y) | ≤ c ‖ h ‖ ‖ yn - y ‖ + ‖ h ‖ ‖ x - xn ‖ ‖ y ‖
| (22)

Dado 𝜀 ∈R +
∈
, entonces existen N, M N tales que si n ≥ max{ N, M } entonces

𝜀 𝜀
‖ xn - x ‖ < , ‖ yn - y ‖ < (23)
2 ‖h‖ ‖y‖ 2 c‖h‖
donde ‖ h ‖ > 0 y ‖y‖ > 0 , ya que si ‖ h ‖ = 0 entonces h = 0 es continua, y si ‖ y ‖ = 0

entonces
| h(xn , yn ) - h(x, y) | ≤ c ‖ h ‖ ‖ yn - y ‖ < 𝜀 → n → ∞ h xn yn
lim ( , ) = h(x, y)
Reemplazando (3) en (2) entonces
𝜀 𝜀
| h(xn , yn ) - h(x, y) | ≤ c ‖ h ‖ ‖ yn - y ‖ + ‖ h ‖ ‖ x - xn ‖ ‖ y ‖ < + < 𝜀

∎
2 2

por lo tanto
n → ∞ h xn yn
lim ( , ) = h(x, y) . Lo que implica que h es continua.

Problema 5
Una forma Hermitiana sobre un espacio vectorial X (definida sobre un campo de escalares
K) es una aplicación h : X × X → K , tal que para todo x y z ∈ X y 𝛼 ∈ K,
, ,

h(x + y, z) = h(x, z) + h(y, z)

h(𝛼x, y) = 𝛼h(x, y)
h(x, y) = ⏨⏨⏨
h(y, x)
Además, se dice que la forma Hermitiana h es semidefinida positiva si h(x, x) ≥ 0 para todo

∈
x X. Demuestre una forma Hermitiana H satisface la desigualdad de Schwarz
| h(x, y) | ≤ h(x, x)h(y, y).
2

Sea x, y ∈ X y 𝛼 ∈ K.
h(x - 𝛼y, x - 𝛼y) ≥ 0
⇓
h(x - 𝛼y, x - 𝛼y) = h(x, x - 𝛼y) + h(-𝛼y, x - 𝛼y) = h(x, x - 𝛼y) - 𝛼h(y, x - 𝛼y) = ...
... = ⏨⏨⏨⏨⏨
h(x - 𝛼y, x) - 𝛼 ⏨⏨⏨⏨⏨
h(x - 𝛼y, y) = ⏨⏨⏨⏨⏨⏨⏨
h(x, x) - 𝛼h(y, x) - 𝛼 ⏨⏨⏨⏨⏨⏨⏨
h(x, y) - 𝛼h(y, y) = ...
... = ⏨⏨⏨⏨⏨⏨⏨
h(x, x) - 𝛼h(y, x) - 𝛼 ⏨⏨⏨⏨⏨⏨⏨
h(x, y) - 𝛼h(y, y) = ⏨⏨⏨
h(x, x) - 𝛼⏨⏨⏨⏨
h(y, x) - 𝛼 ⏨⏨⏨ 𝛼 ⏨⏨⏨
h(x, y) + 𝛼 ⏨ h(y, y) = ...
... = h(x, x) - ⏨𝛼 h(x, y) - 𝛼h(y, x) + 𝛼 ⏨
𝛼 h(y, y) = h(x, x) - ⏨
𝛼 h(x, y) - 𝛼(h(y, x) - 𝛼⏨h(y, y))
h(y, x)
Si ⏨𝛼= entonces
h(y, y)
h(y, x)
h(x, x) - h(x, y) ≥ 0
h(y, y)
↓
h(x, x)h(y, y) ≥hx yhy x h(x, y) ⏨⏨⏨
h(x, y) = | h(x, y) |
↓
2
( , ) ( , ) =

| h(x, y) | ≤ h(x, x)h(y, y)

2
∎
Problema 6
Si h satisface las condiciones del problema 5, muestre que

p(x) = h(x, x)
define una seminorma sobre X.

Una seminorma es una transformación T : X → R, que satisface (N1), (N3) y (N4).

∀∈x X, 𝛼 K : ∈
(N1) ‖ x ‖ ≥ 0
(N3) ‖ 𝛼x ‖ = | 𝛼 | ‖ x ‖
(N4) ‖ x + y ‖ ≤ ‖ x ‖ + ‖ y ‖

Tenemos que probar:

 p:X →R
x ↦px ( ) = h(x, x)
Por hipótesis ∀x ∈ X se cumple h x x ( , ) ≥ 0 → hxx ( , ) ≥ 0 →p x
( ) ≥ 0 . Por lo tanto se
cumple N1.

∈
Dado x X y 𝛼 K, p(𝛼x) ∈ = h(𝛼x, 𝛼x) = | 𝛼 | h(x, x) = | 𝛼 | h(x, x) = | 𝛼 | p(x) .
2

Por tanto se cumple N3.

Sean x, y ∈ X, p x( ( + y)) 2
= h(x + y, x + y) = h(x, x + y) + h(y, x + y) , luego

( p(x + y)) = h(x, x + y) + h(y, x + y) = ⏨⏨⏨⏨⏨

2
h(x + y, x) + ⏨⏨⏨⏨⏨
h(x + y, y)
(p(x + y)) = ⏨⏨⏨⏨⏨⏨⏨
h(x, x) + h(y, x) + ⏨⏨⏨⏨⏨⏨⏨
h(x, y) + h(y, y)
2

(p(x + y)) = ⏨⏨⏨

h(x, x) + ⏨⏨⏨
h(y, x) + ⏨⏨⏨
h(x, y) + ⏨⏨⏨
h(y, y)
2

(p(x + y)) = h(x, x) + h(x, y) + h(y, x) + h(y, y)

2

Pero

| h(y, x) | = | h(x, y) | ≤ h(x, x)h(y, y)

Entonces
2

( p(x + y)) ≤ h(x, x) + 2 h(x, x)h(y, y) + h(y, y) =

2
h(x, x) + h(y, y)
(p(x + y)) ≤ (p(x) + p(y))
⇓
2 2

p(x + y) ≤ p(x) + p(y)

Por lo tanto se cumple N3, luego p es una seminorma ∎
Problema 7
Sea H un espacio de Hilbert y T : H
-
→
H un operador lineal acotado biyectivo cuya inversa
es acotada. Muestre que T
1

existe y *

-1
T T-
*
* 1
=

Definición
Sea T : H 1
→H 2
un operador lineal acotado, donde H y H son espacios de Hilbert. 1 2

Entonces el operador adjunto de Hilbert T de T es el operador *

T :H*
→H
∈H ∈
2 1

tal que para toda x 1

y y H 2

Tx, y = x, T y *
.

Teorema: El operador adjunto de Hilbert T de T en la definición anterior existe y es único,

*
además T es un operador lineal acotado con norma
*
⏰T ⏰ *
= ‖T‖
⏰ ⏰
Ya que T : H → H es un operador lineal acotado entonces existe un único operador lineal
acotado T H → H tal que Tx y
*
: x T y . Por hipótesis T es biyectiva, lo que implica
, = ,
*

que existe un T - H → H tal que T - T TT -

1
: I , además T es un operador lineal.
1
=
1
=

Por hipótesis T - es un operador lineal acotado, es decir ∀x ∈ H ⏰ T - x ⏰ ≤ ⏰ T - ⏰ ‖ x ‖ .

1
,
1 1

⏰ ⏰ ⏰ ⏰
T- de T - , es decir
*

De la misma forma por el teorema precedente existe el adjunto 1 1

T- 1
*

: H → H tal que T - x, y
1
= x, T - y 1
*

Probemos que T es invertible, ya que T es invertible, entonces

*

TT - 1
= I → TT- 1
*

= I *
= →T T *
T- 1
*

= I
T- T = I → T- T I → T- T I
* *
1 1 * 1 *
= =

Luego T es invertible y además por la unicidad de la inversa se tiene:

*

T *
-1
= T- 1
*

∎
Problema 8
Si { T n } es una sucesión de operadores lineales acotadas sobre un espacio de Hilbert y
Tn→ T, muestre que Tn → T . * *

Sea la sucesión T n n∈N de operadores lineales acotados (T n ∈ B H H ), es decir

∀n ∈ N
( ) ( 1
, 2
)

Tn H → H :

x Tn y para cualesquiera x ∈ H y y ∈ H, donde Tn →H

1 2

y Tn x y , = ,
*
1
*
: H 2 1
y

‖ Tn ‖ ⏰ Tn ⏰
=
*

⏰ ⏰
además ‖ T ‖ = ⏰ T ⏰ *

⏰ ⏰
n
lim
→ ∞ Tn T = ⇔ n → ∞ ‖ Tn - T ‖
lim = 0

⏰ (Tn - T) ⏰ *
= ‖ Tn - T ‖
⏰ ⏰
pero
 Tn - T) *
Tn - T
* *

⇓
( =

‖ Tn - T ‖ = ⏰ Tn - T ⏰
*

⏰ ⏰
Por otro lado dado 𝜀 ∈ R , existe un N ∈ N tal que si
+

n ≥ N → ‖ Tn - T ‖ 𝜀 → ⏰ Tn - T ⏰
<
* *
< 𝜀
⏰ ⏰
Por lo tanto

→ ∞ Tn T
* *
lim =
n
es decir T n*
→
T cuando n *
. →∞ ∎
Problema 9
Sea T y T operadores lineales acotados sobre un espacio de Hilbert complejo H en si
∈ H, muestre que T
1 2

mismo. Si T x, x
1
= T x, x
2
; para todo x 1
= T 2
.

Lema: Sean X y Y espacios con producto interior y Q : X → Y un operador lineal acotado.

Entonces:
(a) Q = 0 si y solo si ⟨Qx, y = 0 para todo x X y y Y. ∈ ∈
(b) Si Q : X → X, donde X es complejo, y Qx, x = 0 para todo x ∈ X, entonces Q = 0 .

(a) Si Q = 0 entonces ∈
Qx = 0 para todo x X, lo que implica que
Qx, y = 0, y = 0 w, y = 0
Reciprocamente, si ∈
Qx, y = 0 para todo x X y y Y, en particular Qx, Qx ∈ = 0

entonces
‖ Qx ‖ = 0 → Qx = 0 para todo x ∈ X, es decir Q = 0 .

(b) por hipotesis Q(𝛼x + y), x + 𝛼y) = 0 para cualquiera x, y X y 𝛼 C, luego ∈ ∈

Q(𝛼x + y), 𝛼x + y = 0
⇓
𝛼Qx + Qy 𝛼x y
⇓
, + = 0

𝛼 Qx, 𝛼x + y + Qy, 𝛼x + y = 0
𝛼 Qx, x + Qx, y
𝛼( ⏨ 𝛼 Qy, x + Qy, y
)+ ⏨

⇓
= 0

𝛼 | Qx, x
2
𝛼 Qx, y ⏨ Qy x
𝛼 Qy, y
⇓
| + + , + = 0
 𝛼 Qx, y + 𝛼⏨ Qy, x = 0
si 𝛼 = i → Qx, y - i Qy, x = 0 y si 𝛼 = i Qx, y + i Qy, x → = 0 , lo que implica
que
∀x y ∈ X
, , Qx, y = 0

por el inciso (a) se sigue que Q = 0 .

Notar que

T x, x T x, x
↓
1
= 2

Txx - Txx
↓
1
, 2
, = 0

T x-T x x
↓
1 2
, = 0

∀x ∈ X T - T x x , ( ) , = 0

→T T ∎
1 2

Por el inciso (b) del lema anterior T - T 1 2

= 0 1
= 2

Problema 10
Sea S = I + T T : H *
→
H , donde T es lineal y acotado. Muestre que S - : S(H) H existe. 1
→
Problema 11
Muestre que un operador lineal acotado T : H →
H sobre un espacio de Hilbert H que tiene
rango de dimensión finita si y solo si T puede ser representado en la forma

Tx =
n
∑ j=1
x, vj wj , [ vj , wj ∈H ].

Tx = x, v w 1 1
+ ⋯ + x, vn wn

∈
supongamos que R(T) = { Tv|v H } = { w ∈ H ∃v ∈ H
| , Tv = w } es de dimensión finita
entonces existe una base ortonormal w , w wn de R(T), luego dado
∈ → ∈
1 2
,...,

x H Tx R(T).
Existen c ,...., c n tales que:
… cn wn
1

Tx = c w
⇓
1 1
+ +

Tx, wi = cw
1 1
+ … cn wn wi+ , = ci
Pero

Tx, wi = x, T wi *

establecemos T *
wi = vi , por lo tanto para todo i ∈Ny 1 ≤i≤n

Tx = x, v w ⋯ x, vn wn
∑ xv w
1 1
+ +

n
Tx = , j j
j=1

Recíprocamente, sean v ,..., vn H y w∈ ,..., ∈

wn H , tales que:

∑ xv w
1 1

n
∀x ∈ H , Tx = , j j
j=1
Claramente R(T) span(w wn ) , luego dim R(T) ≤ dim span(w wn ) . Por lo tanto
∎
= 1
,..., 1
,...,

R(T) es de dimensión finita.

Problema 12
Se dice que un subconjunto M ⊂ X de un espacio normado X es total si su span es denso
en X.

Si { e n } es una sucesión ortonormal total en un espacio de Hilbert H y definimos el operador

lineal de traslación a la derecha T : H →
H tal que Ten = en para n = 1, 2,... . Encuentre +1

el rango, el espacio nulo, la norma y el operador adjunto de T.

Problema 13
Si T y S son auto-adjuntos sobre un espacio de Hilbert H y 𝛼, 𝛽 . Muestre que ∈R
T = 𝛼S + 𝛽T es auto-adjunto.
Por hipótesis T = T, S = S , ya que T, S B(H, H) , donde B(H, H) es un espacio
* *
∈
vectorial entonces 𝛼S + 𝛽T ∈ B H H . Luego, T
( , )
*

= ( 𝛼S + 𝛽T) *
existe.
Por otro lado:
*

( 𝛼S + 𝛽T) *
= T = ( 𝛼S) *
+( 𝛽T) *
= 𝛼S
⏨ *
+ ⏨
𝛽T *
= 𝛼S *
+ 𝛽T *
= 𝛼S + 𝛽T = T
Por lo tanto T es auto-adjunto. ∎
Problema 14
Muestre que si T : H →
H es operador lineal acotado auto-adjunto, lo es también T n , donde
n es un entero positivo.
Por inducción, para n = 1 se tiene T = T 1
= T *
. Supongamos que la proposición es cierta
para cierto k ∈ N, k ≥ 1 , es decir Tk
*

= Tk .

Luego T k +1
= TkT = Tk T
*
*
= TT k
*

= Tk +1
*

. Por lo tanto ∀n ∈ N, se cumple

Tn = Tn
*

, es decir T n es auto-adjunto o hermitiano. ∎

Problema 15
Sea T : C 2
→C 2
el operador definida por Tx = ( 𝜉 1
+ i𝜉 , 𝜉 - i𝜉
2 1 2
) , donde x = ( 𝜉 ,𝜉
1 2
) .
Encuentre T , y muestre que T
* *
T = TT *
= 2 I.

Consideremos a C 2
como un espacio vectorial complejo, entonces,
Dado v ∈ C →v 2
= ( ξ ,𝜉 ) y c ,c
1 2 1 2
∈C
𝜉 ,𝜉 c c
⇓
( 1 2
) = 1
(1, 0) + 2
(0, 1)

( 𝜉 , 𝜉 ) = (c , c
1 2 1 2
)

𝜉 =c 1 1

𝜉 =c
⇓
2 2

c 1
= 𝜉 1

c = 𝜉

∈ C tales que
2 2

Además, si 𝛼 1
, 𝛼 2

𝛼 𝛼
⇓
1
(1, 0) + 2
(0, 1) = (0, 0)

𝛼 i𝛼
↓
( 1
, 2
) = (0, 0)

𝛼 1
= 𝛼 2
= 0

Por lo tanto v 1
= (1, 0) yv 2
= (0, 1) es un base de C 2
.
T(1, 0) = (1, 1) Tv 1
=

= T(0, i) = (i, -i) Tv 2

la representación matricial A de T con respecto a la base v 1

= (1, 0), v 2
= (0, 1) . es

A= 1 i
1 -i
luego

⏨
AT = 1 1

-i i
Existe un único operador lineal S : H → H tal que
Sv = (1, -i) , Sv = (1, i)
∈C →
1 2

sea v 2
v = c v + c v , v = (𝜉 , 𝜉 ) , entonces
1 1 2 2 1 2

v = (𝜉 , 𝜉 ) = 𝜉 v + 𝜉 v
⇓
1 2 1 1 2 2

Sv = 𝜉 Tv 𝜉 Tv
⇓
1 1
+ 2 2

Sv = 𝜉 -i 𝜉 i
⇓
1
(1, )+ 2
(1, )

Sv = (𝜉 , - i𝜉 1 1
)+( 𝜉 , i𝜉 2 2
) = ( 𝜉 1
+ 𝜉 , i(-𝜉2 1
+ 𝜉 2
))

Ya que C 2
es de dimensión finita se tiene que T es acotado, luego existe un único
T :C
*
→ C tal que
2 2
Tx, y = x, T y *
. Afirmamos que S = T *
. En efecto:

Sean x y ∈ C → x
,
2
= ( 𝜉 ,𝜉 1 2
), y = (𝜂 , 𝜂 1 2
) .

Tx, y = ( 𝜉 1
+ i𝜉 , 𝜉 - i𝜉
2 1
i𝜉 ) ⏨
𝜂2
), ( 𝜂 ,𝜂 1 2
) = ( 𝜉 1
+ 2 1
+( 𝜉 - i𝜉
1 2
) ⏨
𝜂 2

Tx, y = 𝜉 ⏨
𝜂 + i𝜉 ⏨
𝜂 +𝜉 ⏨
𝜂 - i𝜉 ⏨
𝜂 1 1 2 1 1 2 2 2

x, Sy = ( 𝜉 ,𝜉1 2
), ( 𝜂 1
+ 𝜂 , i(-𝜂2 1
+ 𝜂 2
)) = 𝜉 ⏨⏨⏨
𝜂 +𝜂
1 1 2
+ 𝜉 ⏨⏨⏨⏨⏨
i(-𝜂 + 𝜂 )
2 1 2

x, Sy = 𝜉 ⏨
𝜂 +⏨
𝜂 + 𝜉 -i - ⏨
𝜂 +⏨
𝜂 = 𝜉 ⏨
𝜂 +𝜉 𝜂 + i𝜉 ⏨
𝜂 - i𝜉 ⏨
𝜂
⇓
1 1 2 2 1 2 1 1 1 2 2 1 2 2

Tx, y = x, Sy ∀x y ∈ H , ,

Por la unicidad del adjunto de T se sigue que S = T . Por lo tanto T : H H , esta dado por * *
→
T x = (𝜉 + 𝜉 , i(-𝜉 + 𝜉 )), x = (𝜉 , 𝜉 )
*

∈
1 2 1 2 1 2

Por otro lado, dado x = (𝜉 , 𝜉 ) C , se tiene: 1 2

2

TT x = T T x = T(𝜉 + 𝜉 , i(-𝜉 + 𝜉 )) = (𝜉 + 𝜉 + i(i(-𝜉 + 𝜉 )), 𝜉 + 𝜉 - i(i(-𝜉 + 𝜉 )))

* *

→
1 2 1 2 1 2 1 2 1 2 1 2

TT x = (2𝜉 , 2𝜉 ) = 2(𝜉 , 𝜉 ) = 2Ix TT = 2I

*
1 2 1 2
*

T Tx = T (Tx) = T (𝜉 + i𝜉 , 𝜉 - i𝜉 ) = ((𝜉 + i𝜉 ) + (𝜉 - i𝜉 ), i(-(𝜉 + i𝜉 ) + (𝜉 - i𝜉 )))

* * *

→ →
1 2 1 2 1 2 1 2 1 2 1 2

T Tx = (2𝜉 , 2𝜉 ) = 2(𝜉 , 𝜉 ) = 2Ix T Tx = 2Ix T T = 2I

* * *

⇓
1 2 1 2

T T = T T = 2I
* *
∎
Problema 16
Sea X un espacio con producto interno y T : X → X es un operador lineal isométrico. Si
dim X < ∞
, muestre que T es unitario

Definición: Sean (X, d) y X, d → X se

, espacios métricos. Entonces: una función T : X
llama isométrico o isometria si T preserva distancias, esto es, si para todo x y ∈ X . ,

d(Tx, Ty) = d(x, y)

Para este problema en particular se tiene:
‖ Tx - Ty ‖ = ‖x - y‖ (24)
Además

∀x ∈ X : ‖ Tx ‖ = ‖x‖ (25)

Sean u, v ∈X
‖u + v‖ 2 u + v, u + v = u, u + v + v, u + v = u, u + u, v + v, u + v, v
=

‖ u - v ‖ = u - v, u - v = u, u - u, v - v, u + v, v
2

Sea z = x + iy C ∈ →
x = Re(z), y = Im(z), z = Re(z) + iIm(z), ⏨
z = Re(z) - iIm(z)

z+⏨
z z-⏨ z
Re(z) = , Im(z) =
2 2i

si z = u, v → u, v + ⏨⏨⏨
u, v = 2Re( u, v ) , entonces
‖ u + v ‖ = ‖ u ‖ + 2Re( u, v ) + ‖ v ‖
2 2 2

‖ u - v ‖ = ‖ u ‖ - 2Re( u, v ) + ‖ v ‖
2 2 2

‖u + v‖ 2 - ‖u - v‖ 2
Re( u, v ) =
4

De la misma forma se prueba que

‖ u + iv ‖ 2 - ‖ u - iv ‖ 2
Im( u, v ) =
4

Luego
 ‖ u + v ‖ 2 - ‖ u - v ‖ 2 + ‖ u + iv ‖ 2 - ‖ u - iv ‖ 2
u, v = Re( u, v )+ iIm( u, v ) =
4

Por otro lado

‖ Tu + Tv ‖ 2 - ‖ Tu - Tv ‖ 2 + ‖ Tu + Tiv ‖ 2 - ‖ Tu - Tiv ‖ 2
Tu, Tv =
4

Ya que T es isométrico se tiene:

‖ Tu + Tv ‖ = ‖ Tu - T(-v) ‖ = ‖ u - (-v) ‖ = ‖ u + v ‖
‖ Tu - Tv ‖ = ‖ u - v ‖
‖ Tu + Tiv ‖ = ‖ Tu - T(-iv) ‖ = ‖ u - (-iv) ‖ = ‖ u - iv ‖
‖ Tu - Tiv ‖ = ‖ u - iv ‖
por lo tanto
Tu, Tv = u, v
Ya que dim X ∞ entonces T es un operador acotado, es decir existe un único
→ X tal que
<

T :X
*

Tx, y = x, T y *

Por otro lado T es inyectiva, en efecto:

∈
Si x, y X tales que Tx = Ty →
‖ Tx - Ty ‖ = 0 ‖x - y‖ = 0 x-y = 0 → → →x y . Por
∞→
=

hipotesis dim X < dim X = dim N(T) + dim R(T) , pero dim N(T) = 0 por que T

es inyectiva. Luego:
X = dim R(T), R(T) ⊆ X X = R(T)
dim →
Por lo tanto T también es sobreyectica, luego T - : X X existe. 1
→
Tu, v = u, T v *

↓-
Tu, v = Tu TT v
,
1
= u, T - v
1

⇓
∀u v ∈ X
, , Tu, v = u, T - v
1

Por la unicidad del adjunto de Hilbert T de T se concluye

*

T- 1
= T *

Es decir T - es unitario.
1
∎

HANN-BANACH Y TEOREMAS FUNDAMENTALES

Problema 1
Muestre que p(x)
→∞
= lim sup
n
𝜉n , donde x = (𝜉n ) ∈ l∞ , 𝜉n real, define una funcional lineal
sobre l . ∞

Definición: Sea (𝜉 n ) una sucesión en R, la k-ésima cola de ( 𝜉n ) esta definido por:

{ 𝜉n | n ≥ k }
Proposición: Sea (𝜉 n ) una sucesión en R, entonces la sucesión ( ak ) es decreciente, donde
ak = sup{ 𝜉n | n ≥ k } = sup 𝜉n
n≥k
Esta prosición se sigue de: si A, B ⊂ R y A ⊂ B entonces sup A ≤ sup B. Dado k ∈ N se
tiene:
𝜉n | n ≥ k + 1 } ⊂ { 𝜉n | n ≥ k }
↓
{

𝜉n | n ≥ k + 1 } ≤ 𝜉n | n ≥ k }
↓
sup{ sup{

ak ≤ ak
R, entonces la sucesión
+1

Proposición: Si (𝜉 n ) es una sucesión acotada en ( ak ) dada por

ak = sup{ 𝜉n | n ≥ k } = sup 𝜉n
n≥k
es acotada y además ak existe.
→∞
lim
k

ya que (𝜉 n ) es acotada, entonces existe un c ∈R +

tal que:
∀n ∈ N , - c ≤ 𝜉n ≤ c

Sea a k 𝜉n | n ≥ k } , luego c es una cota superior de { 𝜉n | n ≥ k } , entonces

= sup{

k ,∀ ∈N
ak = sup{ 𝜉n | n ≥ k } ≤ c
además -c es un cota inferior de { 𝜉 n | n ≥ k }, entonces
-c ≤ 𝜉n ≤ ak
∈
para cualquier k N y n ≥ k. Por lo tanto (a k ) es acotado. Por el teorema Bolzano-
Weiretrass cualquier sucesión monótona acotada es convergente, luego lim a k existe y
k →∞
además

k
lim
→∞
ak =
→ ∞ k≥n
lim sup
k
𝜉n =
→∞
lim sup{
k
𝜉n | n ≥ k } = inf sup{ 𝜉n | n ≥ k } | k ∈N
 p(x) 𝜉n
= lim sup
n →∞
Probemos la subaditivada
Sean x, y ∈ l∞ entonces p x ( ) = lim sup
n →∞
𝜉n y p(y) = lim sup 𝜂n .
n →∞
Luego
x+y = ( 𝜉i + 𝜂i ) →p x ( + y) = lim sup(
n →∞ 𝜉n + 𝜂n ) = inf sup{ 𝜉n + 𝜂n | n ≥k } | k ∈N
Dado k ∈ N fijo, si n ≥ k, entonces
𝜉n + 𝜂n ≤ sup{ 𝜉i | n ≥ k } + sup{ 𝜂i | n ≥ k }
entonces sup{ 𝜉 i | n ≥k } + sup{ 𝜂i | n ≥ k } es una cota superior de { 𝜉n + 𝜂n | n ≥k }

entonces

sup{ 𝜉n + 𝜂n | n ≥k ≤ } sup{ 𝜉i | n ≥ k } + sup{ 𝜂i | n ≥ k }

luego

𝜉n + 𝜂n ≥k ≤
n 𝜉i | n ≥ k } + sup{ 𝜂i | n ≥ k }
→∞
k
lim sup{ |
k→∞
} lim sup{

𝜉n + 𝜂n n≥k ≤ 𝜉i | n ≥ k } + 𝜂i | n ≥ k }
k→∞ →∞ →∞
lim sup{ | } lim sup{ lim sup{
k k

𝜉n + 𝜂n ) ≤ lim sup 𝜉n + p(y) = lim sup 𝜂n

lim sup(
→∞ →∞ →∞
⇓
n n n

p(x + y) ≤px ( )+ p(y)

Ahora probemos la homogeneidad positiva, sea a ∈R +
= { x ≥ 0, x ∈R } y
x ∈ l ∞ , entonces
0

ax = ( a𝜉 i ),
p(x) a𝜉 n ) a𝜉 n | n ≥k
= lim sup(
n →∞ =
k →∞
lim sup{ }

Si a = 0 entonces se cumple
p(x) a𝜉 n ) a𝜉 n | n ≥k a lim sup(𝜉 n ) ap(x)
n →∞
= lim sup( =
k →∞
lim sup{ } =
n →∞ =

Si a > 0 ,yn ≥ k entonces

𝜉n ≤ 𝜉n | n ≥ k }
↓
sup{

a𝜉 n ≤a 𝜉 n ≥k
↓
sup{ n | }

sup{ a𝜉 n | n ≥k ≤a } sup{ 𝜉n | n ≥ k }
por otro lado
 a𝜉n ≤ sup{ a𝜉n | n ≥ k }
↓
≤ a𝜉 n | n ≥ k }
1
𝜉n sup{
a
↓
𝜉n | n ≥ k } ≤ a𝜉 n | n ≥ k }
1
sup{ sup{
a
↓
a sup{ 𝜉n | n ≥ k } ≤ sup{ a𝜉n | n ≥ k }
Por lo tanto
a𝜉n | n ≥ k } = a sup{ 𝜉n | n ≥ k }
↓
sup{

a𝜉n | n ≥ k } = a sup{ 𝜉n | n ≥ k } = a 𝜉n | n ≥ k }
→∞ →∞ →∞
lim sup{ lim lim sup{

⇓
k k k

p(ax) = lim sup(a𝜉n ) = a lim sup 𝜉n = ap(x)

k →∞ k →∞
Por lo tanto p l ∞ → R , p x 𝜉n es un funcional sublineal. ∎
: ( ) = lim sup
k →∞
Problema 2
Muestre que toda funcional sublineal p satisface p(0) = 0 y (x) y p(-x) ≥ - p(x)
Sea X un espacio vectorial, y sea p un funcional definido en X, es decir
p:X →p X ⊂R
↦px
( )

x ( )

Suponer que p es sublineal, es decir cumple:

∀x y ∈ X p x y ≤ p x p(y)
∀a ∈ R ∀x ∈ X p ax
, , ( + ) ( )+

) = ap(x)
+
0
, , (

p(0) = p(0x) = 0p(x) = 0, x X ∈

⇓
p(0) = 0

p(0) = p(-x + x) ≤ p(-x) + p(x)

⇓
0 =

≤ p -x p(x)
⇓
0 ( )+

-p(x) ≤ p(-x)
∎
Problema 3
Considere la funcional lineal en R 2
por
fx ( ) = 𝛼𝜉 1 1
+ 𝛼𝜉 2 2

donde x = ( 𝜉 ,𝜉
1 2
) . Encuentre la extensión lineal f sobre R 3
.

Considerar que R yZ2

= ( 𝜉 ,𝜉1 2
, 0) | 𝜉 ,𝜉
1
∈R ⊆R 2
2 3
son isomorfos. entonces

f Z→R
↦f𝜉 𝜉
:

( 𝜉 1
, 𝜉 2
, 0) ( 1
, 2
, 0) = 𝛼𝜉1 1
+ 𝛼𝜉 2 2

Teorema Hahn-Banach. Sea f un funcional lineal acotado en un subespacio Z de un espacio

vectorial normado X. Entonces existe un funcional lineal acotado f en X que es una

extensión de f a X y además f
⏰ ⏰ ‖f‖ Z .
⏰ ⏰X =

Donde 𝛼 𝛼 ∈ R es dado y fijo, se tiene que hallar la extensión f R → R .

2 3

una base ortonormal de Z, luego dado v ∈ Z entonces

( 1
, 2
) :

Sea e
{ 1
e
= (1, 0, 0), 2
= (0, 1, 0) }

v ve e ve e
↓
= , 1 1
+ , 2 2

fv f ve e ve e
↓
( ) = ( , 1 1
+ , 2 2
)

fv ve fe ve fe
↓
( ) = , 1
( 1
)+ , 2
( 2
)

fv ve 𝛼 ve 𝛼
↓
( ) = , 1 1
+ , 2 2

fv
( ) = v𝛼e 𝛼e , 1 1
+ 2 2

Notar que z 𝛼e = 1 1
+ 𝛼 2
e 2
= ( 𝛼 ,𝛼1 2
, 0) ∈ Z , definimos f R :
3
→ R de la siguiente forma
f R :
3
→R , fx
x z donde z 𝛼 e 𝛼 e 𝛼 𝛼 ( ) = , = 1 1
+ 2 2
= ( 1
, 2
, 0)

además f x ( ) x z ≤ ‖ x ‖ ‖ z ‖ → ⏰⏰ f ⏰⏰ ≤ ‖ z ‖ , y ‖ z ‖
= | , | z z f z ≤ ⏰⏰ f ⏰⏰ ‖ z ‖ , 2
= , = ( )

⏰ ⏰
entonces ‖ z ‖ ≤ f , por lo tanto f
⏰ ⏰ ‖ z ‖ . De la misma forma se prueba que
⏰ ⏰ ⏰ ⏰ =

⏰ ⏰ ‖ f ‖ ∎.
‖z‖ =
⏰
‖ f ‖ , lo que implica f
⏰ =

Problema 4
Sea X un espacio normado y X' su espacio dual. Si X ≠ {0} , muestre que X' no puede ser
{0}

Teorema: Sea f un funcional lineal acotado en un subespacio Z de un espacio normado X.

Entonces existe un funcional lineal acotado f en X que es una extensión de f a X y tiene la
misma norma,

⏰ f⏰ = ‖f‖
Z
⏰ ⏰X

Teorema: Sea X un espacio vectorial normado y sea x 0

≠ 0 cualquier elemento de X.
Entonces existe un funcional lineal acotado en X tal que
⏰ f⏰ f( x ‖ x0 ‖ .
⏰ ⏰
= 1, 0
) =

Ya que X ≠ {0} → existe un x 0

∈ X tal que x 0
≠ 0 , por el teorema anterior existe un

funcional lineal acotado f en X tal que

⏰ f⏰ = 1, f( x ) = ‖ x 0 ‖ , luego f ∈X yf≠
' 0 . Por
∎ ⏰ ⏰ 0

lo tanto X' ≠ {0} .

Problema 5
Sean X e Y espacios normados, ∈
T B(X, Y) (espacio de los operadores lineales acotados)
w w
y (x n ) una sucesión en X. Si x n ⏪⏫ x, muestre que Tx n ⏪⏫ Tx 0

Sea cualquier f ∈ Y , afirmamos que f ∘ T

' = fT : X → Y es un funcional lineal acotado
 T
X Y

f
fT = f T ∘
K

En efecto, sean u, v ∈ X, 𝛼 ∈ K entonces

fT(𝛼u + v) = f(T(𝛼u + v)) = f(𝛼Tu + Tv) = 𝛼fTu + fTv
Dado u ∈ X, se cumple
fTu | = | f(Tu) | ≤ ‖ f ‖ ‖ Tu ‖ ≤ ‖ f ‖ ‖ T ‖ ‖ u ‖
↓
|

| fTu | ≤ ( ‖ f ‖ ‖ T ‖ ) ‖ u ‖

w
xn ⏪⏫ x implica que fT(xn ) → fT x
( 0
) , es decir dado 𝜀 ∈R +
existe un N ∈ N tal que
k≥N → | fT(xn ) - fT(x 0
)| < 𝜀 → f Txn - f Tx
| ( ) ( 0
)| < 𝜀
lo que implica
f(Txn ) → f Tx
( 0
)

ya que f ∈ Y es arbitrario,se sigue que Txn ⏪w⏫ Tx . ∎

' 0

Problema 6
w
Muestre que x n ⏪⏫ x implica lim sup ‖ x n ‖ ≥ ‖ x ‖ .
0
n →∞ 0

Sea X un espacio vectorial normado y sea x ≠ 0 cualquier elemento de X. Entonces existe

0

un funcional lineal acotado en X tal que

 ⏰ f⏰ f( x ‖ x0 ‖ .
⏰ ⏰
= 1, 0
) =

Si x 0
= 0 entonces
n
lim
→ ∞ ‖ xn ‖ = lim inf
n → ∞ ‖ xn ‖ ≥ ‖ x 0
‖ = 0 se verifica.

Si x 0
≠ 0 , entonces existe un funcional lineal acotado f : X → K tal que ⏰⏰ f⏰⏰ = 1 ,y

f( x 0
) = ‖ x0 ‖ .

w
Por hipótesis x n ⏪⏫ x , entonces 0

n → ∞ f xn
lim ( ) = f( x 0
)

Es decir dado 𝜀 ∈R +
existe un N ∈ N tal que
f( x n ) - f( x ) ≤ f xn - f x ( ) ( ) < 𝜀
⇓
0 0

n
lim
→ ∞ f xn ( ) = f( x 0
)

además

f( x ‖ x0 ‖ f(xn ) ≥ lim inf f(xn )

→∞ →∞
0
) = = lim
n n
Pero

∀u ∈ X , f(u) ≤ ‖ u ‖
⇓
∀n ∈ N , f( x n ) ≤ ‖ x n ‖

am = inf f(xn ) | n≥m , bm = inf{ ‖ xn ‖ | n ≥ m }

cm = sup f(xn ) | n≥m , dm = sup{ ‖ xn ‖ | n ≥ m }

Dado k ∈ N fijo, entonces n ≥ k

a k ≤ f(x n ) ≤ ‖ x n ‖
luego a k es un cota inferior de { ‖ xn ‖ | n ≥ k }, luego
 ak ≤ ‖ xn ‖ n ≥k bk
↓
inf{ | } =

sup
k ∈N ak ≤ k∈N bk sup

⇓
f(x n ) ≤ ‖ xn ‖
n →∞
lim inf lim inf
n →∞
Por otro lado:

f( x n ) ≤ ‖ xn ‖ ≤ dk
luego d k es un cota superio de f( x n ) | n ≥k , entonces

ck = sup f(x n ) | n ≥ k ≤ dk

∈N
ck | k ≤ ci ≤ di
⇓
inf{ }

ck k∈N ≤ dk | k ∈N
⇓
inf{ | } inf{ }

f(x n ) ≤ ‖ xn ‖
lim sup
n →∞ lim sup
n →∞

f( x n ) f( x n ) f( x n ) f( x ‖ x0 ‖
n →∞
lim inf = lim sup
n →∞ =
n →∞
lim = 0
) =

Por lo tanto:

‖ x0 ‖ ≤ ‖ xn ‖
n→∞
lim inf

‖ x0 ‖ ≤ lim sup
n →∞ ‖ xn ‖ ∎
Problema 7
En el espacio l p , donde 1 < p < + ∞. Si ( ‖ x n ‖ ) es acotada y para cada j, 𝜉 j(n) → 𝜉 . donde
j
w
xn = 𝜉j
( n)
yx = ( 𝜉j ). Muestre que xn ⏪⏫ x. (Note que el espacio dual de l es l p q
 1 1
+ = 1 y considere la base de Schauder { e n } y que el span de { e n } es denso en l q ,
pq
donde e n = (𝛿 nj ) )

w
Lema de la convergencia débil: En un espacio normado X tenemos x n ⏪⏫ x si y solo si:
(A) La sucesión ( ‖ x n ‖ ) es acotada.
(B) Para cualquier elemento f de un subconjunto total M ⊂X
' tenemos f(x n ) →f x .
( )

Supongamos que (A) y (B) se cumplen, considerar cualquier f ∈ X , se tiene que probar que
f xn → f x . Por (A) tenemos que existe c ∈ R tal que ‖ xn ‖ ≤ c para todo n ∈ N. Ya
'

+
( ) ( )

span M X , para cualquier f ∈ X hay una sucesión fi en

que M es total, es decir ⏨⏨⏨⏨ ( ) = ' ' ( )

span M tal que

fi → f. Por lo tanto dado cualquier 𝜀 ∈ R ,
( )

𝜀
‖ fj - f ‖ <
3c

para j suficientemente grande. Además, ya que f i span(M), por (B) hay un N tal que ∈
para todo
n > N,
𝜀
| fj (xn ) - fj (x) | <
3

Luego:
𝜀
| f(xn ) - f(x) | ≤ | f(xn ) - fj (x) | + | fj (xn ) - fj (x) | + | fj (x) - f(x) | < ‖ f - fj ‖ ‖ xn ‖ + + ‖ fj - f ‖ ‖ x ‖
3
𝜀 𝜀 𝜀
| f(x n ) - f(x) | < c + + c = 𝜀.
3c 3c

∈
3

Como f X' es arbitrario, esto muestra que (x n ) converge debilmente a x.

El problema queda resuelto como aplicación del lema anterior. ∎
Problema 8

Sea X = { x ∈R : x ≥ 1 } ⊂ R y sea la aplicación T : X

2
x- . → X definida por Tx =
x
+
1

Muestre T es una contracción y encontrara la constante de contracción más pequeña 𝛼.

Sean x, y ∈ X entonces
 x 1 y 1 x-y y-x 1 1
d(Tx, Ty) = | Tx - Ty | = + - + = + = ( x - y) -
2 x 2 y 2 xy 2 xy
1 1 1 1
| Tx - Ty | = (x - y) - = | x - y| -
2 xy 2 xy

ya que x, y ∈ X→ x ≥ 1, y≥1 → xy ≥ → xy ≤ → 1
1
1
1

2
-
1

xy
≤
1

2
.

Además 0 ≤ -
1
1

xy
→- 1 ≤- ≤ -
1

2
1

2 xy
1
, por lo tanto
1

2
-
1

xy
≤
1

2
, entonces

| Tx - Ty | = | x - y |
1

2
-
xy
1
≤
1

2
| x - y| ∎
Problema 9
En el teorema del punto fijo de Banach, la condición de contracción, no puede ser
reenplazado por d(Tx, Ty) < d(x, y) para x ≠ y. Considere X = [1, + [ , con la métrica ∞
usual de la recta real, y T : X →
X definida por Tx = x + x - . Muestre que 1

|Tx - Ty | < | x - y | , para x ≠ y, pero

T no tiene punto fijo.

Dados x, y ∈ X→x ≥ 1, y ≥ 1 , entonces

1 1 1 1 1 1
| Tx - Ty | = x+ - y+ = x+ -y- = ( x - y) + -
x y x y x y
1 1 y-x 1 1
| Tx - Ty | = (x - y) + - = ( x - y) + = ( x - y) 1 - = | x - y| 1 -
x y xy xy xy

≠ y→ → xy →
1 1
Si x 1 < xy < 1 1 - < 1 , por lo tanto:
xy
1
| Tx - Ty | = | x - y | 1 - < | x - y|
xy
↓
| Tx - Ty | < | x - y |
además supongamos que existe un x ∈ X tal que Tx = x, es decir x +
1

x
= x →x
1
= 0 , lo

cual es una contradicción. Por lo tanto Tx = x + x- 1

no tiene punto fijo. ∎
TEORÍA ESPECTRAL
Problema 1
Demuestre que los eigenvalores de matrices simétricas son reales, de las matrices
antisimétricas son imaginarias puras o cero y de matrices unitarias, sus valores absolutos
son 1. Ilustre con ejemplo

Sea A ∈R n n una matriz simétrica y sea 𝜆 un eigenvalor de A, y x

×
∈ Rn un eigenvector
asociado a 𝜆, entonces:

Ax, Ax = ( Ax) T Ax = x T A T Ax = x T AAx = x T A(Ax) = x T A(𝜆x) = 𝜆 x T Ax = 𝜆 x T (𝜆x)

Ax, Ax = 𝜆 xTx
2
= 𝜆 ‖x‖
2 2

Ya que x es un eigenvector asociado a 𝜆, entonces x ≠ 0 , luego:

‖ Ax ‖
𝜆=
‖x‖
por lo tanto 𝜆 ∈ R.
De la misma forma, sea A ∈R
n n una matriz antisimétrica y sea 𝜆 un eigenvalor de A, y
×

x ∈R n un eigenvector asociado a 𝜆, entonces:

Ax, Ax = ( Ax) T Ax = x T A T Ax = x T (-A)Ax = - 𝜆 x T x 2

Ax, Ax = - 𝜆 xTx 2
= 𝜆 ‖x‖2 2

↓
‖ Ax ‖ 2
𝜆 2
= -
‖x‖ 2
↓
‖ Ax ‖
𝜆=i
‖x‖
luego 𝜆 es un número imaginario puro.

sea A ∈C n n una matriz unitaria y sea 𝜆 un eigenvalor de A, y x

×
∈ Cn un eigenvector
asociado a 𝜆, entonces:
 Ax, Ax
Ax) (Ax) = x A Ax
= (
* * *

donde A es la transpuesta conjugada de A, pero por hipótesis A A = AA

* * *
= I entonces

Ax, Ax * *
⏨x (𝜆x) = | 𝜆 | x x
x A (Ax) = 𝜆 * 2 *

⇓
=

x *
AAx 𝜆 xx* 2 *

⇓
= | |

xx 𝜆 xx
*
= | |
2 *

⇓
‖x‖ 𝜆 ‖x‖
⇓
2 2 2
= | |

𝜆 ∎ | | = 1

Problema 2
Si la matriz A : n × n tiene inversa, todos los eigenvalores 𝜆 , 𝜆 1 2
,..., 𝜆n son distintas
de cero. Por otra parte, los autovalores de A - son
1 1 1
1
, ,..., .
𝜆 𝜆 𝜆n
∈
Sea i N y 1 ≤ i ≤ n entonces Ax = 𝜆 i x para algún x ≠ 0, luego:
1 2

Ax = 𝜆i x →x = A - (𝜆j x) = 𝜆j A - x
1 1
→ A- x 1
=
1

𝜆j
x

Por lo tanto
1

𝜆j
es un eigenvalor de A - . 1
∎
Problema 3
Si x j es un eigenvector de A correspondiente al eigenvalor 𝜆 j . Si C es una matriz no
singular, entonces 𝜆 j es también un eigenvalor de B = C - AC y su correspondiente 1

eigenvector es y j = C - x j .1

Byj = C - AC C - xj
1 1
= C - Axj = C - (𝜆j xj ) = 𝜆j C - xj
1 1 1
= 𝜆j yj
⇓
Byj = 𝜆j yj
Por lo tanto 𝜆 j es también un eigenvalor de B = C - AC y su correspondiente 1

eigenvector es y j = C - x j .1
∎
Problema 4
Para el operador identidad I sobre un espacio normado X, encuentre los eigenvalores y
eigenespacios de kI, como también encuentre 𝜎(kI) y R 𝜆 (kI), donde k es una constante
no nulo.
kI : X →X
x ↦ kx
Sea 𝜆 ∈ K,
kI)𝜆 = kI - 𝜆I = (k - 𝜆)I
(

Si k - 𝜆 ≠ 0 →
R𝜆 (kI) = (k - 𝜆) - I , reciprocamente si R𝜆 (kI) existe entonces
1

supongamos que k = 𝜆 → →
k - 𝜆 = 0 (kI)𝜆 = 0 , pero esto es una contradicción ya que el
operador cero no tiene inversa. Por lo tanto

R𝜆 (kI) existe si y solo si k - 𝜆 ≠ 0

Luego k es un eigenvalor de kT, es decir 𝜎 p (T) = { k }. El eigenespacio U asociado al

autovalor k, esta dado por
∈
U = { x X : Rk (kI)x = 0 } = X
Ya que (kI) k x = (kI - kI)x = 0 se verifica para todo x X. ∈ ∎
Problema 5
Muestre que 𝜌(T), 𝜎p (T), 𝜎c (T) y 𝜎r (T) son mutuamente disjuntos.

Claramente 𝜌(T) ∩𝜎 T ∅ y 𝜌 T ∪𝜎 T
( ) = ( ) ( ) = C . Asi es suficiente mostrar que
∪
𝜎(T) = 𝜎p (T) 𝜎c (T) 𝜎r (T) ∪
y cada uno de estos conjuntos son disjuntos.

Notar que tenemos, usando la definición de espectro discreto:

∪
𝜎(T) = 𝜎p (T) (𝜎(T) - 𝜎p (T))
∈
Esto es cierto ya que si 𝜆 𝜎(T) entonces R 𝜆 puede existir o no existir pero 𝜎 p (T) es
∈
conjunto de todos los 𝜆 C para los cuales no existe R 𝜆 no existe. El conjunto
∈
𝜎(T) - 𝜎p (T) es la colección de los 𝜆 𝜎(T) tal que R𝜆 (T) existe.

∈
Ahora si 𝜆 𝜎(T) - 𝜎 p (T) , entonces podemos partir este conjunto en la colección de los 𝜆
para los cuales R 𝜆 (T) esta definida en un conjunto denso de X y aquellos para los cuales
esta propiedad no se cumple, es decir:
𝜎(T) - 𝜎p (T) = 𝜎r (T) 𝜎c (T) ∪
y claramente estos conjuntos son disjuntos. ∎
Problema 6
Se dice que un subespacio Y de un espacio normado X es invariante bajo el operador
→
T : X X si T(Y) ⊂ Y . Muestre que un eigenespacio de T es invariante bajo T. Dar
ejemplos.

Sea 𝜆 𝜎 p (T) ∈ → →
T - 𝜆I : X X no tiene inversa es decir R𝜆 (T) = ( T - 𝜆I) -
1
no existe.
U𝜆 eigenespacio de T asociado al eigenvalor 𝜆, esta dado por
∈
U𝜆 = { x X : (T - 𝜆I)x = 0 }
Ya que 𝜆∈ 𝜎p T entonces U𝜆 ≠ .
( ) {0}

Sea w ∈ T U 𝜆 → existe un v ∈ U 𝜆 tal que Tv

( ) = w, luego

T - 𝜆I)w = (T - 𝜆I)Tv = T v - 𝜆ITv = TTv - 𝜆TIv = T(T - 𝜆I)v = T0 = 0

(
2

∈ ∈
por lo tanto w U 𝜆 , como w T(U 𝜆 ) es arbitrario, entonces

T(U𝜆 ) ⊂ U𝜆
para cualquier 𝜆 𝜎 p (T) . ∈ ∎
Problema 7
Sea (e k ) una sucesión ortonormal en un espacio de Hilbert H, muestre que T : H →H
definida por
Tek = ek +1

no tiene eigenvalores. Encontrar un subespacio invariante.

Problema 8
Si T es un operador lineal acotado y T una extensión lineal de T. Muestre que
∈
1

𝜎p (T ) ⊃ 𝜎p (T) y para cualquier 𝜆 𝜎p (T) el eigenespacio de T está contenida en el

1

eigenespacio de T . 1

Sea X un espacio normado complejo, y sea Z ⊂ X subespacio de X; dados:

T:Z X →
T :X X
1
→
donde T es operador lineal acotado y T es una extensión lineal de T, es decir se cumple
∀∈
1

T 1
| Z = T, x Z, T x = Tx . 1

Sea 𝜆 ∈ 𝜎p T → T - 𝜆I Z → T - 𝜆I
( ) : ( )( Z) ⊂ X , no tiene inversa.
Luego, afirmamos que (T ) 𝜆 →
T - 𝜆I : X (T - 𝜆I)(X) ⊂ X no tiene inversa, en efecto
∈
1
= 1 1

basta probar que existe un x X - { 0 } tal que (T - 𝜆I)x = 0 .

1

Sea v ∈ Z ⊂ X cualquier eigenvector asociado a 𝜆 entonces v≠0 y (T - 𝜆I)v . Pero

T ∀x ∈ Z T Z x Tx .
0
= 0

T 1
| Z = , 1
| =

Entonces:
T - 𝜆I)v = T v - 𝜆Iv = Tv - 𝜆Iv = (T - 𝜆I)v = 0
(

∈ ∈
1 1

Luego v es también un eigenvector de T , es decir v { x X : (T - 𝜆I)x = 0 } ya que

∈ ∈
1 1

v { x Z : (T - 𝜆I)x = 0 } es arbitrario, entonces

{x ∈
Z : (T - 𝜆I)x = 0 } ⊂ { x X : (T - 𝜆I)x = 0 } ∈ 1

en otras palabras, el eigenespacio de T asociado a 𝜆 esta incluido en el eigenespacio de

su extensión lineal T asociado a 𝜆.1

Además, T 1
- 𝜆I no es invertible lo que implica que 𝜆 𝜎p (T ∈ 1
) , después 𝜎 p (T) ⊂ 𝜎p T( 1
) ∎
Problema 9
Con relación al problema anterior, muestre que 𝜎 r (T ) ⊂ 𝜎 r (T) y 𝜎 c (T) ⊂ 𝜎 c (T ) 𝜎 p (T ) .
1 1
∪ 1

Problema 10
Sea X = C[0, 1] y defina T : X →
X por Tx = vx, donde v(t) = sin(𝜋t). Encontrar 𝜎(T).
Note que 𝜎(T) es cerrado.

Considerar el operador T 𝜆 x Tx - 𝜆x = vx - 𝜆x = (v - 𝜆)x . Asi si 𝜆 R(v), entonces ∉

∈
=

tenemos que R 𝜆 existe. Asi 𝜎(T) = R(v) = v([0, 1]) . Pero v X, además v es continua y
[0, 1] es compacto, debe asumir un máxumo y mínimo, asi v([0, 1]) = [a, b] , en este caso

v([0, 1]) = [0, 1]

 1

v(t) = sin(𝜋t)

0.5

-0.5 0 0.5 1 1.5 2

Problema 11
Si Y es un eigenespacio correspondiente al eigenvalor 𝜆 de un operador T, encontrar el
espectro del operador restricción T| Y .

Afirmamos que T| Y = 𝜆I , en efecto T|Y : Y → X, T Y x

( | ) = Tx = 𝜆x = 𝜆Ix , es decir:

∀x ∈ Y T|Y )x = 𝜆Ix
⇓
, (

T|Y = 𝜆I
𝜎(T|Y ) = 𝜎(𝜆I) = { 𝜆 }
∈
Ya que 𝜇 𝜌(𝜆I) → →
R𝜇 (𝜆I) existe (𝜆I - 𝜇I) - →
necesariamente 𝜆 ≠ 𝜇.
1

Reciprocamente, si 𝜇 ≠ 𝜆 entonces R 𝜇 (𝜆I) = (𝜆 - 𝜇) I existe, es decir 𝜇 𝜌(𝜆I).

- 1
∈ ∎
Problema 12
Sea T : l2
→
l definida por y = Tx, donde x
2
= ( 𝜉j ), y = (𝜂j ), 𝜂j = 𝛼j 𝜉j , donde (𝛼j ) es
denso en [0, 1]. Encontrar 𝜎 p (T) y 𝜎(T).

Afirmamos que 𝜎 p (T) = { 𝛼 i : i ∈N

} , 𝜎(T) = [0, 1] .

En efecto, para cada 𝛼 j , considerar la secuencia:

xj = (0,..., 0, 1, 0,... )
con 1 en la j - ésima posición y ceros en las demás posiciones. Entonces Txj = 𝛼j xj y asi
∈ ∈
𝛼j 𝜎p (T). Además, si 𝜆 𝜎p (T), entonces existe una sucesión no nula x = (𝜉j ) tal que
Tx = 𝜆x
En particular esto significa que 𝛼 i 𝜉 = 𝜆𝜉 j para cada j donde 𝜉 j ≠ 0 para al menos un j. Por
lo tanto 𝜆 = 𝛼 j y asi 𝜆 { 𝛼 i : i ∈ ∈N
}. Por lo tanto 𝜎 p (T) = { 𝛼 i : i }. ∈N ∎
Problema 13
∈
Si 𝜆 𝜎(T) - 𝜎 p (T) como en el problema anterior, muestre que R 𝜆 (T) es no acotada.
Problema 14
∈
Sea T B(X, X) . Muestre que ‖ R 𝜆 (T) ‖ 0 conforme 𝜆 . → →∞
Sea | 𝜆 | > ‖ T ‖ . Suponer que y = Tx - 𝜆x . Entonces tenemos
‖ y ‖ = ‖ 𝜆x - Tx ‖ ≥ | 𝜆 | ‖ x ‖ - ‖ Tx ‖ ≥ ( | 𝜆 | - ‖ T ‖ ) ‖ x ‖ .
Esto entonces da que
‖y‖
≤
1
‖ R𝜆 ‖ = sup ‖ R𝜆 y ‖ = sup ‖x‖ sup =
‖ y ‖ =1 ‖ y ‖ =1 ‖ y ‖ =1 | 𝜆| - ‖T‖ | 𝜆| - ‖T‖
≤
1
‖ R𝜆 ‖ .
𝜆| - ‖T‖
→ ∞, se obtiene el resultado. ∎
|

Ya que el lado derecho claramente se va a cero cuando | 𝜆|

Problema 15
Sea X = [0, 𝜋] y defina T : D(T) → X por x ↦ x , donde ''

D(T) = { x∈X x x ∈X x : x𝜋 ', '' , (0) = ( ) = 0}

Muestre que 𝜎(T) no es compacto.

Considerar la sucesión (x n ) de funciones en D(T) dada por x n (t) = sin( nt). Entonces para
yn = Txn se tiene:
yn (t) = - n sin(nt) = - n xn (t) - 2 2

Por lo tanto -n ∈ 2
∈
𝜎p (T) para todo n N, asi 𝜎(T) no puede ser acotado. Por lo tanto 𝜎(T)
no es compacto. ∎
Problema 16
Sea T l ∞ → l ∞ definida por x ↦ 𝜉 𝜉 , donde x 𝜉 𝜉 . (a) Si 𝜆 ,
muestre que 𝜆 ∈ 𝜌 T (b) Si 𝜆 ≤ , muestre que 𝜆 es un eigenvalor y encuentre el
: ( 2
, 3
,... ) = ( 1
, 2
,... ) | | > 1

( ). | | 1

eigenespacio Y.

(a) Si | 𝜆 | > 1, ‖ Tx ‖ ∞ = sup | 𝜉j | ≤ sup | 𝜉j | = ‖ x ‖ ∞

j≥2 j≥1
⇒ ‖T‖ ≤ 1 .

Sea x 0
= (0, 𝜉 ,𝜉 ,... ) , ⏰x ⏰
0
= sup{ 0, | 𝜉j | } = sup | 𝜉j | , además
j≥2 j≥2
2 3

⏰ ⏰
‖ Tx 0 ‖ = ‖ (𝜉 2 , 𝜉 3 ,... ) ‖ = sup |
j≥2
𝜉j | = ⏰ x ⏰ 0
→ ‖‖Txx ‖‖ 0
= 1 ≤ ‖ T ‖ , por lo tanto T .
⏰ ⏰
∞ ∈
0

Ya que l es un espacio de Banach, y por el teorema (7.3-4 pg. 377) cualquier 𝜆 𝜎(T)
necesariamente tiene que cumplir | 𝜆 | ≤ ‖ T ‖ . Por lo tanto si se supone | 𝜆 | > 1 entonces
necesariamente 𝜆 ∈𝜌T. ( )

(b) Si𝜆 | ≤ 1 entonces

∈ →𝜉
|

Tx = 𝜆x, x ≠ 0, x l ∞ ( 2
, 𝜉 ,𝜉3 4
,... ) = 𝜆(𝜉 , 𝜉 1 2
,... ) = ( 𝜆𝜉 , 𝜆𝜉 1 2
,... ) , luego

𝜉 2
= 𝜆𝜉 , 𝜉 1 3
= 𝜆𝜉 2
,..., 𝜉k +1
= 𝜆𝜉k , k ∈N
𝜉 = 𝜆𝜉 = 𝜆(𝜆𝜉 ) = 𝜆𝜉;𝜉2
= 𝜆𝜉 = 𝜆𝜆𝜉 2
= 𝜆𝜉3

⇓
3 2 1 1 4 3 1 1

𝜉k = 𝜆k𝜉 , k ∈N
⇒
+1 1

Pero 𝜆| ≤ 1
| 𝜆 k = | 𝜆 | k ≤ 1 , si 𝛼 = 𝜉 ≠ 0 entonces 1

x= 𝛼, 𝜆𝛼, 𝜆 𝛼, 𝜆 𝛼,... ≠ 0 .
2 3

Luego

sup |
j≥0
𝛼 | | 𝜆 | j = | 𝛼 | sup | 𝜆 | j ≤ | 𝛼 | <
j≥1
∞ ⇒ x ∈ l∞
Por lo tanto 𝜆 es un eigenvalor. Además

Y = x 𝛼, 𝜆𝛼, 𝜆 𝛼, 𝜆 𝛼,... 2 3
: 𝛼 ∈R
es el eigenespacio de T asociado a 𝜆. ∎
Problema 17
∈
Si S, T B(X, X) , muestre que para cualquier 𝜆 ∈ 𝜌 S ∩𝜌 T ,( ) ( )

R𝜆 (S) - R𝜆 (T) = R𝜆 (S)(T - S)R𝜆 (T).

∈ ∈ ∩
Ya que S, T B(X, X) y 𝜆 𝜌(S) 𝜌(T) entonces R 𝜆 (S) y R 𝜆 (T) estan definidas en toda
X por el teorema 7.2-3, asi T𝜆 R𝜆 (T) = I y R𝜆 (S)S𝜆 = I donde I es el operador identidad en
X
R𝜆 (S) - R𝜆 (T) = R𝜆 (S)I - IR𝜆 (T) = R𝜆 (S)(T𝜆 R𝜆 (T)) - (R𝜆 (S)S𝜆 )R𝜆 (T)
⇓
R𝜆 S - R𝜆 T R𝜆 S T𝜆 - S𝜆 R𝜆 T
⇓
( ) ( ) = ( )[ ] ( )

R𝜆 S - R𝜆 T R𝜆 S T - 𝜆I - S - 𝜆I R𝜆 T
⇓
( ) ( ) = ( )[( ) ( )] ( )

R𝜆 S - R𝜆 T R𝜆 S T - S R𝜆 T ∎
( ) ( ) = ( )( ) ( )

Problema 18
Sea X un espacio de Banach complejo, T ∈BX X ( , ) y p un polinomio. Muestre que la
ecuación
p(T)x = y, x, y X ∈
∈
tiene única solución x para cada y X si y solo si p(𝜆) ≠ 0 para todo 𝜆 𝜎(T). ∈
Problema 19
Muestre que para cualquier operador T ∈BX X
( , ) sobre un espacio de Banach complejo
r𝜎 (𝛼T) = | 𝛼 | r𝜎 (T), r𝜎 T k = [ r𝜎 (T)] k , k ∈N
donde r 𝜎 denota el radio espectral.

n ⏰ n⏰ n ⏰ n n⏰ n n
r𝜎 (𝛼T) = 𝛼| n ⏰ Tn ⏰ ⏰ Tn ⏰
lim
→ ∞ ⏰ 𝛼T ⏰
( ) =
→∞ ⏰𝛼 T ⏰
lim = lim
→∞ | =
→∞ 𝛼
lim | |

⇓
n n n ⏰ ⏰ n ⏰ ⏰

r𝜎 (𝛼T) = 𝛼| n ⏰ Tn ⏰ 𝛼 | lim n ⏰ Tn ⏰ 𝛼 | r𝜎 (T)

n→∞ →∞
lim | = | = |

⏰ ⏰ n ⏰ ⏰

r𝜎 T k n ⏰ Tk n ⏰ n ⏰ Tn k ⏰
=
n
lim
→∞ ⏰ ⏰
=
n →∞
lim
⏰ ⏰
Problema 20
Determine los eigenvalores de la siguiente matriz que tiene la propiedad A 2
= I

0 1 0

A= 1 0 0

0 0 1

-𝜆 1 0

det( A - 𝜆I) = 1 -𝜆 0 = ( -𝜆) -𝜆 1

= ( -𝜆) 𝜆 - 1 2
= 𝜆(1 - 𝜆)(1 + 𝜆)
-𝜆
-𝜆
1
0 0

Por lo tanto 𝜎(T) = { 0, 1, -1 } ∎