Está en la página 1de 32

El Teorema de Metrización de Nagata-Smirnov

Universidad de El Salvador

27 de noviembre de 2020

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 1 / 32


Capítulo 3. Metrización de espacios topológicos

Hemos estudiados los espacios métricos y hemos visto que una métrica so-
bre un conjunto genera una topología en el conjunto. Una pregunta natural
que surge es: ¿Cuáles topologías son generadas por una métrica?. Más pre-
cisamente, ¿Podemos encontrar condiciones expresadas en términos de la
topología (que son, los conjuntos abiertos) que garantizan que existe una
métrica que genera la topología dada?.
Existen muchos buenos resultados sobre esta línea. Los primeros resulta-
dos se deben a Urysohn, los cuales fueron probados en 1923 y 1924. La
pregunta final no había sido respondida, pero había un significativo progre-
so. En particular a principio de 1950, J. Nagata, Y. Smirnov y R.H. Bing
independientemente probaron el teorema general de metrización.

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 2 / 32


3.1 Espacios compactos
Definición 3.1
Una colección A de subconjuntos de un espacio topológico (X , T ) es un
cubrimiento de un subconjunto B de X si se cumple que B ⊂ A∈A A y
S

el cubrimiento A de B es un cubrimiento abierto de B si cada elemento


de A es abierto

Definición 3.2
Un subconjunto A de un espacio topológico (X , T ) es compacto si cada
cubrimiento abierto de A tiene un subcubrimiento finito

Ejemplo
Si X es un conjunto finito y T es cualquier topología en X , entonces
(X , T ) es compacto

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 3 / 32


Teorema 3.1
Cada subconjunto cerrado de un espacio compacto es compacto

Demostración
Sea (X , T ) es espacio compacto, sea A un subconjunto cerrado de X y sea
U un cubrimiento abierto de A. Como A es cerrado, entonces X − A es
abierto. Por lo que V = {X − A} ∪ U es un cubrimiento abierto de X ,
como X es compacto, V tiene un subcubrimiento finito V 0 . Así
{V ∈ V 0 : V ∈ U } es una subcolección finita de U que cubre a A. Por lo
tanto A es compacto

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 4 / 32


Teorema 3.2
Sea (X , T ) un espacio de Hausdorff, sea A un subespacio compacto de X
y sea p ∈ X − A. Entonces existen conjuntos abiertos y disjuntos U y V
tales que A ⊂ U y p ∈ V

Demostración
Como X es Hausdorff cada x ∈ A existen conjuntos disjuntos abiertos Ux
y Vx tales que x ∈ Ux y p ∈ Vx . Entonces U = {Ux : x ∈ A} es un
cubrimiento abierto de A. Como A compacto, existe una subcolección
finita Ux1 , Ux2 , · · · , Uxn de U que cubre A. Para cada i = 1, 2, · · · , n, Uxi
y el correspondiente Vxi son disjuntos. Entonces U = ni=1 Uxi y
S

V = ni=1 Vxi son conjuntos abiertos disjuntos tales que A ⊂ U y p ∈ V


S

Corolario
Cada subconjunto compacto de un espacio de Hausdorff es cerrado

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 5 / 32


Demostración
Sea A un subconjunto compacto de un espacio de Hausdorff (X , T ) y sea
p ∈ X − A. Por el Teorema 3.2, existe un entorno U de p tal que
U ⊂ X − A. Entonces X − A es abierto, así X es cerrado

Teorema 3.3
Sean A y B subconjuntos disjuntos y compactos de un espacio de
Hausdorff (X , T ). Entonces existen conjuntos abiertos U y V tales que
A⊂U yB⊂V

Teorema 3.4
La imagen de un conjunto compacto bajo una función continua es
compacto

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 6 / 32


