El mar que envuelve a las piedras Espacios de Stone, profinitos y su papel en la aritmética contemporánea

1 Introducción: la tensión entre lo discreto y lo continuo

La teoría que desarrollaremos en estas notas es, en cierto sentido, completamente clásica. La dualidad de Stone entre álgebras de Boole y espacios compactos totalmente desconectados data de los años treinta, la identificación de estos espacios con los profinitos está plenamente establecida, y la compactificación de Stone–Čech se describe ya con detalle en monografías estándar como [1, 2, 4]. Podría parecer, por tanto, que no hay necesidad de un nuevo texto: los teoremas básicos están demostrados, las referencias existen, y la lógica booleana no es precisamente un tema de moda.

Sin embargo, el contexto matemático en el que hoy se reactivan estas ideas es radicalmente distinto al de hace cincuenta años. Uno de los focos donde esa reactivación es más visible es el programa de Matemáticas Condensadas de Clausen–Scholze [3]. Allí, los espacios profinitos —y, por ende, los espacios de Stone— dejan de ser actores secundarios: el sitio de profinitos se convierte en la base sobre la cual se definen gavillas, se reconstruyen nociones analíticas y se formulan teorías cohomológicas adaptadas a la aritmética. En este paisaje, entender con precisión qué son los espacios de Stone, cómo se describen como límites inversos, cómo se relacionan con las álgebras de Boole (ordinarias y completas) y cómo se construye la compactificación de Stone–Čech deja de ser un capítulo “introductorio” y se convierte en infraestructura conceptual.

El punto de fricción, sin embargo, sigue siendo esencialmente el mismo: la tensión persistente entre álgebra y topología. Cuando dotamos de topologías naturales a objetos aritméticos infinitos (grupos de Galois, anillos $p$ -ádicos, grupos de puntos de variedades), la topología clásica genera patologías bien conocidas:

categorías de grupos topológicos (o módulos topológicos) que no son abelianas;
cohomologías que requieren definiciones ad hoc y cuidados técnicos constantes;
productos tensoriales y completaciones cuya compatibilidad con la topología es delicada o directamente fallida.

La topología usual resulta, en muchos contextos aritméticos, demasiado “blanda” para la rigidez que exige la estructura algebraica.

Si se lleva la metáfora del título un poco más lejos, estos espacios topológicos clásicos son, por así decirlo, piedras porosas sumergidas en un mar algebraico: la información se filtra, aparecen grietas donde la completitud falla y ciertos procesos (cohomológicos, tensores, límites) “se escurren” por los poros de la topología. En contraste, los espacios de Stone y sus análogos profinitos serán, en las secciones siguientes, piedras mucho menos porosas: siguen siendo rugosas y ricas en estructura, pero su interfaz con el mar algebraico es más controlable. Las Matemáticas Condensadas reinterpretan precisamente ese mar como un medio profinito y lógico en el que estas piedras menos porosas se convierten en objetos generadores.

Históricamente, esta tensión entre lo algebraico y lo topológico se ha ido reorganizando alrededor de ciertos hitos conceptuales. En 1936, Marshall H. Stone observa que la lógica booleana posee una geometría interna: toda álgebra de Boole es isomorfa al álgebra de subconjuntos clopen de un espacio compacto totalmente desconectado [1]. Décadas más tarde, la escuela de Grothendieck sistematiza el fenómeno de las anti-equivalencias álgebra–geometría (anillos versus esquemas afines, marcos versus locales), proporcionando el lenguaje categórico para entender dualidades como

\mathbf{Bool}\;\simeq\;\mathbf{Stone}^{\mathrm{op}}.

Esta manera de trabajar es muy cercana a la filosofía que Grothendieck describe en sus escritos autobiográficos: en lugar de atacar cada problema en su forma concreta, se trata de ampliar el marco conceptual hasta que las dificultades particulares queden absorbidas en una teoría más general. En sus propias palabras, se deja subir una “marea creciente” de abstracción que, poco a poco, cubre los escollos locales y los integra en un paisaje más amplio y natural.¹¹1Cf. A. Grothendieck, Récoltes et Semailles [6], manuscrito inédito, donde introduce la imagen de la marée montante como metáfora de su método de trabajo. En el contexto que nos ocupa, esa marea es la topología compacta y la perspectiva categórica; las piedras son los objetos algebraicos sobre los que se hace visible su efecto.

En la formulación de Clausen y Scholze [3], este movimiento se lleva un paso más allá. Los espacios profinitos no son sólo ejemplos privilegiados, sino generadores fundamentales de una nueva categoría de conjuntos “condensados” en la que la información topológica y algebraica se amalgama en un solo objeto estructurado. En lugar de estudiar $\mathbb{Z}_{p}$ o un grupo de Galois aislados, se les sitúa dentro de un entorno en el que los mapas desde profinitos controlan la noción misma de continuidad y de sección global. La abstracción deja de ser un lujo para convertirse en el marco mínimo en el que ciertos fenómenos aritméticos se vuelven formulables.

Estas notas se sitúan en la interfaz entre esas tres capas históricas. No son un tratado de lógica, ni un manual de teoría de topos, ni un texto de Matemáticas Condensadas. Su punto de vista es más modesto y a la vez más dirigido: ofrecer un curso intensivo y autocontenido sobre espacios de Stone, espacios profinitos y compactificación de Stone–Čech, escrito con la aritmética y las aplicaciones futuras a las Matemáticas Condensadas en mente.

Más concretamente, este artículo persigue los siguientes objetivos:

a)

Desarrollar rigurosamente la dualidad de Stone entre álgebras de Boole y espacios de Stone, partiendo desde retículos, filtros y ultrafiltros hasta llegar a la anti-equivalencia categórica

$\mathbf{Bool}\;\simeq\;\mathbf{Stone}^{\mathrm{op}}\;\simeq\;\mathbf{ProFin}^{\mathrm{op}},$

con todas las demostraciones completas y formuladas de manera accesible para estudiantes de licenciatura avanzada e inicios de posgrado (véanse las secciones 2–8).
b)

Presentar los espacios profinitos como límites inversos de sistemas finitos de forma explícita, desglosando la noción de sucesiones compatibles y mostrando cómo esta descripción se refleja en ejemplos aritméticos fundamentales: los enteros $p$ -ádicos $\mathbb{Z}_{p}$ , grupos de Galois absolutos y completaciones profinitas de grupos discretos (secciones 6 y 9).
c)

Introducir la compactificación de Stone–Čech como compactificación booleana universal de espacios discretos, enfatizando su formulación categórica mediante propiedades universales, su relación con álgebras de Boole completas y su aparición natural en contextos aritméticos (en particular para $S=\mathbb{N}$ y $S=\mathbb{Z}$ ) (sección 7).
d)

Desarrollar la teoría de los espacios extremadamente desconectados y su dualidad con álgebras de Boole completas, incluyendo su caracterización como objetos proyectivos en la categoría de espacios compactos Hausdorff (teorema de Gleason). Esta pieza cierra el círculo entre lógica completa, topología profinita y propiedades universales (sección 10).
e)

Explicar con precisión en qué sentido todo lo anterior sirve de base a las Matemáticas Condensadas, sin convertir el artículo en un texto de esa teoría: la sección 11 se limita a situar el sitio de profinitos, las dualidades booleanas y las compactificaciones universales como el andamiaje sobre el cual se construyen los conjuntos condensados y sus aplicaciones a la geometría aritmética.

A lo largo del texto, estos objetivos abstractos se encarnan en una colección de ejemplos y figuras cuidadosamente elegidos. Los enteros $p$ -ádicos $\mathbb{Z}_{p}$ aparecen tanto como límites inversos explícitos como espacios de Cantor aritmizados; la compactificación de Stone–Čech $\beta\mathbb{N}$ se presenta como la “caja negra” que compactifica funciones aritméticas definidas en $\mathbb{N}$ ; los espacios extremadamente desconectados se ilustran mediante contraejemplos y levantamientos categóricos (véanse, por ejemplo, las Figuras 1–4); y se incluyen ejercicios que invitan al lector a reconstruir por sí mismo algunos de los argumentos clave. El objetivo no es sólo exponer la teoría, sino entrenar una intuición geométrica y aritmética sobre estos objetos.

Desde el punto de vista práctico, el texto está pensado para cumplir un doble papel. Por un lado, puede leerse como un documento de revisión estructurada sobre dualidad de Stone, profinitos y Stone–Čech, escrito en castellano y con pruebas completas, útil para cualquier lector que desee consolidar estos conceptos con vistas a la teoría de números, la dinámica $p$ -ádica o la geometría aritmética. Por otro lado, está diseñado como material de apoyo para un curso de Matemáticas Condensadas: al finalizar estas notas, el lector habrá adquirido la intuición categórica y geométrica necesaria para reconocer, en el lenguaje condensado, a los viejos protagonistas de esta historia —las álgebras de Boole y los espacios de Stone— disfrazados de sitio profinito y de gavillas sobre él.

2 Posets, retículos y álgebras de Boole

2.1 Posets y retículos

Definición 2.1.

Un conjunto parcialmente ordenado (poset) es un par $(P,\leq)$ donde $\leq$ es una relación binaria en $P$ tal que, para todos $x,y,z\in P$ :

i)

$x\leq x$ (reflexividad),
ii)

$x\leq y$ y $y\leq x$ implican $x=y$ (antisimetría),
iii)

$x\leq y$ y $y\leq z$ implican $x\leq z$ (transitividad).

Definición 2.2.

Un retículo es un poset $(L,\leq)$ donde para todo par $a,b\in L$ existen el supremo $a\vee b$ y el ínfimo $a\wedge b$ . Equivalentemente, $L$ está dotado de operaciones binarias

\wedge,\vee:L\times L\to L

conmutativas y asociativas, que satisfacen las leyes de absorción

a\wedge(a\vee b)=a,\qquad a\vee(a\wedge b)=a,\quad\forall a,b\in L.

(1)

En un retículo, el orden se recupera a partir de $\wedge$ :

Lema 2.3.

