Ver el código de «Compactificación de Alexándrov»

En [[topología]], una rama de las [[matemáticas]], la '''compactificación de Alexándrov''' es un concepto introducido por el matemático ruso [[Pável Aleksándrov]]. La compactificación de Alexándrov es una forma de extender un [[espacio topológico]] no [[Espacio compacto|compacto]] a uno que sí que lo sea mediante la adición de un solo punto, el "[[punto del infinito]]".

== Definición ==
Sea <math>(X,\mathcal{T})</math> un [[espacio topológico]] [[localmente compacto]] y [[Espacio de Hausdorff|de Hausdorff]]. Sea <math>X^* =X\cup\{\infty\}</math> y definimos en <math>X^*</math> la siguiente topología:

<math>\mathcal{T}^*=\mathcal{T}\cup\{X^*\setminus K : K \subseteq X \text{ compacto}\}</math>

Con esta topología, <math>X^*</math> se denomina la compactificación de Alexándrov de <math>X</math>. 

En ese caso, <math>(X^*,\mathcal{T}^*)</math> es una extensión de <math>(X,\mathcal{T})</math> (en el sentido de que la [[topología inducida]] en <math>X</math> es su topología original <math>\mathcal{T}</math>) compacta y de Hausdorff.

Más adelante en el artículo se demuestran estas propiedades y se da una justificación intuitiva de por qué se define así la topología de la compactificación.

== Motivación ==
[[Archivo:Real projective line.svg|miniaturadeimagen|Compactificación de <math>(0,1)\subseteq\mathbb{R}</math> con un solo punto <math>\{\infty\}</math>.]]
El objetivo de la construcción es, dado un [[espacio topológico]] general, extenderlo a un espacio mayor que las propiedades deseables de ser [[Espacio de Hausdorff|de Hausdorff]] y [[Espacio compacto|compacto]]. Es decir, dado un espacio topológico <math>(X,\mathcal{T})</math>, querríamos encontrar un espacio topológico mayor <math>X^*\supseteq X</math> de forma que <math>(X^*,\mathcal{T}^*)</math> sí que sea de Hausdorff y compacto y que induzca en <math>X</math> la topología que tenía este originalmente al considerarlo como [[Topología traza|subespacio]] de <math>X^*</math>. Es decir, que <math>\mathcal{T}^*_{\mid X} =\mathcal{T}</math>.

Un primer ejemplo que nos podríamos plantear sería compactificar el conjunto <math>X=(0,1)\subseteq \mathbb{R}</math>, con la [[topología inducida]] de la [[Topología usual|usual]] de <math>\mathbb{R}</math>. Una manera de compactificarlo sería añadirle los dos puntos extremos, es decir, tomar <math>X^*=[0,1]\subseteq\mathbb{R}</math> también con la topología inducida de la usual. Claramente es de Hausdorff (por ser subespacio de <math>\mathbb{R}</math>, que lo es), compacto (por el [[teorema de Heine-Borel]], ya que es cerrado y acotado) e induce en <math>X=(0,1)</math> la topología original. 

Sin embargo, podríamos haberlo hecho de otra forma: tomando <math>X^* \simeq \mathbb{S}^1\subseteq\mathbb{R}^2</math>, la [[circunferencia]] con la topología inducida de la usual de <math>\mathbb{R}</math>. Podemos deformar [[Homeomorfismo|homeomórficamente]] el intervalo <math>(0,1)</math> en <math>\mathbb{S}^1\setminus\{N\}</math>, donde <math>N</math> simboliza el punto <math>(0,1)\in\mathbb{S}^1</math> (formalmente, podemos hacer <math>(0,1)\simeq \mathbb{R} \simeq \mathbb{S}\setminus\{ N\}</math>, donde el primer homeomorfismo viene dado por <math>f(x)=\frac{1}{x}+\frac{1}{x-1}</math>, por ejemplo, y el segundo es la [[proyección estereográfica]]). Ahora, añadiendo un punto <math>N</math> al espacio deformado obtenemos <math>\mathbb{S}^1</math>, que es compacto y Hausdorff. Es decir, hemos compactificado con un solo punto una deformación del espacio <math>X</math>. Podemos intuir (aunque se podría demostrar) que esta compactificación con un solo punto del espacio deformado induce, de hecho, una del espacio original.

