Escolar Documentos
Profissional Documentos
Cultura Documentos
Trabajo Dirigido 2
Espacios Normados. Espacios de Banach
Departamento de Matemática
Facultad de Ciencias
a. k x k1 = | x1 | + | x2 |,
b. k x k2 = ( x12 + x22 )1/2 ,
c. k x k∞ = máx{| x1 |, | x2 |}.
Ejercicio 4. Sea a < b dos números reales. Definimos el conjunto de las funciones continuas en el inter-
valo cerrado [ a, b], como
n o
C([ a, b]) = x : [ a, b] → R x es una función continua en [ a, b] .
Probar que
a. la norma dada por k x k = máx | x (t)|, define en C([ a, b]) un espacio de Banach,
t∈[ a,b]
Z b
1/2
b. la norma dada por k x k L2 = x (t)2 dt , define en C([ a, b]) un espacio normado.
a
2017 ℵ1/2
Análisis Funcional
Ejercicio 6. Probar que el espacio c0 formado por las sucesiones de números reales que convergen a 0,
con la norma dada por k x k∞ = sup | xk |, (donde x = ( xk )k∈N∗ ∈ c0 , es decir xk −→ 0)
k ∈N∗
a. es un subespacio cerrado de l ∞ ,
b. es un espacio de Banach.
Ejercicio 7. En l ∞ , sea Y el subconjunto de todas las sucesiones con solo una cantidad finita de términos
no nulos. Probar que Y
a. es un subespacio vectorial de l ∞ ,
b. no es un conjunto cerrado de l ∞ , con la norma k · k∞ vista en la pregunta anterior.
a. la convergencia absoluta de una serie no implica la convergencia de la serie, es decir, probar que si
∞ ∞
existe s ∈ R tal que ∑ k xk k −→ s, no implica que exista y ∈ X tal que ∑ xk −→ y,
k =1 k =1
[Ayuda: Considerar Y en el Ejercicio 7 y a yn = (ykn ) tal que ynn = 1/n2 y ykn = 0 para todo k 6= n.]
b. si X es un espacio normado, entonces la convergencia absoluta de cualquier serie siempre implica
la convergencia de la serie, verificar que X es un espacio de Banach,
c. en un espacio de Banach, una serie absolutamente convergente, es convergente.
Ejercicio 10. El concepto de convergencia de series puede ser usado para definir una "base” como sigue.
Si un espacio normado ( X, k · k) contiene una sucesión (en )n∈N∗ con la propiedad que para todo x ∈ X
existe una única sucesión de escalares (αn )n∈N∗ tal que
k x − (α1 e1 + · · · + αn en )k −→ 0 (cuando n −→ ∞)
∞
entonces (en )n∈N∗ se denomina Base de Schauder para X. La serie ∑ αk ek que tiene por suma a x es
k =1
∞
entonces llamada la expansión de x respecto a (en )n∈N∗ , y escribimos x = ∑ α k ek .
k =1
a. Probar que si un espacio normado tiene una base de Schauder, este es separable.
b. Mostrar que (en )n∈N∗ , donde en = δnk , es una base de Schauder para l p , donde 1 ≤ p < +∞.
2017 ℵ2/2
Análisis Funcional
Ejercicio 11. Sea E = C1 ([−1, 1]) el espacio vectorial de funciones reales continuamente derivables sobre
[−1, 1]. Sobre E definimos la siguiente norma k f k∞ = supx∈[−1,1] | f ( x )|.
q
1
Sugerencia: considere la siguiente sucesión f n ( x ) = x2 + n2
.
Ejercicio 12. Sea w : R →]0, +∞[ una función continua dada. Sea Ew = { f : R → C, t.q supx∈R+ w( x )| f ( x )| <
+∞}. Sobre Ew definimos la siguiente norma k f kw = supx∈R+ w( x )| f ( x )|
d. Sea Hw el sub-espacio vectorial de Gw constituido por funciones de límite nulo al infinito. Mostrar
que Hw es un sub-espacio vectorial cerrado de Gw .
2017 ℵ3/2