1 Ejercicios

• Lema 2-4-1, pag 72 Sea {x1 , ..., xn } un conjunto linealmente independi-

ente en un espacio normado X (de cualquier dimensión). Entonces existe
un numero c > 0 tal que para Pn cada elección de escalares α1 , ..., αn tenemos
||α1 x1 + ... + αn xn || ≥ c( i=1 |αi |)

Let (X, ∥ · ∥) is normed space

{x1 , . . . , xn } is l.i.
n n
!
X X
in ¿∃c > 0; ∀α1 ,· · · , αn ∈ K ⇒ αi xi ≥ c |αi | ?
i=1 i=1
αi
βi = Pn ; ∀i = 1, . . . , n
i=1 |αi |
n n
!
X X
¿∃c > 0; ∀β1 ,· · · , βn ∈ K |βi | = 1 → βi xi ≥ c ?
i=1 i=1
n n
!
X X
let ∀c > 0, ∃β1 , . . . , βn ∈ K |βi | = 1 ∧ βi x i < c
i=1 i=1
n n
(1) (1) (1) (1)
X X
in |βi | = 1 ∧ βi xi < 1; β1 , . . . , β 1 ∈K
i=1 i=1
Let m ∈ N
1
in c =
m
n n
X (m)
X (m) 1 (m) (m)
|βi |=1∧ βi xi < ; β1 , . . . , β1 ∈K
i=1 i=1
m

n n
!

(m)
   X (m)
X (m) 1
β1 ,· · · , βn(m) : N → K; ∀m ∈ N |βi | =1∧ βi x i <
i=1 i=1
m

(ym ) : N → X
(m)
ym := β1 x1 + . . . + βn(m) xn
n
X (m) 1
0 ≤ ∥ym ∥ = βi xi < ⇒ lim ∥ym ∥ = 0
i=1
m m→∞

1
 Let i ∈ {1, . . . , n}
(m)
in ¿(βi ) is bounded?
n
(m)
X
|βi | = 1, ∀m ∈ N
i=1
(m)
|βi | ≤ 1, ∀m ∈ N
(m)
∴ (βi ) is bounded

#Por Bolzano-Weierstrass
(m)
zm = (β1 , . . . , βn(m) )
An ⊆ An−1 ⊆ · · · ⊆ A1
(m)
wm = (w1 , . . . , wn(m) ) #bajo An
(m) (m)
w1 ⊆ β1 ;· · · ; wn(m) ⊆ βn(m)
(m)
w1 , . . . , wn(m) are convergent
n
(m) (m)
X
um = w1 x1 +· · · + wn(m) xn ; |wi | = 1; um ⊆ ym
i=1
(m)
lim um = lim (w1 x1 +· · · + wn(m) xn )
m→∞ m→∞
Xn n
X
lim um = wi xi ; |wi | = 1
m→∞
i=1 i=1
lim um ̸= 0 ∧ lim ∥ym ∥ = 0
m→∞ m→∞
lim um ̸= 0 ∧ lim ∥um ∥ = 0
m→∞ m→∞
lim um ̸= 0 ∧ lim um = 0 (⇒⇐)Contradiccion
m→∞ m→∞

Pn Pn
∴ ∃c > 0; ∀α1 ,· · · , αn ∈ K ⇒ ∥ i=1 αi xi ∥ ≥ c ( i=1 |αi |)

2
• 2.6-4 Diferenciación, pag 84 Sea X el espacio vectorial de todos los
polinomios en el intervalo [a, b]. Podemos definir un operador lineal T en
X mediante la expresión T x(t) = x′ (t) para todo x ∈ X, donde la prima
(′ ) denota la derivada con respecto a t. Este operador T mapea X en sı́
mismo. ¿Existe el inverso de T en 2.6-4?, pag 91-p12
Demostración
Sabemos que: Existe T −1 , si solo si, ∀x ∈ X : T x = 0 ⇒ x = 0.
Si contradecimos eso nos quedarı́a:

