MAT 227- Análisis III U NIVERSIDAD T ÉCNICA F EDERICO S ANTA M AR ÍA

Profesor: Julio Deride D EPARTAMENTO DE M ATEM ÁTICA

Ayudante: Fernanda Urrea Semestre: OTO ÑO 2022

Ayudantı́a 8
Espacios uniformemente convexos, Eberlein Šmulian

Problema 1
Sea (E, ∥ · ∥E ) un espacio de Banach real uniformemente convexo y sea C ⊆ E un conjunto convexo
cerrado no vacı́o.

a) Demuestre por contradicción que para todo r > 0 y ε > 0 existe δ > 0 tal que

x + y 2 1

x, y ∈ BE (0, r) con ∥x − y∥E > ε =⇒ ≤ ∥x∥2 + 1 ∥y∥2 − δ.
2 E E
E 2 2

b) Demuestre para todo x ∈ E existe un único elemento en C, que llamaremos la proyección de x

sobre C y que denotaremos PC (x), tal que

∥x − PC (x)∥E = dist(x,C) := inf ∥x − c∥E .

c∈C

c) Sea x̄ ∈ E fijo y {cn }n∈N ⊆ E una sucesión que verifica que cn ∈ C para todo n ∈ N y es tal que

lim ∥x̄ − cn ∥E = dist(x̄,C)

n→+∞

Demuestre cn → PC (x̄) fuertemente en E cuando n → +∞.

Definición. Diremos que un operador T ∈ L C(E, F) es débilmente compacto si T (BE ) es compacto

débil en σ (F, F∗ ), donde BE = BE (0, 1).

Problema 2
1. Pruebe que el operador S : ℓ1 (R) → ℓ∞ (R), dado por
( )
n
S({tn }n∈N ) = ∑ ti
i=0 n∈N

no es un operador debilmente compacto.

2. Si xn∗ ∈ ℓ∞ (R)∗ está dada por xn∗ (x0 , x1 , x2 , . . . ) = xn para todo (x0 , x1 , x2 , . . . ) ∈ ℓ∞ (R). Pruebe
que ∥xn∗ ∥ℓ∞ (R)∗ = 1 para todo n ∈ N, pero {xn∗ }n∈N no tiene una subsucesión débil-⋆ convergente
en σ(ℓ∞ (R)∗ , ℓ∞ (R)). ¿Qué prueba este resultado?

MAT227 1