Completacin de espacios uniformes

ILYA AVSEENKOV June 11, 2013

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

R es la interseccin de todos los elementos de U .

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

R es la interseccin de todos los elementos de U . Lema: R es una relacin de equivalencia en X .

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

R es la interseccin de todos los elementos de U . Lema: R es una relacin de equivalencia en X . Para cada x X sea [x ] la clase de equivalencia de x con respecto a la relacin R : [x ] = {y X : (x , y ) R }.

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

R es la interseccin de todos los elementos de U . Lema: R es una relacin de equivalencia en X . Para cada x X sea [x ] la clase de equivalencia de x con respecto a la relacin R : [x ] = {y X : (x , y ) R }. El conjunto cociente asociado a R ser denotado por: X /R = {[x ] : x X }.

ILYA AVSEENKOV Completacin de espacios uniformes

Vamos a ver como obtener un espacio uniforme separado a partir de un espacio uniforme arbitrario (X , U ). El espacio uniforme construido coincide con el de partida si (X , U ) es separado.

R es la interseccin de todos los elementos de U . Lema: R es una relacin de equivalencia en X . Para cada x X sea [x ] la clase de equivalencia de x con respecto a la relacin R : [x ] = {y X : (x , y ) R }. El conjunto cociente asociado a R ser denotado por: X /R = {[x ] : x X }. Dada una banda U U denamos U = {([x ], [y ]) (X /R ) (X /R ) : (x , y ) U }.
ILYA AVSEENKOV Completacin de espacios uniformes

Lema:

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema:

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin:

Las siguientes armaciones son ciertas:

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a)

Las siguientes armaciones son ciertas: X /R U , para cada U U .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a) b)

Las siguientes armaciones son ciertas: X /R U , para cada U U . Si U , V U y U V entonces U V .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a) b) c)

Las siguientes armaciones son ciertas: X /R U , para cada U U . Si U , V U y U V entonces U V . (U V ) U V , para cualesquiera U , V U .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a) b) c) d)

Las siguientes armaciones son ciertas: X /R U , para cada U U . Si U , V U y U V entonces U V . (U V ) U V , para cualesquiera U , V U . (U )1 = (U 1 ) ,para toda banda U U .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a) b) c) d) e)

Las siguientes armaciones son ciertas: X /R U , para cada U U . Si U , V U y U V entonces U V . (U V ) U V , para cualesquiera U , V U . (U )1 = (U 1 ) ,para toda banda U U . Cualquiera que sea U U ,existe V U tal que

V V U .

ILYA AVSEENKOV Completacin de espacios uniformes

Consideremos un par (x , y ) X X y una banda U U . Entonces ([x ], [y ]) U si, y slo si, (x , y ) R U R . Observacion: los conjuntos de la forma R V R , donde V U , constituyen una base de U pues dado U U , existe una banda V tal que V V V U y en particular R V R U .
Lema: Proposicin: a) b) c) d) e) f)

Las siguientes armaciones son ciertas: X /R U , para cada U U . Si U , V U y U V entonces U V . (U V ) U V , para cualesquiera U , V U . (U )1 = (U 1 ) ,para toda banda U U . Cualquiera que sea U U ,existe V U tal que

ILYA AVSEENKOV Completacin de espacios uniformes

V V U . U U U = X /R .

Se dice que X /R es el cociente separado asociado al espacio uniforme X

ILYA AVSEENKOV Completacin de espacios uniformes

Se dice que X /R es el cociente separado asociado al espacio uniforme X

:

X X /R dada por (x ) = [x ], para todo x X , recibe el nombre de proyeccin cannica.

ILYA AVSEENKOV Completacin de espacios uniformes

Se dice que X /R es el cociente separado asociado al espacio uniforme X

:

X X /R dada por (x ) = [x ], para todo x X , recibe el nombre de proyeccin cannica.

La proyeccin cannica : X X /R es sobreyectiva, uniformemente continua y abierta. Como consecuencia:

Proposicin:

ILYA AVSEENKOV Completacin de espacios uniformes

Se dice que X /R es el cociente separado asociado al espacio uniforme X

