 ##  [Primera Numerabilidad](/es/node/62198) 

 Definición

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

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

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

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

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

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

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

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

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.