08.05.2013 Views

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

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!