A topologia de ordem em I = [0,1] I = [0,1] tem como base todos os conjuntos dos

seguintes trs tipos:

(i) todos os intervalos semi-abertos [0, b), onde b um nmero real tal que 0<b1
(ii) todos os intervalos abertos (a, b), onde a, bIa, tal que a <b

(iii) todos os intervalos semi-abertos (a, 1], onde a um nmero real tal que 0a <1
Assim, a topologia do produto em I I tem como base todos os produtos cartesianos de
todos os conjuntos possveis dos trs tipos acima.

A topologia da ordem do dicionrio em I I tem como base todos os conjuntos dos

seguintes trs tipos:
(i) todos os conjuntos da forma
[00,ab):={ xyII : 00xyab }

onde a b I, tal que 0 0a b, denota a ordem do dicionrio em I I; isto , para

qualquer ponto x1 y1, x2 y2 I Ix1 y1, x2 y2 I I, definimos x1 y1x2
y2, x1 y1x2 y2 para significar que ou ( i) x1 <x2x1 <x2, ou (ii) x1 = x2x1 = x2 e
y1 <y2y1 <y2. Aqui << indica a ordem usual no conjunto RR de nmeros reais.

(ii) todos os conjuntos da forma

(ab,11]:={ xyII : abxy11 },
onde a b I I, a b I I tal que a b1a b1

(iii) todos os conjuntos da forma

(ab,cd):={ xyII : abxycd },
onde a bI Ia bI I e c d I I, c d I I tal que a bc d, a bc d

A topologia da ordem do dicionrio em R R tem como base todos os conjuntos da

forma

{a}(b,c):={ ayRR : b<y<c }

onde a, b e c so nmeros reais, tais como b <c, b <c.

Assim, a topologia subespacial herdada por I I como subespao de R R na topologia

de ordem de dicionrio tem como base todos os conjuntos que so as intersees com I
I de conjuntos do formulrio em (1) acima. isto , todos os conjuntos da forma

(II)[ {a}(b,c) ],
onde a, b e c so nmeros reais, tais como b <c, b <c.
Estou bem agora?

Agora para as comparaes!

Produto vs. Dicionrio:

O conjunto
[0,1/2)(1/2,1]:={ xyRR : 0x<1/2, 1/2<y1 }
est aberto na topologia do produto em I I, mas no est aberto na topologia da ordem
do dicionrio em I I, porque este conjunto contm o ponto 0 1 e se

(0b,cd)={ xyII : 0bxycd }

um elemento de base de topologia de ordem de dicionrio contendo 0 1, ento
0b01cd.
Assim sendo:
b<1 e 0<c
ento
c/21/3[ (0b,cd) ][ [0,1/2)(1/2,1] ],
o que mostra que
(0b,cd)[0,1/2)(1/2,1].
Assim, a topologia da ordem do dicionrio em I I no mais fina do que a topologia
do produto.
Estou certo?

O conjunto
{0}[0,1/2)=[00,01/2)={ xyII : 00xy01/2 }
est aberto na topologia da ordem do dicionrio em I I, mas no abre na topologia do
produto, porque este conjunto contm o ponto 0 0, mas se

[0,b)[0,d)={ xyII : 0x<b, 0y<d }

um elemento bsico para a topologia do produto em I I contendo 0 0, ento

devemos ter

0 <b e 0 <d, o que implica que:

b/2d/2[ [0,b)[0,d) ][ {0}[0,1/2) ],

o que mostra que

[0,b)[0,d){0}[0,1/2).

Assim, a topologia do produto em I I no mais fina do que a topologia da ordem do

dicionrio. Estou certo? Portanto, a topologia do produto e a topologia da ordem do
dicionrio em I I no so comparveis.
Eu cheguei na concluso correta? E, em caso afirmativo, em seguida, usando a lgica
correta?

Produto vs. Subespacial:

O conjunto {0} (1 / 2,1] = (I I) [{0} (1 / 2,3 / 2]]

est aberto na topologia subespacial, mas no est aberto na topologia do produto,
porque este conjunto contm o ponto 0 1, mas qualquer base de topologia de produto
contendo 0 1 deve ser da forma
[0, a) (b, 1] = {x yI I: 0x <a, b <y1}
para alguns elementos a, b I tal que a> 0 e b <1, e
a / 2 1 [[0, a) (b, 1]] [{0} (1 / 2,1]],