Observemos que para espacios más complicados podría haber todavía más compactificaciones posibles (añadiendo distintas cantidades de puntos). Lo que nos preguntamos es si es siempre posible hacerlo con un único punto. En caso de que exista, la compactificación de <math>X</math> con un solo punto, <math>\infty</math>, se llama la compactificación de Alexándrov.

=== Abiertos de la compactificación ===
[[Archivo:Stereographic projection.svg|miniaturadeimagen|Proyección estereográfica]]
En esta sección se justifica informalmente la definición de la topología en <math>X^*=X\cup\{\infty\}</math> analizando el ejemplo concreto de la compactificación de <math>\mathbb{R}^2</math>.

Lo primero que observamos es que, para asegurar que <math>\mathcal{T}^*</math> induzca <math>\mathcal{T}</math> al considerar el subespacio <math>X\subseteq X^*</math>, podemos imponer que todos los abiertos de <math>X</math> sean, a su vez, abiertos de <math>X^*</math>. Es decir, que <math>\mathcal{T}\subseteq\mathcal{T}^*</math>.
[[Archivo:Stereographic projection 2024.png|miniaturadeimagen|Proyección estereográfica de un conjunto que pasa por el polo norte]]
Sin embargo, aún no hemos definido ningún abierto que pase por el punto añadido, <math>\infty</math>. Vamos a ver cómo analizando un caso concreto: la compactificación de <math>\mathbb{R}^2</math>. Tenemos que <math>\mathbb{R}^2\simeq\mathbb{S}^2\setminus\{N\}</math> mediante la [[proyección estereográfica]] inversa, donde <math>N</math> representa el polo norte. Intuitivamente, vemos que la compactificación de Alexándrov de <math>\mathbb{R}^2</math> deberá ser [[Homeomorfismo|homeomorfa]] a <math>\mathbb{S}^2</math>, con el polo norte en correspondencia con <math>\infty</math> (esto se demostrará en el apartado de relación con homeomorfismos). Entonces, nos podemos hacer una idea de cómo son los abiertos que pasen por infinito viendo cómo son los abiertos de <math>\mathbb{S}^2</math> que pasan por el polo norte. Si tomamos un abierto que pase por el polo norte y lo proyectamos estereográficamente en <math>\mathbb{R}^2</math> (quitándole el polo norte antes, que va a parar a infinito), obtenemos un conjunto abierto de <math>\mathbb{R}^2
</math> complementario de un conjunto acotado (ver dibujo). Es decir, el complementario de un conjunto cerrado y acotado de <math>\mathbb{R}^2</math>, pero esto es, por el [[teorema de Heine-Borel]], el complementario de un compacto. Es decir, todo abierto de la compactificación de <math>\mathbb{R}^2</math> que pase por infinito debe ser el complementario de un compacto.

Generalizando esto, obtenemos la definición de la topología de la compactificación:

<math>\mathcal{T}^*=\mathcal{T}\cup\{X^*\setminus K:K\subseteq X \text{ compacto} \}</math>

== Condiciones necesarias ==
No todo espacio topológico <math>(X,\mathcal{T})</math> puede extenderse a un espacio <math>(X^*,\mathcal{T}^*)=(X\cup\{\infty\}, \mathcal{T}^*)</math> [[Espacio compacto|compacto]] y [[Espacio de Hausdorff|de Hausdorff]] de manera que <math>\mathcal{T}^*</math> induzca la topología <math>\mathcal{T}</math> al considerar <math>X</math> como subespacio de <math>X^*</math>. Las dos condiciones que <math>X</math> tiene que satisfacer son las siguientes:

* <math>X</math> debe ser de Hausdorff. En efecto, hemos impuesto que <math>(X^*, \mathcal{T}^*)</math> sea Hausdorff y que la topología en <math>X\subseteq X^*</math> sea la inducida por <math>\mathcal{T}^*</math>. Como todo subespacio de un espacio de Hausdorff es, a su vez, de Hausdorff, concluimos que <math>X</math> tiene que ser de Hausdorff de partida.
* <math>X</math> debe ser [[localmente compacto]]. En efecto, como <math>X^*</math> es Hausdorff, sus puntos son [[Conjunto cerrado|conjuntos cerrados]]. En particular, <math>\{\infty\}</math> es un cerrado de <math>X^*</math>, lo que implica que <math>X=X^*\setminus\{\infty\}</math> es un [[Conjunto abierto|abierto]] de <math>X^*</math>. Por otro lado, afirmamos que <math>X^*</math> es localmente compacto. Como es Hausdorff, basta ver que cada punto tiene un entorno compacto. Pero al ser <math>X^*</math> compacto y abierto, lo podemos tomar como entorno compacto de cualquier punto.

Veremos que estas dos condiciones son, de hecho, suficientes para poder compactificar <math>X</math> con un solo punto.

A veces se pide que <math>X</math> sea [[Conjunto denso|denso]] en <math>X^*</math>, para lo que hace falta añadir la hipótesis de que <math>X</math> no sea compacto de partida.

== Propiedades ==
Recordamos la definición de la compactificación de Alexándrov: 

<math>(X, \mathcal{T})</math> es un espacio topológico localmente compacto y de Hausdorff. Consideramos <math>X^*=X\cup\{\infty\}</math> y definimos en <math>X^*</math>la topología

<math>\mathcal{T}^*=\mathcal{T}\cup\{X^*\setminus K:K\subseteq X\ : K \text{ compacto} \}</math>