∃x ∈ X : Tx = 0 ∧ x ̸= 0 , entonces no existe T −1

Sea x(t) = c, c ∈ R

=⇒T x = x′ (t) = 0 ∧ x(t) ̸= 0

−1
=⇒T no existe

• pag 91-p13 Sea T : D(T ) → Y un operador lineal cuyo inverso existe. Si

{x1 , . . . , xn } es un conjunto linealmente independiente en D(T ), muestre
que el conjunto {T x1 , . . . , T xn } es linealmente independiente.
Supongamos que {T x1 , . . . , T xn } son linealmente dependientes, es decir:

a1 T x1 + · · · + an T xn = 0, ∃ai ̸= 0
−1
T (a1 T x1 + · · · + an T xn ) = 0
a1 x1 + · · · + an xn = 0
a1 = · · · = an = 0(⇒⇐)

∴ {T x1 , . . . , T xn } es linealmente independiente.

3
• pag 91-p14 Sea T : X → Y un operador lineal y dim X = dim Y = n <
∞. Muestre que R(T ) = Y si y solo si T −1 existe.

Let TX → Y ; T is lineal operator

dim(X) = dim(Y ) = n < ∞
in ¿ img(T ) = Y ⇐⇒ T −1 existe?

#(⇒)

Let img(T ) = Y
in ∀y ∈ Y ; ∃x ∈ X (T (x) = y)
By = y1 ,· · · , yn By is base Y
T (xi ) = yi ; xi ∈ X
T (x1 ) = yi ; x1 ∈ X
..
.
T (xn ) = yn ; xn ∈ X
α1 x1 +· · · + αn xn = 0
α1 T (x1 ) +· · · + αn T (xn ) = 0
α1 y1 +· · · + αn yn = 0
→ α1 = · · · = αn = 0
∴Bx = {x1 , . . . , xn } is base x

Ker(T ) = {x ∈ X : T (x) = 0}
Let x ∈ Ker(T )
T (x) = 0
x = α1 x1 +· · · + αn xn
T (x) = α1 T (x1 ) +· · · + αn T (xn ) = 0
→ α1 = · · · = αn = 0
∴ x=0
∴ Ker(T ) ={0} ⇒ T is Inyectiva ⇒ T −1 exists

#(⇐)

4
 Let T −1 : Rang(T ) → Dom(T )
T es inyectiva
Tx = y ∧ T −1 y = x
in ∀y ∈ Y ; ∃x ∈ Dom(T ) : T (x) = y
∴ Y ⊆ T (X)
in {x1 ,· · · , xn } es l.i
∃T −1 ←→ (T x = 0 → x = 0)
α1 x1 + . . . αn xn = 0
α1 T x1 + . . . αn T xn = T 0 = 0
{T x1 ,· · · , T xn } es l.i
∴ T (X) ⊆ Y
∴T (X) = Y

• pag 91-p15 Considera el espacio vectorial X de todas las funciones de

variable real definidas en R y que tienen derivadas de todos los órdenes y en
todas partes de R. Define T : X → X por y(t) = T x(t) = x′ (t). Muestra
que R(T ) es todo X, pero T −1 no existe. Compara con el problema 14 y
comenta.

Let T : C∞ → C∞
T (x(t)) = x′ (t)
in ¿img(T ) = C ∞ ?
img(T ) = {y ∈ C ∞ : y = x′ ; x ∈ C ∞}
¿C ∞ ⊆ img(T )?
Let x ∈ C∞
in ¿x ∈ img(T )?
X′ = x #Teoremas Fundamentales
∞
X∈C
T (X) = x
X ∈ img(T )

Sabemos que: Existe T −1 , si solo si, ∀x ∈ X : T x = 0 ⇒ x = 0.

Si contradecimos eso nos quedarı́a:

∃x ∈ X : Tx = 0 ∧ x ̸= 0 , entonces no existe T −1