3.2 Axiomas de separación
Definición 3.3
Diremos que un espacio topológico X satisface el axioma de separación
T0 , o más brevemente que es T0 (denotado por X ∈ T0 ), si para cualquier
par de puntos distintos x , y ∈ X , existe un abierto U en X tal que
|U ∩ {x , y }| = 1. En otras palabras, un espacio es T0 si para cualesquiera
dos puntos distintos x e y , es posible halla un abierto U que o bien
contenga a x y no a y , o que contenga a y pero no a x .

Definición 3.4
Diremos que un espacio topológico X es T1 (y lo denotaremos por
X ∈ T1 ), si para cualquier par de puntos distintos x , y ∈ X , existen
vecindades U y V de x e y respectivamente tales que y ∈ /U yx∈ /V

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 7 / 32


Definición 3.5
Se dice que un espacio topológico X es T2 (y se denota por X ∈ T2 ) si
para cualquier par de puntos x , y distintos, existen dos vecindades U y V
de x e y respectivamente, tales que U ∩ V = ∅

A los espacios T2 también se les conoce como espacios de Hausdorff, en


honor a Felix Hausdorff, quién los introdujo por primera vez.
Definición 3.6
Sea X un espacio topológico. Se dice que X es T3 (y se denota por
X ∈ T3 ) si para cualquier cerrado F ⊂ X y cualquier punto x ∈ X − F
existen dos abiertos disjuntos U y V tales que x ∈ U y F ⊂ X

Definición 3.7
Un espacio topológico X se llama regular si X ∈ T1 ∩ T3

Es importante señalar que algunos autores usan el término T3 para los


espacios regulares.
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 8 / 32
Definición 3.8
Sea (X , T ) un espacio topológico. Se dice que X es T4 (y se denota por
X ∈ T4 ), si para cualesquiera subconjuntos cerrados ajenos F y G, existen
dos abiertos ajenos U y V tales que F ⊂ U y G ⊂ V . Se dice que el
espacio X es normal si X ∈ T1 ∩ T4

Proposición 3.1
Si X es un espacio T3 y Y ⊂ X , entonces Y es un subespacio T3

Demostración
Sean F ⊂ Y ⊂ X un subconjunto cerrado en Y , y x ∈ Y − F . Entonces F
es de la forma F = F 0 ∩ Y donde F 0 es un subconjunto cerrado de X .
Evidentemente, x ∈/ F 0 , por lo que en X existen dos abiertos ajenos, U 0 y
V tales que x ∈ U 0 y F 0 ⊂ V 0 . Definamos U = U 0 ∩ Y y V = V 0 ∩ Y . Se
0

cumple que x ∈ U, F ⊂ V y U ∩ V = ∅. Por lo tanto Y es un espacio T3

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 9 / 32


3.3 Paracompacidad

La noción de paracompacidad fue introducida en 1944 por el matemático


Dieudonné. La clase de los espacios paracompactos, juega un papel funda-
mental en la topología, ya que no sólo generaliza la noción de compacidad,
sino también, la de metrizabilidad
Definición 3.9
Sea X un conjunto y sean U y V cubrimientos de X . Decimos que U es
un refinamiento de V y lo escribimos U < V , si se cumple que para
cada U ∈ U existe V ∈ V tal que U ⊂ V

Definición 3.10
Sea X un conjunto, sea A un subconjunto de X , y sea U un cubrimiento
de X . La estrella de A con respecto a U , denotada por St(A, U ), es
{U ∈ U : A ∩ U 6= ∅}. Si x ∈ X , escribimos St(x , U ) que significa
S

St({x }, U )

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 10 / 32


Definición 3.11
Sean U y V cubrimientos de un conjunto X . Entonces U es un
refinamiento estrella de V , denotado por U ∗ < V , si cumple que para
cada U ∈ U existe V ∈ V tal que St(U, V ) ⊂ V

Definición 3.12
Sean U y V cubrimientos de un conjunto X . Entonces U es un
refinamiento baricéntrico de V , denotado por U ∆V , si se cumple que
{St(x , U ) : x ∈ X } es un refinamiento de V

