RESUMEN

El presente trabajo tiene por objetivo explorar los fundamentos de los axiomas
de numerabilidad, el cual nos ayudara a la mejor comprensión del estudio de las
propiedades de los espacios topológicos.
El documento fue desarrollado mediante la investigación bibliográfica de libros
digitales y páginas web que nos ayudaron a comprender los contenidos
relacionados a los axiomas de numerabilidad, en los cuales se estudia los
entornos y bases de entornos, el primer axioma de numerabilidad, el segundo
axioma de numerabilidad y sus propiedades.

Luego de haber comprendido los fundamentos primordiales se pudo aplicar los

conocimientos para realizar ejercicios y demostraciones los cuales ayudan a dar
un enfoque a los temas de estudio.

INTRODUCCIÓN

En este estudio, se definen propiedades asociadas a espacios topológicos que

envuelven en algún sentido a la numerabilidad. De los axiomas de numeración
aquí estudiados, el más antiguo es el de separabilidad, debido a Fréchet en
1906.

En 1914, Hausdorff introdujo el primer y segundo axiomas de numerabilidad. De

esos dos, el primero fue ya sugerido en 1906 por Riesz, como una exigencia
razonable impuesta a espacios generales.

La propiedad de Lindelöf se usó durante algún tiempo en estudios relacionados

con la compacidad y al parecer fue introducida por Kuratowski y Sierpinski en
1921.

Una de las más importantes consecuencias del primer axioma de numerabilidad

es que, en espacios que satisfacen dicha propiedad, las sucesiones son
adecuadas, esto significa que en este tipo de espacios no es preciso introducir
otro tipo de redes más generales para obtener resultados básicos.
MARCO TEORICO

AXIOMAS DE NUMERABILIDAD

Los siguientes conceptos son los denominados axiomas de numerabilidad ya

que comprenden propiedades de los espacios topológicos tales que se basan
en la numerabilidad de ciertos conjuntos que también definimos a continuación.

(Stadler, 2008-2009)

Entorno y base de entornos

Para hablar de numerabilidad, necesitamos los conceptos de entorno y de base

de entornos de un punto de un espacio topológico.

Sean (X,𝜏) un espacio topológico y x un punto de X. Un conjunto E x ⊆ X es un

entorno de x si existe un abierto A ∈ 𝜏 contenido en el entorno y al que pertenece
x. Es decir, Ex es un entorno de x si

∃ A ∈ 𝜏, x ∈ A ⊆ Ex

El conjunto de entornos de x se denota por 𝜀( x ).

Sean (X,𝜏) un espacio topológico y x un punto de X. Una base de entornos de

x en la topología 𝜏 es una familia de subconjuntos de X, ẞ (x) ⊆ X , cumpliendo

 Todos los elementos de la base son entornos de x:

∀ B ∈ ẞ (x) , B ∈ 𝜀( x ).

 Todo entorno de x contiene al menos un elemento de la base:

∀ Ex ∈ 𝜀( x ), ∃ B ∈ ẞ (x) , B ⊆ Ex

Nota: Un conjunto A es abierto si es un entorno de todos sus puntos.

(Cánovas, 2012-2013)

1. Primer axioma de numerabilidad (1AN)

Se dice que un espacio topológico (X,𝜏 ) , cumple el primer axioma de

numerabilidad (también, que es 1AN ó ANI) si para todo punto x de X existe
una base de entornos numerable de x.

Ejemplo 1

El plano real con la topología usual, (ℝ2, 𝜏u), es un espacio topológico 1AN.
La esfera abierta de radio ε>0 y centro x es:

B(x,ε): = {a ∈ ℝ2:|a−x|<ε}

La familia ẞ (x) ={ Bn (x) : n ∈ ℕ } es una base de entornos de x. Esta base es

numerable por serlo ℕ.

Podemos extender este ejemplo a cualquier espacio métrico:

Proposición 1: todo espacio métrico (X, d) es 1AN.

Demostración
Las esferas abiertas se definen a partir de una métrica. Dada la métrica d, la
bola de centro x y radio ε>0 de la métrica d es:

Bd (x,ε): = {a ∈ X : d (x,a) < ε}

La topología de un espacio métrico es la inducida por su métrica. Las esferas

