Primer axioma de numerabilidad
espacio topológico en el que cada punto admite una base de vecindad contable
En topología, se dice que un espacio topológico verifica el primer axioma de numerabilidad (o que es primero numerable o primero contable) si cada punto del espacio tiene una base de entornos numerable. En forma abreviada, suele decirse también que el espacio es 1AN o ANI.
Ejemplos editar
- Todo espacio métrico cumple el primer axioma de numerabilidad, pues las bolas abiertas forman una base de entornos para el punto .[1]
- El espacio topológico discreto es un espacio primero numerable por ser metrizable.[1]
- La recta de Sorgenfrey es un espacio primero numerable.[1]
- El espacio de Sierpinski es primero numerable.[2]
- La recta cofinita, , no es primero numerable.[2]
Propiedades editar
- Todo espacio que cumpla el segundo axioma de numerabilidad cumple automáticamente el primero.[1]
- Los subespacios[3] y los productos de espacios primero numerables son primero numerables.
Estos espacios son de importancia porque permiten controlar mejor los entornos. Por ejemplo, en cualquier espacio que cumpla el primer axioma de numerabilidad, se tiene que compacto implica sucesionalmente compacto, así como también la continuidad queda caracterizada por las sucesiones (lo cual, en general, no es cierto).
Véase también editar
Referencias editar
- ↑ a b c d Llopis, José L. «Axiomas de numerabilidad». Matesfacil. ISSN 2659-8442. Consultado el 29 de agosto de 2019.
- ↑ a b Macho Stadler, Marta. «Topología general (primera parte)». Universidad del País Vasco. Consultado el 29 de agosto de 2019.
- ↑ Llopis, José L. «Propiedades topológicas hereditarias». Matesfacil. ISSN 2659-8442. Consultado el 10 de octubre de 2019.
Datos: Q926996
