Teoremas de tipo Krein-Milman y retracciones en espacios de Banach
Teoremas de tipo Krein-Milman y retracciones en espacios de Banach
Teoremas de tipo Krein-Milman y retracciones en espacios de Banach
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Sección 1.2. <strong>Teoremas</strong> <strong>de</strong> repres<strong>en</strong>tación por medias <strong>de</strong> longitud dos 9<br />
En [20, Theorem 14.25] se prueba que un espacio topológico T es un F -<br />
espacio si, y sólo si, dada una función continua f : T → R existe una función<br />
continua g : T → R tal que<br />
f(t) =|f(t)|g(t), para todo t ∈ T.<br />
Es claro que |g(t)| =1, para todo t tal que f(t) 6= 0. Si exigimos |g(t)| =1,<br />
para todo t ∈ T, aparece la <strong>de</strong>nominada <strong>de</strong>scomposición polar <strong>de</strong> f. En<br />
g<strong>en</strong>eral, dado un espacio topológico T y un espacio normado X, se dice que<br />
C(T,X) ti<strong>en</strong>e <strong>de</strong>scomposición polar si para cada f ∈ C(T,X) existe una<br />
función continua e, <strong>de</strong> T <strong>en</strong> SX, tal que<br />
f(t) =||f(t)||e(t), para todo t ∈ T.<br />
La sigui<strong>en</strong>te observación nos será <strong>de</strong> utilidad más a<strong>de</strong>lante:<br />
Lema 1.4 Sea T un espacio topológico y X un espacio normado tales que<br />
C(T,X) ti<strong>en</strong>e <strong>de</strong>scomposición polar. Entonces T es un F -espacio.<br />
Demostración:<br />
Sea f : T → R unafuncióncontinuayfijemos un punto x ∈ SX. Consi<strong>de</strong>remos<br />
la aplicación h : T → X <strong>de</strong>finida por<br />
h(t) = f(t)<br />
1+|f(t)|<br />
x, para todo t ∈ T.<br />
Evi<strong>de</strong>ntem<strong>en</strong>te h ∈ C(T,X) y por hipótesis existe e : T → SX continua tal<br />
que<br />
h(t) =||h(t)||e(t), para todo t ∈ T.<br />
Sea x ∗ ∈ SX ∗ tal que x∗ (x) =1.Entonces<br />
es <strong>de</strong>cir,<br />
x ∗ (h(t)) = ||h(t)||x ∗ (e(t)), para todo t ∈ T,<br />
f(t)<br />
1+|f(t)|<br />
= |f(t)|<br />
1+|f(t)| x∗ (e(t)), para todo t ∈ T.