jueves, 23 de octubre de 2014

Probando que varias topologías son las mismas


Sabemos que hay varias formas de definir un espacio topológico, por ejemplo, aparte de la topología, mediante bases de abiertos o bases de entornos. Vamos a poner una muestra con la topología del punto incluido.

Sea $X$ un conjunto y $p\in X$ un punto fijo. Si $x\in X$, denotamos $O_x=\{p,x\}$. Consideramos las siguientes tres topologías:

  1.  $\tau_1=\{O\subset X: p\in O\}\cup\{\emptyset\}$
  2.  $\tau_2$ es la topología que tiene por base $\beta_2=\{O_x:x\in X\}$.
  3.  $\tau_3$ es la topología que tiene por base de entornos para cada punto $x$, $\beta_x^3=\{O_x\}$.

Veamos que las tres topologías son iguales. Hay varias maneras de hacerlo porque a partir de la topología, o bases, o bases de entornos, se puede calcular el resto de elementos topológicos.  Por ejemplo, podemos hallar bases de entornos en cada una de las topologías, y usar la equivalencia de topologías mediante el criterio de Hausdorff. Lo que vamos a hacer en este caso es más aún: vamos a hallar una misma base de entornos en las tres topologías, y por tanto, las tres coinciden.

 Para cualquier  topología $\tau$, sabemos que una base de entornos de $x$ es la familia de todos los abiertos que contienen a $x$. Tomamos $\tau_1$. Entonces $\beta_x^1=\{O\in\tau: x\in O\}$, es decir, $\beta_x^1=\{O\subset X: p,x\in O\}$. Pero es evidente que de entre todos estos conjuntos $O$ que satisfacen que contienen a $p$ y a $x$, hay uno que es el más pequeño, y es claramente $O_x=\{p,x\}$. Por tanto, una base de entornos de $x$ para la topología $\tau_1$ es justamente $\beta_x^3$, es decir, coincide con la que define la topología $\tau_3$.

Para la topología $\tau_2$ (y sin calcular la topología $\tau_2$, es decir, la familia de todos los abiertos), hallamos una base de entornos usando un resultado que nos dice cómo se calcula una base de entornos a partir de una base de abiertos: una base de entornos de $x$ es la familia de elementos de $\beta_2$ que contienen a $x$. Por tanto, $$\beta_x^2=\{B\in\beta_2: x\in B\}=\{O_y:x\in O_y\}.$$ Ahora bien, dicho conjunto $O_y$ siempre contiene a $p$ y a $x$, por tanto, el conjunto $O_x$ es el más pequeño que hay entre todos ellos, y por tanto, forma base de entornos, es decir, $\beta_x^2=\{O_x\}$, que es de nuevo la base de entornos de la topología $\tau_3$.

Por tanto, al encontrar una misma base de entornos para las tres topologías, el resultado de unicidad prueba que las topologías coinciden.

martes, 21 de octubre de 2014

Construyendo bases


Consideramos de nuevo ahora la topología  definida  en   ${\mathbb N}$:
$$\tau=\{\emptyset,{\mathbb N}\}\cup\{A_n: n\in {\mathbb N}\}.$$Vamos a calcular una base de la topología. De nuevo, lo que estamos preguntando es por una base que tenga 'pocos'  elementos. La base más grande (en número de elementos) es la propia topología $\tau$. Sea ahora una base $\beta$ una base de nuestra topología $\tau$.

Tomamos un abierto $A_n$. Sabemos que si $x\in A_n$, entonces existe un elemento $B\in\beta$ tal que $x\in B\subset A_n$. Elegimos como elemento $x$ el número natural $n\in {\mathbb N}$. Sea $B\in\beta$ tal que $n\in B\subset A_n$. Como $B$ es un abierto, entonces o es $\emptyset$, ${\mathbb N}$ o un elemento de la forma $A_m$, con $m\in {\mathbb N}$. Es evidente que no puede ser el conjunto vacío ni ${\mathbb N}$. Por tanto, $n\in A_m\subset A_n$. Como $n\in A_m$, entonces $n\leq m$. Por otro lado, como $A_m\subset A_n$, entonces $$\{1,2,\ldots,m\}\subset\{1,2,\ldots,n\}.$$ Por tanto $m\leq n$. En particular, $n=m$. Esto prueba que $B$ tiene que ser $A_n$.

Como esto se ha hecho para todo $n\in {\mathbb N}$, entonces $\{A_n:n\in {\mathbb N}\}\subset\beta$. Esto quiere decir que $\beta$ contiene al menos $\tau-\{\emptyset,{\mathbb N}\}$. Como conclusión, las únicas bases de este espacio topológico son $\tau-\{\emptyset,{\mathbb N}\}$, y añadir $\emptyset$, ${\mathbb N}$ o toda la topología. Por tanto, podemos decir que, esencialmente,  la única base es la propia topología. 

