Propiedad topológica: un espacio es de primera numerabilidad si cada punto tiene una base local de vecindades numerable (una base de vecindades contable en ese punto).

Principio

El comportamiento topológico local puede capturarse por una colección numerable de vecindades en cada punto, por lo que los métodos secuenciales a menudo bastan para estudiar la continuidad y el cierre local.

Demostración

Todo espacio métrico es de primera numerabilidad: en x se toma la familia numerable de bolas abiertas B(x,1/n) para n en los naturales; forman una base local numerable en x.

Aplicación incorrecta

Afirmar que las sucesiones determinan el cierre en cualquier espacio topológico sin la hipótesis de primera numerabilidad es un uso indebido; fuera de ese caso hacen falta redes o filtros.

Consecuencia

Si un espacio es de primera numerabilidad, muchas propiedades locales se reducen a caracterizaciones secuenciales: la continuidad en un punto y la pertenencia al cierre pueden probarse con sucesiones.

Inversión

Un espacio que no es de primera numerabilidad tiene al menos un punto sin base de vecindades numerable, con lo que los métodos secuenciales pueden resultar insuficientes y son necesarias redes o filtros.

Límite

Es una condición local y cardinal puramente topológica. No implica segunda numerabilidad, separabilidad o compacidad, y puede cumplirse aunque una base global sea no numerable.

Tensión semántica

La primera numerabilidad suele confundirse con la segunda numerabilidad (base global numerable) o con la separabilidad (existencia de un denso numerable); la distinción está en local vs. global y base vs. conjunto denso.

Síntesis

La primera numerabilidad significa que cada punto admite una familia numerable de vecindades que generan su topología local; es una restricción local que facilita el uso de sucesiones sin imponer límites globales.