Topología del límite inferior
# Topología del límite inferior

En matemáticas, la topología del límite inferior, llamada también en ocasiones topología de Sorgenfrey es una topología definida sobre la recta real. Al espacio topológico resultante, denotado por $\mathbb {R} _{\ell }$, se lo conoce por Recta de Sorgenfrey. Esta topología es distinta de la topología usual, y está generada por la base $\beta =\{[a,b)\ :\ a<b\}$ donde $a,b$ son números reales.

La Recta de Sorgenfrey, así como su producto $\mathbb {R} _{\ell }\times \mathbb {R} _{\ell }$, el Plano de Sorgenfrey, son una fuente de contraejemplos muy utilizados en topología. Ambos espacios deben su nombre a Robert Sorgenfrey.

## Propiedades

* La topología del límite inferior es una topología estrictamente más fina que la topología usual, esto es, todo abierto en $\mathbb {R}$ con la topología usual es abierto en $\mathbb {R} _{\ell }$, puesto que podemos escribir un abierto $(a,b)$ de la base de la topología usual como $(a,b)=\bigcup _{n\in \mathbb {N} }[a+{(b-a) \over 2n},b)$, unión de abiertos de la base de $\mathbb {R} _{\ell }$. Sin embargo, los propios abiertos de la base de $\mathbb {R} _{\ell }$ no son abiertos en la topología usual.
* Los intervalos con la forma $[a,b)$, $[a,+\infty )$ y $(-\infty ,a)$ son abiertos y cerrados en la recta de Sorgenfrey. Además, los puntos son cerrados, pero no son abiertos.
* $\mathbb {R} _{\ell }$ es un espacio totalmente disconexo, lo que quiere decir que la componente conexa de cada punto es él mismo.
* En términos de axiomas de separación, $\mathbb {R} _{\ell }$ es un espacio Hausdorff perfectamente normal. Como consecuencia, también es $T_0$ y $T_1.$
* En términos de axiomas de numerabilidad, es ANI y separable, pero no es ANII.
* En términos de compacidad, es Lindelöf (cada recubrimiento abierto admite subrecubrimiento numerable) y paracompacto, pero no es σ-compacto ni localmente compacto.
* $\mathbb {R} _{\ell }$ no es metrizable dado que los espacios metrizables y separables son ANII. Sin embargo, la topología en la Recta de Sorgenfrey está generada por una premétrica.
* $\mathbb {R} _{\ell }$ es un espacio de Baire .
