Denicin 1.

1 Una relacin < en un conjunto X se llama un orden simple o o o un orden lineal si cumple con las siguientes propiedades: i) Para cada par x, y X tal que x = y se cumple x < y ii) Para ningn x X se cumple la relacin x < x. u o iii) Si x < y y y < z entonces x < z. o y < x.

(a1 , b1 ) <lex (a2 , b2 ) si, y slo si, o

ww w.

Denicin 1.2 Sean (X, <X ) y (Y, <Y ) dos conjuntos linealmente ordenados. o Denimos la relacin de orden <lex en A B mediante: o

at e

at

ic

a1
o

.c

El par (X, <) se llama conjunto linealmente ordenado.

om

a1 <A a2

a1 = a2

y b1 <B b2

Esta relacin se denomina relacin de orden lexicogrco sobre A B. o o a Ejemplo 1.3 Para el producto cartesiano R {0, 1}, la relacin de orden <lex o en R {0, 1} viene dada por (a1 , b1 ) <lex (a2 , b2 ) si, y slo si, a1 < a2 o o a1 = a2 y b1 = 0, b2 = 1,

donde < es la relacin de orden usual de R. o Denicin 1.4 Sean (X, <) un conjunto con una relacin de orden lineal, donde o o X es un conjunto no vaco. Sea B la coleccin de todos los conjuntos de la o siguiente forma: i) Todos los intervalos abiertos (a, b)X = {x X : a < x < b} con a, b X. Si este conjunto es vaco, a se denomina predecesor inmediato de b, y b sucesor inmediato de a. ii) Todos los intervalos de la forma [a0 , b)X = {x X : a0 x < b} con ao , b X, donde a0 es el elemento ms pequeo (si lo hay) de X. a n iii) Todos los intervalos de la forma (a, b0 ]X = {x X : a < x b0 } con a, b0 X, donde b0 es el elemento ms grande (si lo hay) de X. a La coleccin B es una base para una topolog sobre X, que se llama topolog de o a a orden y que denotaremos por T O(<X ). Otra forma equivalente de denir la topolog de orden es considerar la coleccin a o S de todos los conjuntos de la siguiente forma: i) Todos los intervalos de la forma (a, +)X = {x X : x > a}, donde a X. ii) Todos los intervalos de la forma (, b)X = {x X : x < b}, donde b X. La coleccin S es una sub-base para la topolog de orden. o a Denicin 1.5 Sean (X, <) un conjunto con una relacin de orden lineal, donde o o X es un conjunto no vaco. Sea B la coleccin de todos los conjuntos de la o siguiente forma: i) Todos los intervalos abiertos (a, b)X = {x X : a < x < b} con a, b X. ii) Todos los intervalos de la forma [a0 , b)X = {x X : a0 x < b} con ao , b X, donde a0 es el elemento ms pequeo (si lo hay) de X. a n
ww w.

M at

em at

ic a

1.c

om

iii) Todos los intervalos de la forma (a, b0 ]X = {x X : a < x b0 } con a, b0 X, donde b0 es el elemento ms grande (si lo hay) de X. a iv) Todos los intervalos de la forma (a, b]X = {x X : a < x b} con a, b X, donde b es un elemento que no tiene predecesor inmediato en X. La coleccin B es una base para una topolog sobre X, que se llama topolog o a a de orden ampliada y que denotaremos por T O (<X ). El espacio topolgico o (X, T O (<X )) se llama espacio topolgico ordenado ampliado. o Otra forma equivalente de denir la topolog de orden ampliada es considerar la a coleccin S de todos los conjuntos de la siguiente forma: o i) Todos los intervalos de la forma (a, +)X = {x X : x > a}, donde a X.

La coleccin S es una sub-base para la topolog de orden ampliada. o a Es fcil observar que la topolog de orden ampliada contiene a la topolog de a a a orden en X, es decir; T O(<X ) T O (<X ). Denicin 1.6 Sea (X, T ) un espacio topolgico y A X. La topolog o o a TA = {U A : U T } se llama topolog del subespacio. a Proposicin 1.7 Sean (X, <) un conjunto linealmente ordenado y A X. o Entonces T O(<A ) TA . Demostracin: Sea U T O(<A ) y analicemos los casos posibles: o CASO 1: Si U = (a, +)A , con a A, entonces tenemos U = {x A : a < x} = (a, +)X A,
ww w.

M at

em at

iii) Todos los intervalos de la forma (, b]X = {x X : x b}, donde b X es un elemento que no tiene predecesor inmediato en X.

ic a

1.c

ii) Todos los intervalos de la forma (, b)X = {x X : x < b}, donde b X.

om

de donde es claro que (a, +)X A TA , por lo tanto U TA . CASO 2: Si U = (, b)A , con b A, entonces tenemos U = {x A : x < b} = (, b)X A, de donde es claro que (, b)X A TA , por lo tanto U TA .