5
 Sea x(t) = c, c ∈ R
=⇒T x = x′ (t) = 0 ∧ x(t) ̸= 0
−1
=⇒T no existe

• pag 101-p2 Sean X y Y espacios normados. Muestre que un operador

lineal T : X → Y es acotado si y solo si T mapea conjuntos acotados en
X hacia conjuntos acotados en Y .
(⇒)
T es acotado =⇒ ∃c > 0 | ∥T x∥ ≤ c∥x∥
Sea A ⊂ X conjunto acotado =⇒ ∃a > 0 | ∥x∥ ≤ a, ∀x ∈ A
=⇒∥T x∥ ≤ ∥T ∥∥x∥| ≤ ∥T ∥a
=⇒∥T x∥ ≤ a∥T ∥
=⇒T (A) ⊂ Y es acotado
(⇐)
T mapea conjuntos acotados en X hacia conjuntos acotados en Y
Sea A = {w ∈ X | ∥w∥ = 1} ⊂ X un conjunto acotado.
x
w= ∈ A, ∀x ∈ X, pues ∥w∥ = 1
∥x∥
Luego, B = T (A) es acotado, por la premisa
=⇒∃c > 0 | ∥T w∥ ≤ c
x
=⇒ T ≤c
∥x∥
1
=⇒ ∥T x∥ ≤ c
∥x∥
=⇒∥T x∥ ≤ c∥x∥
=⇒T es acotado

• pag 101-p3 Si T ̸= 0 es un operador lineal acotado, muestre que para

cualquier x ∈ D(T ) tal que ∥x∥ < 1, se cumple la desigualdad estricta
∥T x∥ < ∥T ∥.
∥T ∥ = inf {c ∈ R+ : ∥T x∥ ≤ c∥x∥}
Sea T un operador lineal acotado y x ∈ D(T ) tal que ∥x∥ < 1:
=⇒∥T ∥∥x∥ < ∥T ∥ ∧ ∥T x∥ ≤ ∥T ∥∥x∥
=⇒∥T x∥ < ∥T ∥, pues∥x∥ < 1

6
• pag 101-p5 Muestre que el operador T : l∞ → l∞ definido por y = (ηj ) =
ξ
T x, ηj = jj , x = (ξj ), es lineal y acotado.
Solución:
Primero, demostraremos que T es lineal. Sea x = (ξj ), z = (ζj ) ∈ l∞ y
a, b ∈ R. Entonces:
   
aξj + bζj ξj ζj
T (ax+bz) = T ((aξj +bζj )) = = a +b = aT (x)+bT (z).
j j j

Esto muestra que T es un operador lineal. Ahora, demostraremos que T

es acotado:
Definiremos, ∥T (ξj )∥ = supi∈N ξii ∧ ∥ξj ∥ = supi∈N |ξi | Para un ϵ > 0
tendremos:
ξj 0
∥T x∥ − ϵ0 < ; i∈N
j0
ξj 0
≤ |ξj0 |
j0
∥T (ξj )∥ − ϵ0 < |ξj0 | ≤ ∥ξj ∥
lim (∥T (ξj )∥ − ϵ0 ) < lim ∥ξj ∥
ϵ0 →0 ϵ0 →0

∥T (ξj )∥ ≤ ∥ξj ∥
∴ ∃c = 1 : ∥T (ξj )∥ ≤ c∥ξj ∥ → T es acotado.

• pag 101-p7; (Operador Inverso) Sea T un operador lineal acotado de

un espacio normado X sobre un espacio normado Y . Si existe un b > 0
tal que ∥T x∥ ≥ b∥x∥ para todo x ∈ X, muestre que T −1 : Y → X existe
y es acotado.
Recordamos el teorema 2.6-10 (Teorema del operador inverso): Sean X, Y
e.v. Sea T : D(T ) → Y un operador lineal con dominio D(T ) ⊂ X y rango
R(T ) ⊂ Y :