Observamos que los abiertos de la compactificación son de dos tipos bien diferenciados: los que no contienen el punto de infinito, que se caracterizan por ser abiertos ya en el espacio original <math>X</math>, y los que sí que contienen el punto del infinito, que se caracterizan por ser complementarios de compactos. A lo largo de las demostraciones llamaremos a los primeros "abiertos del primer tipo" y, a los segundos, "abiertos del segundo tipo".
{{Demostración|Tenemos claramente que <math> \emptyset\in\mathcal{T}^* </math> porque <math> \emptyset\in\mathcal{T} </math> por ser <math>\mathcal{T} </math> una topología y que <math> X^*\in\mathcal{T}^* </math> por ser <math>X^*=X^*\setminus\emptyset</math> y ser el vacío un compacto.

Veamos que la unión arbitraria de abiertos es abierta. Veremos que la unión de abiertos del primer tipo vuelve a ser un abierto del primer tipo, que la unión de abiertos del segundo tipo vuelve a ser del segundo tipo y que la unión de uno del primer tipo con uno del segundo tipo es del segundo tipo. 

Sean <math>\mathcal{U}_i\in\mathcal{T}, i \in I </math>(abiertos del primer tipo). Por ser <math> \mathcal{T} </math> una topología, <math>\bigcup \mathcal{U} _ i \in \mathcal{T} </math>, por lo que la unión vuelve a ser un abierto del primer tipo de la compactificación.

Sean <math> \mathcal{U}_i\in\mathcal{T}^*\setminus\mathcal{T}, i\in I</math> (abiertos del segundo tipo). Es decir, <math> \mathcal{U}_i=X^*\setminus K_i </math>, con <math> K_i\subseteq X </math> compacto, <math> i\in I </math>. Ahora, tenemos que <math> \bigcup\mathcal{U}_i=\bigcup(X^*\setminus K_i)=X^*\setminus\bigcap K_i </math>, que es un abierto del segundo tipo porque <math> \bigcap K_i </math> es un compacto: en efecto, como <math> K_i </math> son compactos de <math> X </math> y <math> X </math> es Hausdorff, los <math> K_i </math> son cerrados. Por tanto, <math>\bigcap K_i </math> es también un cerrado contenido en <math> K_i </math> (para cualquier <math> i\in I </math>), que es compacto. Por tanto, <math> \bigcap K_i </math> es compacto.

Tomamos dos abiertos de tipos distintos, es decir, <math> \mathcal{U} \in\mathcal{T} </math> y <math> X^*\setminus K </math>, con <math> K\subseteq X </math> compacto. Por tanto, <math> \mathcal{U}\cup(X^*\setminus K) = X^*\setminus(K\setminus\mathcal{U} )=X^*\setminus(K\cap \mathcal{U}^\mathsf{c} ) </math>, que es un abierto del segundo tipo porque <math>K\cap \mathcal{U}^\mathsf{c} </math> es un compacto: como antes, <math>K </math> es cerrado, y <math> \mathcal{U}^\mathsf{c} </math> también lo es por ser <math> \mathcal{U} </math> abierto. Su intersercción es por tanto también cerrada y está contenida en <math> K </math>, que es compacto. Es, por tanto, compacta.

La intersección finita de abiertos se hace de la misma forma, usando para los abiertos del segundo tipo que la unión finita de compactos es compacta. <math> \quad\square </math>|título=<math> \mathcal{T}^* </math> es una topología}}{{Demostración|Tenemos que ver la igualdad entre los siguientes conjntos:

<math> \{\mathcal{U}\cap X : \mathcal{U}\in\mathcal{T}^*\} = \mathcal{T} </math>

Vemos las dos inclusiones:

<math> (\subseteq) </math> Tomamos un abierto de <math> X^* </math> y distinguimos si es del primer o del segundo tipo. Si es del primer tipo, <math> \mathcal{U} </math> es un abierto de <math> X </math>, por lo que <math> \mathcal{U}\cap X = \mathcal{U} </math>, que es un abierto de <math> X </math>. Si es del segundo tipo, podemos escribir <math> \mathcal{U} = X^*\setminus K </math>, con <math> K\subseteq X </math> compacto. En este caso, <math> (X^*\setminus K)\cap X = X\setminus K </math>, que es un abierto de <math> X</math>: como <math> K </math> es un compacto dentro de <math> X </math>, que es compacto, <math> K </math> es cerrado, por lo que <math> X\setminus K </math> es abierto.

<math> (\supseteq) </math> Tomamos <math> \mathcal{U} </math> un abierto de <math> X </math> y tenemos que <math> \mathcal{U} = \mathcal{U} \cap X \in \{\mathcal{U}\cap X : \mathcal{U}\in\mathcal{T}^*\} </math> ya que, de hecho, <math> \mathcal{U} </math> también es un abierto de <math> X^* </math>. <math>\quad\square</math>|título=La topología inducida por <math> \mathcal{T}^* </math> a <math> X </math> es la topología original, <math> \mathcal{T} </math>:

<math>\mathcal{T}^*_{ \mid X} = \mathcal{T} </math>}}{{Demostración|Tomamos un recubrimiento de <math> X^* </math> por abiertos y tenemos que encontrar un subrecubrimiento finito. Distinguiendo si los abiertos son del primer o del segundo tipo, tenemos que 

<math> X^* = \bigcup_{i\in I} \mathcal{U}_i\cup\bigcup_{j\in J} (X^*\setminus K_j) </math>, con <math> \mathcal{U}_ i </math> abiertos de <math> X </math> y <math> K_j \subseteq X </math> compactos, para <math> i \in I, j \in J </math>.

Como es un recubrimiento, tiene que haber un abierto (necesariamente del segundo tipo) que contenga a infinito. Es decir, existe <math>j_0\in J </math> tal que <math> X^*\setminus K_{j_0} \ni\infty </math>. Ahora como <math> K_{j_0}\subseteq X\subseteq X^* </math>, el recubrimiento de arriba es también un recubrimiento de <math> K_{j_0} </math> y, como <math> K_{j_0} </math> sí que es compacto, existe un subrecubrimiento finito:

<math> K_{j_0}\subseteq \mathcal{U}_{i_1}\cup\cdots\cup\mathcal{U}_{i_n}\cup(X^*\setminus K_{j_1} )\cup\cdots\cup(X^*\setminus K_{j_m} ) </math>

pero entonces tenemos que

<math> X^* = K_{j_0}\cup (X\setminus K_{j_0}) =\mathcal{U}_{i_1}\cup\cdots\cup\mathcal{U}_{i_n}\cup(X^*\setminus K_{j_1} )\cup\cdots\cup(X^*\setminus K_{j_m} )\cup (X^*\setminus K_{j_0}) </math>,

que es un subrecubrimiento finito del original. <math> \quad\square </math>|título=<math> (X^*,\mathcal{T}^* )</math> es compacto}}{{Demostración|Tomamos <math>p, q </math> dos puntos distintos de <math> X^* </math> y tenemos que encontrar dos abiertos disjuntos tales que uno contenga a uno y el otro contenga al otro. Distiguimos dos casos: si ambos son distintos del punto de infinito y si uno de ellos es el punto de infinito.

Si <math> p,q \neq\infty </math>, tenemos que son dos puntos distintos de <math> X =X^*\setminus\{\infty\} </math>, que sí que es Hausdorff, por lo que existen dos abiertos <math> \mathcal{U}_p\ni p </math> y <math> \mathcal{U}_q\ni q </math> de <math> X </math> (y por tanto abiertos (del primer tipo) de <math> X^* </math>) disjuntos, que es lo que queríamos.

Si alguno de los dos puntos es infinito, podemos suponer que <math> p = \infty\neq q </math>. Ahora, como <math> q\neq\infty </math> tenemos que <math> q\in X </math>, pero al ser <math> X </math> localmente compacto y Hausdorff, <math> q </math> tiene un entorno compacto dentro de <math> X </math>:

<math> \exists K\subseteq X </math> compacto y <math> \mathcal{U}\subseteq X </math> abierto tales que <math> q \in\mathcal{U}\subseteq K\subseteq X </math>. <math>\quad (*) </math>

Pero ahora tenemos que <math>\mathcal{U}\ni q </math> es un abierto (del primer tipo) de <math> X^* </math> y <math> X^*\setminus K\ni p =\infty </math> es un abierto (del segundo tipo) de <math> X^* </math>, y son disjuntos por <math> (*) </math>, y esto es lo que queríamos encontrar. <math> \quad\square </math>|título=<math> (X^*, \mathcal{T}^* ) </math> es de Hausdorff}}{{Demostración|Tenemos que ver que <math>\overline{X} = X^* </math>, donde <math> \overline{X} </math> es la adherencia de <math> X </math> dentro de <math> X^* </math>. Tenemos entonces, claramente, que <math> \overline{X}\subseteq X^* </math>, y siempre es cierto que <math> X\subseteq \overline{X} </math>.

Como <math> X^*=X\cup\{\infty\} </math>, usando lo anterior, basta ver que <math> \infty\in \overline{X} </math>. Para ello, tomamos un abierto que contenga a infinito y veamos que necesariamente corta a <math> X </math>. El abierto que contiene al punto del infinito tiene que ser del segundo tipo, es decir, de la forma <math> X^*\setminus K </math>, con <math>K\subseteq X </math> compacto. 

Pero al ser <math> X </math> no compacto, y <math> K\subseteq X </math>, se sigue que <math>X\setminus K \neq\emptyset </math> (pues si fuera vacío, <math> X=K </math>, que es compacto, y tendríamos una contradicción). Usando esto, tenemos que el abierto <math> X^*\setminus K </math> corta a <math> X </math>, como queríamos:

<math> (X^*\setminus K)\cap X = X\setminus K \neq \emptyset \quad\square</math>|título=Si <math> X </math> no es compacto, entonces es denso en <math> X^* </math>}}

