Universidad de Chile

Facultad de Ciencias
Departamento de Matemáticas

Análisis Abstracto II
Tarea 1
1 de Abril de 2011

Nombres : Camila Muñoz Santander, Rodrigo Donoso San Martı́n.

1. Un subespacio vectorial de dimensión n > 0 en un espacio normado no es un subconjunto

acotado.

Sea E un espacio normado y F un subespacio de E.

Supongamos que F es acotado, es decir, existe R ∈ R+ tal que F ⊂ B(0E , R).
Sea f ∈ F , f 6= 0E ( existe ya que dim(F ) > 0) ⇒ kf k = µ 6= 0K .
Como F < E ⇒ 2R µ
f ∈ Ey

2R 2R
f =
µ kf k = 2R > R.
µ
∴ f 6∈ B(0E , R)
Lo que contradice el supuesto de que F es acotado.

∴ F no es acotado.

2. Se define :
cc (C) = {(ai )i∈N ⊂ C : ∃ N ∈ N : ai = 0 ∀ i > N }
Demuestre que cc (C) es denso en lp para todo p ∈ [1, ∞). ¿ Qué pasa en l∞ ?

Debemos demostrar que dado b = (bi )i∈N ∈ lp , para todo  > 0 ∃ a = (ai )i∈N ∈ cc (C) tal
que ka − bkp < .
Como b ∈ lp , entonces
∞
! p1
X
kbkp = |bi |p <∞,
i=1

y por lo tanto, ∀  > 0 ∃ N ∈ N tal que n ≥ N ⇒

∞
! p1
X
|bi |p <.
i=N

Sea a = (ai )i∈N , definida de la siguiente manera


bi 1 ≤ i < N
ai =
0 i≥N

1
 Entonces ! p1 ! p1
∞
X ∞
X
ka − bkp = |ai − bi |p = |bi |p <
i=1 i=N

∴ cc (C) es denso en lp , p ∈ [1, ∞).

Sin embargo cc (C) no es denso en l∞ .

Considere la sucesión 1 = (1, 1, 1, . . . , 1, . . .) ∈ l∞ y sea a una sucesión arbitraria en
cc (C), es decir, existe Na tal que ai = 0 ∀ i > Na . Entonces

||a − 1||∞ = supi ∈ N {|ai − 1|} ≥ supi > N a {|ai − 1|} = 1.

Por lo tanto existen elementos de cc (C) que se encuentran a una distancia fija, no nula,
de cualquier elemento de l∞ .

∴ cc (C) no es denso en l∞ .

3. Enuncie y muestre el análogo para el caso de funciones de valores reales a valores complejos.
El análogo es el siguiente : Definimos

Fc (R, C) = {f : R → C | supp(f ) es compacto}.

Entonces Fc (R, C) es denso en

Lp (R, C) = {f : R → C | kf kp < ∞},

p ∈ [1, ∞). Sea f ∈ Lp , entonces

Z  p1
p
|f | < ∞,
R

es decir, ∀  > 0 existe A ⊂ R tal que

Z  p1
p
|f | < .
Ac

Sea f˜ : R → C definida de la siguiente manera


˜ f (x) x ∈ A
f (x) =
0 x ∈ Ac

Con esta definición es claro que f˜ ∈ Fc (R, C), además

Z  p1 Z  p1
|f − f˜|p = p
|f | < ,
R Ac

∴ Fc (R, C) es denso en Lp (R, C).

Sin embargo Fc (R, C) no es denso en L∞ (R, C).
Considere 1 : R → C tal que 1(x) = 1 ∀ x ∈ R.

2
Es claro que 1 pertenece a L∞ (R, C) ya que k1k∞ = 1 < ∞. Sea fˆ una función en
Fc (R, C) arbitraria, es decir, existe A ⊂ R tal que fˆ(Ac ) = 0, entonces

k1 − fˆk∞ = supx∈R {|1 − fˆ(x)|} ≥ supx∈Ac {|1 − fˆ(x)|} = 1.

Por lo tanto existen elementos de Fc (R, C) que se encuentran a distancia fija, no nula, de
cualquier elemento de L∞ (R, C).

∴ Fc (R, C) no es denso en L∞ (R, C).