Definición 3.13
Una colección U de subconjuntos de un espacio topológico (X , T ) es
localmente finita si para cada x ∈ X existe un entorno que sólo
intersecta a un número finito de elementos de U

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 11 / 32


Definición 3.14
Una colección U de subconjuntos de un espacio topológico (X , T ) es
σ-localmente finita si cumple que U = n∈N Un donde cada Un es una
S

colección localmente finita de subconjuntos de X

Definición 3.15
Un espacio paracompacto (X , T ) es un espacio de Hausdorff con la
propiedad de que cada cubrimiento abierto de X tiene un refinamiento
abierto localmente finito
Algunos autores no incluyen la condición de ser Hausdorff en la definición
de paracompacidad. Nosotros sí la incluiremos en esta investigación. En
1950, E. Michael hizo bastante trabajo en la parte de paracompacidad. Es
fácil ver que todos los espacios compactos, son espacios paracompactos. Sin
embargo, la clase de los espacios paracompactos es mucho más amplia.

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 12 / 32


3.4 El Teorema de Metrización de Nagata-Smirnov
Definición 3.16
Una sucesión normal en un espacio topológico (X , T ) es una sucesión
(Un ) de cubrimientos de X tal que para cada n ∈ N, Un+1 es un
refinamiento estrella de Un . Una sucesión normal (Un ) se dice que es
compatible si para cada x ∈ X , {St(x , Un ) : n ∈ N} es una base local en
x . Una cubierta abierta U de (X , T ) es una cubierta normal si existe una
sucesión normal (Un ) en X tal que U = U1

Teorema 3.3
Si un espacio T0 es metrizable entonces tiene una sucesión compatible

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 13 / 32


Demostración
Sea (X , d) un espacio métrico. Para cada n ∈ N, sea
Un = {Bd (x , 1/3n ) : x ∈ X }. Entonces (Un ) es una sucesión de
cubrimientos abiertos de X . Sea n ∈ N y sea U ∈ Un+1 . Entonces existe
x ∈ X tal que U = Bd (x , 1/3n+1 ). Ahora V = Bd (x , 1/3n+1 ) ∈ Un .
Probemos que (Un ) es una sucesión normal en X probando que
St(U, Un+1 ) ⊂ V , sea y ∈ St(U, Un+1 ). Entonces existe W ∈ Un+1 tal
que y ∈ W y U ∩ W 6= ∅. Sea z ∈ U ∩ W . Entonces
1 2 1
d(x , y ) ≤ d(x , z) + d(z, y ) < + = n,
3n+1 3n+1 3
y entonces y ∈ V . Ahora probaremos que (Un ) es una sucesión
compatible, sea x ∈ X y sea V un entorno de x . Entonces existe n ∈ N tal
que Bd (x , 1/3n ). Sea W = St(x , Un+1 ), probaremos que
W ⊂ Bd (x , 1/3n ). Sea y ∈ W , así existe U ∈ Un+1 tal que x , y ∈ U, así
d(x , y ) < 2/3n+1 < 1/3n , y entonces y ∈ Bd (x , 1/3n )

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 14 / 32


Definición 3.17
Un desarollo para un espacio topológico (X , T ) es una sucesión (Un ) de
cubiertas abiertas de X tal que para cada n ∈ N, Un+1 es un refinamiento
de Un y para cada x ∈ X , {St(x , Un ) : n ∈ N} es una base local en x . Un
espacio desarrollable es un espacio topológico que tiene un desarrollo

Definición 3.18
Un subconjunto de un espacio topológico es un Gδ -conjunto si puede ser
expresado como la intersección contable de conjuntos abiertos. Un
subconjunto de un espacio topológico es un Fσ -conjunto si puede ser
expresado como la intersección contable de conjuntos cerrados.

Lema 3.1
Sea A un conjunto normal y A un subconjunto Gδ de X . Entonces existe
una función f : X → [0, 1] tal que A = f −1 (0)

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 15 / 32


