Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+2 votos
Hola

Estoy resolviendo algunos problemas del libro de Geometría Diferencial de Spivak, y uno de ellos dice que probemos que todo espacio localmente conexo es homeomorfo a la unión disjunta de sus componentes. Esto me despierta varias inquietudes:

a) ¿Existen espacios que no sean resultado de la unión disjunta de sus componentes, independientemente de si son localmente conexos o no?

b)Si lo entiendo bien, un espacio localmente conexo ES la unión disjunta de sus componentes, ¿por qué darle la vuelta diciendo que son HOMEOMORFOS A?

A lo mejor mis preguntas son algo básicas, pero espero que alguien pueda resolver mis dudas.
por (3,4m puntos) en Preguntas

1 Respuesta

+2 votos
 
Mejor respuesta
a) $\mathbb{Q}\subset \mathbb{R}$, sus componentes conexas son los puntos, por lo tanto la union disjunta de sus componentes es $\cong\mathbb{Z}$.

El punto es que en la union disjunta $Y$ de espacios topologicos $X_i$ cada $X_i$ es abierto en $Y$, pero las componentes conexas no siempre son abiertas. Una condicion bajo la cual si lo son es precisamente que el espacio sea localmente conexo.

 

b) creo que esto es mas bien formalismo. Si $X_i\subset Y$ son conjuntos disjuntos que cubren $Y$, entonces $Y$ y $\coprod X_i$ (union disjunta) son formalmente diferentes espacios, pero por supuesto tenemos una identificaion canonica de estos dos espacios $\coprod X_i \rightarrow Y$. Ademas desde el punto de vista topologico, como ya vimos en a) la topologia en $ \coprod X_i$ como union disjunta es diferente a la topologia de $Y$.
por (17,3m puntos)
seleccionada por
A ver, pero ¿qué tiene de malo que la unión desjunta de sus componentes sea $\cong\mathbb{Z}$?
Que los enteros y los racionales no son homeomorfos con la topología inducida de los reales
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...