ema 2 :

espacios opo lógicos

Def : Dado un conjunto cualquiera X ,
se llama

apología sobre el conjunto a una

familia
de subconjuntos de 1- c- PIX )

verificando :

• ∅ E T
, .

• Si A , , . . .

,
An C- T A- a ⊕ . . .
A An C- T .

• Si { Ai } ¡ ez C- T
¡ Ve
>
Ai c- T .

Al par ✗ T se le llamará esp topológico ,

. .

A los elementos de T se les llamará abiertos .

Ej :

• Si X d ,
es un
esp .
seudo -
métrico ,
entonces

Td =
} A ≤ X /A es abierto } es una
topología sobre ✗ :

✗ Td, es un
esp .

topológico .

• En
PÍN ≥ ,,
.
con de ,
d taxi Y dmáx ,
los abiertos eran los mismos :

Tde Tdtaxi
, Y Tdmáx -

e.
✗ un
conj Fin discreta -
{∅ ,
X } Tdiscreta =P ( X ) :
,
.

1- indiscreta
≤ T ≤ Tdiscreta .

C- Para fijo Si 1- ≤ T
'
≤ PLXI se dice T
'
.
, que

es más fina que

T o
que
1-es más
gruesa que
T!
-5: • Sea un
conj .

,
entonces Tcofinito .
-
{ A ≤ IA es
finito } U { ∅ } .

Veamos que Tcog .

es una
topología .

•
∅ c-
Tcof . por def .
; X c-
Twf .
pues
✗ =
∅ que es
finito .

•
Ala , . . .
/
An C-
Tcof . , Agh . . . MAN C-
Tcof .
Agh . . .
MAN es finito
-
A, U . . .
U An

que es finita por unión

finita de conjuntos finitos .

{ Ai } ¡ finito
¥A
Sea
•

c. =
,
≤
Tcof .
,
veamos que ¥ ,
Ai c-
Tcof .
es .

±
(✗ A¡

}
Como Ai c-
Taj
Nieto)
.

A- ¡ es
finito ti
¡
A Ai ≤ Aio que es
finito
Ei
Luego Twf .
es una
Topología .

• Si X es
finita ,
( X Rog ) , .
Tof .
-
Tdiscreia =P ( ) .

• Dado X
, Tconumerable =
{ A ≤ X XIA es numerable }U{ ∅} .

Compruebe que Tcon .

es
topología .

• ∅ c- Ion .
por def .

¡ ✗ c- Toon .

pues
✗ DX -
∅ c- Ton .

• A- ¡ c- Ton .
( tie { 1 ,
. .
.int ) ¿ ✗\ ( Ai ) es numerable ?
,

⊕ Sabemos ✗\ Ai es numerable .
✗ \ / ¡ Í Ai )
,
=

¡
§ ,
/ XIA ;) es

numerable
por ser la unión
finita de cojuntos numerables .

Es Ai c- Toon .
( Vieta ) .
¿ ✗ \ ( Ue Ait numerable ?
¡ ,

Sabemos ✗ \ Ai es numerable ( Vieta ) . ✗ \ ( µ ,

Ai -

¡ eh ( XI Ai )
,
c
↑
A io (%: :*:)
la intersección va a estar contenida

siempre en al menos uno de los elementos intersectados

Como ✗ | Aio enumesabk

es
pues IEI ✗ \ ( µ ,
A- ¡ es numerable

Topología Métrica .
, Td ) donde d es una métrica sobre X .

Si ✗ c- X , Bd ( ×, E) c- Td
Prop : Si es infinito ☒ d distancia sobre ☒ Td ≤
Tcof .

Dem : R A . .
Jd distancia sobre Td ≤
Twf .

Como es
infinito 3- ×
, y c- ✗ ✗ ≠ y

E≥ O Bd ×, E) A Bd Y, E) =
∅ .

Hausdorff

Ahora Bd X, E ,
Bd y, E c- Td ≤ Twf .

/ \ Bdlx E) , ,
X \ Bdly E) ,
son
finitos .

✗ = ✗ \ ∅ = ✗ \ Bd ×, E) A Bd Y, E) =

Ijf
= es
finito

Nota : Sin embargo Tof , .

≤ Td si d es distancia sobre X .

Def :( X ,
T)
esp .

topológico y B ≤ P ( X) ,
una colección
de subconjuntos de X diremos que es una base de 1a
,
Entonces diremos

Topología T si Y GET ,
76 ≤ B G = U B
que Bes base de T .

BEG