Demostración
Como A es Gδ , entonces X − A es Fσ . Entonces existe una familia
numerable de subconjuntos cerrados {Bn } tal que X − A = ∞
S
n=1 Bn .
Consecuentemente, para cada natural n, A y Bn son disjuntos, por lo que
podemos encontrar una función fn : X → [0, 1] tal que

fn (a) = 0, para todo a ∈ A, fn (x ) = 1, para todo x ∈ Bn

Construyamos f : X → [0, 1] de la siguiente manera



X 1
f (x ) = fn (x ), para todo x ∈ X
n=1
2n

Además para todo a ∈ A tenemos que f (a) = 0. Por otro lado si


x ∈ X − A, entonces existe k ∈ N, tal que x ∈ Bk . Consecuentemente,
fk (x ) = 1, y por tanto

1 1
f (x ) ≥ k
fk (x ) = k > 0
2 2
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 16 / 32
Teorema de Metrización de Nagata-Smirnov
Si X es regular y tiene una base σ-localmente finita, entonces X es
metrizable

Demostración
Primero supongamos que X es un espacio regular y que posee una base B,
σ-localmente finita. Entonces B = ∞ n=1 Bn , donde cada Bn es una familia
S

localmente finita. Para cada B ∈ Bn usaremos el lema 3.1 para encontrar


una función fn,B : X → [0, 1/n] tal que

fn,B (x ) > 0, para todo x ∈ B

fn,B (x ) = 0, para todo x ∈ X − B

Afirmación. La familia {fn,B } separa puntos cerrados en X . En efecto, sea


D un subconjunto cerrado en X y x ∈ X − D. Entonces existe un entorno
U de x disjunto de D. Luego podemos encontrar un abierto básico B ∈ B,
tal que x ∈ B ⊂ U. Además existe k ∈ N, tal que B ∈ Bk .
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 17 / 32
Consecuentemente, fk,B (x ) > 0, y fk,B (D) ⊂ fk,B (X − D) = {0}. De aquí
/ f (D). Por lo tanto {fn,B } separa
se sigue inmediatamente, que f (x ) ∈
puntos de cerrados.
Sea J = {(n, B) : n ∈ N, B ∈ Bn }. Entonces definamos una función
F : X → [0, 1]J dada por

F (x ) = {fn,B (x )}(n,B)∈J

donde el conjunto [0, 1]J tiene la topología producto T . Ahora dotemos al


conjunto [0, 1]J con la topología uniforme Tu . Es decir con la topología
inducida por la métrica

d(x , y ) = supj∈J |xj − yj |, donde x = {xj }, y = {yj }

La topología uniforme es más fina que la topología producto, por lo que la


función identidad
Id : ([0, 1]J , T ) → ([0, 1]J , Tu )
es una función abierta.
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 18 / 32
Así la función g : X → ([0, 1]J , Tu ), dada por g(x ) = F (x ) es una función
abierta. Para completar la prueba es suficiente demostrar que g es
continua. Sea x0 ∈ X y ε > 0. Para cada n ∈ N elijamos un entorno Un de
x0 que sólo intersecte a un número finito de elementos de Bn . Sean
Bn1 , · · · , Bnkn dichos elementos. Entonces si B 6= Bni (con i = 1, · · · , kn ),
se cumple que fn,B (x ) = 0, para todo x ∈ Un . Por la continuidad de las
funciones fn,Bni (con i = 1, · · · , kn ) existe un entorno Vn de x0 tal que
|fn,Bni (x ) − fn,Bni (x0 )| < ε/2, para todo x ∈ Vn , i = 1, · · · , kn . Además
podemos suponer sin pérdida de generalidad que Vn ⊂ Un . Sea p ∈ N tal
que 1/p < ε/2. Definamos V por
p
\
V = Vi
i=1

Entonces V es un entorno de x0 . Notemos que para todo x ∈ V ,