abiertas son conjuntos abiertos de esta topología. Por tanto, dado x ∈ X , la
siguiente base de entornos de x es numerable:

ẞ (x) = {Bn (x): n ∈ ℕ }

Ejemplo 2

La recta real con la topología de Sorgenfrey es un espacio 1AN.

La topología de Sorgenfrey es:

𝜏Sorg = {[a, b): a < b, a, b ∈ ℝ}

Dado un punto x, cualquier entorno de x contiene algún abierto de la forma

Ax = [x, b), x < b.

Un base de entornos numerable de x es

𝜀( x ) = {[x, q):x<q, q ∈ ℚ}

Ejemplo 3

El espacio topológico discreto (X, 𝜏d) es 1AN puesto que la topología discreta es
la inducida por la métrica

1, si x ≠ y
d(x,y) = {
0, si x = y
2. Segundo axioma de numerabilidad (2AN)

Necesitamos el concepto de base de una topología:

Sea β una familia de abiertos de la topología Ƭ. Decimos que β es una base de

la topología (o una base de abiertos) si todo abierto de la topología puede
expresarse como unión de elementos de la base.

Se dice que un espacio topológico (X, Ƭ) cumple el segundo axioma de

numerabilidad (también, que es 2AN ó ANII) si tiene alguna base de abiertos
numerable.

Ejemplo 1

La recta real con la topología usual es 2AN. Un ejemplo de base de abiertos

numerable es

β = {]p,q[: p<q, p, q ∈ ℚ}

Ejemplo 2

El plano real con la topología usual es 2AN. Un ejemplo de base de abiertos

numerable es

β = {B𝑛 (q):q ∈ ℚ, n ∈ ℕ}

Ejemplo 3

El espacio topológico trivial (X, ƬT) es 2AN puesto que la única base de abiertos
es numerable: β ={X}

Ejemplo 4

El espacio topológico discreto (X, ƬD) es 2AN si y sólo si X es numerable.

Como todo punto es abierto, cualquier base de abiertos debe contener a {x} para
todo x ∈ X, por lo que el espacio es 2AN si, y sólo si, X es numerable.

(Fabra., 2018)

3. Espacios de Lindelӧf

Definición 1. Un cubrimiento de X es una familia de conjuntos U = {Ui : i ∈ I},

tales que X ⊆ ⋃𝑖∈𝐼 𝑈𝑖 . Un subrecubrimiento de U es una subfamila V ⊆ U que aún
cubre X.

Definición 2. Un espacio (X; Ƭ) es de Lindelӧf, si todo cubrimiento por abiertos

de X posee un subrecubrimiento numerabilidad (la definición sigue siendo válida
si se reemplazan los abiertos por abiertos básicos).
Proposición 1. Si (X; Ƭ) es 2AN, entonces es de Lindelӧf.

EJEMPLO

(X; Ƭdis) es de Lindelӧf si y solo si X es numerable

4. Espacios separables

La siguiente definición generaliza la situación de ℚ en la recta real, que es un

conjunto pequeño en cardinal, pero topológicamente grande, al ser denso:

Definición 1. Un espacio (X; Ƭ) es separable si existe D ⊆ X, denso y contable.

Proposición 1. Si (X; Ƭ) es 2AN, entonces es separable.

Proposición 2. Si (X; Ƭ 2) es separable y Ƭ 1 ⊆ Ƭ 2, entonces (X; Ƭ 1) es separable.

(Lipschutz, 1970)

5. Algunas propiedades

Teorema 1: todo espacio topológico 2AN es también 1AN.

Demostración

Puesto que el espacio es 2AN, existe una base de abiertos numerable A.

Sea x un punto de X

Sea E un entorno de x. Entonces, existe algún abierto A ∈ Ƭ tal que x ∈ A ⊆ E

Como el espacio es 2AN, existe algún elemento de la base Ax ∈ A tal que

x ∈ Ax ⊆ A ⊆ E. El abierto Ax es también un entorno de x.

La familia

β (x) = {Ax ∈ A : x ∈ Ax}

es una base de entornos de x y además es numerable por ser un subconjunto

de A.

Teorema 2: todo espacio métrico (X, d) separable es 2AN.

Demostración

Como el espacio es separable, existe un conjunto E = {ek : k ∈ ℕ}denso y

numerable.
Definimos

β : = {Bd (ek, q) : k ∈ ℕ, q ∈ ℚ+}

La familia β está compuesta de esferas abiertas que son abiertos en la topología

inducida por la métrica d y, además, es numerable. Veamos que β es un base
de la topología (es suficiente demostrar que para todo abierto V y todo punto x
∈ V existe un abierto β de la base tal que x ∈ B ⊆ V):

Sea V ∈ Ƭd un abierto. Para todo x ∈ V, existe una esfera abierta Bd (x, ε) tal que
x ∈ Bd (x, ε) ⊆ V

Como E es denso, existe ek de E tal que ek ∈ Bd (x, ε/4).

Para todo y ∈ Bd (ek, ε/2) se tiene

d(x,y) ≤ d(x, ek) + d(ek, y) ≤

𝜀 𝜀
≤𝟒+𝟐<ε

Por tanto,

Bd (ek, ε/2) ⊆ Bd (x, ε) ⊆ V

Existe q ∈ ℚ+ tal que ε/4 < q < ε/2, así que

Bd (ek, q) ⊆ Bd (ek, ε/2) ⊆ V

Además, como ek ∈ Bd (x, ε/4), entonces, x ∈ Bd (ek, ε/4). Y como ε/4 < q,

x∈ Bd (ek, q) ⊆ V

Por tanto, β es una base. Como, además, es numerable, el espacio es 2AN.

Corolario: todo espacio topológico metrizable y separable es 2AN.

Teorema 3: todo espacio topológico 2AN es de Lindelöf.

Demostración

Recordad que un espacio es de Lindelöf si todo recubrimiento abierto admite un

subrecubrimiento numerable.

Sea A un recubrimiento abierto de X.

Como el espacio es 2AN, existe un base numerable β = {Bn : n ∈ ℕ }.

Para cada n ∈ ℕ, tomamos un abierto An ∈ A tal que Bn ⊆ An (esto es posible
porque An es un abierto y β es una base). Sea Aꞌ la familia de estos abiertos de
A, que es numerable por construcción.

Veamos que A′ es un recubrimiento de X:

Dado x ∈ X, existe un abierto A de A al que x pertenece. Como β es una base,

existe Bn tal que x ∈ Bn ⊆ A. Dado este Bn, existe An ∈ A′ tal que x ∈ Bn ⊆ An.

Por tanto, A′ es un subrecubrimiento numerable de A.

(Fabra., 2018)

CONCLUSIONES

 Se pudo realizar una investigación concreta de los contenidos que abarcan

los axiomas de numerabilidad.
 Dentro del marco teórico se explicó las definiciones, teoremas y propiedades
de los axiomas de numerabilidad.
 Se realizó demostraciones y ejercicios, se lograron esclarecer los
fundamentos topológicos del tema en estudio.

RECOMENDACIONES

 Para realizar este tipo de trabajos es recomendable la utilización de

bibliografía en la cual la nomenclatura sea de fácil compresión ya que la
materia en si es muy abstracta y de un grado difícil de compresión.
 Es preferible utilizar libros para la investigación de información como también
páginas web que contengan normas internacionales Publicaciones Seriadas.

BIBLIOGRAFÍA
Cánovas, D. V. (2012-2013). um.es. Obtenido de um.es:
https://www.um.es/documents/118351/1884002/TFG_LOPEZ+CANOVAS.pdf/0a8e129
b-c474-46f7-96fa-17d33fee7e34

Fabra., J. L. (2018). Matesfacil. Obtenido de Matesfacil:

https://www.matesfacil.com/topologia/numerabilidad/axiomas-numerabilidad-1AN-
2AN-primer-segundo-base-entorno-abiertos-ejemplos.html

Lipschutz, P. S. (1970). Serie de compendios SCHAUM Teoria y problemas de topología general.

Mexico D.F.: Libros McGraw-Hill de México, S.A. de C.V.

Stadler, M. M. (2008-2009). ehu.eus. Obtenido de ehu.eus:

http://www.ehu.eus/~mtwmastm/TopoGral0809.pdf