Topología Profinita

Topologı́a Profinita
Pedro Villalba
NIDTEC
Facultad Politécnica
Pedro Villalba (FP - UNA) Topologı́a Profinita 1 / 18

Esquema
1 Completación
2 Topologı́a Profinita
3 Lenguajes reconocibles y conjuntos clopen

Completación
Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de
b d)
X.ml
b

Completación
Definición:
b d)
X.ml
b
Esto es, (X, ˆ es una completación de (X, d) si:

b d)

Completación
Definición:
b d)
X.ml
b

b d)
1 (X, ˆ es completo, es decir, toda sucesión de Cauchy en X
b d) b
converge a un elemento de X, y
b

Completación
Definición:
b d)
X.ml
b

b d)
b d) b
b
2 existe una isometrı́a ϕ : X −→ X b tal que ϕ(X) es denso en X,
b es
decir ϕ(X) = X.b

Completación
Definición:
b d)
X.ml
b

b d)
b d) b
b
2 existe una isometrı́a ϕ : X −→ X b tal que ϕ(X) es denso en X,
b es
decir ϕ(X) = X.b
Ejemplo
R es una completación de Q

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Completación
Teorema
Proof: Dos cuestiones:

Completación
Teorema

1 La existencia,

Completación
Teorema

1 La existencia,
2 la unicidad, salvo isometrı́a.

Completación
Teorema

1 La existencia,
⇒) La existencia:

Completación
Teorema

1 La existencia,
⇒) La existencia:
Sea C(X) la colección de todas las sucesiones de Cauchy en X

Completación
Teorema

1 La existencia,
⇒) La existencia:
Dados x, y ∈ C(X) definimos una relación ∼ en C(X):
x∼y ⇐⇒ lı́m d(xn , yn ) = 0

n→∞

Completación
Teorema

1 La existencia,
⇒) La existencia:
Dados x, y ∈ C(X) definimos una relación ∼ en C(X):
x∼y ⇐⇒ lı́m d(xn , yn ) = 0

n→∞
Esta relación es una relación de equivalencia en C(X), por lo que lo

particiona en clases de equivalencia, denotemos
b = C(X)/ ∼
X
Completación
b = {[x] | x ∈ C(X)}
es decir: X

Completación
b = {[x] | x ∈ C(X)}
es decir: X
Definimos una función dˆ en X

b de la siguiente manera:
ˆ y) = lı́m d(xn , yn )
d(x,
n→∞

Completación
b = {[x] | x ∈ C(X)}
es decir: X

d(x,
n→∞
Primero: este lı́mite existe, pues dados x, y ∈ C(X), existe r ∈ R tal que
r = lı́m d(xn , yn )
n→∞

Completación
b = {[x] | x ∈ C(X)}
es decir: X

d(x,
n→∞
Primero: este lı́mite existe, pues dados x, y ∈ C(X), existe r ∈ R tal que
r = lı́m d(xn , yn )
n→∞
Segundo: dˆ está bien definida, ya que si x ∼ x0 ∧ y ∼ y 0 entonces
lı́m d(xn , yn ) = lı́m d(x0n , yn0 )

n→∞ n→∞

Completación
Proposición 1. (X, ˆ es un espacio métrico

b d)

Completación

b d)
Proof:
b y) = lı́m d(xn , yn ) ≥ 0
d(x,
n→∞
b y) = lı́m d(xn , yn ) = 0 ⇐⇒ x = y
d(x,
n→∞
d(x,
b y) = lı́m d(xn , yn ) = lı́m d(yn , xn ) = d(y,
b x)
n→∞ n→∞
d(xn , zn ) ≤ d(xn , yn ) + d(yn , zn ) =⇒
lı́m d(xn , zn ) ≤ lı́m d(xn , yn ) + lı́m d(yn , zn )
n→∞ n→∞ n→∞

Completación

b d)
Proof:
b y) = lı́m d(xn , yn ) ≥ 0
d(x,
n→∞
b y) = lı́m d(xn , yn ) = 0 ⇐⇒ x = y
d(x,
n→∞
d(x,
b y) = lı́m d(xn , yn ) = lı́m d(yn , xn ) = d(y,
b x)
n→∞ n→∞
d(xn , zn ) ≤ d(xn , yn ) + d(yn , zn ) =⇒
lı́m d(xn , zn ) ≤ lı́m d(xn , yn ) + lı́m d(yn , zn )
n→∞ n→∞ n→∞
∴ (X,
b d)
b es un espacio métrico

Completación
Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Completación
X̆ ⊂ X
b ya que x̆ ∈ C(x)

Completación
X̆ ⊂ X
Si x = hxn i ∈ C(X), entonces α = [hxn i] ∈ X

b es el lı́mite de la sucesión
hx̆1 , x̆2 , · · · i ∈ X̆, pues

Completación
X̆ ⊂ X

hx̆1 , x̆2 , · · · i ∈ X̆, pues
ˆ m , α) = lı́m ( lı́m d(xm , xn )) =