d(g(x ), g(x0 )) < ε. En efecto, si n ≤ p, entonces para todo x ∈ V y para
todo B ∈ Bn se tiene que |fn,Bni (x ) − fn,Bni (x0 )| < ε/2
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 19 / 32
Por otro lado si n > p, entonces para cada x ∈ X y para todo B ∈ Bn se
tiene que
|fn,Bni (x ) − fn,Bni (x0 )| ≤ 1/n < 1/p ≤ ε/2
esto último es debido al hecho de que fn,B toma valores en el intervalo
[0, 1/n]. Consecuentemente, podemos concluir que para todo x ∈ V , se
cumple que

d(g(x ), g(x0 )) = sup |fn,Bni (x ) − fn,Bni (x0 )| ≤ ε/2 < ε


(n,B)∈J

Así podemos concluir que g es una función continua y por tanto X es


homeomorfo a un subespacio del espacio métrico ([0, 1]J , Tu ), lo cual
prueba que X es metrizable

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 20 / 32


Capítulo 4: Teoremas clásicos de metrización

El propósito de este capítulo es presentar los criterios clásicos de metrización


de espacios topológicos.
La primera caracterización de un espacio metrizable se debe a Alexandroff
y Urysohn con un resultado de 1923 que afirma que un espacio T0 es me-
trizable si y sólo si admite un desarrollo regular.
Dos años más tarde Urysohn establece que todo espacio 2-contable es me-
trizable si y sólo si es T4 . Un año más tarde, en 1926, Tychonoff prueba que
en el teorema de Urysohn la condición de T4 puede rebajarse a T3 .
Años más tarde, en 1944, Dieudonné introduce la noción de espacio para-
compacto. Posteriormente en 1948 A. H. Stone prueba que todo espacio
metrizable es paracompacto

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 21 / 32


Iniciaremos esta sección probando que el producto de una cantidad nume-
rable de espacios topológicos metrizables es metrizable
Teorema 4.1
Para cada n ∈ N, sea (Xn , ρn ) un espacio métrico, sea X = n∈N Xn y sea
Q

T la topología en X . Entonces (X , T ) es metrizable

Demostración
Para cada n ∈ N sea ρn una métrica que genere la topología de Xn . Para
cada n ≥ 1 consideremos la siguiente métrica acotada en Xn :

dn (xn , yn ) = mı́n{1, ρ(xn , yn )}

Es claro que dn (xn , yn ) ≤ 1 para cada xn , yn ∈ Xn , y que la nueva métrica


dn genera la misma topología que ρn . Consideremos la función
d : n∈N Xn × n∈N Xn → R dada por
Q Q


X dn (xn , yn )
d(x , y ) =
n=1
2n
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 22 / 32
En la exposición anterior, se demostró que la función d es una métrica en
n∈N Xn digamos Td .
Q Q
n∈N Xn y por lo tanto genera una topología en
Demostraremos que T = Td . Para demostrar que T ⊂ Td , basta demostrar
que la proyecciones πk : n∈N Xn → Xk son continuas.
Q

Sean x ∈ X y ε > 0. Dado k ∈ N elijamos 0 < δ < ε/2k . Ahora si



X dn (xn , yn )
d(x , y ) = , entonces
n=1
2n

dk (xk , yk ) ε
k
<δ< k
2 2
Por lo tanto dk (πk (x ), πk (y )) = dk (xk , yk ) < ε, quedando demostrada la
continuidad de πk . Por otro lado, consideremos U ∈ Td . Sea x ∈ U,
entonces existe r > 0 tal que B(x , r ) ⊂ U. Luego, existe n ∈ N tal que

X 1 r
<
i=n+1
2i 4

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27kde noviembre de 2020 23 / 32


Para cada i = 1, 2, · · · , n, definamos Ui ⊂ Xi , por Ui = B xi , 4r . Sea


Wx = hU1 , U2 , · · · , Un i ∈ T . Es claro que x ∈ Wk . Demostremos que