Sea $(L,\wedge,\vee)$ un retículo. Para $a,b\in L$ se tiene

a\leq b\;\Longleftrightarrow\;a\wedge b=a.

(2)

Demostración.

Si $a\leq b$ , entonces $a$ es una cota inferior de $\{a,b\}$ ; por definición de $a\wedge b$ se tiene $a\wedge b\leq a$ . Por otra parte, $a\wedge b\leq a$ y $a$ es una cota inferior, así que $a\leq a\wedge b$ . Por antisimetría, $a\wedge b=a$ .

Recíprocamente, si $a\wedge b=a$ , como el ínfimo es siempre menor o igual que cada uno de los elementos, $a\wedge b\leq b$ implica $a\leq b$ . ∎

Definición 2.4.

Un retículo $(L,\wedge,\vee)$ es distributivo si para todos $a,b,c\in L$ se cumple

a\wedge(b\vee c)=(a\wedge b)\vee(a\wedge c).

(3)

2.2 Álgebras de Boole

Definición 2.5.

Una álgebra de Boole es una 6-tupla $(B,\wedge,\vee,\neg,0,1)$ donde:

$(B,\wedge,\vee)$ es un retículo distributivo con elemento mínimo $0$ y máximo $1$ ;
$\neg:B\to B$ es una operación unaria llamada complemento que satisface, para todo $a\in B$ ,

$a\wedge\neg a=0,\qquad a\vee\neg a=1.$ (4)

Ejemplo 2.6.

a)

Para todo conjunto $X$ , la potencia $\mathcal{P}(X)$ con

$A\wedge B=A\cap B,\quad A\vee B=A\cup B,\quad\neg A=X\setminus A,\quad 0=\varnothing,\quad 1=X,$

es una álgebra de Boole.
b)

Sea $R$ un anillo conmutativo unitario. El conjunto de idempotentes

$E(R):=\{e\in R:e^{2}=e\}$

es una álgebra de Boole con

$e\wedge f:=ef,\quad e\vee f:=e+f-ef,\quad\neg e:=1-e.$ (5)

Esta álgebra codifica la desconexión de $\operatorname{Spec}(R)$ : descomposiciones de $1$ en sumas ortogonales de idempotentes corresponden a descomposiciones de $\operatorname{Spec}(R)$ en componentes abiertas–cerradas.

Definición 2.7.

Sea $B$ un álgebra de Boole. Un elemento $a\in B$ es un átomo si $a\neq 0$ y siempre que $0\leq b\leq a$ se tiene $b=0$ o $b=a$ .

Ejercicio 2.8.

Prueba que si $B$ es una álgebra de Boole finita, entonces es isomorfa a $\mathcal{P}(S)$ , donde $S$ es el conjunto de átomos de $B$ . Sugerencia: usa que todo elemento se escribe como unión finita de átomos distintos.

Observación 2.9.

En una álgebra de Boole finita $B$ , los átomos juegan el papel de "granos elementales" de información: si $S$ denota el conjunto de átomos, el isomorfismo $B\cong\mathcal{P}(S)$ identifica cada elemento de $B$ con un subconjunto de $S$ .

Dado un subconjunto finito $\mathcal{A}\subseteq B$ , la subálgebra booleana finita generada por sus elementos tiene un conjunto finito de átomos, que llamaremos los gránulos asociados a $\mathcal{A}$ . Estos gránulos son, en la práctica, los fragmentos discretos que aparecen al observar el espacio de Stone $X_{B}$ con la resolución finita impuesta por $\mathcal{A}$ : cada átomo corresponde a un clopen minimal de $X_{B}$ en esa escala, una especie de grano de arena lógico sobre el que se apoyan las aproximaciones finitas.

3 Filtros, ultrafiltros y puntos lógicos

3.1 Filtros y ultrafiltros

Definición 3.1.

Sea $B$ un álgebra de Boole. Un filtro en $B$ es un subconjunto $F\subseteq B$ tal que:

i)

$1\in F$ y $0\notin F$ ;
ii)

si $a,b\in F$ , entonces $a\wedge b\in F$ ;
iii)

si $a\in F$ y $a\leq b$ , entonces $b\in F$ .

Definición 3.2.

Un ultrafiltro en $B$ es un filtro propio $U\subsetneq B$ que es maximal con respecto a la inclusión.

Lema 3.3 (Caracterización de ultrafiltros).

Sea $U$ un filtro propio en una álgebra de Boole $B$ . Entonces $U$ es un ultrafiltro si y sólo si para todo $a\in B$ se tiene

\text{exactamente uno de }a,\neg a\text{ pertenece a }U.

(6)

Demostración.

$(\Rightarrow)$ Ya vimos esta dirección antes: la maximalidad implica que no pueden faltar ambos $a,\neg a$ , y la propiedad de filtro impide que estén ambos.

$(\Leftarrow)$ Si $U$ satisface (6) y $F$ es un filtro propio con $U\subseteq F\subseteq B$ , toma $a\in F\setminus U$ . Por (6), $\neg a\in U\subseteq F$ , y entonces $0=a\wedge\neg a\in F$ , contradicción. Por tanto $F=U$ . ∎

Observación 3.4.

Usando el lema de Zorn y el axioma de elección se prueba que todo filtro propio se puede extender a un ultrafiltro. Este hecho es equivalente a formas débiles del lema de ultrafiltros.

3.2 Ultrafiltros y homomorfismos a $2$

Sea $2=\{0,1\}$ la álgebra de Boole de dos elementos.

Proposición 3.5.

Para una álgebra de Boole $B$ , existe una biyección natural

\{\text{ultrafiltros en }B\}\;\cong\;\operatorname{Hom}_{\mathbf{Bool}}(B,2).

(7)

Demostración.

Dado un ultrafiltro $U$ , definimos $v_{U}:B\to 2$ por

v_{U}(a)=\begin{cases}1,&\text{si }a\in U,\\ 0,&\text{si }a\notin U.\end{cases}

El Lema 3.3 y las propiedades de filtro garantizan que $v_{U}$ respeta $\wedge,\vee,\neg,0,1$ , es decir, es homomorfismo de álgebras de Boole.

Recíprocamente, un homomorfismo $v:B\to 2$ da un ultrafiltro

U_{v}:=v^{-1}(\{1\}).

Se verifica directamente que $U_{v}$ es filtro y que satisface (6), por lo que es ultrafiltro. Las aplicaciones $U\mapsto v_{U}$ y $v\mapsto U_{v}$ son inversas una de otra. ∎

4 El espacio de Stone y el teorema de representación

4.1 Construcción del espacio de Stone

Definición 4.1.

Sea $B$ un álgebra de Boole. El espacio de Stone de $B$ (también llamado la piedra asociada a $B$ ), es el conjunto

X_{B}:=\{U\subseteq B:U\text{ es un ultrafiltro}\}.

(8)

Para cada $a\in B$ definimos el subconjunto básico

\widehat{a}:=\{U\in X_{B}:a\in U\}\subseteq X_{B},

(9)

al que llamaremos la arenilla asociada a $a$ . La familia $\{\widehat{a}\}_{a\in B}$ genera una topología en $X_{B}$ ; sus elementos son clopens y constituyen fragmentos elementales de la estructura lógica de la piedra $X_{B}$ .

Lema 4.2.

Para todo $a,b\in B$ se tiene

$\displaystyle\widehat{0}$	$\displaystyle=\varnothing,$	(10)
$\displaystyle\widehat{1}$	$\displaystyle=X_{B},$	(11)
$\displaystyle\widehat{a\wedge b}$	$\displaystyle=\widehat{a}\cap\widehat{b},$	(12)
$\displaystyle\widehat{a\vee b}$	$\displaystyle=\widehat{a}\cup\widehat{b},$	(13)
$\displaystyle\widehat{\neg a}$	$\displaystyle=X_{B}\setminus\widehat{a}.$	(14)

Demostración.

Las igualdades (10) y (11) son inmediatas. La igualdad (12) se deduce de que $U$ es filtro si y sólo si $a,b\in U$ implica $a\wedge b\in U$ , y recíprocamente. La igualdad (13) se sigue del hecho ya usado varias veces: $a\vee b\in U$ si y sólo si $a\in U$ o $b\in U$ (pues en caso contrario $\neg a,\neg b\in U$ y $\neg(a\vee b)=\neg a\wedge\neg b\in U$ produciría $0\in U$ ). La igualdad (14) se obtiene de (6). ∎

En particular, cada $\widehat{a}$ es un conjunto clopen. Definimos

\eta_{B}:B\to\operatorname{Clop}(X_{B}),\qquad\eta_{B}(a):=\widehat{a}.

(15)

Llamaremos a este morfismo el operador arenilla del álgebra de Boole $B$ .

4.2 Propiedades topológicas

Teorema 4.3.

Para toda álgebra de Boole $B$ , el espacio $X_{B}$ es compacto, Hausdorff y totalmente desconectado.

Demostración.

Consideremos el producto

2^{B}:=\prod_{a\in B}2_{a},

con cada $2_{a}=\{0,1\}$ discreto, y topología producto. Por Tychonoff, $2^{B}$ es compacto Hausdorff y totalmente desconectado.

La Proposición 3.5 identifica $X_{B}$ con el subconjunto $H\subseteq 2^{B}$ de homomorfismos $v:B\to 2$ . Las condiciones

v(0)=0,\ v(1)=1,\ v(a\wedge b)=v(a)\wedge v(b),\ \dots

definen ecuaciones finitas en coordenadas, de modo que $H$ es intersección de subespacios cerrados de $2^{B}$ , y por tanto es cerrado. Como subespacio cerrado de un compacto Hausdorff totalmente desconectado, $H\simeq X_{B}$ hereda esas propiedades.

La Hausdorzidad y total desconexión también se pueden verificar directamente con los clopens $\widehat{a}$ . ∎

4.3 Teorema de representación

Teorema 4.4 (Stone, 1936).

El morfismo $\eta_{B}:B\to\operatorname{Clop}(X_{B})$ dado por $a\mapsto\widehat{a}$ es un isomorfismo de álgebras de Boole.

