You are on page 1of 5

30/5/2014

Propiedades topológicas de los Espacios ordinales S y S Topología II, Primavera 2009 A. Miller

Página 1

Propiedades topológicas de los Espacios ordinales S
Topología II, Primavera 2009
A. Miller

Ω yS

Ω

Recordemos que un conjunto bien ordenado es un conjunto simplemente ordenado (A, <) para que todos los
subconjunto no vacío contiene un elemento más pequeño. Cada conjunto ordenado finito es bien ordenado.
Otros ejemplos de conjuntos bien ordenados son el conjunto de los enteros positivos
Z+ y el conjunto
{1 - 1 / n | n ∈ Z+ } ∪ {2 - 1 / n | n ∈Z+ } Donde ambos están dotados de la de Arquímedes
ordenar. Por otra parte, ni
Z ni K = {0} ∪ {1 / n | n ∈ Z+} Ni R+ = (0, ∞)
están bien ordenado con el orden de Arquímedes. A pesar de estos ejemplos es el ZermeloOrem (que se sabe que es equivalente al axioma de elección) afirma que cada conjunto
admite un orden que es una buena ordenación. Vea la sección 10 del libro Munkres para una más
discusión detallada de conjuntos bien ordenados y el teorema de Zermelo.
Si A es un conjunto bien ordenado entonces A sí mismo contiene un elemento más pequeño que lo haremos
denotar por una
0. Además, para cada x ∈ A, si es no vacío del conjunto {y ∈ A | y> x} debe
tener un elemento más pequeño, y este elemento más pequeño es un sucesor inmediato de x. Así
cada elemento no máxima en un conjunto bien ordenado tiene un sucesor inmediato. (Sin embargo
algunos elementos de un conjunto bien ordenado no pueden tener un antecedente inmediato!) Para cada
elemento x en un pozo Un conjunto ordenado de la sección en x se define como el subconjunto
S x = (- ∞, x) = [a 0, X) = {y ∈ A | y <x}.
La incontable ordinal espacio S
Ω es un conjunto bien ordenado incontable en la que cada
sección S x es numerable. Esta descripción de la SΩ se justifica por lo siguiente:
Lemma 1. Existe un incontable bien ordenado conjunto A tal que S
x es numerable de
cada x ∈ A y los dos conjuntos bien ordenados incontables que satisfacen esta propiedad son objeto
isomorfo (es decir, tienen el mismo tipo de orden).
Proof. Tomaremos este lema por sentado, con sólo algunos comentarios acerca de la prueba:
La existencia de un conjunto tan bien ordenada es una simple consecuencia del teorema de Zermelovéase § 10 del libro Munkres para más detalles.
inducción
".
La singularidad
es por lo general demostrado por el uso de 'transfinito
La incontable ordinal espacio S
Ω es un subconjunto del ordinal incontable cerrado
espacio SΩ que se define por S
=
Ω S Ω ∪ {Ω} con el buen orden dada por: (a) si
x, y ∈ SΩ entonces x <y enΩS si y sólo si x <yΩ,en
YS(b) si x ∈ S Ω entonces x <Ω. Observe que Ω
es un elemento máximo en SΩ (S peroΩ no tiene un elemento máximo). La notación S
Ω
se justifica por la observación de que S Ω es la sección de Ω en S Ω. Tampoco es difícil ver
http://translate.googleusercontent.com/translate_f

1/5

