TOPOLOGÍA GENERAL II - Universidad de Zaragoza
TOPOLOGÍA GENERAL II - Universidad de Zaragoza
TOPOLOGÍA GENERAL II - Universidad de Zaragoza
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