Demostración.

Ya vimos que $\eta_{B}$ es homomorfismo. Falta probar inyectividad y sobreyectividad.

Inyectividad. Supongamos que $\widehat{a}=\widehat{b}$ y $a\not\leq b$ . Entonces $c:=a\wedge\neg b\neq 0$ . El filtro generado por $c$ es propio, y se puede extender a un ultrafiltro $U$ con $c\in U$ . Como $c\leq a$ y $c\leq\neg b$ , se tiene $a\in U$ y $b\notin U$ , y por tanto

U\in\widehat{a}\setminus\widehat{b},

contradicción. Por tanto $a\leq b$ . Un argumento simétrico da $b\leq a$ , así que $a=b$ .

Sobreyectividad. Sea $C\subseteq X_{B}$ un clopen. La familia $\{\widehat{a}\}_{a\in B}$ es una base de abiertos, así que

C=\bigcup_{a\in S}\widehat{a}

para algún $S\subseteq B$ . Como $C$ es compacto (cerrado en $X_{B}$ ), existe un subrecubrimiento finito

C=\widehat{a_{1}}\cup\cdots\cup\widehat{a_{n}}.

Definimos $a:=a_{1}\vee\cdots\vee a_{n}$ . Entonces, usando (13),

\widehat{a}=\widehat{a_{1}\vee\cdots\vee a_{n}}=\widehat{a_{1}}\cup\cdots\cup\widehat{a_{n}}=C.

Por tanto, $C$ está en la imagen de $\eta_{B}$ . Esto prueba la sobreyectividad. ∎

Figura 1: Diccionario visual de Stone: las operaciones booleanas en

B

corresponden a operaciones con clopens en

X_{B}

.

5 Recuperar un espacio de Stone desde sus clopens

Sea ahora $X$ un espacio compacto, Hausdorff y totalmente desconectado.

Definición 5.1.

Denotamos por $\operatorname{Clop}(X)$ al conjunto de clopens de $X$ . Para cada $x\in X$ definimos

U_{x}:=\{C\in\operatorname{Clop}(X):x\in C\}.

(16)

Proposición 5.2.

Para cada $x\in X$ , el subconjunto $U_{x}\subseteq\operatorname{Clop}(X)$ es un ultrafiltro.

Demostración.

Es un filtro: $X\in U_{x}$ y $\varnothing\notin U_{x}$ ; si $C,D\in U_{x}$ entonces $x\in C\cap D$ y $C\cap D$ es clopen; si $C\in U_{x}$ y $C\subseteq D$ con $D$ clopen, entonces $x\in D$ y $D\in U_{x}$ .

Para ver que es ultrafiltro, basta notar que para cada clopen $E$ , exactamente uno de $E$ o $E^{c}$ contiene a $x$ , y por tanto pertenece a $U_{x}$ . ∎

Definición 5.3.

Definimos

\Phi_{X}:X\to X_{\operatorname{Clop}(X)},\qquad x\mapsto U_{x}.

Lema 5.4.

En un espacio de Stone $X$ , los clopens separan puntos: si $x\neq y$ , existe un clopen $C$ tal que $x\in C$ y $y\notin C$ .

Demostración.

$X$ es compacto, Hausdorff y totalmente desconectado. En particular es $0$ -dimensional: posee una base de abiertos clopen. Partiendo de cualquier par de abiertos disjuntos que separan a $x,y$ , se puede refinar para obtener un clopen que contenga a $x$ y excluya a $y$ (ver [2] para una prueba detallada). ∎

Teorema 5.5.

Sea $X$ un espacio de Stone. Entonces $\Phi_{X}:X\to X_{\operatorname{Clop}(X)}$ es un homeomorfismo.

Demostración.

La continuidad se verifica sobre la base de abiertos de $X_{\operatorname{Clop}(X)}$ . Para $C\in\operatorname{Clop}(X)$ ,

\Phi_{X}^{-1}(\widehat{C})=\{x\in X:C\in U_{x}\}=\{x\in X:x\in C\}=C,

que es abierto. Por tanto $\Phi_{X}$ es continua.

La inyectividad se sigue del Lema 5.4: si $x\neq y$ , existe un clopen $C$ con $x\in C$ , $y\notin C$ , por lo que $C\in U_{x}$ y $C\notin U_{y}$ , de modo que $U_{x}\neq U_{y}$ .

Para la sobreyectividad, sea $U$ un ultrafiltro de clopens. La familia $\{C\in\operatorname{Clop}(X):C\in U\}$ tiene propiedad de intersección finita. Por compacidad, la intersección $\bigcap_{C\in U}C$ es no vacía. Sea $x$ un punto en esa intersección.

Entonces $C\in U$ implica $x\in C$ , así que $U\subseteq U_{x}$ . Por otro lado, si $D$ es clopen con $x\in D$ , entonces $D^{c}$ es clopen y no contiene a $x$ , así que $D^{c}\notin U$ . Por ser ultrafiltro, debe cumplirse $D\in U$ . Luego $U_{x}\subseteq U$ , y así $U=U_{x}$ .

Finalmente, $X$ es compacto y $X_{\operatorname{Clop}(X)}$ es Hausdorff; una biyección continua entre un compacto y un Hausdorff es un homeomorfismo. ∎

6 Espacios profinitos y límites inversos

6.1 Sistemas proyectivos y límites inversos

Definición 6.1.

Sea $(I,\leq)$ un conjunto dirigido. Un sistema proyectivo de espacios topológicos indexado por $I$ consiste en:

una familia de espacios $(X_{i})_{i\in I}$ ;
aplicaciones continuas $\phi_{ji}:X_{j}\to X_{i}$ para cada par $i\leq j$ ,

satisfaciendo

\phi_{ii}=\mathrm{id}_{X_{i}},\qquad\phi_{ki}=\phi_{ji}\circ\phi_{kj}\quad(i\leq j\leq k).

Definición 6.2 (Límite inverso).

El límite inverso $X:=\varprojlim_{i\in I}X_{i}$ es el subespacio de $\prod_{i\in I}X_{i}$ formado por las sucesiones compatibles

X=\left\{(x_{i})_{i\in I}\in\prod_{i\in I}X_{i}\,\middle|\,\phi_{ji}(x_{j})=x_{i}\ \forall i\leq j\right\},

con la topología subespacio.

6.2 Definición de espacio profinito

Definición 6.3.

Un espacio profinito es un espacio homeomorfo al límite inverso de un sistema proyectivo de conjuntos finitos discretos. La categoría $\mathbf{ProFin}$ tiene como objetos los espacios profinitos y morfismos las aplicaciones continuas.

Observación 6.4.

Si cada $X_{i}$ es finito discreto, entonces es compacto Hausdorff y totalmente desconectado. El producto $\prod_{i}X_{i}$ y cualquier subespacio cerrado, en particular el límite inverso, comparten estas propiedades. Por tanto todo profinito es un espacio de Stone.

Ejemplo 6.5 (Los enteros $p$ -ádicos).

Sea $p$ un primo. Consideremos los anillos finitos $\mathbb{Z}/p^{n}\mathbb{Z}$ con topología discreta y reducción

\phi_{n+1,n}:\mathbb{Z}/p^{n+1}\mathbb{Z}\to\mathbb{Z}/p^{n}\mathbb{Z},\qquad x\nonscript\mskip-4.0mu plus -2.0mu minus -4.0mu\mkern 5.0mu\mathbin{\operator@font m\acute{o}d}\penalty 900\mkern 5.0mu\nonscript\mskip-4.0mu plus -2.0mu minus -4.0mup^{n+1}\mapsto x\nonscript\mskip-4.0mu plus -2.0mu minus -4.0mu\mkern 5.0mu\mathbin{\operator@font m\acute{o}d}\penalty 900\mkern 5.0mu\nonscript\mskip-4.0mu plus -2.0mu minus -4.0mup^{n}.

El límite inverso