:

X X /R dada por (x ) = [x ], para todo x X , recibe el nombre de proyeccin cannica.

La proyeccin cannica : X X /R es sobreyectiva, uniformemente continua y abierta. Como consecuencia: Dado un subconjunto G de X /R las siguientes armaciones son equivalentes:

Proposicin:

i)

ILYA AVSEENKOV Completacin de espacios uniformes

Se dice que X /R es el cociente separado asociado al espacio uniforme X

:

X X /R dada por (x ) = [x ], para todo x X , recibe el nombre de proyeccin cannica.

La proyeccin cannica : X X /R es sobreyectiva, uniformemente continua y abierta. Como consecuencia: Dado un subconjunto G de X /R las siguientes armaciones son equivalentes:

Proposicin:

i) a) b) c)

G es abierto. 1 (G ) es abierto en X . Existe un abierto A X tal que (A) = G .

ILYA AVSEENKOV Completacin de espacios uniformes

ii)

La topologa uniforme de X /R coincide con la topologa cociente determinada por a partir de la topologa uniforme de X .

ILYA AVSEENKOV Completacin de espacios uniformes

ii)

La topologa uniforme de X /R coincide con la topologa cociente determinada por a partir de la topologa uniforme de X . Si Y es un espacio uniforme, una aplicacin f : X /R Y es uniformemente continua si, y slo si, f es uniformemente continua.

iii)

ILYA AVSEENKOV Completacin de espacios uniformes

ii)

La topologa uniforme de X /R coincide con la topologa cociente determinada por a partir de la topologa uniforme de X . Si Y es un espacio uniforme, una aplicacin f : X /R Y es uniformemente continua si, y slo si, f es uniformemente continua. Una red {x } de elementos de X es de Cauchy si, y slo si, {[x ]} es de Cauchy en X /R .

iii)

iv)

ILYA AVSEENKOV Completacin de espacios uniformes

ii)

La topologa uniforme de X /R coincide con la topologa cociente determinada por a partir de la topologa uniforme de X . Si Y es un espacio uniforme, una aplicacin f : X /R Y es uniformemente continua si, y slo si, f es uniformemente continua. Una red {x } de elementos de X es de Cauchy si, y slo si, {[x ]} es de Cauchy en X /R . Una red {x } de elementos de X converge a un punto x X si, y slo si, {[x ]} converge a [x ].

iii)

iv) v)

ILYA AVSEENKOV Completacin de espacios uniformes

ii)

La topologa uniforme de X /R coincide con la topologa cociente determinada por a partir de la topologa uniforme de X . Si Y es un espacio uniforme, una aplicacin f : X /R Y es uniformemente continua si, y slo si, f es uniformemente continua. Una red {x } de elementos de X es de Cauchy si, y slo si, {[x ]} es de Cauchy en X /R . Una red {x } de elementos de X converge a un punto x X si, y slo si, {[x ]} converge a [x ].

iii)

iv) v) vi)

X es completo si, y slo si, lo es X /R .

ILYA AVSEENKOV Completacin de espacios uniformes

Sean (X , U ) e (Y , V ) espacios uniformes y f : X Y una aplicacin. f es uniformemente abierta sobre su imagen si dada una banda U U existe una banda V V tal que

x, x

X , (f (x ), f (x )) V = (x , x ) U .

ILYA AVSEENKOV Completacin de espacios uniformes

Sean (X , U ) e (Y , V ) espacios uniformes y f : X Y una aplicacin. f es uniformemente abierta sobre su imagen si dada una banda U U existe una banda V V tal que

x, x

X , (f (x ), f (x )) V = (x , x ) U .

Una aplicacin f : X Y es un homomorsmo uniforme si f es uniformemente continua y uniformemente abierta sobre su imagen.

ILYA AVSEENKOV Completacin de espacios uniformes

Sean (X , U ) e (Y , V ) espacios uniformes y f : X Y una aplicacin. f es uniformemente abierta sobre su imagen si dada una banda U U existe una banda V V tal que

x, x

X , (f (x ), f (x )) V = (x , x ) U .