Wx ⊂ Bd (x , r ). Sea y ∈ Wx , entonces
∞ n ∞
X di (xi , yi ) X di (xi , yi ) X di (xi , yi )
d(x , y ) = = +
i=1
2i i=1
2i i=n+1
2i
n n
!
X r /4 r r X 1 r
≤ + = +1 < (1 + 1) < r
i=1
2i 4 4 i=1 2i 4

Así y ∈ B(x , r ) ⊂ U. Consecuentemente, Wx ⊂ U, por lo que todo punto


de U es un punto interior de la topología T . De esta forma podemos
concluir que Td ⊂ T , lo cual completa la demostración

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 24 / 32


Ejemplo
Se sigue del Teorema 4.1 que el espacio I ω es metrizable, obtenido
tomando el producto infinito contable de I = [0, 1] consigo mismo. Este
espacio es llamado cubo de Hilbert

Teorema 4.2
Sea (X , T ) un espacio T1 , entonces los siguientes enunciados son
equivalentes:
(a) (X , T ) es un espacio regular 2-contable
(b) X puede ser incrustado como subespacio de I ω
(c) (X , T ) es un espacio métrico separable

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 25 / 32


Demostración
(a) ⇒ (b). Supongamos que (X , T ) es un espacio regular, entonces se
cumple que (X , T ) es normal. Sea B una base para T y sea
A = {(U, V ) : U, V ∈ B y U ⊂ V }. Entonces A es numerable y para
cada (U, V ) ∈ A podemos encontrar una función fUV : X → I tal que
fUV (x ) = 0 para todo x ∈ U y fUV (x ) = 1 para todo x ∈ X − V . Sea
F = {fUV : (U, V ) ∈ A }. Entonces F es una colección numerable de
funciones que separa puntos de conjuntos cerrados, ahora definamos el
mapeo e : X → I F definido por [e(x )]f = f (x ). Como F es numerable,
entonces I F es homeomorfo a I ω lo cual completa la demostración.

(b) ⇒ (c). Supongamos que X puede ser incrustado como subespacio de


I ω . Como I ω es el producto de una cantidad contable de espacios
2-contable, y como ser 2-contable es una propiedad topológica entonces,
(X , T ) es 2-contable. Como todo espacio 2-contable es separable entonces
(X , T ) es separable

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 26 / 32


(c) ⇒ (a). Supongamos que (X , T ) es un espacio métrico separable,
entonces (X , T ) es 2-contable. Además cada espacio métrico es regular, lo
cual completa la demostración

El Teorema 4.2 caracteriza completamente los espacios 2-contable y regu-


lares, donde se muestra que la colección de espacios 2-contable es la misma
que la colección de espacios separables. El siguiente teorema es una impor-
tante consecuencia del Teorema de Metrización de Urysohn
Teorema 4.3
Sea (X , d) un espacio métrico compacto, sea (Y , U) un espacio de
Hausdorff y sea f : X → Y una función continua que mapea X sobre Y .
Entonces (Y , U) es metrizable

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 27 / 32


Demostración
Por el Teorema 3.4 la imagen de un conjunto compacto bajo una función
continua es compacto, entonces (Y , U) es compacto, además cada espacio
compacto de Hausdorff es normal, entonces (Y , U) es regular. Por el
Teorema de Metrización de Urysohn basta demostrar que (Y , U) es
2-contable.
Se sabe que la topología T generada por d tiene una base contable B. Sea
A la colección de todas las uniones finitas de miembros de B y sea
C = {Y − f (X − A) : A ∈ A }, así por ser Y un espacio de Hausdorff y
compacto, entonces f es un mapeo cerrado. Entonces C es una colección
contable de miembros de U, probaremos que C es una base para U. Sea
U ∈ U y sea y ∈ U. Entonces f −1 (y ) ⊂ f −1 (U), como f −1 (y ) es un
subconjunto cerrado de un conjunto compacto, entonces f −1 es compacto.
Como B es una base para T , para cada x ∈ f −1 (y ), existe Bx ∈ B tal que
x ∈ Bx ⊂ f −1 (U).

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 28 / 32