\mathbb{Z}_{p}:=\varprojlim_{n\geq 1}\mathbb{Z}/p^{n}\mathbb{Z}=\left\{(x_{n})_{n\geq 1}\in\prod_{n\geq 1}\mathbb{Z}/p^{n}\mathbb{Z}:x_{n+1}\equiv x_{n}\allowbreak\mkern 18.0mu({\operator@font m\acute{o}d}\,\,{p^{n}}\right\}

es el anillo de enteros $p$ -ádicos con su topología usual, y es profinito.

Figura 2: Esquema de árbol

p

-ádico: cada nivel corresponde a una reducción módulo

p^{n}

, y los puntos de

\mathbb{Z}_{p}

son caminos infinitos compatibles.

6.3 Equivalencia: espacios de Stone y profinitos

Proposición 6.6.

Un espacio topológico $X$ es profinito si y sólo si es compacto, Hausdorff y totalmente desconectado, es decir, si y sólo si es un espacio de Stone.

Demostración.

La dirección $(\Rightarrow)$ es la Observación 6.4.

Para $(\Leftarrow)$ , sea $X$ compacto, Hausdorff y totalmente desconectado. Consideremos el conjunto $\mathcal{P}$ de todas las particiones finitas de $X$ en clopens y definamos un sistema proyectivo de conjuntos finitos como en la demostración estándar (ver [2]): a cada partición $\mathcal{U}=\{U_{1},\dots,U_{n}\}$ se le asocia $F_{\mathcal{U}}=\{1,\dots,n\}$ y el mapa $p_{\mathcal{U}}:X\to F_{\mathcal{U}}$ que manda $x$ al índice del bloque que lo contiene; refinamientos dan mapas $F_{\mathcal{V}}\to F_{\mathcal{U}}$ , y se obtiene un límite inverso $Y$ .

El mapa

\Psi:X\to Y,\qquad x\mapsto(p_{\mathcal{U}}(x))_{\mathcal{U}\in\mathcal{P}}

es homeomorfismo; esto usa la separación por clopens, la compacidad y la propiedad universal del límite inverso. Por tanto $X$ es profinito. ∎

7 Compactificación de Stone–Čech

Llegamos ahora a la aparición más contundente de la lógica booleana en topología: la compactificación de Stone–Čech. Para nuestras aplicaciones aritméticas bastará trabajar con espacios discretos.

7.1 Compactificaciones como objetos universales

Sea $X$ un espacio topológico. Una compactificación de $X$ es un par $(K,\eta)$ donde:

$K$ es un espacio compacto Hausdorff;
$\eta:X\to K$ es continua, inyectiva y con imagen densa.

Dadas dos compactificaciones $(K,\eta)$ y $(L,\lambda)$ de $X$ , un morfismo de compactificaciones $(K,\eta)\to(L,\lambda)$ es una aplicación continua $f:K\to L$ tal que $f\circ\eta=\lambda$ .

Definición 7.1.

Sea $X$ un espacio topológico. Definimos la categoría $\mathrm{Comp}(X)$ :

objetos: compactificaciones $(K,\eta)$ de $X$ ;
morfismos: morfismos de compactificaciones.

Definición 7.2.

Una compactificación de Stone–Čech de $X$ es un objeto terminal en $\mathrm{Comp}(X)$ , es decir, una compactificación $(\beta X,\iota)$ tal que para cualquier otra compactificación $(K,\eta)$ existe un único morfismo $f:(K,\eta)\to(\beta X,\iota)$ .

Equivalente y más operativo:

Proposición 7.3 (Propiedad universal).

Sea $X$ un espacio topológico. Una compactificación $(\beta X,\iota)$ de $X$ es de Stone–Čech si y sólo si para todo compacto Hausdorff $K$ y toda aplicación continua $f:X\to K$ existe una única aplicación continua

\overline{f}:\beta X\to K

tal que $\overline{f}\circ\iota=f$ .

En términos categóricos, si $\mathbf{CHaus}$ denota la categoría de espacios compactos Hausdorff y $\mathbf{Top}$ la de espacios topológicos, la compactificación de Stone–Čech define un funtor

\beta:\mathbf{Top}_{\mathrm{Tych}}\to\mathbf{CHaus}

(en la subcategoría de espacios completamente regulares Hausdorff) que es adjunto izquierdo de la inclusión $\mathbf{CHaus}\hookrightarrow\mathbf{Top}_{\mathrm{Tych}}$ . En estas notas trabajaremos sólo con el caso donde $X$ es discreto, y la situación se simplifica enormemente.

Figura 3: Propiedad universal de la compactificación de Stone–Čech: toda aplicación

f:S\to K

a un compacto Hausdorff

K

se extiende de manera única a

\tilde{f}:\beta S\to K

.

7.2 Construcción para espacios discretos

Sea $X$ un conjunto discreto. La potencia $\mathcal{P}(X)$ es una álgebra de Boole, y su espacio de Stone $X_{\mathcal{P}(X)}$ se describe como el conjunto de ultrafiltros sobre $\mathcal{P}(X)$ .

Definición 7.4.

Si $X$ es un conjunto discreto, definimos

\beta X:=X_{\mathcal{P}(X)}=\{U\subseteq\mathcal{P}(X):U\text{ es un ultrafiltro sobre }X\}.

Damos a $\beta X$ la topología generada por los conjuntos básicos

\widehat{A}:=\{U\in\beta X:A\in U\},\qquad A\subseteq X.

Definimos la aplicación

\iota:X\to\beta X,\qquad x\mapsto U_{x}:=\{A\subseteq X:x\in A\}.

Lema 7.5.

Para $X$ discreto, la aplicación $\iota:X\to\beta X$ es inyectiva, continua (trivialmente), inmersión topológica y con imagen densa.

Demostración.

Si $x\neq y$ , el subconjunto $A=\{x\}$ cumple que $A\in U_{x}$ y $A\notin U_{y}$ , de donde $U_{x}\neq U_{y}$ ; así $\iota$ es inyectiva.

La continuidad es inmediata porque $X$ es discreto: toda función desde un discreto es continua.

Para ver que es inmersión topológica, basta notar que la topología de $X$ coincide con la inducida: el preimagen de $\widehat{A}$ por $\iota$ es

\iota^{-1}(\widehat{A})=\{x\in X:U_{x}\in\widehat{A}\}=\{x\in X:A\in U_{x}\}=A,

y los $A\subseteq X$ son precisamente todos los abiertos de $X$ .

Para la densidad, sea $W\subseteq\beta X$ un abierto no vacío. Como los $\widehat{A}$ forman una base, existe $A\subseteq X$ con $\widehat{A}\subseteq W$ y $\widehat{A}\neq\varnothing$ . Si $A=\varnothing$ , entonces $\widehat{A}=\varnothing$ , imposible, así que $A\neq\varnothing$ . Elige $x\in A$ . Entonces $U_{x}\in\widehat{A}\subseteq W$ y $U_{x}=\iota(x)$ , de modo que $W$ intersecta la imagen de $\iota$ . ∎

El paso clave es demostrar la propiedad universal de Stone–Čech para esta construcción.

Lema 7.6 (Convergencia de ultrafiltros).

Sea $K$ un espacio compacto Hausdorff y $\mathcal{U}$ un ultrafiltro de subconjuntos de $K$ . Entonces la intersección

\bigcap_{A\in\mathcal{U}}\overline{A}

es un singleton $\{y\}$ . Decimos que $\mathcal{U}$ converge a $y$ .

Demostración.

La familia de cerrados $\{\overline{A}:A\in\mathcal{U}\}$ tiene la propiedad de intersección finita: si $\overline{A_{1}},\dots,\overline{A_{n}}$ aparecen, entonces

\overline{A_{1}}\cap\cdots\cap\overline{A_{n}}\supseteq\overline{A_{1}\cap\cdots\cap A_{n}},

y como $\mathcal{U}$ es filtro, $A_{1}\cap\cdots\cap A_{n}\in\mathcal{U}$ y no puede ser vacío. Por compacidad de $K$ , la intersección total $\bigcap_{A\in\mathcal{U}}\overline{A}$ es no vacía.

Para la unicidad, supongamos que $x\neq y$ pertenecen a dicha intersección. Existen abiertos disjuntos $U,V$ en $K$ con $x\in U$ y $y\in V$ . Consideremos la partición clopen (en general, abierta) $U,K\setminus U$ . Como $\mathcal{U}$ es ultrafiltro, pertenece exactamente uno de $U$ o $K\setminus U$ .

Si $U\in\mathcal{U}$ , entonces $\overline{U}$ contiene a ambos $x$ y $y$ . Pero $y\notin\overline{U}$ , pues $y\in V$ y $U\subseteq K\setminus V$ . Contradicción. Si $K\setminus U\in\mathcal{U}$ , el mismo argumento con $x$ lleva a contradicción. Por tanto, la intersección sólo puede contener un punto. ∎

Teorema 7.7.

Sea $X$ un conjunto discreto y $(\beta X,\iota)$ como en la Definición 7.4. Entonces $(\beta X,\iota)$ es la compactificación de Stone–Čech de $X$ en el sentido de la Proposición 7.3.

Demostración.

Sea $K$ un compacto Hausdorff y $f:X\to K$ una aplicación continua (cualquier función, pues $X$ es discreto). Para cada ultrafiltro $U\in\beta X$ , consideremos la familia

\mathcal{F}_{U}:=\{f(A):A\in U\}

de subconjuntos de $K$ . Definimos el ultrafiltro de subconjuntos de $K$

f_{\ast}(U):=\{B\subseteq K:f^{-1}(B)\in U\}.

Es un ultrafiltro: se verifica directamente que es filtro y que para cada $B$ , exactamente uno de $B$ o $K\setminus B$ está en $f_{\ast}(U)$ .

Por el Lema 7.6, $f_{\ast}(U)$ converge a un único punto $y\in K$ , que definimos como

\overline{f}(U):=y.

Por la definición de convergencia, se caracteriza por la propiedad:

\forall\ \text{vecindario abierto }W\text{ de }y,\quad f^{-1}(W)\in U.

(17)

Demostremos ahora que $\overline{f}:\beta X\to K$ es continua y que extiende a $f$ .

Extensión. Sea $x\in X$ y consideremos $U_{x}=\iota(x)$ . Sea $y:=\overline{f}(U_{x})$ . Por (17), para todo entorno abierto $W$ de $y$ tenemos $f^{-1}(W)\in U_{x}$ , es decir, $x\in f^{-1}(W)$ , lo cual equivale a $f(x)\in W$ . Esto significa que todo entorno de $y$ contiene a $f(x)$ , luego $y=f(x)$ . Así

\overline{f}\circ\iota(x)=\overline{f}(U_{x})=f(x).

Continuidad. Sea $W\subseteq K$ abierto. Consideremos $A:=f^{-1}(W)\subseteq X$ . Afirmamos que

\overline{f}^{-1}(W)=\widehat{A}.

En efecto, si $U\in\widehat{A}$ , entonces $A\in U$ y por tanto $f^{-1}(W)\in U$ , lo que implica que el punto $y=\overline{f}(U)$ satisface que $W$ es vecindario de $y$ ; en particular $y\in W$ . Así $\overline{f}(U)\in W$ , es decir, $U\in\overline{f}^{-1}(W)$ .

Recíprocamente, si $U\in\overline{f}^{-1}(W)$ , entonces $y=\overline{f}(U)\in W$ . Por definición de convergencia, $f^{-1}(W)\in U$ , o sea, $A\in U$ y $U\in\widehat{A}$ . Esto muestra la igualdad

\overline{f}^{-1}(W)=\widehat{f^{-1}(W)},

que es abierta. Por tanto, $\overline{f}$ es continua.

Unicidad. Supongamos que $g:\beta X\to K$ es otra aplicación continua con $g\circ\iota=f$ . Sea $U\in\beta X$ y escribamos $y:=g(U)$ . Para todo entorno abierto $W$ de $y$ , $g^{-1}(W)$ es un abierto de $\beta X$ que contiene a $U$ . En particular, existe $A\in U$ con $\widehat{A}\subseteq g^{-1}(W)$ (los $\widehat{A}$ forman una base). Entonces, para todo $x\in A$ se tiene

f(x)=g(\iota(x))\in W,

lo que implica $A\subseteq f^{-1}(W)$ y, por tanto, $f^{-1}(W)\in U$ . Esto muestra que $y$ satisface (17), por lo que $y=\overline{f}(U)$ . Es decir, $g=\overline{f}$ .

Con esto hemos mostrado que $(\beta X,\iota)$ verifica la propiedad universal de la Proposición 7.3. ∎

7.3 Ejemplos aritméticos y relación con completaciones

Ejemplo 7.8 (Espacios finitos).

Si $X$ es finito discreto, todo ultrafiltro es principal (ejercicio clásico), de modo que

\beta X=\{U_{x}:x\in X\}\cong X.

La compactificación de Stone–Čech no añade puntos nuevos: un compacto finito ya es "completo".

Ejemplo 7.9 ( $\beta\mathbb{N}$ ).

Para $X=\mathbb{N}$ discreto, $\beta\mathbb{N}$ es el espacio de Stone de la álgebra de Boole $\mathcal{P}(\mathbb{N})$ . Los ultrafiltros principales corresponden a puntos $n\in\mathbb{N}$ ; los ultrafiltros no principales son puntos "en el infinito", que codifican maneras coherentes de decidir qué subconjuntos de $\mathbb{N}$ son "grandes".

La topología de $\beta\mathbb{N}$ tiene como base los conjuntos

\widehat{A}=\{U\in\beta\mathbb{N}:A\in U\},\qquad A\subseteq\mathbb{N}.

Combinada con la estructura semigrupal (la operación $+$ se extiende a $\beta\mathbb{N}$ ), esta compactificación es una herramienta poderosa en combinatoria aditiva y en resultados de recurrencia (vía ultrafiltros idempotentes, etc.).

Ejemplo 7.10 ( $\beta\mathbb{Z}$ y completación profinita).

Consideremos $\mathbb{Z}$ como grupo aditivo discreto. Por un lado, tenemos la compactificación de Stone–Čech $\beta\mathbb{Z}$ ; por otro, la completación profinita

\widehat{\mathbb{Z}}:=\varprojlim_{n\geq 1}\mathbb{Z}/n\mathbb{Z},

que es un compacto Hausdorff y profinito.

La compactificación de Stone–Čech es universal para todas las aplicaciones $\mathbb{Z}\to K$ con $K$ compacto Hausdorff; en cambio, $\widehat{\mathbb{Z}}$ es universal en la subcategoría de grupos profinitos.

Existe una aplicación continua y suprayectiva natural

\pi:\beta\mathbb{Z}\longrightarrow\widehat{\mathbb{Z}}

que extiende la inclusión canónica $\mathbb{Z}\hookrightarrow\widehat{\mathbb{Z}}$ .

Construcción de $\pi$ . Para cada $n\geq 1$ , consideremos la proyección

r_{n}:\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}.