T −1 existe ⇐⇒ ∀x ∈ X(T x = 0 =⇒ x = 0)

Sea x ∈ X tal que T x = 0

=⇒b∥x∥ ≤ ∥T x∥ = 0
=⇒∥x∥ = 0, pues b > 0
=⇒x = 0
=⇒T −1 existe

Como T −1 existe:
1 1
∥T −1 y∥ = ∥x∥ ≤ ∥T x∥ = ∥y∥
b b

7
 1
=⇒∥T −1 y∥ ≤ ∥y∥
b
1
=⇒∃c = > 0 | ∥T −1 y∥ ≤ c∥y∥
b
=⇒T es acotada.

• pag 101-p8 Muestre que el inverso T −1 : R(T ) → X de un operador

lineal acotado T : X → Y no necesita ser acotado. Pista: Usa T del
problema 5.
Let T : X → Y es lineal y acotado
in ¿∃T −1 ∧ T −1 no es acotado?
in ¿∃T −1 ?
 
ξj
P ara T : l∞ → l∞ : T (ξj ) = ; ∀j ∈ N
j
∃T −1 ←→ T x = 0 → x = 0
 
ξj
Tx = 0 ⇒ → 0 ∧ (ξj ) → 0
j
   
ξj ξj
T −1 T (ξj ) = T −1 −→ T −1 = (ξj ) j ∈ N
j j
∴ ∃T −1

in ¿T −1 no es acotado?
N egamos : T −1 es acotado ↔ ∃c > 0; ∀y ∈ Rang(T ) : ∥T −1 y∥ ≤ c · ∥y∥
ξj
∥y∥ = supj∈N ∧ ∥T −1 y∥ = supj∈N |ξj |
j
Let ϵ0 > 0
ξj0
in ∥y∥ − ϵ0 < ; j0 ∈ N
j0
ξj 0
≤ |ξj0 |
j0
∥y∥ − ϵ0 < |ξj0 | ≤ ∥T −1 y∥
∥y∥ − ϵ0 < ∥T −1 y∥
lim (∥y∥ − ϵ0 ) < lim ∥T −1 y∥
ϵ0 →0 ϵ0 →0
−1
∥y∥ < ∥T y∥
−1
∴T no es acotado.
Rt
• pag 101-p9 Sea T : C[0, 1] → C[0, 1] definido por y(t) = 0 x(τ ) dτ .
Encuentra R(T ) y T −1 : R(T ) → C[0, 1]. ¿Es T −1 lineal y acotado?

8
El rango de T , por definición:
Z t
R(T ) = {y ∈ C[0, 1] : T x = x(τ )dτ }
0

Luego:
Z t
y = T x =⇒ y = T x = x(τ )dτ
0
=⇒ y ′ (t) = x(t) ∈ C[0, 1]

además: Z 0
y(0) = x(τ )dτ = 0
0
Finalmente el rango es:

R(T ) = {y ∈ C[0, 1], y ∈ C 1 [0, 1], y(0) = 0}

Hallamos T −1 : R(T ) → C[0, 1]:

Z t
y ∈ R(T ) =⇒ y(t) = x(τ )dτ
0
=⇒ y ′ (t) = x(t)
=⇒ T −1 y = y ′ (t)

T −1 : R(T ) → C[0, 1], T −1 y = y ′ (t)

El operador T −1 es el operador derivada, sea z = αy1 + βy2 :

=⇒ T −1 (αy1 + βy2 ) = (αy1 + βy2 )′

= αy1′ + βy2′
= αT −1 y1 + βT −1 y2
=⇒ T −1 es lineal

Sea yn (t) = tn , n ∈ N:

∥yn ∥ = max |tn | = 1, pues t ∈ [0, 1]

T −1 yn = (tn )′ = ntn−1
=⇒ ∥T −1 yn ∥ = max |ntn−1 | = n

