Bases de entornos abiertos en los puntos de un conjunto.

El «microscopio» con el que vas a examinar cada punto de un espacio.

🎯 Qué vas a aprender
Vas a entender qué significa «estar cerca» de un punto sin necesidad de una distancia.

• Aprenderás a definir un sistema de entornos abiertos para cada punto de un conjunto arbitrario, cumpliendo cuatro axiomas (E1 a E4).
• Descubrirás que estos axiomas son la generalización natural de lo que ya hacías en Análisis con las bolas abiertas \( B(x,\varepsilon) \), pero ahora liberados de la métrica.
• Dominarás el concepto de entorno y de base de entornos: una subfamilia «pequeña» de entornos que genera todos los demás.

🚧 Dónde suele tropezarse

• Confundir «base de entornos» con «sistema de entornos«: El estudiante cree que son lo mismo y no entiende por qué necesita dos conceptos. En el examen le piden una base y escribe todo el sistema (o al revés).
• El axioma E4 (el «axioma fantasma»): «Para cada entorno \( U \) de \( x \) , existe un entorno \( V\) de \( x \) tal que \( U \) es entorno de todos los puntos de \( V \) .»
• Los alumnos lo leen, asienten, y no tienen ni idea de lo que significa geométricamente. Es el axioma que más se ignora y el que más se penaliza cuando falta en una demostración.
• Pensar que los entornos tienen que ser «redondos»: Vienen de las bolas métricas y su cerebro se resiste a aceptar que un entorno puede tener cualquier forma, siempre que contenga un abierto que contenga al punto.

🛠️ Cómo trabajarlo

• Traducción geométrica de cada axioma: Acompañamos E1-E4 con dibujos en \( \mathbb{R}^2 \) que muestran exactamente qué «pide» cada axioma y qué pasaría si fallara (con contraejemplos visuales de «sistemas que casi son bases pero no»).
• La analogía del «zoom»: Una base de entornos es como tener un conjunto de lentes de aumento de distintos aumentos. No necesitas todas las lentes posibles; con una colección que «se afine» lo suficiente, puedes examinar el punto con cualquier precisión.
• Ejercicios de «¿Es base o no?»: Batería de ejemplos en conjuntos finitos (donde puedes listar todos los subconjuntos) y en \( \mathbb{R} \) con topologías no usuales (como la topología de Sorgenfrey o la topología cofinita), para que el cerebro rompa la asociación automática «entorno = bola».
• Checklist del axioma E4: Te damos un procedimiento mecánico de 2 pasos para verificar E4 en cualquier ejemplo, con la frase clave que debes escribir en el examen para que el profesor vea que lo entiendes.

Conceptos nuevos: Sistema de bases de entornos abiertos. Distancia, espacio métrico, bola abierta. Topología de Sorgenfrey, topología trivial, topología discreta.

Archivo