Por la universalidad de $\beta\mathbb{Z}$ (Teorema 7.7), $r_{n}$ se extiende a una aplicación continua única

\overline{r}_{n}:\beta\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}.

Estas aplicaciones son compatibles con los mapas de reducción $\mathbb{Z}/mn\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}$ , de modo que definen un único morfismo

\pi:\beta\mathbb{Z}\to\widehat{\mathbb{Z}}\subseteq\prod_{n\geq 1}\mathbb{Z}/n\mathbb{Z},\qquad\pi(U):=(\overline{r}_{n}(U))_{n\geq 1}.

Por construcción, para $z\in\mathbb{Z}$ y su ultrafiltro principal $U_{z}$ se tiene

\pi(U_{z})=(r_{n}(z))_{n},

que identifica a $\mathbb{Z}$ con un subgrupo denso de $\widehat{\mathbb{Z}}$ . La imagen de $\pi$ es cerrada (compacta) y contiene a esa copia densa de $\mathbb{Z}$ , así que coincide con $\widehat{\mathbb{Z}}$ . Por tanto, $\pi$ es suprayectiva.

Observación 7.11 (Stone–Čech vs completación profinita).

Desde el punto de vista aritmético, aparecen así dos tipos de "compactificación" de un objeto discreto $X$ :

$\beta X$ : la compactificación booleana universal, controlada por la álgebra de todas las partes $\mathcal{P}(X)$ y la lógica de sus subconjuntos.
$\widehat{X}$ : la completación profinita, controlada por todos los cocientes finitos de $X$ (grupos, anillos, etc.).

En nuestro programa conceptual, $\beta X$ se sitúa del lado lógico (álgebras de Boole, ultrafiltros), mientras que $\widehat{X}$ se sitúa del lado aritmético (límite inverso de cocientes finitos). La aplicación $\pi:\beta\mathbb{Z}\to\widehat{\mathbb{Z}}$ refleja precisamente la tensión y el diálogo entre ambos mundos.

8 Dualidad categórica: $\mathbf{Bool}\simeq\mathbf{Stone}^{\mathrm{op}}$

8.1 Funtores de Stone y de clopens

Sea $\mathbf{Bool}$ la categoría de álgebras de Boole y $\mathbf{Stone}$ la de espacios de Stone.

Definimos el funtor contravariante

\mathsf{S}:\mathbf{Bool}\to\mathbf{Stone}

por

\mathsf{S}(B):=X_{B},\qquad\mathsf{S}(\varphi)=\varphi^{\ast}:X_{C}\to X_{B},\quad\varphi^{\ast}(U):=\varphi^{-1}(U),

para $\varphi:B\to C$ homomorfismo de álgebras de Boole.

Lema 8.1.

Para cualquier homomorfismo $\varphi:B\to C$ y ultrafiltro $U$ de $C$ , $\varphi^{-1}(U)$ es un ultrafiltro de $B$ , y $\varphi^{\ast}$ es continua.

Demostración.

Ya se argumentó que $\varphi^{-1}(U)$ es filtro propio y satisface la caracterización de ultrafiltro. La continuidad se verifica porque

(\varphi^{\ast})^{-1}(\widehat{a})=\widehat{\varphi(a)}.

∎

Definimos el funtor contravariante

\mathsf{C}:\mathbf{Stone}\to\mathbf{Bool}

por

\mathsf{C}(X):=\operatorname{Clop}(X),\qquad\mathsf{C}(f):=f^{-1},

para $f:X\to Y$ continuo.

8.2 Equivalencia

Los Teoremas 4.4 y 5.5 se reinterpretan como naturalidades.

Proposición 8.2.

Para cada álgebra de Boole $B$ , el morfismo $\eta_{B}:B\to\operatorname{Clop}(X_{B})$ es la componente en $B$ de una transformación natural

\eta:\mathrm{Id}_{\mathbf{Bool}}\Rightarrow\mathsf{C}\circ\mathsf{S}.

Para cada espacio de Stone $X$ , el homeomorfismo $\Phi_{X}:X\to X_{\operatorname{Clop}(X)}$ es la componente en $X$ de una transformación natural

\Phi:\mathrm{Id}_{\mathbf{Stone}}\Rightarrow\mathsf{S}\circ\mathsf{C}.

Demostración.

Es una verificación directa de que los diagramas correspondientes conmutan; remitimos a [2] para los detalles. ∎

Teorema 8.3 (Dualidad de Stone).

Los funtores contravariantes $\mathsf{S}$ y $\mathsf{C}$ establecen una anti-equivalencia de categorías

\mathbf{Bool}\;\simeq\;\mathbf{Stone}^{\mathrm{op}},

y, usando la Proposición 6.6, también

\mathbf{Bool}\;\simeq\;\mathbf{ProFin}^{\mathrm{op}}.

Observación 8.4 (Paralelo con geometría afín).

Este resultado es el modelo $0$ -dimensional de la anti-equivalencia entre esquemas afines y anillos. Aquí, $\mathbf{Bool}$ juega el papel de álgebra y $\mathbf{Stone}$ el de geometría, con $\operatorname{Clop}$ como análogo de las funciones regulares y $X_{B}$ como análogo del espectro de un anillo.

9 El corazón aritmético: $\mathbb{Z}_{p}$ y grupos de Galois

9.1 Los enteros $p$ -ádicos como espacio de Stone

Recordemos la descripción

\mathbb{Z}_{p}=\varprojlim_{n\geq 1}\mathbb{Z}/p^{n}\mathbb{Z}.

Por la Proposición 6.6, $\mathbb{Z}_{p}$ es un espacio de Stone. Su álgebra de Boole dual $\operatorname{Clop}(\mathbb{Z}_{p})$ está generada por las bolas $p$ -ádicas