Luego
∥T −1 yn ∥
=n
∥yn ∥
como n ∈ N es arbitrario, no existe un c fijo tal que ∥T −1 yn ∥ ≤ c∥yn ∥.
∴ T −1 no es acotado.

9
• pag 135-p6 Sea x ̸= 0 y y ̸= 0. (a) Si x ⊥ y, muestre que {x, y} es un
conjunto linealmente independiente. (b) Extiende el resultado a vectores
no nulos mutuamente ortogonales x1 , ..., xm .
#(⇒)(a)
{x,y} es l.i. → αx + βy = 0 ⇒ ¿α = β = 0?
x ⊥ y ⇒ ⟨x, y⟩ = 0 ∧ ⟨y, x⟩ = 0

0 = ⟨0, x⟩ = ⟨αx + βy, x⟩

0 = α⟨x, x⟩ + β⟨y, x⟩
0 = α⟨x, x⟩
x ̸= 0 ⇒ ⟨x, x⟩ =
̸ 0
⇒α=0 Lo mismo con y

∴ {x, y} son linealmente independientes

Pn
#(⇒)(b) i=1 αi xi = 0;

Xn
0 = ⟨0, xi ⟩ = ⟨ αj xj , xi ⟩, i∈N
j=1
n
X
0= αj ⟨xj , xi ⟩, i∈N
j=0

{x1 ,· · · , xn } mutuamente ortogonales ⇒ ⟨xj , xi ⟩ = 0; j ̸= i

0 = αi ⟨xi , xi ⟩
xi ̸= 0 ⇒ ⟨xi , xi ⟩ =
̸ 0
⇒ αi = 0

∴ {x1 ,· · · , xn } son linealmente independientes

• pag 135-p7 Si en un espacio de producto interno, ⟨x, u⟩ = ⟨x, v⟩ para
todo x, muestre que u = v.
Dado:

⟨x, u⟩ = ⟨x, v⟩
⟨x, u⟩ − ⟨x, v⟩ = 0
⟨x, u − v⟩ = 0
Tomamos x = u − v
=⇒ ⟨u − v, u − v⟩ = 0
=⇒ u − v = 0
=⇒ u = v

10
• pag 134; pag 135-p8 Para x, y ∈ R, pruebe 4⟨x, y⟩ = ∥x+y∥2 −∥x−y∥2 s
∥x + y∥2 = ⟨x + y, x + y⟩
= ⟨x, x⟩ + ⟨y, y⟩ + 2⟨x, y⟩
2
∥x − y∥ = ⟨x − y, x − y⟩
= ⟨x, x⟩ + ⟨y, y⟩ − 2⟨x, y⟩
∥x + y∥2 − ∥x − y∥2 = 4⟨x, y⟩

• pag 134; pag 135-p9 Para x, y ∈ C, pruebe:

Para → 4 · Re⟨x, y⟩ = ∥x + y∥2 − ∥x − y∥2 :
∥x + y∥2 = ⟨x + y, x + y⟩
= ⟨x, x⟩ + ⟨y, y⟩ + ⟨x, y⟩ + ⟨x, y⟩
= ⟨x, x⟩ + ⟨y, y⟩ + 2Re(⟨x, y⟩)
2
∥x − y∥ = ⟨x − y, x − y⟩
= ⟨x, x⟩ + ⟨y, y⟩ − ⟨x, y⟩ − ⟨x, y⟩
= ⟨x, x⟩ + ⟨y, y⟩ − 2Re(⟨x, y⟩)
2 2
∥x + y∥ − ∥x − y∥ = 4 · Re(⟨x, y⟩)
Para → 4 · Im⟨x, y⟩ = ∥x + iy∥2 − ∥x − iy∥2
∥x + iy∥2 = ⟨x + iy, x + iy⟩
= ⟨x, x⟩ + ⟨iy, iy⟩ + ⟨x, iy⟩ + ⟨x, iy⟩
= ⟨x, x⟩ + ⟨y, y⟩ + 2Im(⟨x, y⟩)
2
∥x − iy∥ = ⟨x − iy, x − iy⟩
= ⟨x, x⟩ + ⟨iy, iy⟩ − ⟨x, iy⟩ − ⟨x, iy⟩
= ⟨x, x⟩ + ⟨iy, iy⟩ − 2Im(⟨x, y⟩)
2 2
∥x + y∥ − ∥x − y∥ = 4 · Im(⟨x, y⟩)