lı́m d(x̆ lı́m d(xm , xn ) = 0
m→∞ m→∞ n→∞ m,n→∞

Completación
X̆ ⊂ X

hx̆1 , x̆2 , · · · i ∈ X̆, pues
ˆ m , α) = lı́m ( lı́m d(xm , xn )) =

m→∞ m→∞ n→∞ m,n→∞
Por lo que hx̆n i → α

Completación
X̆ ⊂ X

hx̆1 , x̆2 , · · · i ∈ X̆, pues
ˆ m , α) = lı́m ( lı́m d(xm , xn )) =

m→∞ m→∞ n→∞ m,n→∞
Por lo que hx̆n i → α
Proposición 2. X es isométrico a X̆

Completación
Proof: Dados x, y ∈ X, como d(x̆,

b y̆) = lı́m d(x, y) = d(x, y)
n→∞

Completación

b y̆) = lı́m d(x, y) = d(x, y)
n→∞
entonces la función ϕ : X −→ X
b definida por x 7−→ x̆ es una isometrı́a
de X en X, es decir, X es isométrico a ϕ(X) = X̆
b

Completación

b y̆) = lı́m d(x, y) = d(x, y)
n→∞
b
Proposición 3. X̆ es denso en X
b

Completación

b y̆) = lı́m d(x, y) = d(x, y)
n→∞
b
b
b sean [x] = [hxn i] ∈ X
Proof: Para ver que ϕ(X) = X̆ es denso en X, b y
> 0, como x ∈ C(X), existe N ∈ N talque para m, n ≥ N ,
d(xm , xn ) < 2

Completación

b y̆) = lı́m d(x, y) = d(x, y)
n→∞
b
b
b sean [x] = [hxn i] ∈ X
Proof: Para ver que ϕ(X) = X̆ es denso en X, b y
> 0, como x ∈ C(X), existe N ∈ N talque para m, n ≥ N ,
d(xm , xn ) < 2

Si z = xN , entonces z̆ ∈ ϕ(X) y d([x],
b z̆) = lı́m d(xn , xN ) ≤ 2 < por
n→∞
lo tanto z̆ ∈ Bdˆ([x], ) ∩ ϕ(X), luego Bdˆ([x], ) ∩ ϕ(X) 6= ∅ cualquiera
sea [x] ∈ X,
b ası́ [x] ∈ ϕ(X), por lo que ϕ(X) es denso en X b

Completación
Hasta aquı́, dado un espacio métrico (X, d), existe un espacio métrico
(X, ˆ tal que X es isométrico a un sunconjunto denso de X,
b d) b nos falta
ver que es completo.

Completación
b d) b nos falta
Proposición 4. (X, ˆ es un espacio métrico completo

b d)

Completación
b d) b nos falta

b d)
Proof: Para ver que es completo, sea hα1 , α2 , · · · i una sucesión de
Cauchy en X.
b Como X̆ es denso en X, b para todo n ∈ N,
ˆ n , αn ) ≤ 1
∃x̆n ∈ X̆ tal que d(x̆
n

Completación
b d) b nos falta

b d)
Proof: Para ver que es completo, sea hα1 , α2 , · · · i una sucesión de
Cauchy en X.
b Como X̆ es denso en X, b para todo n ∈ N,
ˆ n , αn ) ≤ 1
∃x̆n ∈ X̆ tal que d(x̆
n
entonces hx̆1 , x̆2 , · · · i también es una sucesión de Cauchy y además

hx̆1 , x̆2 , · · · i converge [hx1 , x2 , · · · i] ∈ X.
b
Por lo tanto hαn i también converge a [hx1 , x2 , · · · i] ∈ X,

b y en
consecuencia (X,
b d)ˆ es completo.
Completación
La segunda cuestión, una vez garantizado la existencia, es

Completación

⇒) la unicidad, salvo isometrı́a:

Completación

Proposición 5. Si Yb y Xb son completaciones de X, entonces son
isométricos
Proof: Supongamos que X ⊂ Yb . Para cada y ∈ Yb existe una sucesión
hxn i en X tal que converge a y, y en particular hxn i ∈ C(X),
consideremos la función f : Yb −→ X,
b f (y) = [hxn i].