o que mostra que

[0,a)(b,1]{0}(1/2,1]
Assim, a topologia do produto em I I no mais fina do que a topologia subespacial I
I herda como um subespao de R R na topologia da ordem do dicionrio.
Estou certo?
Agora, deixe B ser um elemento de base de topologia de produto e deixe X x YB
Se B=[0,a)[0,b)={ xyII : 0x<a, 0y<b },

onde a, b tal que a> 0 e b> 0, ento 0x < e 0y <b. Ento, o elemento de base de
topologia subespao:
{x}[0,(b+y)/2)=(II)[ {x}(1/2,(b+y)/2) ]

tm x y e est contido em [0, a) [0, b)

Estou certo?

Se B = [0, a) (b, c), onde a, b, c I tal que a> 0 e b <c, ento 0x <a e b <y <c, e,
portanto, o elemento de base de topologia subespao
{x}(b,c)=(II)[ {x}(b,c) ]
contm x y e est contido no B.

Estou certo?
Se B = [0, a) (b, 1] , em que a, bIa, tal que a> 0 e b < 1, ento 0x <a e b <y1, e o
elemento de base de topologia subespao
{x}((b+y)/2,1]=(II)[ {x}((b+y)/2,3/2) ]
Contm x y e est contido no B.

Estou certo?

Se B = (a, b) [0, c), onde a, b, cI tal que a <b e 0 <c, ento a <x <b e 0y <c. Ento,
o elemento de base de topologia subespao.
{x}[0,(y+c)/2)=(II)[ {x}(1/2,(y+c)/2) ]
contm x y e est contido no B.

Estou certo?
Se B = (a, b) (c, d), onde a, b, c, d I tal que a <b e c <d, ento temos <x <b e c <y
<d. Ento, o elemento de base de topologia subespao.
{x}(c,d)=(II)[ {x}(c,d) ]
contm x y e est contido no B.

Estou certo?
Se B = (a, b) (c, 1], onde a, b, c, I tal que a <b e c <1, ento temos <x <b e c <y1.
Ento, o elemento de base de topologia subespao
{x}((c+y)/2,1]=(II)[ {x}((c+y)/2,3/2) ]
contm x y e est contido no B.
Estou certo?

Se B = (a, 1] [0, b), onde a, bIa, bI tal que a <1 e b> 0, ento temos 0<x1 e 0y <
b. Ento, o elemento de base de topologia subespao
{x}[0,(y+b)/2)=(II)[ {x}(1,(y+b)/2) ]
contm x y e est contido no B.
eu certo?

Se B = (a, 1] (b, c), onde a, b, cI tal que a <1 e b <c, ento temos <x1 e b <y <c.
elemento de base de topologia subespao
{x}(b,c)=(II)[ {x}(b,c) ]
contm x y e est contido no B.

Estou certo? Finalmente, se B = (a, 1] (b, 1], onde a, bI tal que a <1 e b <1, ento
temos <x1 e b < y1. Ento, o elemento de base da topologia subespacial
{x}((b+y)/2,1]=(II)[ {x}((b+y)/2,3/2)

contm x y e est contido no B.

Assim, em cada uma das nove possibilidades para B, podemos encontrar um elemento
de base de topologia subespacial B 'tal que x yB'B.
Da a topologia subespacial em I I estritamente mais fina do que a topologia do
produto.

Estou certo?
Subspace vs. Dictionary Order:
O conjunto
{0}(1/2,1]=(II)[ {0}(1/2,3/2) ]

est aberto na topologia subespacial, mas no est aberto na topologia da ordem do

dicionrio. Se (a b, c d) um elemento de base de topologia de ordem de dicionrio
contendo 0 10 1, onde a, b, c, dI tal que a bc d, ou seja, de modo que, quer
um <c ou a = c e b <d, ento
ab01cd,
o que implica que
a=0, b<1, and 0<c.
Assim, nosso elemento de base de topologia de ordem de dicionrio contendo 0 1 da
forma
(0b,cd),
onde 0b <1 e 0 <c1 e, claro, 0d1.
Assim, vemos isso
c/20[ (0b,cd) ][ {0}(1/2,1] ]
o que mostra que
(0b,cd){0}(1/2,1].

Assim, a topologia da ordem do dicionrio no mais fina do que a topologia

subespacial.

Estou certo?
Agora, deixe B ser um elemento de base de topologia de ordem de dicionrio e deixe x
yB.

Se B = [0 0, a b), onde a, bIa, bI tal que 0 0a b, ou seja, tal que, quer 0 <a,
ou 0 = a e 0 <b, ento temos

Ou seja, exatamente um dos quatro casos seguintes vlido.

i) 0<x<a0<x<a and y,bIy,bI so arbitraria
(ii) 0=x<a0=x<a and 0<y0<y
(iii) 0<x=a0<x=a and y<by<b
(iv) 0=x=a0=x=a and 0<y<b