Luego F- { U
IEI
Bi / { Bi } ¡ ≤ B } = 1- (B)
( topología generada por B.)

① ≤ T ≤ P (X ) .
Una base da lugar a una única topología .

↑ ↑ ↑
elementos elementos
subconjuntos Una topología puede ser obtenida de diferentes bases
básicos abiertos de X .

Cualquier elemento de T
Todo abierto
)
es
B es base de (X ,
T podemos expresarlos como unión =

unión de básicos
arbitraria de elementos de B

Nota : En el del ( seudo ) métrico la colección de bolas

caso
esp
-

.
,

abiertas de la
Topología inducida distancia
por la
son base .

R2 ( R2
, con n ≥ 2) .

Tde =
Tdmáx =
Td taxi

↑ ↑ ↑

{ {
bolas de dmáx
{
bolas euclídeas bolas de diaxi
abiertas } abiertas } abiertas }
Prop : Dado ( X ,
T)
esp .

topológico y
3 ≤ PLX ) entonces

B es base de 1- YA c- T
,
VX c- A 713 c- 3 / ✗ c- B c- A .

B
Dez : =3 base

Sup -

B es base de T .
Sea A c- T

7 { 3 i } ¡ ez C- B A =
¥ ,
Bi

Luego si ✗ c- A Dio c- I / ✗ c- B. ¡ ≤ Bi = A .

◦ ¡

Si A c- 1-
( ta c- A 7 Bae B / a c- Ba ≤ A

Luego A -

.
Ba

Caracterización : Caracterización de los abiertos

por una base

si (X ,
T ) esp .

topológico y B es una base de T, entonces :

A- c- T < Va c- A 3- B c- B/ a c- B ≤ A .

Prop : Sea ✗ un conjunto y B ≤ PIX ) .

Son equivalentes :

i B es base de una
Topología T - T (B) -
{ B lo ≤ B }
JB c- B ✗ c- B ≤ BNB ,
II Si V. B , B, B ☒ c- Ban Ba : Y además
,
e y

Dem :
VX C- ✗ ZB c- B ✗ c- B .

i ii
Sup B .
es base de T, una
topología de X .

1- topología
si Bg B , ,
c- B ≤T B , Bz ,
son abiertos B , AB , abierto .

Luego si ✗ c- Bar B , ≠ ∅ JBEB /✗ c- B ≤ B , AB ,

como ¥ } ÉI ZB c- B/✗ c- B ≤ X .
ii i
Veamos que B es base de TIB ) -
{¥ ,
Bi /{ Bi } ¡ es ≤ B }
-
{ ¥ Bill ≤ B }
,

a) He T (B) pues dado ✗ c- X,

según la hip .
,

3- Bi c-
B / ✗ c- Bi .

Luego ✗ =
Bx .

∅ c- TIBI ∅ = U B
,
B c- ∅
∅ ≤ B

b) An , . . .
,
An c- T (B) basta comprobarlo
para U ,
V c- T (B) .

Veamos que
UMV c- TIB )

f- lo ≤ B / U -
f. e.
B
} y D- P ≤ B/ [Link]
Un V U B A '

( BABY
B
¥
-
=

BEE ☐ . .

Para cada BAB ' 7 B /

' "
EIB BY ,
≤ BAB - U B
"
B c- El B. BY
Es :C,
por la igualdad ii )

U El [Link] / B Ñ ET (B)
E =
≤
¥ ,

Basta comprobar que

Un V - U B-
B- c- E

C Sea { Ui }¡ ≤ 1- (B) ti c- I 76 -

,
≤ B/
e ,

Ui = U
B. c- Gi
B .

Luego ¥ ,
Ui -

¡
( . B) =

UB
BEG
c- TIBI . [ 6- ¡ ¥ Gi ≤ B]
 Corolario : Caracterización de bases equivalentes
Dado un conj ✗ .
,
dos bases Bn y Bz son
equivalentes en el sentido

de que 1- ( Bn ) -
TIB a) 8--7 se verifica :

•
[Link] C- Bz y VXEB , 713a C- /✗ c- B, c- Ba .

• V13 , c- B, y the Bq I B2 C- Bz C- Ba X E Ba C- Bo .

Def : Un IX. T ) esp .

topológico se dirá segundo numerable 12N )

si ] una base B de la Topología T B es numerable

B -
{ Ba ,
B, , . . .
,
Bn , . . .
}

