16. Espaos de Hausdor c 16.1. Denio.

Diremos que um espao topolgico X um espao T0 se ca c o e c dados dois pontos distintos em X, existe uma vizinhana de um deles que no c a contm o outro. e 16.2. Exemplos. (a) Cada espao topolgico discreto um espao T0 . c o e c (b) Seja X um espao topolgico trivial, com pelo menos dois pontos. Ento c o a X no um espao T0 . a e c 16.3. Proposio. Um espao topolgico X um espao T0 se e s se, ca c o e c o dados a, b X, com a = b, tem-se que {a} = {b}. Demonstrao. () Seja X um espao T0 , e sejam a, b X, a = b. Se ca c / existir U Ua tal que b U , ento a {a}, mas a {b}. Se existir V Ub tal / a que a V , ento b {b}, mas b {a}. Em ambos casos {a} = {b}. / a / () Suponhamos que X no seja um espao T0 . Ento existem a, b X, a c a com a = b, tais que b U para cada U Ua , e a V para cada V Ub . Logo a {b} e b {a}. Segue que {a} = {b}. 16.4. Denio. Diremos que um espao topolgico X um espao T1 se ca c o e c dados dois pontos distintos em X, existe uma vizinhana de cada um deles que c no contm o outro. a e E claro que cada espao T1 um espao T0 . c e c 16.5. Exemplos. (a) Cada espao topolgico discreto um espao T1 . c o e c (b) O espao de Sierpinski um espao T0 , mas no um espao T1 . c e c a e c 16.6. Proposio. Um espao topolgico X um espao T1 se e s se cada ca c o e c o subconjunto unitrio de X fechado. a e Demonstrao. () Seja X um espao T1 , e seja a X. Para cada b X, ca c com b = a, existe V Ub tal que a V . Segue que X \ {a} aberto, ou seja / e {a} fechado. e () Suponhamos que {a} seja fechado para cada a X. Dados a, b X, com a = b, sejam U = X \ {b} e V = X \ {a}. Ento U e V so abertos, a U , a a b U, b V , a V . / / 16.7. Denio. Diremos que um espao topolgico X um espao de ca c o e c Hausdor ou um espao T2 se dados a, b X, com a = b, existem U Ua e c V Ub , com U V = . E claro que cada espao T2 um espao T1 . c e c 16.8. Exemplos. (a) Cada espao topolgico discreto um espao de Hausdor. c o e c (b) Cada espao mtrico um espao de Hausdor. c e e c

47

(c) Seja X um conjunto innito, com a topologia conita. Ento X um a e espao T1 , mas no um espao T2 . Deixamos a demonstrao como exerc c a e c ca cio. 16.9. Proposio. Para um espao topolgico X as seguintes condies ca c o co so equivalentes: a (a) X Hausdor. e (b) Cada rede convergente em X tem um limite unico. (c) Cada ltro convergente em X tem um limite unico. Demonstrao. (a) (b): Suponhamos que X seja Hausdor, e seja ca (x ) uma rede em X que converge a x e a y, com x = y. Sejam U Ux e V Uy , com U V = . Como x x, existe 1 tal que x U para todo 1 . Como x y, existe 2 tal que x V para todo 2 . Seja tal que 1 e 2 . Ento x U V , contradio. a ca (b) (a): Suponhamos que X no seja Hausdor. Ento existem x, y X, a a com x = y, tais que U V = para todo U Ux e V Uy . Seja xU V U V para cada U Ux e V Uy . Segue que (xU V )(U,V )Ux Uy uma rede em X e que converge a x e a y, com x = y. (a) (c): Suponhamos que X seja Hausdor, e seja F um ltro em X que converge a x e a y, com x = y. Sejam U Ux e V Uy , com U V = . Como F x, tem-se que U Ux F. Como F y, tem-se que V Uy F. Logo U V F, absurdo, pois U V = . (c) (a): Suponhamos que X no seja Hausdor. Ento existem x, y X, a a com x = y, tais que U V = para todo U Ux e V Uy . Seja B = {U V : U Ux , V Uy }. E claro que B uma base de ltro em X. Seja F o ltro gerado por B. E claro e que Ux F e Uy F. Logo F converge a x e a y, com x = y. 16.10. Proposio. Cada subespao de um espao de Hausdor um ca c c e espao de Hausdor. c Demonstrao. Seja X um espao de Hausdor, e seja S um subespao ca c c de X. Sejam a, b S, com a = b. Como X Hausdor, existem abertos U1 e e V1 em X tais que a U1 , b V1 e U1 V1 = . Sejam U = S U1 e V = S V1 . Ento U e V so abertos em S, a U , b V e U V = . a a 16.11. Proposio. Seja {Xi : i I} uma fam no vazia de espaos ca lia a c topolgicos no vazios. Ento o produto X = iI Xi Hausdor se e s se o a a e o cada Xi Hausdor. e Demonstrao. () Esta implicao segue da Proposio 16.10 e do ca ca ca Exerc 10.C. cio () Suponhamos que cada Xi seja Hausdor, e sejam a, b X, com a = b. Escrevamos a = (ai )iI , b = (bi )iI . Como a = b, existe i I tal que ai = bi . Como Xi Hausdor, existem abertos Ui e Vi em Xi tais que ai Ui , bi Vi e e