Estou certo?

Case (i) Se 0 <x <a, ento o elemento de base da topologia subespao

{x}I=(II)[ {x}(2,2) ]
contm x y e est contido no B.

Estou certo?
Caso (ii) Se 0 = x <a e 0 <y, ento o elemento de base de topologia subespao {0} (y /
2,1] = (I I) [{0} (y / 2,2)] contm x y e est contido em B.

Estou certo?

Caso (iii) Se 0 <x = a e y <b, ento o elemento de base da topologia subespacial

{a} [0, b) = (I I) [{a} (-1, b)]
contm x yx y e est contido em B.
Estou certo?

Caso (iv) Se 0 = x = a e 0 <y <b, ento o elemento de base de topologia subespacial

{0} (0, b) = (I I) [{0} (0, b)]
contm x y e est contido no BB.
Estou certo?

Se B = (a b, 1 1], onde a bI Ia bI I tal que a b1 1, ento

a bx y1 1,
e os seguintes so todos os casos possveis.

(i) a <x <1a <x <1 e y, bIy, bI so arbitrrios

(ii) a = x <1a = x <1 e b <yb <y

(iii) a <x = 1a <x = 1 e y <1y <1
(iv) a = x = 1a = x = 1 e b <y <1b <y <1

Estou certo?
Caso (i) Se um <x <1, ento o elemento de base de topologia subespacial
{x} I = (I I) [{x} (-2,2)]
contm x y e est contido em B.
Estou certo?

Caso (ii) Se a = x <1 e b <y, ento o elemento de base de topologia subespacial

{a} (b, 1] = (I I) [{a} (b, 2)]

contm x y e est contido em B.
Estou certo?

Caso (iii) Se a <x = 1 e y <1, ento o elemento de base de topologia subespacial

{1} [0, (y + 1) / 2) = (I I) [{1} (-1, (y + 1) / 2)]
contm x yx y e est contido em B.
Estou certo?

Caso (iv) Se a = x = 1 e b <y <1, ento o elemento de base de topologia subespacial

{1} (b, 1) = (I I) [{1} (b, 1)]

contm x y e est contido em B.

Estou certo?

Finalmente, se B = (a b, c d), onde a bI I e c dI I tal que a bc d,

ento temos
a bx yc d,
e surgem os seguintes casos.

(i) a <x <c e b, y, dI so arbitrrios

(ii) a = x <c e b <y

(iii) a <x = c e y <d
(iv) a = x = c e b <y <d
Estou certo?

Caso (i) Se um <x <c, ento o elemento de base da topologia subespacial

{x} I = (I I) [{x} (-2,2)]
contm x y e est contido em B.
Estou certo?

Caso (ii) Se a = x <c e b <y, ento o elemento de base de topologia subespacial

{x} (b, 1] = (I I) [{x} (b, 2)]

contm x y e est contido em B.

Estou certo?

Caso (iii) Se a <x = c e y <d, ento o elemento de base de topologia subespacial

{x} [0, d) = (I I) [{x} (-1, d)]

contm x y e est contido em B.

Estou certo?
Caso (iv) Se a = x = c e b <y <d, ento o elemento de base de topologia subespacial
{x} (b, d) = (I I) [{x} (b, d)]

contm x y e est contido em B.

Estou certo?

Assim, em todos os casos possveis, mostramos que, para qualquer elemento de base de
topologia de ordem de dicionrio B e para qualquer elemento xx yB, existe um
elemento de base de topologia subespacial B 'tal que
x yB'B.
Assim, a topologia subespacial em I I estritamente mais fina do que a topologia da
ordem do dicionrio

Estou certo?

Agora, para recapitular, a topologia subespacial que I I herda como subespao de R

R estritamente mais fina que a topologia do produto e a topologia da ordem do
dicionrio em I I, enquanto essas duas topologias no so comparveis.