Una aplicacin f : X Y es un homomorsmo uniforme si f es uniformemente continua y uniformemente abierta sobre su imagen. Proposicin: Sea f un homomorsmo uniforme. Las siguientes armaciones son equivalentes: a) f es inyectiva, b) f es un homeomorsmo uniforme de X en f (X ).

ILYA AVSEENKOV Completacin de espacios uniformes

Sean (X , U ) e (Y , V ) espacios uniformes y f : X Y una aplicacin. f es uniformemente abierta sobre su imagen si dada una banda U U existe una banda V V tal que

x, x

X , (f (x ), f (x )) V = (x , x ) U .

ILYA AVSEENKOV : X X /R Completacin de espacios uniformes

Una aplicacin f : X Y es un homomorsmo uniforme si f es uniformemente continua y uniformemente abierta sobre su imagen. Proposicin: Sea f un homomorsmo uniforme. Las siguientes armaciones son equivalentes: a) f es inyectiva, b) f es un homeomorsmo uniforme de X en f (X ). Si X /R es el cociente separado asociado a X , una aplicacin g : X /R Y es uniformemente abierta sobre su imagen si, y slo si, lo es su composicin con la proyeccin cannica

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ).

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # .

Para cada banda U U sea

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces:

Para cada banda U U sea

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces: # i) X# U

Para cada banda U U sea

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces: # i) X# U ii) (U # )1 = (U 1 )#

Para cada banda U U sea

ILYA AVSEENKOV Completacin de espacios uniformes

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces: # i) X# U ii) (U # )1 = (U 1 )# iii) U # U # (U U )#
ILYA AVSEENKOV Completacin de espacios uniformes

Para cada banda U U sea

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces: # i) X# U ii) (U # )1 = (U 1 )# iii) U # U # (U U )# iv) U V = U # V #
ILYA AVSEENKOV Completacin de espacios uniformes

Para cada banda U U sea

Si Y es separado y f : X Y es un homorsmo uniforme entonces X /R es uniformemente homeomorfo a f (X ). Con X # vamos a denotar el conjunto contituido por los ltros de Cauchy en X .

U # = {(F1 , F2 ) X # X # : A A U para algn A F1 F2 } y sea U # = {U # : U U}. La familia U # es base de una (nica) uniformidad en X # . Lema: Sean U , V U . Entonces: # i) X# U ii) (U # )1 = (U 1 )# iii) U # U # (U U )# iv) U V = U # V # v) U # V # = (U V )#
ILYA AVSEENKOV Completacin de espacios uniformes

Para cada banda U U sea

Observacin:

La familia U # = {U # : U U} es una base de ltro en X # X #

ILYA AVSEENKOV Completacin de espacios uniformes

Observacin: Lema:

La familia U # = {U # : U U} es una base de ltro en X # X #

Sea (X , U ) un espacio uniforme y X # el conjunto constituido por los ltros de Cauchy en X . Consideremos en X # la nica uniformidad que admite a la familia U # como base. Entonces:

ILYA AVSEENKOV Completacin de espacios uniformes

Observacin: Lema:

La familia U # = {U # : U U} es una base de ltro en X # X #

Sea (X , U ) un espacio uniforme y X # el conjunto constituido por los ltros de Cauchy en X . Consideremos en X # la nica uniformidad que admite a la familia U # como base. Entonces: El conjunto {Fx : x X } es denso en X # .

i)

ILYA AVSEENKOV Completacin de espacios uniformes

Observacin: Lema:

La familia U # = {U # : U U} es una base de ltro en X # X #

Sea (X , U ) un espacio uniforme y X # el conjunto constituido por los ltros de Cauchy en X . Consideremos en X # la nica uniformidad que admite a la familia U # como base. Entonces: El conjunto {Fx : x X } es denso en X # . La aplicacin : X X # denida por (x ) = Fx , para cada x X es un homeomorsmo uniforme de X en (X ).

i) ii)

ILYA AVSEENKOV Completacin de espacios uniformes

Observacin: Lema:

La familia U # = {U # : U U} es una base de ltro en X # X #