• pag 140-p4 Muestre que y ⊥ xn y xn → x implican que x ⊥ y.

De la definición de ortogonalidad, y ⊥ xn significa que ⟨y, xn ⟩ = 0 para
todo n. Como xn → x, por continuidad del producto interno, tomamos el
lı́mite:
⟨y, x⟩ = lim ⟨y, xn ⟩
n→∞
= lim 0
n→∞
= 0.

Por lo tanto, ⟨y, x⟩ = 0, lo que implica y ⊥ x.

x⊥y

11
• pag 140-p5 Muestre que para una secuencia (xn ) en un espacio con pro-
ducto interno, las condiciones ∥xn ∥ → ∥x∥ y ⟨xn , x⟩ → ⟨x, x⟩ implican la
convergencia xn → x.
De la definición de producto interno tenemos:

∥xn − x∥2 = ⟨xn − x, xn − x⟩

= ⟨xn , xn ⟩ − ⟨xn , x⟩ − ⟨x, xn ⟩ + ⟨x, x⟩
= ∥xn ∥ − ⟨xn , x⟩ − ⟨x, xn ⟩ + ∥x∥2

Tomando lı́mite:

lim ∥xn − x∥2 = lim ∥xn ∥ − lim ⟨xn , x⟩ − lim ⟨x, xn ⟩ + ∥x∥2
n→∞ n→∞ n→∞ n→∞
lim ∥xn − x∥2 = ∥x∥2 − 2⟨x, x⟩ + ∥x∥2
n→∞
lim ∥xn − x∥2 = 2∥x∥2 − 2∥x∥2 = 0
n→∞
=⇒ lim xn − x = 0
n→∞
=⇒ lim xn = x
n→∞

• pag 141-p8 Muestre que en un espacio de producto interno, x ⊥ y si y

solo si ∥x + αy∥ ≥ ∥x∥ para todo escalar α.
(=⇒)Tenemos que:

x ⊥ y =⇒ ⟨x, y⟩ = ⟨y, x⟩ = 0

Para todo escalar α:

∥x + αy∥2 = ⟨x + αy, x + αy⟩

= ⟨x, x⟩ + ⟨αy, x⟩ + ⟨x, αy⟩ + |α|2 ⟨y, y⟩
= ∥x∥2 + α⟨y, x⟩ + α⟨x, y⟩ + |α|2 ∥y∥2
= ∥x∥2 + |α|2 ∥y∥2
| {z }
≥0
2
≥ ∥x∥
=⇒ ∥x + αy∥ ≥ ∥x∥, ∀α

(⇐=)

∥x + αy∥2 ≥ ∥x∥2
∥x + αy∥2 − ∥x∥2 ≥ 0
⟨x + αy, x + αy⟩ − ⟨x, x⟩ ≥ 0
⟨x, x⟩ + ⟨αy, x⟩ + ⟨x, αy⟩ + |α|2 ⟨y, y⟩ − ⟨x, x⟩ ≥ 0
|α|2 ∥y∥2 + α⟨x, y⟩ + α⟨x, y⟩ ≥ 0

12
 Si y = 0 =⇒ ⟨x, y⟩ = 0
⟨x, y⟩
Si y ̸= 0, sea α = −
∥y∥2
⟨x, y⟩ ⟨x, y⟩ ⟨x, y⟩
=⇒ − − ≥0
∥y∥2 ∥y∥2 ∥y∥2
⟨x, y⟩
=⇒ − ≥0
∥y∥2
=⇒ ⟨x, y⟩ = 0