Ej : ( R2 Tc , es 2º N .

Q ≤ IR es denso Q ✗ Q ≤ IR ☒ IR .

{ [Link]/l9-ni9-al;9-z)/9-gi9-zi9-z-cQf-- B numerable

a. IR , Fog .
con ✗ infinito no es 2N .
i. e. FB ≤ PIX ) numerable / TIB) -
Tag .

IR A.) B- { Bo
.
, . . .
, Bn , . . . } que es base de Twf .

Bi c-
Tcof
EIR
.

a) B- { a
,
b] a ,
b c- IR } es base de una
topología
sobre R ( Topología del lim .
sup .

b) B- { [ a b) ,
a ,
b c- IR } es base de una
topología
sobre R ( Topología del lim .
inf .
 • ✗ , Tcof ) .
no es 2N .
(✗ es infinito no numerable

Dem : R .
A.) : ( X Twf , .
es 2N .

JB base de Tcof .
numerable ,
B =
{ Ba , Ba , . . . } ≤
Tug .

n >, ↑
,
Bn = ✗ { * MI
, ,
☒ 1% , . . .
,
* lnln } .

D- { }
Sea
i
,
Alma ,
☒ 1%
v
, . . .
,
* lnln
'
Xp
es no
es numerable
numerable

sean ×, y
✗ =/
c-

y
✗\D
} y e \ { ×} que
de
es

Tcof
abierto

B base
↓
.

7- no c- N/ y c- Bno ≤ ✗ \{ × } | { ✗ ( no ) } D
Y * C- ✗ ( no ) c-

/
' ' . . .
, n

☒ \{ * '"
a /
☒ 1% , . . .
,
* 1mn } .

IN
y

¿ si * es infinito numerable ,
es IX. T ) 2N ?
Dem : En R ,
sea B- { [a b) , /a ,
ben } es base de la

de
Tcof .
SORGENFR El .

Veamos que no es 2N .

( R.A. ) Sup .
3- B base numerable para TCBY
VXER .
] Ux C- B / ✗ c- Uy ≤ [× ,
✗ 1-1 ]
( Axioma de Colección )

Esto define una aplicación f :B → B

* | > Ux
IR / Y
} ʰᵉHˢiU×=µUy
→ si y c- C- Ux * ≤ Y

→ si ✗ c- IR / ✗ c- Uy y ≤ ×
×=y-
f inyectiva IR / ≤ [Link]
ÉLerable
"
numerable
 Topología producto
Df :
Sup .
{ ( ✗ i. Ti ) } ¡ es una colección de esp top . .

entonces sobre
IEI
⊕ Xi podemos definir la
Topología
Producto con la base :

Bp { ¡ ll -

c- I
UI
Uj
y; excepto
≤ ✗ ¡ abierto
una cantidad
para Tj
finita
y se
verifica que Uj -
Xj
}
-

Tp - T ( Bp

Lema : Sea ✗ -
X, × . . _
☒ Xn con ✗ i. Ti esp .

topológico
I - ↑ , . . .

,
n ; entonces :

B. ⊕ =
{ Uq × . . .
☒
Un Ui es abierto de Xi Ti , ,
F- ↑ , . . . .
n
}
es base de Tp sobre X .

Corolario : Si ✗ ¡ / Ti tiene como base Bi ,

I -1 , . . .
,
n
; entonces :

ÍT Bi es base de To -
TIBIT
¡ g =

Dez : Basta comprobar que Bp y ¥

¡ ,
Bi son bases
equivalentes para Tp .

Claramente ①¡ ≤ Bpp * c- B, *
. . .
*
Bn 3- Un ☒ . . _
☒ Un C- Bp ✗ c- Un × . . .
☒ Un =
Bo * . . .
✗
Bn .

}
B, × Bn
Bp
*

Bo Bn
. . .

× ☒ C-
Ti
. . .

B. ¡ c-

☒¡ c- UI .
ti -4 . . -
M

Sea * = ( ×, , . . .

, Xn ) c- Un × ✗ Un €
BT B¡ de Ti
. . _

son base
-
-

ti - ↑ , . . .
,
n 3- Bi c- Bi ✗ ¡ c- Bi ≤ Ui
✗ =
( Xq , . . .
, Xn ) E Bg X . . .
✗ Bn ≤ Ug × . . .
☒ Un .
Con esto tenemos la otra inclusión

Bp y ⊕ Bi son equivalentes .
 "

El esp
topológico R donde Te la inducida
Ej : .

, Te es
topología
por la distancia euclídea , y

¥ Ri
"
R =
¡
con Ri Te , ,
i -
↑ . . . .

