14.06.2013 Views

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

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.

Espacios Hausdorff ó T2-espacios.<br />

Un e.t. X se dice T2-espacio ó que es Hausdorff si para todo par <strong>de</strong> puntos<br />

distintos existen abiertos disjuntos que los contienen (es <strong>de</strong>cir, para todo x = y<br />

en X, existen U, V ∈ τ t.q. x ∈ U, y ∈ V , U ∩ V = ∅).<br />

Es claro que todo T2-espacio es un T1-espacio. Un conjunto <strong>de</strong> cardinal infinito<br />

X con la topología cofinita es T1 pero no T2. La propiedad <strong>de</strong> ser un Tk-espacio<br />

(k = 0, 1, 2) es hereditaria: subespacios <strong>de</strong> un Tk-espacio son Tk-espacios.<br />

4.2 Proposición Son equivalentes las siguientes afirmaciones:<br />

(1) X es Hausdorff.<br />

(2) Sea x ∈ X, para todo y = x existe U ∈ τ t.q. x ∈ U, y /∈ U.<br />

(3) Para todo x ∈ X, {U|U ∈ τ, x ∈ U} = {x}.<br />

(4) La diagonal ∆ = {(x, x)|x ∈ X} es cerrado en X × X.<br />

Dem. Sea x = y y suponer que X es Hausdorff, entonces existen U, V ∈ τ t.q.<br />

x ∈ U, y ∈ V , U ∩ V = ∅, en particular y ∈ Int(X − U) = X − U. Que (2)<br />

implica (3) es inmediato. Notar que U ∩ V = ∅ sí y sólo si U × V ∩ ∆ = ∅.<br />

Sea (x, y) ∈ X × X − ∆ y supongamos que existe U entorno abierto <strong>de</strong><br />

x t.q. y ∈ X − U, entonces (x, y) ∈ U × (X − U) ⊂ X × X − ∆, luego<br />

X ×X −∆ es abierto y por tanto ∆ es cerrado. Finalmente, si ∆ es cerrado su<br />

complementario es abierto, entonces dados x = y existirán abiertos U, V t.q.<br />

(x, y) ∈ U × V ⊂ X × X − ∆, por tanto U × V ∩ ∆ = ∅ ó equivalentemente<br />

U ∩ V = ∅ y se sigue que X es Hausdorff.<br />

Ejercicio 15 Sea X un espacio Hausdorff y F = {x1, ....xn} un conjunto<br />

finito. Probar que existen entornos Ui <strong>de</strong> xi, 1 ≤ i ≤ n, disjuntos dos a dos.<br />

4.3 Proposición Sea Y Hausdorff y f, g : X −→ Y continuas, entonces<br />

C = {x ∈ X|f(x) = g(x)} es cerrado en X. En particular, si D es <strong>de</strong>nso en<br />

X y f|D = g|D entonces se sigue que f = g.<br />

Dem. Veamos que X −C es abierto. Si x ∈ X −C entonces f(x) = g(x) y como<br />

Y es Hausdorff existirán U, V abiertos t.q. f(x) ∈ U, g(x) ∈ V y U ∩ V = ∅.<br />

Como f y g continuas se sigue que f −1 (U) ∩ g −1 (V ) abierto y es claro que<br />

x ∈ f −1 (U) ∩ g −1 (V ) ⊂ X − C (en efecto, si z ∈ f −1 (U) ∩ g −1 (V ) entonces<br />

f(z) = g(z), ya que f(z) ∈ U, g(z) ∈ V y U ∩ V = ∅, luego z ∈ X − C). Sea<br />

D <strong>de</strong>nso en X y f|D = g|D entonces D ⊂ C y X = D, como C es cerrado se<br />

sigue que X = C, es <strong>de</strong>cir f(x) = g(x) para todo x ∈ X y por tanto f = g.<br />

Ejercicio 16 Diremos que un A ⊂ X es un retracto <strong>de</strong> X si existe r : X −→ A<br />

continua t.q. ri = 1A, siendo i : A −→ X la inclusión. Probar que A es<br />

un retracto <strong>de</strong> X si y sólo si para todo espacio Y , toda aplicación continua<br />

f : A −→ Y se extien<strong>de</strong> a X, es <strong>de</strong>cir existe g : X −→ Y continua t.q. gi = f.<br />

10

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

Saved successfully!

Ooh no, something went wrong!