Sea (X , U ) un espacio uniforme y X # el conjunto constituido por los ltros de Cauchy en X . Consideremos en X # la nica uniformidad que admite a la familia U # como base. Entonces: El conjunto {Fx : x X } es denso en X # . La aplicacin : X X # denida por (x ) = Fx , para cada x X es un homeomorsmo uniforme de X en (X ).

i) ii)

iii)

X # es completo.

ILYA AVSEENKOV Completacin de espacios uniformes

Teorema:

Sea X un espacio uniforme. Salvo homeomorsmos uniformes existe un nico espacio uniforme separado y completo X provisto de un subconjunto denso que es imagen de X mediante homomorsmo uniforme. Se dice que X es la completacin de Hausdor o simplemente la completacin de X . Si X es separado la completacin de X es, con la salvedad indicada, el nico espacio separado y completo que contiene un subconjunto denso unifomemente homeomorfo a X .

ILYA AVSEENKOV Completacin de espacios uniformes

Construccin axiomtica de como su completacin

a partir de

Q,

Denamos una aplicacin del cuerpo Q de los racionales en el cuerpo R de los reales de la siguiente forma: a Q

: Q R

f (a ) = a
(a).

siendo f (a) el nmero real denido por la sucesin constantemente

ILYA AVSEENKOV Completacin de espacios uniformes

Construccin axiomtica de como su completacin

a partir de

Q,

Denamos una aplicacin del cuerpo Q de los racionales en el cuerpo R de los reales de la siguiente forma: a Q

: Q R

f (a ) = a
(a).

siendo f (a) el nmero real denido por la sucesin constantemente La aplicacin asi denida es inyectiva y conserva las operaciones suma y producto. Por lo tanto, f es un homomorsmo de Q en R.

ILYA AVSEENKOV Completacin de espacios uniformes

Esta aplicacin es compatible con la relacin de orden (a < b = f (a) < f (b)). Este homomorsmo inyectivo que conserva el orden nos permite identicar cada nmero racional a con el nmero f (a) R, luego Q es un subcuerpo de R.

ILYA AVSEENKOV Completacin de espacios uniformes

Esta aplicacin es compatible con la relacin de orden (a < b = f (a) < f (b)). Este homomorsmo inyectivo que conserva el orden nos permite identicar cada nmero racional a con el nmero f (a) R, luego Q es un subcuerpo de R.

f no es sobreyectiva (p.ej. sea f (a) R tal que [f (a)]2 = 2, si f (a) proviene de un nmero racional a, se tiene a2 = 2, que no se verica para ningn a racional.

ILYA AVSEENKOV Completacin de espacios uniformes

Esta aplicacin es compatible con la relacin de orden (a < b = f (a) < f (b)). Este homomorsmo inyectivo que conserva el orden nos permite identicar cada nmero racional a con el nmero f (a) R, luego Q es un subcuerpo de R.

f no es sobreyectiva (p.ej. sea f (a) R tal que [f (a)]2 = 2, si f (a) proviene de un nmero racional a, se tiene a2 = 2, que no se verica para ningn a racional.
Al conjunto R Q se le llama conjunto de los nmeros irracionales I. Los nmeros irracionales son denidos mediante sucesiones de Cauchy de nmeros racionales.

ILYA AVSEENKOV Completacin de espacios uniformes

Esta aplicacin es compatible con la relacin de orden (a < b = f (a) < f (b)). Este homomorsmo inyectivo que conserva el orden nos permite identicar cada nmero racional a con el nmero f (a) R, luego Q es un subcuerpo de R.

f no es sobreyectiva (p.ej. sea f (a) R tal que [f (a)]2 = 2, si f (a) proviene de un nmero racional a, se tiene a2 = 2, que no se verica para ningn a racional.
Al conjunto R Q se le llama conjunto de los nmeros irracionales I. Los nmeros irracionales son denidos mediante sucesiones de Cauchy de nmeros racionales. Acabamos de ver la completitud de R. Es decir no toda sucesin de Cauchy de nmeros racionales converge en Q, pero si converge en R.
ILYA AVSEENKOV Completacin de espacios uniformes