PROPLEMA 11.

T 1 ={ ( a , ) : a R } { , R }

Probar que

familia de subconjuntos

es una topologa en

R , pero no la

a ,
{ [ :a R } { , R } .

SOLUCIN.
Anteriormente se demostr que

T1

que

(a , )

es un abierto. Ahora probaremos

es una topologa verificando las propiedades que lo definen:

R T 1 .

i)

T 1

ii)

b R

t.q.

( a , )= a b(b , ) .

iii)

b R

t.q.

( a , )= a b(b , ) .

Supongamos que

a,
T 2 ={ [ :a R } { , R }

es una topologa, entonces

a,
[

debera ser abierto, probaremos que no lo es asumiendo que es abierto, por

lo cual debe cumplirse la caracterizacin de un abierto en funcin de la
base, para ello
De

a (c , )

a,
a [
se tiene

(c , )

tal que existe

c <a

y de

as a una contradiccin!! Por lo tanto

a,
(c , ) [
T2

tal que
se tiene

a,
a (c , ) [ .
a< c , llegando

no es una topologa.