Você está na página 1de 7

Taller 3, Análisis Funcional

Kevin Steven Carrillo Reina

3 de octubre de 2018

c Problema 1.
Mostrar que un espacio de Banach no puede tener una base infinita contable.
Luego, deducir que el espacio P de todos los polinomios de una variable, dotado
de alguna norma, no pueden ser completo.

Demostración: Supongamos que (E, k k) es un espacio normado. Ahora bien,


supóngase que B = {vn ∈ E : n ≥ 1} es una base infinita contable de E.
Sea Bn := {v1 , · · · , vn }. Luego consideremos los subespacios de E

Vn := hBn i (espacio generado por Bn ).

Ahora bien, Vn es cerrado en E por ser Vn de dimensión finita.


Veamos que Vno = ∅. En efecto, si x ∈ Vn , entonces x = α1 v1 + · · · + αn vn .
Luego, si r > 0, al tomar B(x, r) y el elemento z = α1 v1 + · · · + αn vn + vn+1
con  > 0, notemos que

kx − zk =  kvn+1 k < r para  suficientemente pequeño.

Por tanto
Vno = ∅.
Así pues, por el teorema de Baire, se obtiene que
 o
[
 Vn  = ∅.
n≥1

Sin embargo, cualquier elemento de E está en alguno de los subespacio Vn ,


teniendo así una contradicción. z

¦¦¦¦¦

1
c Problema 2.

k Ítem 2.1.
Sea {an } una sucesión de números reales tal que, para cualquier sucesión {xn }
que converja a 0 se cumple que
X
an xn converge.
n≥1
P
Entonces, n≥1 an converge absolutamente.

Demostración: Primero vamos a dotar al conjunto


 
(n→∞)
c0 := {xn }n : xn −−−−−→ 0 .

de una estructura de espacio de Banach. Para ello, consideramos la aplicación

k{xn }k = sup |xn | ,


n≥1

la cual induce una norma sobre E.


Ahora bien, sea {`n } una sucesión de elementos en c0 tal que es de Cauchy.
Así pues, dado  > 0, existe N > 0 tal que

k`n − `m k <  para n, m ≥ N.

Por tanto, |`n (k) − `m (k)| <  para todo k ≥ 1 y todo n, m ≥ N . Luego, como
R es completo, si k es fijo, entonces la sucesión {`n (k)}n converge a un valor
`(k) cuando n → ∞.
De nuevo, aprovechando que {`n } es de Cauchy, entonces dado  > 0

|`n (k) − `m (k)| <  para n, m ≥ N y para todo k ≥ 1.

Así,
|`n (k)| <  + |`N (k)| .
Por tanto, como

|`n (k)| <  + |`N (k)| para todo n ≥ N,

entonces
|`(k)| <  + |`N (k)| ,

2
teniendo que, cuando k ≥ M , para algún M > 0, se cumple que
|`(k)| < 2.
Así pues, (c0 , k k) es un espacio de Banach.
Para demostrar directamente el resultado, usaremos el teorema de Banach-
Steinhaus.
Sean
n
X
Tn : c0 → R; Tn ({xk }) 7→ xn an .
k=1
Notemos que Tn es continua, pues

Xn X n n
X
|Tn ({xk })| = ak xk ≤ |ak xk | ≤ k{xk }k |ak | .


k=1 k=1 k=1
lo cual implica, por el teorema de las cinco equivalencias acerca de la continui-
dad de transformaciones lineales, que Tn es continua.
Ahora bien, al fijar {xk } en c0 , notemos que
sup |Tn ({xn })| < ∞.
n≥1

En efecto,

X
Tn ({xn }) → xn an ,
k=1
por definición de Tn . Luego, usando el teorema de Banach-Steinhaus, se obtiene
que
kTn kc∗ < M para algún M > 0.
0

Si ahora se toman sucesiones


(
sgn ak para k ≤ N
fN (k) = ,
0 k>N
y se tiene en cuenta que kfN kc∗ = 1 para todo N ≥ 1, se obtiene que
0

N
X
|ak | < M para todo N ≥ 1,
k=1
luego,

X
|ak | < ∞.
k=1
z

3
k Ítem 2.2.
Sea 1 < p < ∞. Sea {an } una sucesión de números reales tal que para todo
x = (xn ) ∈ `p , la serie

X
an xn es convergente.
n=1

