Buscando bases numerables

Voy a recordar un "método" para saber si un espacio es ANII (o ANI). Supongamos que el espacio es conocido o ha sido trabajado. Entonces es muy posible que ya sepamos cuál es una base de abiertos $\beta$. Entonces tenemos dos posibilidades:

1) Si $\beta$ es numerable, entonces el espacio es ANII.
2) Si $\beta$ no es numerable, (y ahora viene lo importante), y si el espacio es ANII, habría una base $\gamma$, con $\gamma\subset\beta$ de forma que $\gamma$ es numerable. Habría que trabajar ahora con esta base para estudiar si es posible o no la existencia de esta base $\gamma$.

En clase hemos visto varios ejemplos de ellos (topología de Sorgenfrey, topología a derechas, etc. Pongo otro. Si $X$ no es numerable, entonces la topología del punto incluido (para $x=p$) no es ANII. Para ello se toma como base $\beta=\{\{x,p\};x\in X\}$. Si es ANII, entonces existe una base del tipo $\gamma=\{\{x_i,p\};i\in N\}$. Pero como $X$ no es numerable, existe un elemento y en $X$ tal que $y\not= x_i,p$ (en caso contrario, X sería numerable). Entonces como $\{y,p\}$ es un abierto, existiría $i\in I $ tal que $y\in\{x_i,p\}\subset\{y,p\}$. Esto implica $y=x_i$: contradicción.

En clase se probó que este espacio no era ANII viendo que $\beta$ es la base más pequeña.

Buscando un contraejemplo

El axioma de separación "normal" no es productiva, es decir, no se mantiene (en general) por productos topológicos. El ejemplo que siempre aparece es la recta de Sorgenfrey $(R,\tau_S)$. Este espacio es normal. Sin embargo, $(R\times R,\tau_S\times\tau_S)$ no es normal. Estoy buscando otro ejemplo. Estoy pensando en tres formas de obtener contrajemplos.

Primero, a partir de topologías definidas en $R$, y haciendo el producto consigo misma. Pienso en la topología a derechas, la cual es normal. La pregunta es si $(R\times R,T_d\times T_d)$ es o no normal.

La otra forma es buscando ejemplos en conjuntos finitos. Por ejemplo, en la topología de Sierpinski, que sí es normal, y haciendo el producto por sí misma.

Finalmente, tomando dos espacios topológicos $(X,T)$, $(Y,T^\prime)$ donde $X$ e $Y$ son distintos. Por ejemplo, $(X,T)=R$ con la topología usual e $(Y,T^\prime)$ la topología de Sierpinski.

Separación de puntos

En el ejemplo de hoy tomamos un conjunto $X$ y una partición por dos conjuntos $A$ y $B$, cada uno con más de dos puntos. Tomamos como abiertos de la topología $T$, aparte de los triviales, a los conjuntos $A$ y $B$. Hemos probado que no es Hausdorff ya que dos puntos de $A$ no pueden separarse por abiertos. Esto se debe a que el único abierto que contiene a cada uno de esos puntos es $A$ (aparte de $X$).

Algo parecido lo podemos en la topología del punto incluido: sea $X$ un conjunto y $p$ el punto elegido. Entonces todo abierto contiene al punto p, luego dos abiertos distintos siempre se cortan. Esto significa que no es Hausdorff.

Y también algo parecido sucede cuando en el espacio topológico existen puntos algo "patológicos". Por ejemplo, si hay un punto, donde el único entorno es todo el espacio. Esto sucede por ejemplo en la topología de Sierpinski o en la topología del punto excluido, donde el único entorno del punto excluido es todo el espacio.

Convergencia de sucesiones en la topología de Sorgenfrey

En la topología de Sorgenfrey, consideramos $\{x_n\}\rightarrow x$ y tomamos como entorno $[x,x+\epsilon)$. Entonces a partir de un cierto lugar $m$, $x_n\in [x+\epsilon)$. Por tanto, podemos comparar la "definición" de convergencia en $\mathbb{R}$ con la topología usual, con la definición en la topología de Sorgenfrey, que es la siguiente:

Para cada $\epsilon>0$, existe un natural m tal que si $n\geq m$, $0\leq x_n-x<\epsilon$.

De esta forma podemos encontrar sucesiones convergente para la topología usual que no lo son en la de Sorgenfrey. Concretamente, si $x_n\nearrow x$ en la topología usual, nunca converge en la topología de Sorgenfrey.