== Unicidad ==
Dado un espacio topológico <math>(X,\mathcal{T})</math>, su compactificación de Alexándrov es única salvo [[homeomorfismo]]: si tenemos dos compactificaciones de Alexándrov de <math>X</math>, necesariamente son homeomorfas. Es decir, vamos a demostrar que si tenemos dos compactificaciones de Alexándrov en el sentido de que cumplen las hipótesis que le pedimos a esta (aunque no estén construidas según la definición):

<math>(X\cup\{\infty'\} , \mathcal{T}' )</math> compacto Hausdorff tal que <math>\mathcal{T}'_{\mid X }=\mathcal{T}</math> y

<math>(X\cup\{\infty''\} , \mathcal{T}'' )</math> compacto Hausdorff tal que <math>\mathcal{T}''_{\mid X }=\mathcal{T}</math>,

entonces son homeomorfas: <math>X'\simeq X''</math>.

Vamos a demostrar el siguiente lema:
{{Demostración|Notamos que <math> (Y\setminus\{ p\})^* = (Y\setminus\{ p \})\cup\{\infty\} </math>, por lo que, de hecho, este conjunto sólo difiere de <math> Y </math> en que se ha cambiado el punto <math> p </math> por <math> \infty </math>. Usamos esta observación para construir la siguiente aplicación:

<math> f\colon (Y\setminus\{p\} )^*\longrightarrow Y </math> definida como <math> \infty\mapsto f(\infty ) =p </math> y <math> f(x) = x </math>, para <math> x\neq \infty </math>.

Afirmamos que <math> f </math> es un homeomorfismo, por lo que habremos acabado. Claramente, es una biyección, y basta ver que <math> f </math> es continua, ya que, en ese caso, viendo que va de un espacio compacto hacia uno de Hausdorff, tendremos inmediatamente que es un homeomorfismo.

Veamos que es continua por definición. Es decir, tomamos un abierto <math>\mathcal{U} </math> de <math> Y </math>, construimos su antiimagen y vemos que es abierta. Distinguimos dos casos:

*Si <math>\mathcal{U}\not\ni p </math>, entonces <math> f^{-1}(\mathcal{U} ) = \mathcal{U} </math>, y afirmamos que esto es un abierto de <math> (Y\setminus\{ p\})^* </math>. En efecto, como <math>\mathcal{U} </math> es un abierto de <math> Y </math> que no pasa por el punto <math> p </math>, tenemos que <math> \mathcal{U} = (Y\setminus \{ p\})\cap\mathcal{U} </math> es un abierto de <math> Y\setminus\{ p\} </math>, por lo que es un abierto (del primer tipo) de <math> (Y\setminus\{ p\})^* </math>.

*Si <math>\mathcal{U}\ni p </math>, entonces <math> f^{-1}(\mathcal{U} ) = (\mathcal{U}\setminus\{ p\})\cup \{\infty\} </math>, pero <math>(\mathcal{U}\setminus\{ p\})\cup \{\infty\}  = (Y\setminus\{ p\})^* \setminus (Y\setminus\mathcal{U} ) </math>, que es un abierto (del segundo tipo) de la compactificación porque <math> Y\setminus\mathcal{U} </math> es un compacto contenido en <math> Y\setminus\{ p\} </math>: que está contenido en ese conjunto está claro, y que es compacto es porque <math>\mathcal{U} </math> es un abierto de <math> Y </math>, por lo que <math> Y\setminus\mathcal{U}</math> es un cerrado de <math> Y </math>, que es compacto, por lo que es, de hecho, compacto. <math>\quad\square</math>|título=Sea <math> Y </math> compacto Hausdorff y <math> p \in Y </math>. Entonces,
<math> Y \simeq (Y\setminus \{ p \})^* </math>, la compactificación de Alexándrov de <math> Y\setminus\{ p \} </math> definida al principio del artículo.}}
Usando el lema anterior con <math>Y=X\cup\{\infty'\}</math> y <math>p=\infty'</math>, tenemos que <math>X'\simeq X^*</math>. Haciendo lo mismo con <math>X''</math>, tenemos que <math>X''\simeq X^*</math>. Por tanto, tenemos que <math>X'\simeq X^*\simeq X''</math>, lo que implica que <math>X'\simeq X''</math>, que es lo que queríamos demostrar. <math>\quad\square</math>

== Relación con homeomorfismos ==
{{Demostración|Estamos suponiendo que tenemos un homeomorfismo

<math> f\colon X\rightarrow Y </math>

Si escribimos <math> X^* = X\cup\{\infty_X\}, Y^*=Y\cup\{\infty_Y\} </math>, podemos inducir el siguiente homeomorfismo entre sus compactificaciones:

<math> f^*\colon X^*\rightarrow Y^* </math> definido como <math> \infty_X\mapsto\infty_Y </math>, <math> x\mapsto f^*(x)=f(x)</math>, para <math> x\neq \infty_X </math>.

Es claramente una biyección y va de un compacto a un Hausdorff, por lo que basta ver que es continua para demostrar que es un homeomorfismo, y esto es sencillo de ver distinguiendo las antiimágenes de abiertos del primer y del segundo tipo (similar a la desmotración del lema del apartado de unicidad de la compactificación) <math> \quad\square </math>|título=Si dos espacios son homeomorfos, también lo son sus compactificaciones:

<math> X\simeq Y \Rightarrow X^*\simeq Y^* </math>}}
Este resultado, junto con el lema del apartado de unicidad, nos permite demostrar lo que afirmábamos al principio del artículo: que la [[circunferencia]] <math>\mathbb{S}^1</math> y la [[esfera]] <math>\mathbb{S}^2</math> son homeomorfos a las compactificaciones de Alexándrov de <math>\mathbb{R}</math> y <math>\mathbb{R}^2</math>, respectivamente (es más, a veces se dice que ''son'' las compactificaciones de Alexándrov de <math>\mathbb{R}</math> y <math>\mathbb{R}^2</math>). De hecho, podemos ver que <math>\mathbb{S}^n</math> es homeomorfa a la compactificación de Alexándrov de <math>\mathbb{R}^n</math>. En efecto, tenemos que <math>\mathbb{S}^n\setminus\{N\}\simeq \mathbb{R}^n</math> por la [[proyección estereográfica]], donde <math>N</math> representa el polo norte. Por este último resultado, tenemos que <math>(\mathbb{S}^n\setminus\{N\})^*\simeq(\mathbb{R}^n)^*</math> y, por el lema de unicidad, que <math>\mathbb{S}^n\simeq (\mathbb{S}^n\setminus\{N\})^*</math>. Por tanto, tenemos que <math>\mathbb{S}^n\simeq(\mathbb{S}^n\setminus\{N\})^*\simeq(\mathbb{R}^n)^*</math>, que es lo que queríamos demostrar.

Observemos que el método anterior se puede generalizar para encontrar espacios homeomorfos a la compactificación de Alexándrov de un espacio <math>X</math> dado. En efecto, basta encontrar un espacio que, quitándole un punto, sea homeomorfo al espacio original <math>X</math>. En el caso anterior, <math>X=\mathbb{R}^n</math> y el espacio homeomorfo a <math>X</math> una vez que le quitamos un punto es <math>\mathbb{S}^n</math> (quitándole el polo norte). Nótese que el resto del argumento anterior es general.

== Ejemplos ==
La demostración de las siguientes afirmaciones consiste siempre en construir un homeomorfismo entre el espacio a compactificar y el espacio compactificado menos un punto, igual que en el ejemplo de <math>\mathbb{R}^n</math> discutido en la sección anterior:

* La compactificación de Alexándrov de los enteros positivos es homeomorfa al espacio <math>K=\{0\}\cup\{1/n:n\in\mathbb{Z},n\geq 0\}</math> con la [[topología del orden]] (que coincide con la topología inducida de la [[Topología usual|usual]] de <math>\mathbb{R}</math>).
* La compactificación del [[espacio euclídeo]] <math>n</math>-dimensional <math>\mathbb{R}^n</math> es homeomorfa a la <math>n</math>[[N-esfera|-esfera]] <math>\mathbb{S}^n</math> (mediante la [[proyección estereográfica]]).
* La compactificación de <math>\kappa</math> copias del intervalo semiabierto <math>[0,1)</math>, es decir, de <math>[0,1)^\kappa</math>, es homeomorfa a <math>[0,1]^\kappa</math>.
* Como la adherencia de un espacio conexo es conexa, la compactificación de Alexándrov de un espacio conexo no compacto es conexa. Sin embargo, el recíproco no es cierto: la compactificación puede conectar un espacio que no fuera conexo originalmente. Por ejemplo, la compactificación de la [[Unión disjunta (topología)|unión disjunta]] de <math>n</math> copias del intervalo abierto <math>(0,1)</math> es homeomorfa a la [[unión puntual]] de <math>n</math> circunferencias, esto es, la [[Rosa (topología)|rosa]] de <math>n</math> pétalos.
* La compactificación de la [[unión disjunta]] de una cantidad numerable de copias del intervalo <math>(0,1)</math> es homeomorfa al [[pendiente hawaiano]], que es distinto a la unión puntual de una cantidad numerable de circunferencias, que no es compacta.
* Dado <math>X</math> compacto Hausdorff y <math>C</math> un [[subconjunto]] cerrado de <math>X</math>, la compactificación de <math>X\setminus C</math> es homeomorfa a <math>X/C</math> es [[Topología cociente|espacio cociente]] que identifica todos los puntos de <math>C</math>.

== Bibliografía ==

* {{Cita publicación|título=Über die Metrisation der im Kleinen kompakten topologischen Räume|apellidos=Alexándrov|nombre=Pável|fecha=1924|publicación=Math. Ann.|volumen=92|número=3-4|páginas=294-301|doi=10.1007/BF01448011}}
* {{Cita publicación|título=Sequentially proper maps and a sequential compactification|apellidos=Brown|nombre=Ronald|fecha=1973|publicación=J. London Math Soc. (2)|volumen=7|páginas=515–522|doi=10.1112/jlms/s2-7.3.515}}
* {{Cita libro|apellidos=Engelking|nombre=Ryszard|título=General Topology|año=1989|editorial=Helderman Verlag Berlin|isbn=978-0-201-08707-9}}
* {{springer|id=A/a011260|first=V.V.|last=Fedorchuk|title=Aleksandrov compactification}}
* {{Cita libro|apellidos=Kelley|nombre=John L.|título=General Topology|año=1975|editorial=[[Springer-Verlag]]|isbn=978-0-387-90125-1|ubicación=Berlin, New York}}
* {{Cita libro|apellidos=Munkres|nombre=James|enlaceautor=James Munkres|título=Topology|año=1999|editorial=[[Prentice Hall]]|isbn=0-13-181629-2}}
* {{Cita libro|apellidos=Willard|nombre=Stephen|título=General Topology|año=1970|editorial=[[Addison-Wesley]]|isbn=3-88538-006-4}}
* {{Cita libro|apellidos=Pascual|nombre=Pere|título=Topologia|año=2004|isbn=8483017504|páginas=104-109|idioma=Catalán|nombre2=Agustí|apellidos2=Roig}}

== Véase también ==

* [[Esfera de Riemann]]
* [[Proyección estereográfica]]
* [[Espacio normal]]

{{control de autoridades}}
[[Categoría:Topología]]
[[Categoría:Compactación (matemáticas)]]