a+p^{n}\mathbb{Z}_{p}=\{x\in\mathbb{Z}_{p}:x\equiv a\allowbreak\mkern 18.0mu({\operator@font m\acute{o}d}\,\,{p^{n}}\},

y sus uniones finitas.

9.2 Grupos de Galois absolutos

Sea $K$ un campo con clausura algebraica $\overline{K}$ . El grupo de Galois absoluto

G_{K}:=\operatorname{Gal}(\overline{K}/K)

tiene estructura profinita

G_{K}\cong\varprojlim_{L/K\text{ finita}}\operatorname{Gal}(L/K),

donde $L$ recorre las extensiones finitas de $K$ . La topología profinita de $G_{K}$ es precisamente la que hace que la correspondencia de Galois se extienda a extensiones infinitas: los subgrupos cerrados corresponden a subcampos intermedios.

10 Espacios extremadamente desconectados, completitud y proyectividad

En las secciones anteriores vimos que las álgebras de Boole y los espacios de Stone forman dos caras de una misma moneda: la lógica se geometriza en forma de espacios compactos, Hausdorff y totalmente desconectados. En esta sección refinamos esta dualidad en tres direcciones:

1.

Caracterizamos una clase más rígida de espacios de Stone, los espacios extremadamente desconectados (ED).
2.

Probamos en detalle que estos corresponden exactamente a las álgebras de Boole completas.
3.

Explicamos su papel categórico como objetos proyectivos en la categoría $\mathbf{CHaus}$ de compactos Hausdorff, y su relación con la compactificación de Stone–Čech.

Desde el punto de vista narrativo, los espacios ED son el "extremo lógico": son aquellos en los que ninguna información topológica queda fuera del alcance de los clopens. Del lado algebraico, esto se traduce en que la álgebra booleana subyacente no tiene "lagunas": admite supremos e ínfimos de todas las familias.

10.1 Abiertos regulares y completitud booleana

Sea $X$ un espacio topológico. Para cualquier subconjunto $U\subseteq X$ definimos el operador de regularización:

r(U):=\operatorname{int}(\overline{U}),

(18)

donde $\operatorname{int}$ denota el interior y $\overline{U}$ la clausura.

Definición 10.1 (Abiertos regulares).

Un abierto $U\subseteq X$ se llama regular abierto si satisface

U=\operatorname{int}\big(\overline{U}\big),\quad\text{es decir, }U=r(U).

Denotamos por $\mathrm{RO}(X)$ al conjunto de todos los abiertos regulares de $X$ .

Lema 10.2.

Para todo espacio topológico $X$ , el conjunto $\mathrm{RO}(X)$ es una álgebra de Boole con las operaciones

$\displaystyle U\wedge V$	$\displaystyle:=U\cap V,$	(19)
$\displaystyle U\vee V$	$\displaystyle:=r(U\cup V)=\operatorname{int}\big(\overline{U\cup V}\big),$	(20)
$\displaystyle U^{*}$	$\displaystyle:=\operatorname{int}\big(X\setminus\overline{U}\big),$	(21)

y neutros $0=\emptyset$ , $1)=X$ .

Demostración.

Comprobemos primero que $\mathrm{RO}(X)$ es estable bajo estas operaciones.

Cierre bajo intersección. Sean $U,V\in\mathrm{RO}(X)$ . Entonces $U$ y $V$ son abiertos, luego $U\cap V$ es abierto. Además,

\overline{U\cap V}\subseteq\overline{U}\cap\overline{V},

por lo que

\operatorname{int}\big(\overline{U\cap V}\big)\subseteq\operatorname{int}\big(\overline{U}\cap\overline{V}\big)\subseteq\operatorname{int}(\overline{U})\cap\operatorname{int}(\overline{V})=U\cap V.

Por otro lado, siempre se tiene $U\cap V\subseteq\overline{U\cap V}$ , así que $U\cap V\subseteq\operatorname{int}(\overline{U\cap V})$ . Concluimos

U\cap V=\operatorname{int}\big(\overline{U\cap V}\big),

es decir, $U\cap V$ es regular abierto.

Cierre bajo $U\vee V$ . Si $U,V$ son regulares, entonces $U\cup V$ es abierto y por definición $U\vee V$ es el interior de su clausura, de modo que $U\vee V\in\mathrm{RO}(X)$ .

Cierre bajo complemento ^∗. Si $U\in\mathrm{RO}(X)$ , entonces $X\setminus\overline{U}$ es abierto (complemento de cerrado), y $U^{*}$ es el interior de ese abierto, luego $U^{*}$ es regular abierto.

Las propiedades de álgebra de Boole (asociatividad, conmutatividad, leyes de absorción y distributividad) se verifican a partir de las propiedades estándar de interior, clausura y las operaciones de conjuntos. Por ejemplo, la ley de complementación $U\wedge U^{*}=0$ proviene de que $U\subseteq\overline{U}$ y $U^{*}\subseteq X\setminus\overline{U}$ ; la ley $U\vee U^{*}=1$ se deduce de que

\overline{U\cup U^{*}}=X

y, por tanto, $\operatorname{int}(\overline{U\cup U^{*}})=X$ . Dejamos los detalles al lector, pues en su mayoría son verificaciones elementales. ∎

El siguiente resultado es el punto clave para la completitud.

Proposición 10.3.

Para todo espacio topológico $X$ , la álgebra de Boole $\mathrm{RO}(X)$ es completa: todo subconjunto $\mathcal{U}\subseteq\mathrm{RO}(X)$ admite supremo e ínfimo en $\mathrm{RO}(X)$ . Más precisamente:

	$\displaystyle\bigwedge_{U\in\mathcal{U}}U$	$\displaystyle=\bigcap_{U\in\mathcal{U}}U,$		(22)
	$\displaystyle\bigvee_{U\in\mathcal{U}}U$	$\displaystyle=r\!\Big(\bigcup_{U\in\mathcal{U}}U\Big)=\operatorname{int}\Big(\overline{\bigcup_{U\in\mathcal{U}}U}\Big).$		(23)

Demostración.

Sea $\mathcal{U}\subseteq\mathrm{RO}(X)$ .

Ínfimo. El conjunto $V:=\bigcap_{U\in\mathcal{U}}U$ es intersección arbitraria de abiertos, luego es abierto. Mostremos que $V$ es regular.

Por un lado, siempre se tiene $V\subseteq\operatorname{int}(\overline{V})$ . Por otro, como

\overline{V}=\overline{\bigcap_{U\in\mathcal{U}}U}\subseteq\bigcap_{U\in\mathcal{U}}\overline{U},

obtenemos

\operatorname{int}(\overline{V})\subseteq\operatorname{int}\Big(\bigcap_{U\in\mathcal{U}}\overline{U}\Big)\subseteq\bigcap_{U\in\mathcal{U}}\operatorname{int}(\overline{U})=\bigcap_{U\in\mathcal{U}}U=V.

Por tanto $\operatorname{int}(\overline{V})=V$ , así que $V$ es regular abierto y pertenece a $\mathrm{RO}(X)$ .

Si $W\in\mathrm{RO}(X)$ está contenido en todos los $U\in\mathcal{U}$ , entonces $W\subseteq V$ . De aquí se deduce que $V$ es el ínfimo de $\mathcal{U}$ .

Supremo. Sea $U_{0}:=\bigcup_{U\in\mathcal{U}}U$ , que es abierto, y definamos $W:=r(U_{0})=\operatorname{int}(\overline{U_{0}})$ . Entonces $W\in\mathrm{RO}(X)$ . Claramente $U\subseteq U_{0}\subseteq\overline{U_{0}}$ para todo $U\in\mathcal{U}$ , de modo que $U\subseteq W$ (pues $W$ es un abierto que contiene a $U_{0}$ ). Por tanto $W$ es una cota superior de $\mathcal{U}$ .

Si $Z\in\mathrm{RO}(X)$ es otra cota superior de $\mathcal{U}$ , entonces $U\subseteq Z$ para todo $U\in\mathcal{U}$ , y en consecuencia $U_{0}\subseteq Z$ . De aquí se deduce $\overline{U_{0}}\subseteq\overline{Z}$ . Pero $Z$ es regular, luego $Z=\operatorname{int}(\overline{Z})$ , y se tiene

W=\operatorname{int}(\overline{U_{0}})\subseteq\operatorname{int}(\overline{Z})=Z.

Por tanto, $W$ es el supremo de $\mathcal{U}$ en $\mathrm{RO}(X)$ . ∎

Observación 10.4.

Si $X$ es Hausdorff y totalmente desconectado (en particular, si es un espacio de Stone), entonces $\operatorname{Clop}(X)$ es un subálgebra de Boole de $\mathrm{RO}(X)$ : todo clopen es regular abierto, porque para $C$ clopen se tiene $\overline{C}=C$ y $\operatorname{int}(\overline{C})=C$ . En este contexto, $\mathrm{RO}(X)$ puede interpretarse como una completación booleana de la álgebra de clopens $\operatorname{Clop}(X)$ .

10.2 Espacios ED y completitud de los clopens

Pasamos ahora a la noción central.

Definición 10.5 (Espacio extremadamente desconectado).

Un espacio topológico $X$ se dice extremadamente desconectado (ED) si para todo abierto $U\subseteq X$ , su clausura $\overline{U}$ es también un abierto (y en particular, clopen).

Todo espacio ED es totalmente desconectado, pero la recíproca no vale: el conjunto de Cantor, por ejemplo, es un espacio de Stone que no es ED.

En el caso de espacios de Stone, la relación con la completitud de la álgebra de clopens se expresa de la forma siguiente.

Teorema 10.6.

Sea $X$ un espacio de Stone. Entonces son equivalentes:

i)

$X$ es extremadamente desconectado.
ii)

La álgebra de Boole $\operatorname{Clop}(X)$ es completa.

Demostración.

Recordemos que $X$ es compacto, Hausdorff y totalmente desconectado, y que los clopens forman una base de la topología.

(i) $\Rightarrow$ (ii). Supongamos que $X$ es ED. Por la Observación 10.4, sabemos que $\operatorname{Clop}(X)$ es un subálgebra de $\mathrm{RO}(X)$ . Por la Proposición 10.3, $\mathrm{RO}(X)$ es una álgebra de Boole completa. Mostraremos que, bajo la hipótesis ED, toda abierto regular es de hecho clopen; esto implica $\mathrm{RO}(X)=\operatorname{Clop}(X)$ y por tanto completitud de $\operatorname{Clop}(X)$ .

Sea $U\in\mathrm{RO}(X)$ un abierto regular. Entonces $U$ es abierto, y por ser $X$ ED, su clausura $\overline{U}$ es también abierta. Tenemos

U=\operatorname{int}(\overline{U})

por regularidad; pero si $\overline{U}$ es abierta, entonces $\operatorname{int}(\overline{U})=\overline{U}$ . Por tanto,

U=\overline{U},

y $U$ es simultáneamente abierto y cerrado, es decir, clopen. Así, $\mathrm{RO}(X)\subseteq\operatorname{Clop}(X)$ , y por la Observación 10.4 también $\operatorname{Clop}(X)\subseteq\mathrm{RO}(X)$ , de modo que $\mathrm{RO}(X)=\operatorname{Clop}(X)$ .

Como $\mathrm{RO}(X)$ es completa, $\operatorname{Clop}(X)$ también lo es.