miércoles, 15 de octubre de 2014

Construyendo bases de entornos


Para las dos topologías de la entrada anterior, vamos a hallar una base de entornos. Recordamos las dos topologías definidas en   ${\mathbb N}$:
$$\tau_1=\{\emptyset,{\mathbb N}\}\cup\{A_n: n\in {\mathbb N}\}.$$ $$\tau_2=\{\emptyset\}\cup \{B_n:n\in {\mathbb N}\}.$$
Para hallar una base de entornos, precisamos algo más. Un punto en un espacio topológico tiene muchas bases de entornos: por ejemplo, dada una, le añadimos un entorno cualquiera del punto, resultando una base de entornos. Sin embargo, la nueva base de entornos ha incrementado su tamaño. Por tanto, lo que buscamos es una base de entornos con un número 'pequeño' de elementos.

Una forma 'standard' de construir bases de entornos de un punto $x\in X$ es considerar todos los abiertos que contiene al punto, y que denotamos por $\tau_x$:  $\tau_x=\{O\in\tau: x\in O\}$. Y a partir de ésta, intentar quitar elementos, si fuera posible. Veamos en nuestro caso.

Para la topología $\tau_1$, sea $m\in {\mathbb N}$. Es claro que $\tau_m^1=\{A_n:n\geq m\}$. Da la casualidad que cada uno de estos abiertos $A_n$ está incluido en otro $A_k$ si $k\geq n$. Por tanto, y es importante, existe un  abierto que es el más pequeño (respecto de la inclusión). Este abierto es justamente $A_m$. Por tanto, una base de entornos de $m$ es $\beta_m^1=\{A_m\}$.

Para la topología $\tau_2$, el razonamiento es análogo. Ahora $\tau_m^2=\{B_n: n\leq m\}$ y hay uno de estos abiertos más pequeño, el $B_m$. Por tanto, $\beta_m^2=\{B_m\}$.

Tener, como en este caso, bases de entornos ¡con sólo un elemento! facilita el trabajo en el espacio topológico. Por ejemplo, para hallar el interior de un conjunto $C$, y usando la caracterización por bases de entornos, entonces $m\in C$ es interior si $A_m\subset C$ (para $\tau_1)$ y si $B_m\subset C$ (para $\tau_2$). Cogiendo $C=\{3,4\}$ como en la entrada anterior, es evidente que ni $A_m$ ni $B_m$ están incluidos en $C$, luego el interior es el conjunto vacío. Del mismo modo se puede razonar para el exterior de $C$, ya que el exterior de $C$ es el interior del complementario.

martes, 14 de octubre de 2014

Cálculo del interior de un conjunto para dos topologías


En el conjunto de los número naturales ${\mathbb N}$, consideramos dos topologías:
$$\tau_1=\{\emptyset,{\mathbb N}\}\cup\{A_n: n\in {\mathbb N}\}.$$
$$\tau_2=\{\emptyset\}\cup \{B_n:n\in {\mathbb N}\}.$$Aquí $A_n=\{1,2,\ldots,n\}$ y $B_n=\{n,n+1,\ldots\}$.

Hallamos el interior,   exterior y frontera del conjunto $C=\{3,4\}$.

Empezamos con la topología $\tau_1$. El interior es el conjunto abierto más grande dentro de $C$. Ya ningún conjunto del tipo $A_n$ está incluido en $C$, el único abierto es $\emptyset$. Por tanto, $int(C)=\emptyset$. Para el exterior, hallamos el interior del complementario de $C$. Éste es $\{1,2,5,6,\ldots\}$ y el abierto más grande dentro es $A_2=\{1,2\}$. Por tanto, $ext(C)=\{1,2\}$. Finalmente, la frontera es el complementario del interior y exterior, es decir, $Fr(C)=\{3,4,\ldots\}$.

Trabajamos ahora con la topología $\tau_2$.  De nuevo, no hay ningún conjunto del tipo $B_n$ dentro de $C$, luego $int(C)=\emptyset$. Para el exterior, consideramos ${\mathbb N}-C=\{1,2,5,6,\ldots\}$. Es evidente que $B_5=\{5,6,\ldots\}$ es el abierto más grande, luego $ext(C)=B_5$. Y por tanto, $Fr(C)=\{1,2,3,4\}$.

Para la adherencia, y como $\overline{C}={\mathbb N}-ext(C)$, tenemos que la adherencia de $C$ para $\tau_1$ es $\{3,4,\ldots\}$ y para la topología $\tau_2$ es $\{1,2,3,4\}$. En ambos casos, la adherencia coincide con la frontera de $C$.