,
n IR ? Te .

Entonces Tp -
Te .

↑ { la / b) 1a , b c- IR }

tiene como base %

¡ ,
Bi ,
donde Éi es la base de IR , Te ) .

{ arriba ☒ . . .
☒ tan bn , ai , bi c- IR } TI ¥ Bi ) Tdma
,
-

,
-
Te

Def : Un esp
topológico
. se dirá esp .
de Alexandroff o A -

esp , .

si además verifica que Y { Ai } ≤ T Ai c- T

¡e,
.

¡
infinito o
finito

Diremos que
X T ,
un
esp .
top . es finito si ✗ es un

conj .

finito .

Lema : Los esp .

finitos son esp .
de Alexandroff .

Dem : Como ✗ es finito Tes finita (X T) , es Alexandroff

=
{a ,
b, c
} ,
T- { ∅ , { a,b ,
c } , { a} { a , ,
b} } es un
esp .
finito y A- -

esp . .
Df : Axioma de separación .

I (X ,
T)
esp .
top .
se dirá To si tú , y c- ✗ JUET con ✗ c- U ≠ y .

✗ c- ↳ ≠"
T
II ) ( X T ) esp
, .
top . se dirá Tg si tx y ,
c- ✗ 3- U , ,
U, c-
Y C- Uz # ✗

" "" ≠ "

Iii ) ( MT ) esp .
top . se dirá T, si tx y ,
c- ✗ ZU , ,
U, c- T Y C- Uz # ✗
Ug A U, -
∅

Comprobad Tz Ta To .

Es : X T) ,
esta VXEX ,
XTÜÍ } es un
conj . abierto .

Deme : -3 y c- ✗ Y×} ✗ =/ y 3- UN c- T/ ¡ EY!! -7

y c- ⊖ ≤ ✗\{ × } XI { × } es abierto .

← ×,

✗ =/
y
Y
c- X
} = ≥ ✗ c-

c-
XI { y} #

✗ \ { ×} # ×
Y

✗ \{ ×} ,
✗ \{ Y } son abiertos .

Lema : Si IX ,
T) es un
esp .

finito Tq entonces es abierto .

Dez : Como ( KT ) es Tan tlx c- X ,

✗ Mx } es abierto

Y c- X , { Y} -

×
?, ✗ Mx } y como ✗ es finito
{ y } es abierto T - Tdiscreta
Def : si X ,T es
esp .

finito para cada ☒ c- X ,

Ux = A { V /✗ c- V y V es abierto } se llama

abierto Minimal .

Se puede comprobar que B- { Ux / ✗ c- X } es base de

'
T ( de hecho ,
la más pequeña ) 3- B
'
base de T = >B c- B

Diremos ✗ ≤ y si ✗ c-
Uy Ux ≤ Uy
escribiremos ✗ <
y si ✗ Uy

Lema : a La relación "

S
"
es transitiva y reflexiva .

b) parcial X T) esto
" "
≤ es un orden poset ,
.

Dem :

reflexiva
" "

a) ≤ . ✗≤ X pues Ux ≤ Ux .

UY }
"
transitiva
"
≤ ✗≤ Y ✗ c- Ux ≤
> * Uy Uz Uz
.

= c- ≤ ✗ ≤

y ≤ 2- y c- Uy ≤ Uz /
b) Sup .
"
≤
"
es orden parcial .

✗ Uy ≥ Y
si
{ × e Y incomparables
son
y c- U, ≥ ×

×, y ≤ ✗
/si ✗ e
y son
comparables ( ✗ ≠ y ) ☒ <
y ↳ ≤ Uy -
☒ c- Ux # Y

ya que
si
y c- Ux Ux ≤ Uy ↳ ≠ Uy ! ! !

✗ esto .

< X T),
es
esp .

finito y To .

Por a) tenemos reflexivo transitivo Veamos que asimétrico

" "
≤ es
, que y .
es :

}
↳ UY
FEY }
≤
sean ×, y c- ✗ > ↳ UY entonces ✗
- =
no esto .

Uy ≤ Ux

Sup .
3- abierto V / ✗ c- V#y y 4- Ux ≤ ⊖ !! !
Lema : X reflexivo
Si IX ≤)
finito
"
transitivo
"

,
con
,
≤
y ,
entonces :

