Solución:
Generalmente, esto se remonta al concepto subyacente de convergencia de una secuencia y el llamado Hausdorff’sche Umgebungsaxiome (ver: Felix Hausdorff. Grundzüge der Mengenlehre. Veit & Comp., Leipzig, 1914).
Intuitivamente el convergencia de una secuencia a un punto significa que en cada
vecindario del punto se puede encontrar casi todos partes de la secuencia.
La versión matemática de ese concepto es nombrar para cada punto $ x $ de un conjunto $ X $ ciertos subconjuntos como barrios de este punto satisfaciendo el siguiente llamado Hausdorff’sche Umgebungsaxiome (vecindario = germen. “Umgebung”):
- $ x $ pertenece a cada uno de sus barrios.
- Cualquier superconjunto de una vecindad de $ x $ es nuevamente una vecindad de $ x $ (especialmente $ X $ es una vecindad de $ x $).
- La intersección de dos vecindarios de $ x $ es nuevamente un vecindario de $ x $.
- Cada vecindario $ U $ de $ x $ contiene un vecindario $ V $ de $ x $ tal que $ U $ es un vecindario de cada punto de $ V $.
Sobre esta base, se define un subconjunto de $ X $ como abierto si es una vecindad de cada uno de sus puntos (fi un disco circular en $ R ^ 2 $ sin su borde).
Abiertos son exactamente esos subconjuntos, que contienen sólo puntos “internos” (y ni “puntos externos” ni “puntos de borde”) en el sentido de que en cualquier punto del conjunto abierto se puede especificar una vecindad, que está completamente contenida en el conjunto abierto.
De esto se pueden derivar los siguientes teoremas:
- El conjunto vacío y el propio espacio están abiertos.
- La intersección de dos conjuntos abiertos está abierta.
- La unión de cualquier número de conjuntos abiertos está abierta.
- Un subconjunto $ U $ es exactamente entonces una vecindad de $ x $ si existe un conjunto abierto $ O $ con $ x en O subconjunto U $.
Si en lugar de los axiomas de Hausdorff se toman los teoremas 1 a 3 como axiomas y el teorema 4 como una definición de vecindad, entonces se obtiene la definición habitual de un topología:
Sea $ X $ un conjunto. Un sistema $ T $ de subconjuntos de $ X $ se llama topología en $ X $, si:
- $ ∅ en T, X en T $,
- $ O_1, O_2 en T ⇒ O1 cap O2 en T $,
- $ S subconjunto T ⇒ ( bigcup_ {S’∈S} S ‘) ∈ T $.
Esto muestra que “las intersecciones finitas y las uniones arbitrarias de conjuntos abiertos son abiertas” es una generalización de las propiedades de los “conjuntos abiertos” definidos en términos de “vecindades” que se definieron para obtener un significado preciso de la idea de la convergencia de un secuencia.
¡Prueba con el ejemplo!
Considere los números reales y una secuencia de intervalos abiertos cada vez más pequeños alrededor de cero: (-1,1), (-1 / 2,1 / 2), (-1 / 3,1 / 3), …
Si tomamos cualquier unión de cualquiera de estos conjuntos, entonces cualquier punto de esa unión tendrá un pequeño vecindario a su alrededor (¿puede ver por qué?).
Para las intersecciones, no es tan simple.
Si tomamos un número finito de conjuntos y tomamos su intersección, entonces todavía obtendremos un conjunto abierto (pista: ¿por qué la intersección de dos conjuntos abiertos sigue abierta?)
Pero si tomamos la intersección infinita, el único punto que está en todos los intervalos es 0.
Y 0 por sí solo no es un conjunto abierto, porque 0 no tiene un pequeño vecindario a su alrededor.
Si comprende por qué eso es cierto, no debería tener problemas para verlo de manera más general.
Quizás esto sea más fácil si está motivado desde el contexto del espacio métrico. Si $ (X, d) $ es un espacio métrico, un subconjunto $ U subconjunto X $ está abierto si para todo $ x en X $, hay una bola $ B (x, r) $ de algún radio $ r > 0 $, alrededor de $ x $ tal que $ B (x, r) subset U $. Ahora suponga que tenemos una familia de conjuntos abiertos $ U_i $ por $ i en I $ algún conjunto de indexación. Se trata fundamentalmente de cuantificadores lógicos.
(Uniones) Si dejamos que $ U $ sea la unión de $ U_i $, entonces si $ x en U $, debemos tener $ x en U_i $ para algunos solteros $ i $. Hay una bola $ B (x, r) subset U_i $. Y por definición de unión $ B (x, r) subset U $. Es crucial que en todas partes aquí solo necesitamos verificar “existen unos $ i $ tales que …“
(Intersección) Por otro lado $ U $ es la intersección de $ U_i $. Si $ x en U $ entonces $ x en U_i $ para todos $ i $. Podemos encontrar una bola $ B (x, r_i) subset U_i $ por cada $ i $. Supongamos que esta bola se elige con el radio máximo posible. Si hubiera una bola $ B (x, r) subset U $ alrededor de $ x $, entonces $ B (x, r) subset B (x, r_i) $ para cada $ i $ según la suposición del radio máximo. Por lo tanto, $ r