Completación

isométricos
b f (y) = [hxn i].
f está bien definida, pues si hzn i ∈ X también converge a y, entonces

lı́m d(xn , zn ) = 0 y por tanto [hxn i] = [hzn i].
n→∞

Completación

isométricos
b f (y) = [hxn i].
f está bien definida, pues si hzn i ∈ X también converge a y, entonces

lı́m d(xn , zn ) = 0 y por tanto [hxn i] = [hzn i].
n→∞
Además f es sobreyectiva porque si [hbn i] ∈ X,

b entonces hbn i es una
sucesión de Cauchy en X ⊂ Y , y puesto que Yb es completo hbn i
b
converge, por ejemplo, a w ∈ Yb , luego f (w) = [hbn i].

Completación
Sean p, q ∈ Yb tales que existan en X suceciones hxn i y hyn i que

convergen a p e q, respectivamente, entonces
ˆ (p), f (q)) = d([hx

d(f ˆ n i], [hyn i])
= lı́m d(xn , yn )
n→∞
= d( lı́m xn , lı́m yn )
n→∞ n→∞
= d(p, q)
Por lo tanto f es una isometrı́a entre Yb y X
b

Completación

ˆ (p), f (q)) = d([hx

n→∞
n→∞ n→∞
= d(p, q)
b
Con esto, queda demostrado que todo espacio métrico admite una
única completación, salvo una isometrı́a.

Completación

ˆ (p), f (q)) = d([hx

n→∞
n→∞ n→∞
= d(p, q)
b
Con esto, queda demostrado que todo espacio métrico admite una
única completación, salvo una isometrı́a.
Proposición 6. Si X e Y son espacios métricos, cualquier función

uniformemente continua ϕ : X → Y admite una única extensión
uniformemente continua ϕb:Xb → Yb

Definición:
Sea X un alfabeto finito. Un morfismo ϕ : X ∗ → M separa dos
palabras u y v de X ∗ si ϕ(u) 6= ϕ(v).

Definición:
Ejemplo:
Dos palabras de longitudes distintas siempre pueden ser separadas por
un grupo cı́clico finito y por un monoide finito.

Definición:
Ejemplo:
Dos palabras de longitudes distintas siempre pueden ser separadas por
un grupo cı́clico finito y por un monoide finito.
Teorema
Cualquier par de palabras distintas de X ∗ puede ser separado por un
monoide finito.

Ahora, definimos una métrica d en X ∗ con la siguiente idea:

mientras más grande sea el monoide requerido para separar dos

palabras, la proximidad entre estas es menor


Formalmente esto es, dado u, v ∈ X ∗ , establecemos:
r(u, v) = mı́n{|M | | M es un monoinde que separa u y v}

d(u, v) = 2−r(u,v)


Formalmente esto es, dado u, v ∈ X ∗ , establecemos:
r(u, v) = mı́n{|M | | M es un monoinde que separa u y v}

d(u, v) = 2−r(u,v)
Proposición 7. La función d es una ultramétrica en X ∗

Proof:
1 d(u, v) = 0 ⇔ u = v
2 d(u, v) = d(v, u)
3 d(u, v) ≤ máx{d(u, w), d(w, v)}, también se cumple que
4 d(uw, vw) ≤ d(u, v) y d(wu, wv) ≤ d(u, v)

Proof:
1 d(u, v) = 0 ⇔ u = v
2 d(u, v) = d(v, u)
Por lo tanto (X ∗ , d) es un espacio métrico.

Proof:
1 d(u, v) = 0 ⇔ u = v
2 d(u, v) = d(v, u)
Por lo tanto (X ∗ , d) es un espacio métrico.
Proposición 8. La topologı́a inducida por d en X ∗ es la discreta.

Definición
Los elementos de la completación del espacio métrico (X ∗ , d), denotado
b ∗ , son llamados palabras profinitas en el alfabeto X.
por X

Definición
por X
Teorema
b ∗ es compacto sii X es finito.
El conjunto de palabras profinitas X

Definición
por X
Teorema
Proposición 9. La función de X ∗ × X ∗ → X ∗ definida por

(u, v) 7→ uv es uniformemente continua.

Definición
por X
Teorema
Proposición 9. La función de X ∗ × X ∗ → X ∗ definida por

(u, v) 7→ uv es uniformemente continua.
Por la Prop. 6, el producto en X ∗ puede ser extendido, de manera

b ∗ . Este producto también es asociativo y admite a la
única, en X
palabra vacı́a como identidad, lo cual hace que X b ∗ sea un monoide
topológico, el cual es llamado monoide profinito libre
b ∗ definimos de manera directa una métrica:

En X


En X
b ∗ , entonces si
Dados dos palabras profinitas u, v ∈ X
r(u, v) = mı́n{|M | | M es un monoinde finito que separa u y v}
d(u, v) = 2−r(u,v)


En X
b ∗ , entonces si
d(u, v) = 2−r(u,v)
b ∗ es la menor topologı́a
Proposición 10. La topologı́a profinita en X
∗
que hace continua cada morfismo de X a un monoide discreto finito.


En X
b ∗ , entonces si
d(u, v) = 2−r(u,v)
b ∗ es la menor topologı́a
Proposición 10. La topologı́a profinita en X
∗
que hace continua cada morfismo de X a un monoide discreto finito.
Observemos que cada palabra profinita es el lı́mite de una sucesión de

Cauchy de palabras.

Lenguajes reconocibles y conjuntos clopen
b ∗ , son equivalentes:
Proposición 11. Sea P ⊂ X
1 P es clopen
2 b∗ × X
la congruencia sintáctica de P es un clopen en X b∗
3 P es reconocible y su morfismo sintáctico es continua.

FIN !!
Gracias

Topología Profinita

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topología Profinita

Cargado por

Copyright:

Formatos disponibles

Topologı́a Profinita

Pedro Villalba (FP - UNA) Topologı́a Profinita 1 / 18

3 Lenguajes reconocibles y conjuntos clopen

Pedro Villalba (FP - UNA) Topologı́a Profinita 2 / 18

Pedro Villalba (FP - UNA) Topologı́a Profinita 3 / 18

Esto es, (X, ˆ es una completación de (X, d) si:

Pedro Villalba (FP - UNA) Topologı́a Profinita 3 / 18

Esto es, (X, ˆ es una completación de (X, d) si:

Pedro Villalba (FP - UNA) Topologı́a Profinita 3 / 18

Esto es, (X, ˆ es una completación de (X, d) si:

Pedro Villalba (FP - UNA) Topologı́a Profinita 3 / 18

Esto es, (X, ˆ es una completación de (X, d) si:

Pedro Villalba (FP - UNA) Topologı́a Profinita 3 / 18

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

2 la unicidad, salvo isometrı́a.

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

2 la unicidad, salvo isometrı́a.

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

2 la unicidad, salvo isometrı́a.

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

2 la unicidad, salvo isometrı́a.

x∼y ⇐⇒ lı́m d(xn , yn ) = 0

Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18

Proof: Dos cuestiones:

2 la unicidad, salvo isometrı́a.

x∼y ⇐⇒ lı́m d(xn , yn ) = 0

Esta relación es una relación de equivalencia en C(X), por lo que lo

Pedro Villalba (FP - UNA) Topologı́a Profinita 5 / 18

Definimos una función dˆ en X

Pedro Villalba (FP - UNA) Topologı́a Profinita 5 / 18

Definimos una función dˆ en X

Pedro Villalba (FP - UNA) Topologı́a Profinita 5 / 18

Definimos una función dˆ en X

Segundo: dˆ está bien definida, ya que si x ∼ x0 ∧ y ∼ y 0 entonces

lı́m d(xn , yn ) = lı́m d(x0n , yn0 )

Pedro Villalba (FP - UNA) Topologı́a Profinita 5 / 18

Proposición 1. (X, ˆ es un espacio métrico

Pedro Villalba (FP - UNA) Topologı́a Profinita 6 / 18

Proposición 1. (X, ˆ es un espacio métrico

Pedro Villalba (FP - UNA) Topologı́a Profinita 6 / 18

Proposición 1. (X, ˆ es un espacio métrico

Pedro Villalba (FP - UNA) Topologı́a Profinita 6 / 18

Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Pedro Villalba (FP - UNA) Topologı́a Profinita 7 / 18

Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Pedro Villalba (FP - UNA) Topologı́a Profinita 7 / 18

Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Si x = hxn i ∈ C(X), entonces α = [hxn i] ∈ X

Pedro Villalba (FP - UNA) Topologı́a Profinita 7 / 18

Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Si x = hxn i ∈ C(X), entonces α = [hxn i] ∈ X

ˆ m , α) = lı́m ( lı́m d(xm , xn )) =

Pedro Villalba (FP - UNA) Topologı́a Profinita 7 / 18

Para cada x ∈ X, sean x̆ = hx, x, x, · · · i y X̆ = {x̆ | x ∈ X}.

Si x = hxn i ∈ C(X), entonces α = [hxn i] ∈ X

ˆ m , α) = lı́m ( lı́m d(xm , xn )) =