B -
{↳{ «×
,
donde U, = { Y c- X y ≤ × } ,
es base de una
topología
sobre ✗
Dem : ejercicio
.

Si además tiene la antisimétrica IX. T ) es Tu

Prop : Para un
conjunto finito X ,
las topologías sobre ✗
están en biyección una con las relaciones de
orden reflexivas y transitivas .

De hecho ,
la biyección se
restringe a las topologías
To sobre ✗ con las relaciones de orden parcial poset .

5 5 ≥ ,
T
/

UI V1

{ ✗ ,
≤ )/ ≤
es parcialmente
ordenado } = > { ✗ ,
T / Tes To }

Los X ≤ , finitos con / finito se pueden representar por

el diagrama de Hasse .

Ejercicio 2.1 X ,
✗o c- X .
Tu -
{X} U { A CX ✗o c-
-

{ es
topología .

¡ c-
Tiro por def .
y ∅ c- Txo Pues *o c- 0 .

ii) A ,
B c-
Tío .

asi AÓB son ∅ AAB -

∅ c- Txo .

b Si AÓB son ✗ AAB -

✗ c-
Txo .

c) Sup A B .
,
no son ✗ ni o A. BCX ✗o A , ✗o B % AAB ≤ ✗ AAB ≤
Txo .

iii { Ai } ¡ es
≤ Txo .

a) Si Dio c- I Aio - X
¡ Ve
,
Ai - ✗ c-
Txo
b Si #i c- I / Aio =/ ∅ ¥ ,
Ai - ∅ c-
Txo
c) Sup Jio c- I / Aio ≠ ∅}
[% Ai Viet ] ¥ Ai ¥ Ai Tu
.

*o c-

☒¿ /
'

c- I /A¡ = ✗ , ¡

¥
Ejercicio 2.4 T -
{ IR ,
∅ } U { E- ix. × ] / × > O } CPIR ) ¿ Es esp .

topológico ?
i ∅ R,
c- T .

ii) A B,
c- T .

a si A,B son ∅ AAB -

∅ ET .

b) Si A B
,
son R AMB - R c- T .

c) A f- × ]
}
-
× × > O
AAB [ Z , -2] ET
, ,
- -

↑
B- [ y y ] -

y > o
min / X y }
, ,
O < 2- ÷
,

Iii { Ai } ¡ ≤T .

asi [Link]/Aio-- IR Ai - R c- T .

b) Si VIEI ,
Ai # ∅
¡ µ >
Ai -
∅ ET .

c) ti c- I ,
Ai c- [-

Xi , Xi] , ✗¡ > 0 .

7- = \ A Mn -9+4,9 Mn
✗n =
-

-
-
-

✗
-

, _
-

!! !
"

¡ µ, Ai -
l 1,11 -4T
-

Tno es
topología

Ejercicio 2.6 X T , esp .

top .
; T - XU { Yo } yo ✗

} ¿ Es
'
T -
{ ∅/ U { GUI Yo } / Get
esp .
top .
T sobre ↑ ?

def t
' '
I ∅ c- T
por .

; Como / c- 1- XU { %} -
c- T .

ii ) A ,
BET !

a) Si A B ,
son ∅ AAB - ∅ c- T!

b) si AB :& } AAB - B c- T!

C A - G
si donde G , HET
'
GAH c- T
B- HU { yo } Testop .

( ) MIHU { }) ( GAHIU { Yo }
'
AAB - GU { Yo } yo
-
c- T

Iii ) { Aitie ,
≤ T!

a) si 7×0 C- I / Aio - Y Ai =P c- T!
¡

b) si Vi c- I , Ai -
∅ Ai -
∅ c- T!
¡

c) Sup $ Ai
}
IEI
.

,
= ∅ ti Ai ,
- G ¡ U { yo }
T!
☒¡ A; × TI? [Link] GIU { Yo } / ¥ Gi U / Yo }
= c-
c- I. =

G- ¡
donde c- T
,
Def : Sea X T ) esp ,
.

top .

y A ≤ X ,
diremos que ✗ c- X
es un
punto interior al conj .
A ,
si ZGET ✗ c- G ≤ A .

Llamamos int (A) -

{✗ ✗ c- ✗ es interior a A } y que
A es

un entorno de X .

Prop : Dado /, T top A ≤ X A c- T ← A - int A)

esp . .

y . .

Dem :

-
-
c- T , entonces Va c- A ,
a c-
AÉA a c- int (A) .

Luego A ≤ int (A) .

Por def .
,
int (A) ≤ A- .

Así que tenemos int (A) -

A .

Sup .
A ≤ X/ A = int / A) Va c- A - int (A) 76a c- T/ a c- Ga ≤ A

alfa G =
A luego A
A- es unión de abiertos → A c- T .