(ii) $\Rightarrow$ (i). Supongamos ahora que $\operatorname{Clop}(X)$ es una álgebra de Boole completa. Sea $U\subseteq X$ un abierto cualquiera y consideremos el conjunto

\mathcal{C}:=\{\,C\in\operatorname{Clop}(X):C\subseteq U\,\}.

Por completitud, el supremo

C_{0}:=\bigvee_{C\in\mathcal{C}}C

existe en $\operatorname{Clop}(X)$ y es, por tanto, un clopen de $X$ .

En primer lugar, $U\subseteq C_{0}$ . En efecto, si $x\in U$ , como los clopens forman una base de la topología, existe $C_{x}\in\operatorname{Clop}(X)$ con

x\in C_{x}\subseteq U,

así que $C_{x}\in\mathcal{C}$ y, por definición del supremo, $C_{x}\subseteq C_{0}$ . Por tanto $x\in C_{0}$ .

En segundo lugar, $C_{0}\subseteq\overline{U}$ . Si $x\notin\overline{U}$ , existe un clopen $D$ tal que

x\in D\subseteq X\setminus\overline{U}.

Entonces $D$ es disjunto de $U$ , y en particular de cada $C\in\mathcal{C}$ . Esto implica $D\subseteq X\setminus C$ para todo $C\in\mathcal{C}$ , de modo que

D\subseteq\bigwedge_{C\in\mathcal{C}}(X\setminus C)=X\setminus C_{0}.

En particular $x\notin C_{0}$ . Hemos mostrado que

X\setminus\overline{U}\subseteq X\setminus C_{0},

es decir, $C_{0}\subseteq\overline{U}$ .

Resumiendo, $U\subseteq C_{0}\subseteq\overline{U}$ y $C_{0}$ es clopen. Como $\overline{U}$ es la menor cerrado que contiene a $U$ , y $C_{0}$ es cerrado (al ser clopen) conteniendo a $U$ , se tiene $\overline{U}\subseteq C_{0}$ . Por tanto

\overline{U}=C_{0},

que es abierto. Esto demuestra que la clausura de todo abierto es abierta, es decir, que $X$ es extremadamente desconectado. ∎

Definición 10.7 (Operador gránulo).

Sea $X$ un espacio de Stone y sea $B:=\operatorname{Clop}(X)$ su álgebra de Boole de clopens. Dada una subálgebra booleana finita $B_{0}\subseteq B$ , denotemos por

\mathrm{At}(B_{0})=\{A_{1},\dots,A_{n}\}

su conjunto finito de átomos, que interpretamos (siguiendo la Observación 2.9) como las gránulos asociados a $B_{0}$ . Definimos el operador gránulo asociado a $B_{0}$ como la aplicación

\mathsf{Ar}_{B_{0}}:\mathcal{P}(X)\longrightarrow B,\qquad\mathsf{Ar}_{B_{0}}(E):=\bigcup_{\begin{subarray}{c}1\leq i\leq n\\ A_{i}\subseteq\operatorname{int}(\overline{E})\end{subarray}}A_{i}.

Observación 10.8.

El operador $\mathsf{Ar}_{B_{0}}$ tiene tres propiedades elementales pero conceptualmente útiles:

i)

Es monótono: si $E\subseteq F\subseteq X$ , entonces $\mathsf{Ar}_{B_{0}}(E)\subseteq\mathsf{Ar}_{B_{0}}(F)$ .
ii)

Si $U\in B_{0}$ es clopen, entonces $\mathsf{Ar}_{B_{0}}(U)$ es la mayor unión de átomos de $B_{0}$ contenida en $U$ , y coincide con $U$ siempre que $U$ sea unión de átomos de $B_{0}$ (lo cual ocurre, por ejemplo, si $U$ es uno de los propios átomos).
iii)

Para un abierto regular $U\subseteq X$ , el conjunto $\mathsf{Ar}_{B_{0}}(U)$ es una aproximación finita, booleana, del abierto $U$ vista con la resolución determinada por la subálgebra $B_{0}$ : se obtiene tomando todas las gránulos que quepan por completo dentro de la "envoltura regular" $r(U)=\operatorname{int}(\overline{U})$ .

Geométricamente, puede pensarse en $\mathsf{Ar}_{B_{0}}$ como un operador que deja caer un puñado finito de gránulos sobre el espacio $X$ y registra qué granos quedan completamente contenidos en la región que queremos aproximar. Al refinar $B_{0}$ (es decir, al considerar subálgebras finitas cada vez más grandes), las gránulos se hacen más pequeñas y la aproximación de los abiertos regulares por uniones de átomos se vuelve más precisa, reflejando de manera finita la completitud booleana del espacio extremadamente desconectado.

Del lado algebraico, esto se traduce así:

Corolario 10.9.

Sea $B$ un álgebra de Boole y $X_{B}$ su espacio de Stone. Entonces:

B\text{ es completa }\iff X_{B}\text{ es extremadamente desconectado}.

Demostración.

Por el Teorema de Representación de Stone, tenemos un isomorfismo booleando $B\cong\operatorname{Clop}(X_{B})$ . El resultado se deduce aplicando el Teorema 10.6 a $X=X_{B}$ . ∎

Observación 10.10 (Subcategorías duales).

Denotemos por $\mathbf{CBool}$ la categoría de álgebras de Boole completas y homomorfismos que preservan supremos e ínfimos arbitrarios, y por $\mathbf{EDStone}$ la subcategoría plena de $\mathbf{Stone}$ formada por los espacios de Stone extremadamente desconectados. El Corolario 10.9 muestra que la dualidad de Stone se restringe a una anti-equivalencia

\mathbf{CBool}\;\simeq\;\mathbf{EDStone}^{\mathrm{op}}.

Esta es la versión "completa" de la dualidad de Stone: la completitud lógica (supremos infinitos) en el lado algebraico se refleja en la rigidez extrema de la topología en el lado geométrico.

10.3 Compactificación de Stone–Čech y representabilidad

Consideremos ahora un conjunto $S$ con la topología discreta. Su álgebra de Boole natural es la potencia $\mathcal{P}(S)$ , que es una álgebra de Boole completa: uniones e intersecciones arbitrarias de subconjuntos siguen siendo subconjuntos.

Por la dualidad de Stone, el espacio de Stone de $\mathcal{P}(S)$ es un espacio compacto Hausdorff totalmente desconectado, que identificamos con la compactificación de Stone–Čech $\beta S$ . El Corolario 10.9 implica inmediatamente:

Proposición 10.11.

Sea $S$ un conjunto discreto. Entonces su compactificación de Stone–Čech $\beta S$ es un espacio extremadamente desconectado.

En particular, $\beta\mathbb{N}$ es al mismo tiempo:

un espacio de Stone (compacto, Hausdorff, totalmente desconectado),
extremadamente desconectado (por completitud de $\mathcal{P}(\mathbb{N})$ ),
un objeto proyectivo en $\mathbf{CHaus}$ (como veremos enseguida).

Desde el punto de vista categórico, la compactificación de Stone–Čech se caracteriza por una propiedad universal muy fuerte.

Teorema 10.12 (Propiedad universal de $\beta S$ ).

Sea $S$ un conjunto discreto y sea $i:S\to\beta S$ la inmersión canónica (identificación de $S$ con un subconjunto denso de $\beta S$ ). Para todo compacto Hausdorff $K$ y toda aplicación $f:S\to K$ , existe una única aplicación continua $\tilde{f}:\beta S\to K$ tal que

\tilde{f}\circ i=f.

Equivalente y categóricamente, el functor que envía un compacto $K$ al conjunto de aplicaciones continuas $\operatorname{Hom}_{\mathbf{CHaus}}(\beta S,K)$ es representable por $S$ vía

\operatorname{Hom}_{\mathbf{CHaus}}(\beta S,K)\;\cong\;\operatorname{Hom}_{\mathbf{Set}}(S,U(K)),

natural en $K$ , donde $U:\mathbf{CHaus}\to\mathbf{Set}$ es el funtor olvidadizo.

Observación 10.13 (Adjunción).

El teorema anterior puede reformularse diciendo que la compactificación de Stone–Čech define un funtor

\beta:\mathbf{Set}_{\mathrm{disc}}\longrightarrow\mathbf{CHaus}

que es adjunto izquierdo al funtor olvidadizo $U:\mathbf{CHaus}\to\mathbf{Set}$ . En otras palabras, $\beta S$ es el "compacto Hausdorff libre generado por $S$ ", y la condición de ser ED refleja el hecho de que ninguna compatibilidad adicional se impone más allá de la compacidad y la Hausdorffidad.

Desde el punto de vista aritmético, el caso $S=\mathbb{N}$ es especialmente significativo: muchos fenómenos combinatorios y aritméticos (como teoremas de Ramsey, teorema de Hindman, etc.) pueden reformularse como afirmaciones sobre la existencia de puntos en $\beta\mathbb{N}$ con propiedades dinámicas particulares. La rigidez ED de $\beta\mathbb{N}$ garantiza que esas propiedades se expresan en términos de la álgebra booleana completa $\mathcal{P}(\mathbb{N})$ .

10.4 Proyectividad en $\mathbf{CHaus}$ y el Teorema de Gleason

Finalmente, describimos el lugar de los espacios ED dentro de la categoría $\mathbf{CHaus}$ .

Definición 10.14 (Objeto proyectivo en $\mathbf{CHaus}$ ).

Un espacio compacto Hausdorff $P$ se dice proyectivo en $\mathbf{CHaus}$ si para todo diagrama

donde $f:X\to Y$ es continua y sobreyectiva, y $g:P\to Y$ es continua, existe una aplicación continua $h:P\to X$ tal que $f\circ h=g$ .

Figura 4: Esquema de la proyectividad en

\mathbf{CHaus}

: dado

f:X\twoheadrightarrow Y

y

g:P\to Y

, la proyectividad de

P

garantiza un levantamiento continuo

h:P\to X

con

f\circ h=g

.