48

1 1 Ui Vi = . Sejam U = i (Ui ) e V = i (Vi ). Ento U e V so abertos em a a X, a U , b V e U V = .

16.12. Proposio. Sejam X e Y espaos topolgicos, com Y Hausdor. ca c o Sejam f e g duas funes cont co nuas de X em Y tais que f (x) = g(x) para todo x num subconjunto denso D X. Ento f (x) = g(x) para todo x X. a Demonstrao. Como X = D, para cada x X, existe uma rede (xi )iI ca D tal que xi x. Como f e g so cont a nuas, segue que f (xi ) f (x) e g(xi ) g(x). Como f (xi ) = g(xi ) para todo i I, e Y Hausdor, a Proposio 16.9 e ca garante que f (x) = g(x). Exerc cios 16.A. Seja X = N, com a topologia do Exerc cio 4.F. Prove que X um e espao T0 , mas no um espao T1 . c a e c 16.B. Prove que cada subespao de um espao T0 (resp. T1 ) um espao c c e c T0 (resp. T1 ). 16.C. Seja {Xi : i I} uma fam no vazia de espaos topolgicos no lia a c o a vazios. Prove que o produto X = iI Xi um espao T0 (resp. T1 ) se e s se e c o cada Xi um espao T0 (resp. T1 ). e c 16.D. Sejam X e Y espaos topolgicos, e seja f : X Y uma aplicao c o ca sobrejetiva e fechada. Prove que se X um espao T1 , ento Y tambm um e c a e e espao T1 . c 16.E. Seja X um conjunto innito, com a topologia conita. Prove que X um espao T1 , mas no um espao T2 . e c a e c 16.F. Seja X um espao de Hausdor. Dados n pontos distintos x1 , ..., xn c X, prove que existem n abertos disjuntos U1 , ..., Un X tais que xj Uj para j = 1, ..., n. 16.G. Seja X um espao topolgico. c o (a) Prove que X um espao T1 se e s se, para cada a X tem-se que e c o {U : U Ua } = {a}. (b) Prove que X um espao T2 se e s se, para cada a X tem-se que e c o {U : U Ua } = {a}. 16.H. Prove que um espao topolgico X Hausdor se e s se o conjunto c o e o D = {(x, x) : x X} fechado em X X. e 16.I. Sejam X e Y espaos topolgicos, com Y Hausdor. Sejam f e g duas c o funes cont co nuas de X em Y . (a) Prove que o conjunto {x X : f (x) = g(x)} fechado em X. e (b) Use (a) para dar outra demonstrao da Proposio 16.12. ca ca

49