Universidad Nacional de Colombia

Topología General
Víctor Andrés De La ltoz.CC 1020811741

Seán

Solución Recordemos la topología de subespacio

que
se genera al intersectar el subconjunto con los
abiertos de la topología En este caso la topología
de subespacio para S E IR serán arcos de
la circunferencia y uniones de estos mismos
S c

Ici Nde que IR EO es una recta horizontal

justo es lo que llamamos el Ge X de manera
al intersectarse con los abiertos de IR
que
verticales decir con uniones de rectas
vert cales
es
obtenemos de
conjuntos puntos cuyacoordenada
en 0 Así la topología inducida sobre Rx IO
g
Será la discreta
Ahora 03 x R corresponde a una recta vertical
justo es lo que llamamos el eje y entonces
al intersedor los abiertos de IR verticals con
03 IR obtenemos la topología Grosera

SoluciónEn Q tendremos lo siguiente note

que
si a.be R Q 9 lo n Q a b no es
decir los intervalos abiertos cerrados cuyos
que y
límites sean irracionales al interceptarse con
determinarán abiertos y cerrados en la topología
de subespacio En consecuencia los intervalos
cuyos límites sean racionales al interceptarse con
tandién determinar abiertos cerrados en la
y
topología de Subespacio
Ahora respecto A Ekin EN VEO
obten mos los
a
una topología formada por todos subconjuntos

de 4N ne IN Unidos 03
Soluciará

a Si se interseca la de las regiones que

unión
Forman los abiertos en IR lexicográfico con la
recta real se obtiene una topología de
subespacio en la tanto los intervalos abiertos
que
como cerrados de la recta real serán abiertos
de esta topología inducida
b Si se interseca la de las regiones que
unión
Forman los abiertos en IR lexicográfico con 0,11 X
0,1 se obtiene una topología similar pero
ahora no se tienen semi rectas en las fronteras
se obtienen segmentos

Yoli

c Si se interseca la unión de las regiones que

forman los abiertos en IR lexicográfico can IN X IN
la topología inducida corresponderá a la discreta

Demostración
F Suponga FEA cerrado en CA Ta entonces
A F E TA luego por definición A F Ann
car UE T Entonces F ARCEN donde
4 d es cerrado
e Suponga que F Ark con X Ke T
Entonces por definición AncKK e Ta y
como A F Ah CX k entonces A F E Ta
es cerrado en LA Ta
por lo tanto F

Solución Se trata delunitario fc2 pl pues cualquier

básico lo contenga es de la forma ca.la con
que
aclz.tt y 12,4 do Entonces a es de la forma
CIN y por lo tanto lado contiene infinitos elementos
de X de manera que cualquier abierto que contenga
a Eli D contiene infinitos elementos además de él

Veamos
Demostración
que TE
e
TÍ Sea te
T existe de T tal
qe A Un Y
Por definición A µ antenas
A
Eslxiifi MY luego A Cri y n Y
 Entonces basta ver I
que para cualquier it
Hi MY E
TÉ Consideremos cuatro casos
Yi
En este caso se tiene que
i Xi
S z
Y.fi
e Y
todo z e Y luego como Yes
Yi para
convexo
Xi y AY Xi DE TÉ
ii fi e Y Xi Y En este caso se tiene que
Xi L Z para todo z e Y luego como Yes
convexo
xi y AY fi C TÉ
iii Xi
y it Y entonces
CXi.fi n Y lxi.fi
y Cano Y es convexo
Xi
yDE TÉ
Ü entonces ny Y ó
xi.fin Y lxi.fi
0 en cualquier caso por definieras
XIII
de topologra lxi.fi nYe TÍ
Y
Sea A E Ja Sin pérdidade generalidad analizaremos
sólo intervalos abiertos acotados y colas Si A es un
intervalo abierto acotado entonces A es abierto de TÍ pues
A AMY y si A es una cola entonces tenemos la
cola equivalente en y se tendría A Ynada de
X luego A c TÍ entonces Tal a TE
 Sección

II Por definición

BELLO pe R i
pa E y

Bz Cho q E1122 t tq ez

Entonces 2 1 1 c E luego Baker E BELLON

q

Demostración Basta verificar que el es una métrica

E Se tiene por definición

Ii Suponga que dadas E J e X existe

 KEN tal que Xn yn para todo nak
entonces
duty dcj.FI
N
iii Sean E J É E X y K
l e IN tales
Xn todo n 2 k Zn para
que yn para y yn
todo mal Consideramos dos casos

a Si El entonces En yn Zn para todo

n CK luego

dl E
tzeE fzttz dtxijltdlij.ES
b Sin pérdida de generalidad si Kel
entonces Xr
yn Zn para todo ne k luego
dtx.zt.EE Irte dtxijltdlj.IT
Por lo anterior d es una métrica y así H d
es un espacio métrico

Deinuán Sea de d taxa

Por definición
de restricción para todos a lo et
data d DCaio
y sabemos
que como LX d es un espacio
 determina
métrico entonces las tres propiedades
que
una métrica las cumple d y por lo tanto da
Así da define una métrica para A

Demostas Siguiendo la sugerencia veamos que

A AB E l 11C U BAC

Recordemos también tenemos

que que
AAB AIB U BIA

Entonces Si X E AAB XE
X E AIB NBOXEBIA si
consideremos dos casos
E Si X E C entonces XE Alc
ü Si C entonces Xe CIB

Análogamente XE BLA consideramos dos casos

si
i Soi X E C entonces XE BIC
Ii Si xd C entonces XE All
Por lo tanto AAB E Abc U BAC
Ahora veamos d cumple las 3 propiedades
qe
 definen
métrica
una
que
i Se tiene por definición
Ü Suponga k aminfninEAABJ minfn.intBAA
entonces d LAB
E _d CBA
ü Por lo se mostró anteriormente
que
1 AB E CAAC UCLA B luego
d LA B EDAD tdcc.rs
Lexicográfico es Metrizable
Demostración Considere la siguiente función
dlca.to Kid ft min to d l s si a c y
dlca.la a d min tod 1,1 Si a c Veamos
que
es una métrica
c Suponga la.la d entonces a C luego

dlca.la Hd min Ho DI 13 0 min lol lol tf dkadl.ca

Ii Sean la.to y la d E IR consideramos a casos

Si a
a C entonces
dlca.la Hd min lb dl.tf minfld lol.tf dkadl.ca

b Si ate entonces
d Calo c d ttminflo dl.ef ttminfld.to sJ dkc.dl.ca.b
Iii Sean lado Ccd e f E IR consideremos
los siguientes casos
a Si a c e entonces
dlca.ch le f lb FI 1
min
E min E l d d 1,1ft minEld FI 13
d Cab Cd tdllc.cl Leif
b Si atete entonces
d Cab Cet It minlb FI 13
E ttminflb dl.sbtttminfld.FI 1
d Cab Cd tdllc.cl Leif
c Si a C Cte entonces
d Cab Cet lb FI 13
It min
E min to dl s t It min ld.FI 1
d Cab Cd tdllc.cl Leif
d si a c e e entonces
d Cab Cet It min lb FI 13
E tt min Ho DI 1 turín 1 d F1 1
d Cab Cd tdllc.cl Leif
Por lo anterior concluimos que el es una métrica
Ahora dada cualquier bola
Br lla El x g C IR dka.ld.lx.gl cr
Siempre puedo encontrar un abierto en la topología
del orden lexicográfico que está contenido en la bola
Torre ser luego Cca b s la lots e Br Kab r
turbión para todo intervalo Ccab cc d puedo
encontrar una bola contenida ahí Tome Bread
donde f 10