T topología

Prop : Si IX. T) esp .

top .

int : PIX ) > PCX )

i) int (A) ≤ A A- | ≥ intl Al

Ü A ≤ B int (A) ≤ int ( B ) es un operador monótono e idempotente .

iii ) int Agh . . .

A An ) -
int / Adn . . .
Mint ( An ) .

iv ) intlint (A) = int (A) .

Dem :

i int / A) ≤ A por def .

int (A) JGET/ a G

¡ i) si A ≤ B , ✗ c- c- ≤ A ≤ B- a c- int (B) .
Luego int (A) ≤ int (B) .

Iii) ≤ Como Ann . . - han ≤ A i. Vi -9 , . . .

,
n int / A , n . . _ MAN ) ≤ int ( Ai ) Vi -1 , . .
.in

int ( Ann . . . AAN ) ≤ µ

¡ ,
int / A) .

para un

≥ Sea ✗ c-
¡
§
,
int ( Ai ) ti ≥ 1 , . . .

,
n I Gi c- T/ ✗ C- Gi ≤ A i. Sea H -

,
Gi c- T,
T
topológico
→

→ ✗ c- H ≤ Gi ≤ Ai ,
Vi -4 -

, . . .
,
n .
→ ☒ EH ≤
¡ =
,
Ai ✗ c- int
¡
%
,
Ai

IV Como intl Al ≤ A ≥ intlint IAI ) ≤ int (A) .

Sea ✗ c- int (A) 7- GET / XEG ≤ A } int ( int ( A ) )

Ti
intl G) ✗ c- int , G) /
Def : Sea ( X , T esp .

top .

y A- ≤ X .
Un punto a c- A se dice

aislado de A si ZGET / ae Gn GMA -

{ a} .

En el caso de que A - X y { a } es un punto aislado

de ✗ { a } es un abierto en X .

Si ✗ c- ✗ / V6 c- T con ✗ c- G GMA # ∅ ,
entonces
diremos que ✗ es un
punto adherente a A .

los puntos de A son puntos adherentes a A

Llamamos A- { =
✗ c- ✗ /✗ es punto adherente a A }
clausura de A .

Por def .

,
A ≤ A- .
Diremos que A es cerrado si A- A- .

Un ✗ c- ✗ se dirá punto de acumulación de A si

VGET / ✗ c- G = ≥ ( GH } MA -1-0

Entonces tenemos :

'
A- -
A A
'
A = A Á
I t
µ

puntos aislados
de A

Ej : Sea ✗ =
{ a
,
b ,
c
,
d. e } con orden parcial .

el único ↳
oob dile { } } }
con
Pues
osa •
C a > a = a
a c- Ux es
para × - a

b > d. e Calcula { dl =
{ a ,
b, c } {d}
'
≤ IDT -
{ [Link] .

El [ '
{ a} { } ¡ ¿% { dl
{ a}
[ qe a no es punto de acumulación
≤ = }
aislado
pues es .

¥ Va { d. el d } -1-0
valla }
!!
-
a.
'
a c- { /
a VG / a c- G , GYA } A { a } # ∅ ,

Ña -
{ a. de } Ivana } ) n { al # ∅ Ub - { b. de } Valla } A { d } -1-0

Ej :X { a. b -
,
c
,
d , e. f}
a > b :c c > d Hallar ⊕ ,
{ b.f } ,

b > d. e d> e
{ el
'
{ b.f }
'

, .
Prop : Sea X, d esp .
métrico y A ≤ X .
Entonces :

V6 abierto con ✗ c- G ,

* es punto de acumulación ← G contiene una cantidad

infinita de puntos de -

Dem :

← Dado G un abierto con ✗ c- G -7 G contiene una cantidad infinita

de A , luego GI { × } también .
-7 GI { × } ) AA =
∅

Sup .
✗ es un punto de acumulación de A- V6 abierto ,
G { × } A A -1-0 =

7%0 / ✗
e.
B
! !!;!!
≤

G) ( Bd ( × E) ,
{ ☒ 1) MA es
finito .

Sea ×, ≤ Bd X, E {×} ,
E- % DIX ,
✗a -

Bd / ✗ 4) ,
≤ Bdlx E) , y es abierto =

Bd X, Ea ) {×} A es infinita } ÉL Repetimos la

3- ✗ BDIX Edna
construcción
-

Xq Bdlx En ) ,
{ .

3- { ✗ } n infinita , { ✗n } ≤ Bdlx E) ,
≤ GMA .