Topologı́a Profinita

Pedro Villalba

NIDTEC
Facultad Politécnica

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

Esquema

1 Completación

2 Topologı́a Profinita

3 Lenguajes reconocibles y conjuntos clopen

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

Completación

Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de X.
b d) b

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

Completación

Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de X.
b d) b

Esto es, (X, ˆ es una completación de (X, d) si:

b d)

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

Completación

Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de X.
b d) b

Esto es, (X, ˆ es una completación de (X, d) si:

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

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

Completación

Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de X.
b d) b

Esto es, (X, ˆ es una completación de (X, d) si:

b d)
1 (X, ˆ es completo, es decir, toda sucesión de Cauchy en X
b d) b
converge a un elemento de X, b y
2 existe una isometrı́a ϕ : X −→ X b tal que ϕ(X) es denso en X,
b es
decir ϕ(X) = X.b

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

Completación

Definición:
Una completación de un espacio métrico (X, d) es un espacio métrico
completo (X, ˆ tal que X es isométrico a un subconjunto denso de X.
b d) b

Esto es, (X, ˆ es una completación de (X, d) si:

b d)
1 (X, ˆ es completo, es decir, toda sucesión de Cauchy en X
b d) b
converge a un elemento de X, b y
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 completación de Q

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

2 la unicidad, salvo isometrı́a.

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

2 la unicidad, salvo isometrı́a.

⇒) La existencia:

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

2 la unicidad, salvo isometrı́a.

⇒) La existencia:
Sea C(X) la colección de todas las sucesiones de Cauchy en X

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

2 la unicidad, salvo isometrı́a.

⇒) La existencia:
Sea C(X) la colección de todas las sucesiones de Cauchy en X
Dados x, y ∈ C(X) definimos una relación ∼ en C(X):

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

n→∞

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

Completación
Teorema
Cada espacio métrico admite una completación, única salvo isometrı́a.

Proof: Dos cuestiones:

1 La existencia,

2 la unicidad, salvo isometrı́a.

⇒) La existencia:
Sea C(X) la colección de todas las sucesiones de Cauchy en X
Dados x, y ∈ C(X) definimos una relación ∼ en C(X):

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

n→∞

Esta relación es una relación de equivalencia en C(X), por lo que lo

particiona en clases de equivalencia, denotemos

b = C(X)/ ∼
X
Pedro Villalba (FP - UNA) Topologı́a Profinita 4 / 18
Completación

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

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

Completación

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

Definimos una función dˆ en X

b de la siguiente manera:

ˆ y) = lı́m d(xn , yn )
d(x,
n→∞

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

Completación

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

Definimos una función dˆ en X

b de la siguiente manera:

ˆ y) = lı́m d(xn , yn )
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→∞

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

Completación

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

Definimos una función dˆ en X

b de la siguiente manera:

ˆ y) = lı́m d(xn , yn )
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ˆ está bien definida, ya que si x ∼ x0 ∧ y ∼ y 0 entonces

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

n→∞ n→∞

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