´ EVALUACION No 1

An´ alisis Funcional - II Profesor: R. Mahadevan i. Sea 1 < p < ∞ y q el exponente conjugado dado por la relaci´ on pq = p + q . Sea (Ω, S , µ) un espacio de medida. a ) Sea g ∈ Lq (Ω, S , µ). Demuestre que Lg (f ) =

f g dµ para f ∈ Lp (Ω, S , µ)

define una funcional lineal continua sobre Lp (Ω, S , µ). (10 puntos) p ´ Solucion: Por la desigualdad de H¨ older, si f ∈ L (Ω, S , µ) y g ∈ Lq (Ω, S , µ), 1 entonces f g ∈ L (Ω, S , µ) y |f g | dµ ≤ f
Ω p

g

q

(1)

Luego, si f1 , f2 ∈ Lp (Ω, S , µ), entonces f1 g, f2 g ∈ L1 (Ω, S , µ) y por las propiedades de integral (f1 + f2 )g dµ =
Ω Ω

(f1 g + f2 g ) dµ =

f1 g dµ +

f2 g dµ .

Dado f ∈ Lp (Ω, S , µ), sigue que c f ∈ Lp (Ω, S , µ) para cualquier escalar c, y luego c f g ∈ L1 (Ω, S , µ) y por las propiedades de integral cf g dµ = c
Ω Ω

f g dµ .

Quedo establecido entonces que Lg es una funcional lineal sobre Lp (Ω, S , µ). Finalmente, se concluye de (1), que Lg es continua y que Lg ≤ g
q

(2)
Lq (Ω,S ,µ) .

b ) Demuestre que la norma de la funcional Lg es igual a g ´ n: Como podemos ver Solucio | |g |q−2 g |p = |g |pq−p = |g |q . Luego, |g |q−2 g Esto da |g |q−2 g
p p p

(10 puntos)

=

| |g |q−2 g |p dµ =
Ω q/p q

|g |q dµ = g

q q

.

= g

= g

q −1 q

(3)

Dado que g ∈ Lq (Ω, S , µ), la relaci´ on (3) implica que, |g |q−2 q ∈ Lp (Ω, S , µ). Luego Lg (|g |q−2 g ) =

g |g |q−2 g dµ =

|g |q dµ = g

q q

= g (4)

q

g

q −1 q

= g

q

|g |q−2 g

p

y tenemos que Lg ≥ g q De (2) y (4) podemos concluir que Lg = g q .

Date : 23 de Mayo, 2013.
1

Pero Exn = xn para cada n. Sea (X. es decir. tenemos que f ∈ X ∗ . si se tiene que f es continua para la topolog´ ıa T . que las normas Exn estan acotadas. y como Td ⊂ T . a ) Demuestre que Td ⊂ T . por definici´ on. Luego. Esto permite concluir. x2 ∈ X . se concluye que f es continua para la topolog´ ıa Td . (10 puntos) ´ n: Por la definici´ Solucio on de la topolog´ ıa d´ ebil Td . Por tanto. Demuestre utilizando el teorema de BanachSteinhaus que supn∈N xn < ∞ . que en cada punto x∗ ∈ X ∗ es acotada. sigue que f es continua para la topolog´ ıa T . ∗ ∗ ´ n: Dado x ∈ X y x∗ Solucio 1 . Td es la menor topolog´ ıa sobre X con respecto a la cual que cada x∗ ∈ X ∗ es continua. para cada x ∈ X existe M (x ) > 0 tal que |Exn (x∗ ) = |x∗ (xn )| ≤ M (x∗ ) para todo n ∈ N . por el Teorema de Baire. Por la definici´ on. La topolog´ ıa d´ ebil Td sobre X esta definida como la menor topolog´ ıa sobre X para la cual cada miembro de X ∗ es continua con respecto a Td . concluyemos que sup xn < ∞. Ahora. cada x∗ ∈ X ∗ es continua para la topolog´ ıa T inducida por la norma · . Sea (X. b ) Para cada x ∈ X demuestre que la funcional Ex definido por Ex (x∗ ) = x∗ (x) para todo x∗ ∈ X ∗ es una funcional lineal continua sobre X ∗ .ii. Como. por la definici´ on de Td y dado que f ∈ X ∗ . esto es la menor topolog´ ıa sobre X que hace que cada x∗ ∈ X ∗ es continua. Dado que x∗ (xn ) → x∗ (x) para cada x∗ . se concluye que Td ⊂ T . (5 puntos) ´ n: Sabemos que el dual X ∗ es completo. c ) Sea xn una sucesi´ on en X tal que xn converge debilmente a un x ∈ X . (10 puntos) ´ n: Sea f una funcional lineal sobre X . (8 puntos) ´ n: Por la parte (b). Luego tenemos una famil´ ıa de funciones continuas lineales {Exn }n∈N sobre el espacio ∗ de Banach X . a ) Demuestre que el espacio dual X ∗ es un espacio de Baire. tenemos que ∗ ∗ ∗ ∗ ∗ ∗ ∗ Ex (cx∗ 1 + dx2 ) = (cx1 + x2 )(x) = cx1 (x) + dx2 (x) = cEx (x1 ) + dEx (x2 ) (7 puntos) para cualquier escalar c y d. Exn es una funcional lineal continua sobre X ∗ para Solucio cada n ∈ N. por el teorema de Banach-Steinhaus. x∗ (xn ) → x∗ (x) para todo x∗ ∈ X ∗ . |Ex (x∗ )| = |x∗ (x)| ≤ x∗ que demuestra que Ex es continua y Ex ≤ x . · ) un espacio vectorial(real) normado. Solucio X ∗ siendo un espacio m´ etrico completo es un espacio de Baire. b ) Demuestre que una funcional lineal sobre X es continua para la topolog´ ıa d´ ebil Td ssi f es continua para la topolog´ ıa T . iii. n∈N x para todo x∗ ∈ X ∗ Tiempo: 110 minutos 2 . Luego. Por X ∗ notemos el espacio de funcionales lineales continuas sobre X . · ) un espacio vectorial normado y notemos la topolog´ ıa definida por la norma por T . Ahora. Solucio Si esta funcional es continua para la topolog´ ıa d´ ebil Td . es decir. se tiene que la sucesi´ on ∗ ∗ ∗ ∗ {|x (xn )|}n∈N es acotada. Esto demuestra la linealidad.