Observacin 1.8 La proposicin anterior nos dice que un abierto de la topologa o o del orden es un abierto de la topolog del subespacio, pero el siguiente ejemplo a demostrara que el recproco no siempre es cierto, es decir; existe un ejemplo en el cual TA T O(<A ). Ejemplo 1.9 Consideremos el conjunto ordenado (Q, <), donde < es la relacin o de orden usual de Q. Sea A = ( [0, 1) [2, 3) ) Q y a, b A tales que a < 2 < b.

ww w.

M at

em at
3 2

ic a

1.c
2

om

Primero observemos que (a, b)A T O(<A ) y (a, b)A = {x A : a < x < b} = ( [a, 1) [2, b) ) Q = (a, b) A,
3 por lo tanto (a, b)A TA . Sin embargo, es claro que [2, b) Q = ( 2 , b) A TA , pero no existe un intervalo abierto (a, b)A T O(<A ) tal que 2 (a, b)A y (a, b)A = [2, b) Q, por lo tanto TA T O(<A ).

Denicin 1.10 Dos conjunto ordenados (X, <X ) y (Y, <Y ) son orden isomorfo o si existe una biyeccin f : X Y tal que x <X y si, y slo si, o o f (x) <Y f (y) para todo par de elementos x, y X. En este caso diremos que f es un isomorsmo de orden.

Denicin 1.11 Sea f : (X, ) (Y, ) una funcin de un espacio topolgico o o o 1 en otro y uno a uno. f se llama homeomorsmo si f y f son funciones continuas. Otra forma de denir un homeomorsmo es decir que es una funcin biyectiva o f : (X, ) (Y, ) tal que f (U) es abierto si, y slo si, U es abierto. o Proposicin 1.12 Sea f : (X, <X ) (Y, <Y ) un isomorsmo de orden. Eno tonces f : (X, T O(<X )) (Y, T O(<Y )) es un homeomorsmo que preserva el orden. Demostracin: Basta observar que para todo a, b X se tiene: o f [(a, b)X ] = f [{x X : a <X x <X b} ]

= (f (a), f (b))Y

Proposicin 1.13 Sea f : (X, <X ) (Y, <Y ) un isomorsmo de orden. Eno tonces f : (X, T O (<X )) (Y, T O (<Y )) es un homeomorsmo que preserva el orden. Demostracin: Como la topolog de orden ampliada contiene a la topolog de o a a orden, gracias a lo Proposicin 1.12 slo nos restar por demostrar que o o a (a, b]X T O (<X ) si, y slo si, f [(a, b]X ] T O (<Y ) y para ello basta obo servar que para todo a, b X, donde b es un elemento que no tiene predecesor inmediato se tiene: f [(a, b]X ] = f [{x X : a <X x X b} ] = {f (x) Y : f (a) <Y f (x) Y f (b)} = (f (a), f (b)]Y
ww w.

M at

em at

ic a

1.c

= {f (x) Y : f (a) <Y f (x) <Y f (b)}

om

Por ultimo , como b es un elemento que no tienen predecesor inmediato y f es un isomorsmo de orden, es claro que f (b) tampoco tiene predecesor inmediato.

Denicin 1.14 Se dice que f : (X, ) (Y, ) es una inmersin topolgica o o o si f : (X, ) (f (X), f (X) ) es un homeomorsmo. Denicin 1.15 Un subconjunto D de un espacio topolgico (X, ) se dice que o o es denso en (X, ) si cl (D) = X. Proposicin 1.16 Sea (X, ) un espacio topolgico segundo numerable. Entonces o o (X, ) es separable. Demostracin: Supongamos que (X, ) es un espacio topolgico segundo nuo o merable y sea {Bn } una base numerable para . De cada elemento Bn de la base, elijamos un punto xn . Sea D el conjunto formado por todos los xn . Es claro que cl (D) X, por lo tanto slo nos restar por probar que X cl (D). o a En efecto, sea x X. Para cada elemento Bk de la base {Bn } tal que x Bk es claro que Bk D = (pues xk Bk D), por lo tanto x cl (D) y as concluimos que X cl (D). Observacin 1.17 Sea A un subconjunto de R. El conjunto A denotara la clausura o de A con la topologa usual de R y el conjunto A denotara el conjunto de todos los puntos lmites de A con la topolog usual de R. a Denicin 1.18 Sea A R. Entonces R\A = o
D

ww w.

M at

em at

ic a

1.c

om

(q , r ), donde (q , r ) son

disjuntos dos a dos. Diremos que (q , r ) es un intervalo complementario de A. Denicin 1.19 Sea (X, ) un espacio topolgico y A un subconjunto de X. o o Por una desconexin de A entenderemos dos abiertos U y V de X tales o que i) U A = ,

ii) V A = , iii) A U V = y iv) A U V . Si A X no posee desconexin decimos que A es conexo. o

ww w.

M at

em at

ic a

1.c

om