Mostrar que {an } ∈ `p∗

Demostración: Notemos que, por ser 1 < p, se obtiene que 1 < p∗ . Ahora
bien, si {xn } ∈ `p , entonces |xn |p → 0 cuando n → 0, de lo cual se concluye que
xn → 0 cuando n → 0. Por tanto, de la prueba del ítem anterior se concluye
también que
X∞
|an | < ∞,
k=1
debido a que la fN está en `p .
Sea 0 <  < 1, luego existe N > 0 tal que, si n ≥ N , entonces

|an | <  para todo n ≥ N.

Luego,

|an |p < |an | para todo n ≥ N,
de lo cual se concluye

X ∗
|an |p < ∞.
k=1

¦¦¦¦¦

c Problema 3.
Mostrar que `p es separable, donde 1 < p < ∞.

Demostración: Recordemos que Qn es un conjunto contable. Por lo tanto,


el conjunto

Sn := {{xk } : xk ∈ Q para todo 1 ≤ k ≤ n; xk = 0 para todo k > n} .

Por lo tanto, el conjunto [


S= Sn
n≥1

4
de todas las sucesiones que eventualmente son cero es un conjunto contable.
Así pues como S ⊆ `p , queremos ver que S es denso en `p .
Para ello, supongamos {xn } ∈ `p . Ahora, consideremos sucesiones
(m→∞)
rm,n −−−−−→ xn donde rm,n ∈ Q para todo m, n ≥ 1,

fijas, que cumplen


 1/p
1
|rm,n − xn | < .
2n+m
Así pues, definimos la siguiente familia de sucesiones, a partir de la anterior.
(
rm,n n ≤ m
`m (n) :=
0 n>m

Por lo tanto, notemos que



X m
X ∞
X
p p
|xn − `m (n)| = |xn − rm,n | + |xn |p para todo m ≥ 1;
n=1 n=1 n=m+1

luego, como X
|xn |p < ∞ y |xn |p ≥ 0 para todo n ≥ 1,
n≥1

entonces para  > 0 dado, existe un entero N > 0 tal que



X 
|xn |p < .
2
n=N +1

Por otra parte, existe M tal que


M M ∞
X p
X 1 X 1 
|xn − rM,n | < < < ,
2M +n 2n 2
n=1 n=1 n=M +1

por ser
X 1
<∞
2n
n≥0

. Así pues, al tomar máx {M, N } = K, se obtiene que



X K
X ∞
X
p p
|xn − `K (n)| = |xn − rK,n | + |xn |p < .
n=1 n=1 n=K+1

5
¦¦¦¦¦

c Problema 4.
Sea 1 < p < ∞. Probar que `p es reflexivo.

Demostración: Sea f ∈ `∗p . Sea fi = f (ei ), donde ei es la sucesión cuya


i−ésima entrada es 1 y todas las otras son cero. Así pues, consideramos la
sucesión {fi }.
Sea n un entero positvo. Al definir la sucesión

0,

 si 1 ≤ i ≤ n y fi = 0

xi = |fi |p /fi , si 1 ≤ i ≤ n y fi 6= 0


0, si i > n.

Así, como {xi } tiene finitos términos distintos de cero, entonces x ∈ `p y


x = ni=1 xi ei , se cumple
P

n n
X X ∗
f (x) = xi fi = |fi |p .
i=1 i=1

Luego, por continuidad de f

n n ∗
!p !1/p
X p∗
X |fi |p
|fi | ≤ kf k kxkp = kf k =
|fi |
i=1 i=1
n 
!1/p n 
!1/p
p 
p∗ −1 p∗
X X
kf k |fi | = kf k |fi | ,
i=1 i=1

de lo cual se concluye, al pasar a dividir, que

n
!1/p∗
p∗
X
|fi | ≤ kf k .
i=1

Por lo tanto, como n fue arbitrario, se deduce que {fi } ∈ `p y que k{fi }kp∗ ≤
kf k.
Por otra parte, como
n
X
xi ei → x cuando n → ∞ siempre que x ∈ `p ,
i=1

6
entonces la continuidad de f implica que

X
f (x) = xi fi .
i=1

Ahora bien, consideremos lo siguiente.


Sea 1 ≤ p ≤ ∞ y sea p∗ su conjugado exponencial. Para x ∈ `p e y ∈ `p∗ se
define

X
fy (x) = xi yi .
i=1

Luego, por la desigualdad de Hölder, tenemos que



X
|fy (x)| ≤ |xi yi | ≤ kxkp kykp∗ ,
i=1

por lo cual fy es lineal continua sobre `p y

kfy k ≤ kykp∗ .

Por tanto, como f tiene el aspecto anterior y se cumple que

k{fi }kp∗ ≤ kf k ≤ k{fi }kp∗ ,


entonces

`∗p = `p∗ , en el sentido que topológicamente se pueden identificar

Luego, de forma similar,


`∗p∗ = `p .
De lo anterior, se concluye que `∗∗
p = `p .

Você também pode gostar