Topología del orden lexicográfico

En la entrada del 8 de diciembre, "homeomorfismos con topologías conocidas II" hubo un comentario de Pedro Jesús en la que afirmaba que la topología producto $(R\times R,T_d \times T_u)$, donde $T_d$ y $T_u$ son las topologías discretas y usual, respectivamente, era la topología del orden lexicográfico.

Precisamos más. El orden lexicográfico es un orden que se define en el producto cartesiano de dos conjuntos ordenados. Estamos, pues, en un concepto de teoría de conjuntos, no de topología. La definición es la siguiente: sean $X$ e $Y$ dos conjuntos ordenados, cuya relación de orden se denotará (en ambos) por $\leq$. En $X\times Y$ se define el orden lexicográfico, que también denotaremos por $\leq$, como $(x,y)\leq (x^{\prime},y^{\prime})$ si $x < x^{\prime}$ o $x=x^{\prime}, y\leq y^{\prime}$. Aquí $x < x^{\prime}$ significa $x\leq x^{\prime}, x\not=x^{\prime}$. Por cierto ¿porqué se llama "lexicográfico"?

En todo conjunto ordenado se puede definir una topología llamada la "topología del orden". La topología del orden lexicográfico no es más que dicha topología en $X \times Y$ y con el orden lexicográfico.

Se considera un conjunto X con un orden $\leq$. Si $a,b\in X$, se define $(a,b)=\{x\in X; a < x < b$, $[a,b)=\{x\in X;a\leq x < b\}$ y de forma análoga $(a,b]$.

La topología T del orden es la que tiene por base $$\beta=\{(a,b),[m,b),(a,M];a,b\in X\}.$$ Aquí m y M denotan (si existieran) un mínimo y un máximo de $X$, es decir, por ejemplo, $m\leq x$ para cada $x\in X$.

Por ejemplo, si consideramos $X=R$, conjuntos de los números reales, y el orden usual, entonces (como no existen m ni M) $\beta$ coincide con la base usual de la topología usual.

Acabamos esta entrada proponiendo como ejercicio el probar que la topología del orden lexicográfico en R^2 coincide con la topología producto de la usual por la discreta, justificando de esta forma, la frase inicial de Pedro Jesús.

Topologías homeomorfas a la usual

Planteo el siguiente problema que ha surgido en clase. Sea $f:(\mathbb{R},\tau_u)\rightarrow (\mathbb{R},\tau)$ un homeomorfismo, donde $\tau_u$ es la topología usual ¿entonces $\tau$ es la topología usual? Es decir, ¿la única topología homeomorfa a la topología usual es ella misma?

La respuesta es no.

Un ejemplo es el siguiente. Sea f cualquier biyección de $R$ en $R$ y sea $\tau$ la topología $f(\tau_u)$. Entonces es evidente que $f:(\mathbb{R},\tau_u)\rightarrow (\mathbb{R},\tau)$ es un homeomorfismo, y $\tau$ no tiene porqué ser $\tau_u$. Como ejemplo explícito de ello es la aplicación $f(x)=x$ si $x$ no es ni $0$ ni $2$, y f(0)=2 y f(2)=0. Entonces $(-1,1)\in\tau_u$ luego $f(-1,1)\in\tau$ es decir $((-1,1)-\{0\})\cup\{2\}$. Pero este conjunto no es un elemento de $\tau_u$.

Otro ejemplo análogo, pero cambiando el conjunto de los números reales es $X=\{a,b\}$. Consideramos $\tau=\{\emptyset,X,\{a\}\}$ y $\tau'=\{\emptyset,X,\{b\}\}$. Entonces la aplicación $f:(X,\tau)\rightarrow (X,\tau')$ dada por $f(a)=b$ y $f(b)=a$ es un homeomorfismo, pero $\tau'\not=\tau$.

Topología producto: palabras que suenan bien III

Sigo con la misma idea de la entrada de ayer. Cambiamos ahora la topología de Sorgenfrey por la topología a derechas T_d, es decir, la generada por la base \beta=\{[x,\infty);x\in\mathbb{R}\}. De nuevo nos podríamos preguntarnos para qué valores de m, los conjuntos A_m son homeomorfos a (R,T_d). Se sabe que las rectas y=0, x=0 e y=x sí son homeomorfos a (R,T_d).

Para que las cosas sean algo más complicadas, consideramos el producto (R^2,T_SxT_d). Se sabe que la recta y=0 es homeomorfa a la recta de Sorgenfrey, y que la recta x=0 a la topología a derechas. Pero no tenemos ahora el resultado inmediato para la diagonal, es decir, la recta y=x.

La pregunta que dejo es ¿A_m es homeomorfo a algún espacio conocido? Por ejemplo, creo que para m=-1, tenemos que A_m tiene la topología discreta.

Topología producto: palabras que suenan bien II

"Continuando" con la entrada del 10 de diciembre del año pasado, nos preguntamos por cómo las palabras sonarían bien con la topología producto. Esta entrada es para insistir en un comentario que se hizo en clase sobre la topología de Sorgenfrey y topología producto.

No tiene sentido preguntarse si el producto de la topología de Sorgenfrey por sí misma es de nuevo la topología de Sorgenfrey. La topología de Sorgenfrey T_S es una topología definida en el conjunto de los números reales R. Si se hace el producto topológico, se tendría la topología producto T_S x T_S en R^2, y no nos podemos preguntar si T_S x T_S es la "topología de Sorgenfrey" en R^2.

Pero sí podemos tomar subconjuntos de R^2 "parecidos" a conjuntos de números reales, tales como rectas y preguntarnos si la topología inducida es homeomorfa a la recta de Sorgenfrey.

Ya se comentó en clase que la recta y=-x hereda la topología discreta, luego NO es homeomorfa a la recta de Sorgenfrey. Consideramos ahora la recta y=0, es decir, A=\{(x,0);x\in \mathbb{R}\}. Entonces A, con la topología inducida es homeomorfa a la recta de Sorgenfrey, ya que en un espacio producto X\times \{q\} \cong X.

Consideramos el conjunto B dado por la recta y=x. De nuevo, B es homeomorfo a la recta de Sorgenfrey ya que B es la diagonal de (RxR,T_S,T_S) y se sabe que la diagonal es homeomorfa a cada uno de los factores.

Finalmente, podemos considerar los conjuntos A_m=\{(x,mx);x\in\mathbb{R}\}, es decir, las rectas y=mx, y preguntarnos para qué valores de m, el conjunto A_m es homeomorfo a la recta de Sorgenfrey: sabemos que para m=-1 no, y para m=0,1, sí.