• pag 141-p9 Sea V el espacio vectorial de todas las funciones continuas

de variable compleja en J = [a, b]. Sea X1 = (V, ∥ · ∥∞ ), donde ∥x∥∞ =
maxt∈J |x(t)|; y X2 = (V, ∥ · ∥2 ), donde: ∥x∥2 = ⟨x, x⟩1/2 , ⟨x, y⟩ =
Rb
a
x(t)y(t) dt. Muestra que el mapeo identidad x 7→ x de X1 sobre X2 es
continuo. (No es un homeomorfismo. X2 no es completo).
Usamos el Teorema 1.4-8. Un mapeo T : X1 → X2 es continuo en x0 si y
solo si xn → x0 =⇒ T xn → T x0 , y también:
Z b Z b
∥x∥22 = |x(t)|2 dt ≤ ∥x∥2∞ dt = (b − a)∥x∥2∞
a a

ϵ
Entonces para demostrar la continuidad de T , ∀ϵ > 0, sea δ = √ , tal
b−a
que ∀x1 , x2 ∈ V con ∥x1 − x2 ∥∞ < δ:

Z b
∥x1 − x2 ∥22 = |x1 (t) − x2 (t)|2 dt
a
Z b
≤ ∥x1 − x2 ∥2∞ dt
a
= (b − a)∥x1 − x2 ∥2∞
< (b − a)δ 2 = ϵ2
=⇒ ∀ϵ > 0, ∃δ > 0 : ∀x1 , x2 ∈ V, ∥x1 − x2 ∥∞ < δ =⇒ ∥x1 − x2 ∥2 < ϵ
=⇒ x1 → x2 =⇒ T x1 → T x2 , T = Id.
=⇒ T es continuo.
• pag 159-p7 Sea (ek ) cualquier sucesión ortonormal en un espacio con
producto
P∞ interno X. Muestre que para cualquier x, y ∈ X, se cumple:
k=1 |⟨x, ek ⟩⟨y, ek ⟩| ≤ ∥x∥∥y∥
De la desigualdad de Cauchy-Schwarz:
!1/2  1/2
∞
X ∞
X ∞
X
|ak bk | ≤ |ai |2  |bj |2 
k=1 i=1 j=1

13
 y de la desigualdad de Bessel:
∞
X
|⟨x, ek ⟩|2 ≤ ∥x∥2
k=1

Tenemos
!1/2  ∞ 1/2
∞
X ∞
X X
|⟨x, ek ⟩⟨y, ek ⟩| ≤ |⟨x, ek ⟩|2  |⟨y, ek ⟩|2 
k=1 i=1 j=1

≤ ∥x∥∥y∥

2 Examen 4
1. Sean X un espacio con producto interno e x, y, z ∈ X vectores no nulos.
Si x ⊥ y, y ⊥ z ∧ x ⊥ z. Pruebe que {x, y, z} es un conjunto linealmente
independiente.
Si {x,y,z} es l.i. ⇒ αx + βy + ρz = 0 → α = 0, β = 0, ρ = 0

x ̸= 0 ∧ y ̸= 0 ∧ z ̸= 0
x ⊥ y → ⟨x, y⟩ = 0 ∧ ⟨y, x⟩ = 0
y ⊥ z → ⟨y, z⟩ = 0 ∧ ⟨z, y⟩ = 0
x ⊥ z → ⟨x, z⟩ = 0 ∧ ⟨z, x⟩ = 0

Por lo tanto:

0 = ⟨0, x⟩ = ⟨αx + βy + ρz, x⟩

0 = α⟨x, x⟩ + β ⟨y, x⟩ +ρ ⟨z, x⟩
| {z } | {z }
=0 =0
x ̸=0 → ⟨x, x⟩ =
̸ 0⇒α=0

La misma lógica usamos para β y ρ

y ̸=0 → ⟨y, y⟩ =
̸ 0⇒β=0
z ̸=0 → ⟨z, z⟩ =
̸ 0⇒ρ=0