Recordemos que la colección de intervalos con las formas (i) [a 0.1 de Munkres (nota que S Ω satisface la propiedad cota superior mínima.[A Z] por el teorema 28. Y). + ∞) ∩ U son conjuntos abiertos en la topología del subespacio en U que forman una separación de U. esbozamos una prueba de que S Ω se secuencialmente cialmente compacta: Suponga nque ) Es(xuna secuencia en Ω S. (Estos conjuntos son no vacíos puesto que ) ∩[aU y 0. Como es incontable S debe haber una Ω ⊂ elemento x ∈ SΩ .2. Entonces el conjunto b ∈ Bb ya que es una unión numerable de conjuntos numerables. yY1∈ y ∈ (a.1 no se aplica aquí.) De ahí que el entorno U de x no se puede conectar. Z] contiene la secuencia (x n) Y este intervalo es compacto por el Teorema 27. Y S Ω es secuencialmente compacto. nonotación satisfacede la barras. Como un ejemplo de la utilidad de lema 2.) (2) S Ω no es arco-conexo: Esto se deduce de (1). Sea B un subconjunto numerable de S B=⋃ S es un conjunto numerable Ω. ya que la trayectoria conectada espacios son conconectado. (Tenga en cuenta que ninguno ni S de S satisfacer la segunda condición requerida Ω Ω ser un continuo lineal. Esto demuestra que cada secuencia en SΩ tiene una subsecuencia que converge en S Ω. + ∞) son conjuntos abiertos disjuntos y son no vacío porque x ∈ S [A0. Así que estos dos conjuntos forman una separación muestra queΩS Ω. Sea y 1 ser la inmediata sucesor de y. Ω] donde x. El intervalo cerrado [a 0.googleusercontent. Por lo tanto (x n) tiene una subsecuencia convergente en0. + ∞) ∩ U. Entonces {x n | N ∈Z+ } Es un contable subconjuntoΩdey Spor lo tanto tiene un z límite superior por el lema 2. Entonces [a0. Cada subconjunto numerable de Ω tiene 1 Página 2 Proof. declaración en el lema anterior debido a que la sección en Ω es incontable. b Por lo tanto x es una cota superior de B. Por ejemplo. Sea U un entorno de x. + ∞). x podría ser escogido para ser el elemento más pequeño de la serie {Y ∈ SΩ | S y es infinito}. Entonces U debe contener un intervalo abierto I con x ∈ I. (ii) (x. dando una breve explicación de cada caso. Quede No está conectado. Una propiedad clave que es útil para describir la topología de orden en S Ω (Y en S Ω) Es la siguiente: S un límite superior de SΩ. y ∈ SΩ formar una base de la topología para el S Ω. Miller que el cierre S es unΩconjunto en SΩ esbien SΩ. Ahora vamos a examinar si S Ω satisface las diecisiete propiedades topológicas que aparece en la página 228 del libro Munkres. y debo contener un elemento y <x pues de lo contrario la izquierda extremo de que sería un antecedente inmediato de x. Y1) ∩ U y (a. entonces x ∈ S B que es una contradicción.com/translate_f 2/5 .30/5/2014 Propiedades topológicas de los Espacios ordinales S y S Topología II. Lemma 2. Si x <b para algún b ∈ B.B. (1) S Ω no está conectado: Sea x un elemento de S Ω y sea x 1 ser su sucesor inmediato. ya que es bien ordenado).[aX1) Y (x. y) y (iii) (X. X1) y X 1 ∈ (x. (3) S Ωno está conectado de forma local: Sea x un elemento Ω deque S no tiene una inmediata predecesor. Llegamos a la conclusión http://translate.ordenado Lo que justifica el usopero de la También remarcar quede SΩ incontable. Entonces0. Y que los intervalos con formas (i) y (ii) comprenden una base de la topología de compra en SΩ. por lo Munkres Teorema 24. Primavera 2009 A.

(15) S Ω no es separable: Sea B un subconjunto numerable de S Ω. y. y S Ω no está conectado localmente. B tiene una Entonces V = {S . Z] y [a 0. (16) S Ω es metrizable localmente: Sea x un elemento de S Ω con el sucesor inmediato x 1.11 y http://translate. (12) S Ω es primero numerable: Sea x un elemento de S Ω con el sucesor inmediato x 1. X1[a 1 ya que los intervalos abiertos básicos de formas (i). Así que este resultado se deduce a partir de (14).3). 182) localmente compacto. Esto demuestra que U no tiene subcover contable y que S Ω no es Lindelof. X] es un espacio de Hausdorff compacto por teoremas 17. También sabemos que [a0. 2 Página 3 (11) S Ω Es normal: Cada espacio bien ordenado es normal (teorema 32. porque T 4 espacios son siempre3T. (5) S Ω No es compacto: Desde espacios compactos son Lindelof esto se desprende de (14) a continuación. (ii) y (iii) descrito anteriormente formar un contable familia.SX ∈ S x1 ∈ U donde x 1 es el sucesor inmediato de x. para cada x ∈ Ω. (13) S Ω No es segundo contable: Espacios Segunda contables son siempre Lindelof (Theorem 30. Cada elemento de la colección U es un conjunto abierto. SSupongamos que V es un subcover contable de U. (9) S Ω es regular: Esto se deduce de (8) y (11).11). Z]. Ver también el ejemplo 2 en la página 179 de Munkres. Ω es (8) S Ω es Hausdorff: Simplemente espacios ordenados son Hausdorff (teorema 17. X] = S x es numerable. (También se deduce a partir de (15). (4) S Ω no es localmente arco conectados: localmente arco conectado espacios están conectados localmente. Así que B ⊂ [a .1). (6) S Ω es el punto límite compacto: Este argumento es similar a nuestra explicación anterior que SΩ es secuencialmente compacto.) (14) S Ω no es Lindelof: Sea U = {S y | Y ∈ SΩ}. y esto implica que z / ∈ ⋃ V y contradiciendo la suposición de que V es una cubierta abierta de U. Entonces el colección de intervalos de {(t. B que ⊂ es [a una adecuada 0. De ello se sigue que S (definición en la p. Miller de1 que x no tiene barrios conectados. (7) S Ω es localmente compacto Hausdorff: Ω S es Hausdorff por (8). Por y superior z obligado ∈ΩS. Por lo 0tanto subconjunto Ω dedesde S [una 0. La subconjunto abierto ) = [A 0. X] es segundo numerable 0. Z] es un conjunto cerrado.com/translate_f 3/5 . Por el lema 2 B tiene un límite superior z atado. | Y ∈ B} para algún conjunto numerable BΩ⊂ S el Lema 2. (10) S Ω es totalmente regular: Esto se deduce de (11). De ello se deduce que B no es denso en S Ω y que S Ω no tiene ningún subconjunto denso numerable.30/5/2014 Propiedades topológicas de los Espacios ordinales S y S Topología II. Por lo tanto [a0. Z] es contable pero S Ω es incontable.4). Pero entonces z / ∈ para S cada y ∈ B. Para cada x ∈ S Ω una básica entorno de x es un intervalo. Primavera 2009 A. ya que los espacios son completamente normales periódica por el Lema de Urysohn.1)x| T ∈ Sx} Es una base de barrio en x y este barrio base es numerable porque S x es numerable. Por lo tanto U es una cubierta abierta de Ω.googleusercontent. y este intervalo está contenida en un intervalo cerrado que es compacto desde SΩ satisface la propiedad del límite superior menos (Munkres teorema 27.

contiene la sucesor inmediato de x). (10) S Ω es totalmente regular. http://translate. 261).(4) se mantienen paraprácticamente S las mismas razones por las que fracasaron Ω para por SΩ. (6) S Ω es el punto límite compacto: espacios compactos son punto compacto límite. (4) S Ω no es localmente arco-conexo.) Como resultado. (9) S Ω es regular.2) llegamos a la conclusión de que S Ω no es metrizable. (12) S Ω no es primero numerable: Cada barrio de Ω en S Ω contiene un intervalo (x. pero no compacta. Ninguno de los conpropiedades nectedness (1) . ytodos elementos de S Ω tiene un barrio metrizable y S es metrizable localmente (definición en la p. (17) S Ω no es metrizable: por (5) y (6). (3) S Ω no está conectado localmente. S Ω es el punto límite compacto. Así SΩ no puede ser primero numerable. El restante propiedades deben ser examinados por separado para . no hay una secuencia en que S converge a Ω.metrización Por contable lo tanto.googleusercontent.S(Esto se mostró anteriormente en la prueba de que S Ω es secuencialmente compacto. Ω] por algún x ∈ S Ω y que el intervalo contiene un elemento de S Ω (De hecho. Desde un espacio compacto de valor límite metrizable es compacto (teorema 28. Ω] y S Ω satisface la propiedad cota superior mínima. Sin embargo. teorema de la0.1 desde SΩ es un intervalo cerrado0[a . Primavera 2009 A. (2) S Ω no es arco-conexo.1 (a). Siguiente discutimos cuál de las 17 propiedades se satisface con S Ω.1 se describe X] Poresloregular tantoUrysohn. Esto implica que Ω es un punto de S límite Ω y que es Ω en el cierre de S . (11) S Ω es normal.30/5/2014 Propiedades topológicas de los Espacios ordinales S y S Topología II. (5) S Ω es compacto: Así se desprende del teorema 27.com/translate_f 4/5 . Si Ω S Ω fue primero numerable entonces esto estaría en contradicción con la "secuencia lema 'Teorema 30. 218 o Ω p. 3 Página 4 (7) S Ω es localmente compacto Hausdorff: espacios compactos son localmente compacto por definición. S Ω (1) S Ω No está conectado. (8) S Ω es Hausdorff. ) Está (x contenido en una Ω n Ω n intervalo cerrado [a0.(11) al igual Ω queloShicieron. si (x ) Es una secuencia en S a continuación. Z] para algunos z ∈Ω. Y S Ω satisface los axiomas de separación (8) . [ay segundo esto los implica que es(como metrizable por el anteriormente). Miller 27.

una vez quedemostrado S no ser metrizable Ω está podemos concluir inmediatamente que S Ω No se metrizable también.com/translate_f 5/5 . ya que los espacios son metrizables primero También debe mencionarse que el hecho de que S Ω es un subespacio abierto de S permitir Ω puede para explicaciones alternativas de algunos de los anteriores. por lo que este sigue a partir de (12). (16) S Ω no está localmente metrizable: espacios localmente metrizables son siempre primero numerable (esto es un ejercicio fácil). así que esto es consecuencia de (5).googleusercontent. (14) S Ω es Lindelof: espacios compactos son Lindelof. Como otro ejemplo. Por ejemplo. se puede recordar que subespacios abiertos de espacios separables son separables-por lo tanto. Miller (13) S Ω No es segundo contable: espacios Segunda contables son primero contable. puede argumentar que S es separable desde su subespacio abierto S Ω no es separable. y se dice que es hereditario para subespacios abiertos si cada subespacio abierto de un espacio que satisface la propiedad también se satisface la propiedad. También se desprende de (15). Primavera 2009 A. (17) S Ω no es metrizable: contable.30/5/2014 Propiedades topológicas de los Espacios ordinales S y S Topología II. De las diecisiete propiedades. que son hereditarias y que son hereditaria de subespacios abiertos? 4 http://translate. Esto también se deduce de (12). En Ω no en general una propiedad topológica se dice que es hereditaria si cada subespacio de un espacio que satisface la propiedad también se satisface la propiedad. Así que este resultado se deduce a partir de (12). (15) S Ω no es separable: Si B es un subconjunto denso numerable deΩSentonces B ∩ S un contable Ω es densa subconjunto de pero S esto es imposible ya que hemos mostrado anteriormente que S es Ω Ω no separables. sabemos que los subespacios de espacios metrizables son siempre metrizable-por lo tanto.