Entonces {Bx ∈ B : x ∈ Bx ⊂ f −1 (U)} es una cubierta abierta de f −1 (y )
y por tanto existen x1 , x2 , · · · , xn ∈ f −1 (y ) tal que
f −1 ⊂ ni=1 Bxi ⊂ f −1 (U). Ahora A = ni=1 Bxi ∈ A , así
S S

Y − f (X − A) ∈ C . Completaremos la demostración mostrando que


y ∈ Y − f (X − A) y Y − f (X − A) ⊂ U. Como f −1 (y ) ⊂ A, no existe
x ∈ X − A tal que f (x ) = y . Entonces f −1 (y ) ∩ (X − A) = ∅ y por tanto
y ∈ Y − f (X − A), ahora sea z ∈ Y − f (X − A). Entonces z ∈ / f (X − A) y
como f es una función sobreyectiva, entonces existe x ∈ X tal que
f (x ) = z. Como f (x ) ∈
/ f (X − A), x ∈ / A y A ⊂ f −1 (U), f (x ) = z ∈ U.
Por lo tanto Y − f (X − A) ⊂ U

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 29 / 32


Teorema 4.4
X es metrizable si y sólo si X es T0 y posee un desarrollo {Wn }n∈ω tal que
para cualesquiera W1 , W2 ∈ Wn+1 con W1 ∩ W2 6= ∅, se tiene que
W1 ∪ W2 está contenido en algún elemento de Wn

Demostración
n o
Si X es metrizable, damos Wn = B(x , 21n ) : x ∈ X . Claramente
{Wn }n∈ω es un desarrollo y dados W1 , W2 ∈ Wn+1 tal que existe algún
w ∈ W1 ∩ W2 , se prueba que W1 ∪ W2 ⊂ B x , 21n ; notemos que
 
B x , 21n ∈ Wn .
Ahora recíprocamente, si Wn satisface las condiciones del teorema,
probaremos que Wn es un desarrollo fuerte para X , notemos que
St(x , Wn+1 ) ⊂ St(x , Wn ). Ahora sea x ∈ U, con x ∈ X y U un conjunto
abierto, por la hipótesis existe n0 ∈ ω tal que St(x , Wn0 ) ⊂ U y si
definimos V = St(x , Wn0 +1 ), obtenemos que St(V , Wn0 +1 ) es igual a
St(x , Wn0 +1 ), está contenida en St(x , Wn0 +1 ) y por lo tanto en U, así se
sigue que X es metrizable
(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 30 / 32
Teorema de Alexandroff-Urysohn
X es metrizable si y sólo si X es T0 y tiene un desarrollo {Wn }n∈ω tal que
para cada n, Wn+1 es un refinamiento estrella

Demostración
n o
Si X es metrizable, entonces la familia Wn = B(x , 21n ) cumple lo
requerido. n o
Supongamos que Wn = B(x , 21n ) cumple las hipótesis del corolario, si
tomamos W1 , W2 ∈ Wn+1 con W1 ∩ W2 6= ∅, por la hipótesis existe
W ∈ Wn tal que St(x , Wn+1 ) ⊂ W entonces W1 ⊂ W y W2 ⊂ W , de
donde tenemos que W1 ∪ W2 ⊂ W . Por el Teorema 4.4 se sigue que X es
metrizable

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 31 / 32


Bibliografía

1 Iribarren, I. (1973). Topología de Espacios Métricos. Editorial Lmusa-


Wiley
2 Guiccione, J. y Guiccione, J. (2017). Espacios Métricos.
3 Macho-Stadler, M. (2010). Topología de Espacios Métricos. Notas del
curso 2010,
4 Muscat, J. (2014). Functional Analysis. An Introduction to Metric Spa-
ces, Hilbert Spaces,
5 Wayne Patty. (1993). Foundations of Topology

(Universidad de El Salvador ) El Teorema de Metrización de Nagata-Smirnov 27 de noviembre de 2020 32 / 32

También podría gustarte