∴ {x, y, z} es linealmente independiente.

2. Sean X un espacio con producto interno, z ∈ X fijo. Pruebe que f definido
por f (x) = ⟨x, z⟩ es un funcional lineal acotado sobre X con norma igual

14
 a ∥z∥

|f (x)| = ⟨x, z⟩
≤ ∥x∥∥z∥, por Cauchy-Schwarz
=⇒ f es acotado, pues ∥z∥ es fijo
|f (x)|
=⇒ ≤ ∥z∥, x ̸= 0
∥x∥
=⇒ ∥f ∥ ≤ ∥z∥

Si z = 0 =⇒ ∥f ∥ = ∥z∥ = 0.
Sea z ̸= 0, como f es acotado:

=⇒ ∥f ∥∥z∥ ≥ |f (z)|
= ⟨z, z⟩
= ∥z∥2
=⇒ ∥f ∥ ≥ ∥z∥

Finalmente f es un funcional acotado y

∥f ∥ ≤ ∥z∥ ∧ ∥f ∥ ≥ ∥z∥ =⇒ ∥f ∥ = ∥z∥
3. Sean X e Y espacios con producto interno, T : X → Y un operador lineal
acotado. Pruebe que T = 0 si y solo si ⟨T x, y⟩ = 0; ∀x ∈ X ∧ ∀y ∈ Y
(=⇒):

T = 0 =⇒ T x = 0, ∀x ∈ X
=⇒ ⟨T x, y⟩ = ⟨0, y⟩ = 0, ∀y ∈ Y
=⇒ ⟨T x, y⟩ = 0, ∀x ∈ X, y ∈ Y

(⇐=):

⟨T x, y⟩ = 0, ∀x ∈ X, y ∈ Y
=⇒ T x = 0, ∀x ∈ X
=⇒ T = 0

4. Sean p1 ; p2 funcionales sublineales sobre un espacio vectorial X. Si α >

0 ∧ β > 0. Pruebe que p := αp1 + βp2 es un funcional sublineal sobre X

Let X is vectorial spaceR

p:X→R (funcional operator)
p is sublinel ↔ ∀x, y ∈ X : (p(x + y) ≤ p(x) + p(y))
+
∀α ∈ R , ∀x ∈ X : (p(αx) = αp(x))

15
 Demostraremos que p es sublineal:

Let x, y ∈ X
in αp1 (x + y) ≤ αp1 (x) + αp1 (y)
βp2 (x + y) ≤ βp2 (x) + βp2 (y)
αp1 (x + y) + βp2 (x + y) ≤ αp1 (x) + αp1 (y) + βp2 (x) + βp2 (y)
p(x + y) ≤ p(x) + p(y)
Let x∈X
δ ∈ Rx (δ > 0)
in p(δx) = αp1 (δx) + βp2 (δx)
= αδp1 (x) + βδp2 (x)
= δ(αp1 (x) + βp2 (x))
= δp(x)

∴ p := αp1 + βp2 es un sublineal.

5. Sea δ > 0 fijo. Si p es un funcional sublineal sobre un espacio vectorial X.
Pruebe que el conjunto M = {x; p(x) ≤ δ} es un conjunto convexo

(Definición)
x1 , x2 ∈ M =⇒ A = {z ∈ X : z = tx1 + (1 − t)x2 , 0 ≤ t ≤ 1} ⊂ M =⇒ M
es convexo.

Sean x, y ∈ M =⇒ p(x) ≤ δ, p(y) ≤ δ, t ∈ [0, 1] y z = tx + (1 − t)y

=⇒ p(z) = p(tx + (1 − t)y) ≤ tp(x) + (1 − t)p(y) ≤ tδ + (1 − t)δ = δ

=⇒ p(z) ≤ δ
=⇒ A = {z ∈ X : z = tx + (1 − t)y, t ∈ [0, 1]} ⊂ M
=⇒ M es convexo.

16