Es decir, cualquier mapa desde $P$ hacia un cociente $Y$ puede levantarse a través de la sobreyección $X\to Y$ . Estos espacios juegan, en $\mathbf{CHaus}$ , el mismo rol que los módulos proyectivos en álgebra.

El siguiente resultado de Gleason cierra el círculo.

Teorema 10.15 (Gleason).

Sea $P$ un espacio compacto Hausdorff. Entonces las condiciones siguientes son equivalentes:

i)

$P$ es extremadamente desconectado.
ii)

$P$ es proyectivo en la categoría $\mathbf{CHaus}$ .

Observación 10.16 (Cubierta de Gleason y relación con Stone–Čech).

Como consecuencia, para todo compacto Hausdorff $K$ existe un epimorfismo continuo

\pi:P(K)\twoheadrightarrow K

donde $P(K)$ es ED (y por tanto proyectivo), y $\pi$ es esencialmente única con esta propiedad. El espacio $P(K)$ se llama la cubierta de Gleason de $K$ .

En el caso extremo $K=S$ discreto, la construcción recupera precisamente $\beta S$ : la compactificación de Stone–Čech es la cubierta proyectiva "libre" del conjunto discreto $S$ , y su estructura ED refleja la completitud de la álgebra de Boole $\mathcal{P}(S)$ .

Ejercicio 10.17.

Sea $X$ un espacio ED. Demuestra que si $U,V\subseteq X$ son abiertos disjuntos, entonces sus clausuras $\overline{U}$ y $\overline{V}$ son también disjuntas. (Pista: razona por contradicción usando que las clausuras son clopens.)

Ejercicio 10.18.

Sea $S=\mathbb{N}$ con la topología discreta y considera $\beta\mathbb{N}$ . Investiga el comportamiento de las sucesiones convergentes en $\beta\mathbb{N}$ . En particular:

a)

Muestra que la sucesión $(n)_{n\in\mathbb{N}}$ de puntos naturales no converge en $\beta\mathbb{N}$ .
b)

Argumenta que cualquier sucesión convergente en $\beta\mathbb{N}$ debe, en cierto sentido fuerte, estabilizarse en torno a un ultrafiltro; discute cómo entra la condición ED en este fenómeno.

11 Matemática condensada: profinitos como generadores

11.1 El sitio profinito

La categoría $\mathbf{ProFin}$ , equipada con la topología de Grothendieck generada por cubrimientos $\{S_{i}\to S\}$ que son epimorfismos topológicos, define el sitio profinito $(\mathbf{ProFin},J)$ .

Definición 11.1.

Un conjunto condensado es una gavilla de conjuntos sobre el sitio profinito:

X:\mathbf{ProFin}^{\mathrm{op}}\to\mathbf{Set}.

Denotamos por $\mathbf{Cond}$ la categoría de conjuntos condensados.

Si $T$ es un espacio topológico razonable, podemos asociarle su condensación

T^{\diamondsuit}(S):=\operatorname{Cont}(S,T),\qquad S\in\mathbf{ProFin}.

11.2 Clopens como subobjetos representables

Sea $S$ un espacio profinito. Para cada clopen $U\subseteq S$ , la inclusión induce un mono

U^{\diamondsuit}\hookrightarrow S^{\diamondsuit}

en $\mathbf{Cond}$ . De este modo

\operatorname{Clop}(S)\hookrightarrow\mathrm{Sub}_{\mathbf{Cond}}(S^{\diamondsuit})

y la estructura booleana de clopens se traduce en la lógica interna de subobjetos representables.

12 Conclusión y ejercicios sugeridos

Hemos recorrido el camino desde retículos y álgebras de Boole hasta profinitos, compactificaciones de Stone–Čech y conjuntos condensados. La moraleja es que la dualidad

\mathbf{Bool}\simeq\mathbf{Stone}^{\mathrm{op}}\simeq\mathbf{ProFin}^{\mathrm{op}}

no es un accidente: es un prototipo de cómo la matemática moderna concilia álgebra y geometría mediante equivalencias de categorías. La compactificación de Stone–Čech aparece como la versión maximal universal de esta idea para espacios discretos, mientras que las completaciones profinitas representan una versión minimal controlada por cocientes finitos.

En aritmética, esta coexistencia de compactificaciones —booleana ( $\beta X$ ), profinita ( $\widehat{X}$ ) y condensada ( $X^{\diamondsuit}$ )— sugiere que la información sobre un mismo objeto discreto puede organizarse en diferentes capas lógicas y geométricas. La tesis implícita de estas notas es que entender las interacciones entre estas capas (y los funtores que las conectan) es tan importante como entender cada una por separado.

Ejercicios complementarios.

Ejercicio 12.1.

Demuestra que $\mathbb{Z}_{p}$ es homeomorfo a un conjunto de Cantor generalizado. Sugerencia: en el caso $p=2$ , escribe cada elemento de $\mathbb{Z}_{2}$ como serie $\sum_{n\geq 0}a_{n}2^{n}$ con $a_{n}\in\{0,1\}$ , y compara con el espacio $2^{\mathbb{N}}$ con la topología producto.

Ejercicio 12.2.

Recupera la compactificación de Stone–Čech $\beta\mathbb{N}$ como espacio de Stone de la álgebra de Boole $\mathcal{P}(\mathbb{N})$ , y verifica directamente (usando el Teorema 7.7) su propiedad universal. Describe explícitamente la aplicación $\beta\mathbb{N}\to K$ para un compacto Hausdorff $K$ dado y una función $f:\mathbb{N}\to K$ .

Ejercicio 12.3.

En el ejemplo de $\beta\mathbb{Z}$ (Ejemplo 7.10), muestra que la aplicación $\pi:\beta\mathbb{Z}\to\widehat{\mathbb{Z}}$ construida a partir de los $r_{n}$ es continua, suprayectiva y respeta la estructura de grupo. ¿Es un isomorfismo de grupos topológicos? ¿Por qué?

Ejercicio 12.4.

Sea $X$ discreto y $C(X)$ el anillo de funciones complejas acotadas $X\to\mathbb{C}$ con supnorma. Muestra que $C(X)$ es isométricamente isomorfo a $C(\beta X)$ , el anillo de funciones continuas sobre $\beta X$ . (Pista: usa la propiedad universal de $\beta X$ y la compacidad de este.)

El mar que envuelve a las piedras Espacios de Stone, profinitos y su papel en la aritmética contemporánea

Resumen

1 Introducción: la tensión entre lo discreto y lo continuo

2 Posets, retículos y álgebras de Boole

2.1 Posets y retículos

Definición 2.1.

Definición 2.2.

Lema 2.3.

Demostración.

Definición 2.4.

2.2 Álgebras de Boole

Definición 2.5.

Ejemplo 2.6.

Definición 2.7.

Ejercicio 2.8.

Observación 2.9.

3 Filtros, ultrafiltros y puntos lógicos

3.1 Filtros y ultrafiltros

Definición 3.1.

Definición 3.2.

Lema 3.3 (Caracterización de ultrafiltros).

Demostración.

Observación 3.4.

3.2 Ultrafiltros y homomorfismos a 22

Proposición 3.5.

Demostración.

4 El espacio de Stone y el teorema de representación

4.1 Construcción del espacio de Stone

Definición 4.1.

Lema 4.2.

Demostración.

4.2 Propiedades topológicas

Teorema 4.3.

Demostración.

4.3 Teorema de representación

Teorema 4.4 (Stone, 1936).

Demostración.

5 Recuperar un espacio de Stone desde sus clopens

Definición 5.1.

Proposición 5.2.

Demostración.

Definición 5.3.

Lema 5.4.

Demostración.

Teorema 5.5.

Demostración.

6 Espacios profinitos y límites inversos

6.1 Sistemas proyectivos y límites inversos

Definición 6.1.

Definición 6.2 (Límite inverso).

6.2 Definición de espacio profinito

Definición 6.3.

Observación 6.4.

Ejemplo 6.5 (Los enteros pp-ádicos).

6.3 Equivalencia: espacios de Stone y profinitos

Proposición 6.6.

Demostración.

7 Compactificación de Stone–Čech

7.1 Compactificaciones como objetos universales

Definición 7.1.

Definición 7.2.

Proposición 7.3 (Propiedad universal).

7.2 Construcción para espacios discretos

Definición 7.4.

Lema 7.5.

Demostración.

Lema 7.6 (Convergencia de ultrafiltros).

Demostración.

Teorema 7.7.

Demostración.

7.3 Ejemplos aritméticos y relación con completaciones

Ejemplo 7.8 (Espacios finitos).

Ejemplo 7.9 (β​ℕ\beta\mathbb{N}).

Ejemplo 7.10 (β​ℤ\beta\mathbb{Z} y completación profinita).

Observación 7.11 (Stone–Čech vs completación profinita).

8 Dualidad categórica: 𝐁𝐨𝐨𝐥≃𝐒𝐭𝐨𝐧𝐞op\mathbf{Bool}\simeq\mathbf{Stone}^{\mathrm{op}}

8.1 Funtores de Stone y de clopens

Lema 8.1.

Demostración.

8.2 Equivalencia

El mar que envuelve a las piedras
Espacios de Stone, profinitos y su papel en la aritmética contemporánea

3.2 Ultrafiltros y homomorfismos a $2$

Ejemplo 6.5 (Los enteros $p$ -ádicos).

Ejemplo 7.9 ( $\beta\mathbb{N}$ ).

Ejemplo 7.10 ( $\beta\mathbb{Z}$ y completación profinita).

8 Dualidad categórica: $\mathbf{Bool}\simeq\mathbf{Stone}^{\mathrm{op}}$

9 El corazón aritmético: $\mathbb{Z}_{p}$ y grupos de Galois

9.1 Los enteros $p$ -ádicos como espacio de Stone

Teorema 10.12 (Propiedad universal de $\beta S$ ).

10.4 Proyectividad en $\mathbf{CHaus}$ y el Teorema de Gleason

Definición 10.14 (Objeto proyectivo en $\mathbf{CHaus}$ ).