18 votos

Local homeomorphisms que no están cubriendo mapa?

Estoy tratando de encontrar ejemplos de mapas entre topológica del espacio que son locales homeomorphism pero no cubren los mapas. Especialmente, cómo trenzado tiene que ser un contraejemplo : puede ser un local diffeomorphism entre conectados a los colectores de que no es una cubierta mapa ?

He encontrado aquí(Cuando es un local homeomorphism una cubierta mapa?) una buena proposición que diga que un local homeo de un espacio compacto para la conexión de un espacio de Hausdorff es una cubierta mapa.

Estoy interesado en todo tipo de contraejemplos, de los no-espacios de Hausdorff a las superficies, para tener una mejor idea de las diferencias entre cubriendo mapas y locales homeomorphisms.

Gracias !

16voto

bcwood Puntos 3599

Hay un error en su estado de cuenta: usted necesita el dominio para ser compacto, y el rango de estar conectado.

Fácil contraejemplo: restringir el mapa exponencial $\mathbb{R} \rightarrow S^1$ a un intervalo como (0, 1.5), de modo que las fibras tienen diferentes cardinalidades.

7voto

Krystian Puntos 1102

Aquí está un ejemplo de un local homeomorphism que no es sólo una cubierta mapa con los puntos del dominio eliminado (ni es de la forma $\bigsqcup U_i \to X$ donde $U_i \subseteq X$ están abiertos subespacios).

Deje $X= \Bbb{Z}_{\geq 0}$ con abrir conjuntos de $U_n = [n, \infty)\cap X$$n \in \Bbb{Z}$. El abierto de conjuntos anidados $X = U_0\supsetneq U_1 \supsetneq \cdots$, con lo que la apertura de la tapa de $X$ contiene $X$ sí. Aquí está una foto:

Nested space

Porque cualquier abra la cubierta de $X$ contiene $X$ sí, de su cubriendo los espacios son todos de la forma $\bigsqcup_{i \in I} X \to X$. Sin embargo, podemos construir fácilmente un local homeomorphism no de esta forma, pegando dos copias de $X$ juntos a lo largo de cualquiera de las $U_i$. (El resultado es conectado a un espacio que no es homeomórficos a $X$, por lo que no puede ser extendido a una cubierta mapa).

EDIT: también es fácil conseguir un local homeomorphisms en un simplemente se conecta el colector de $M$ que no se extiende a cubrir con un mapa, a pesar de que el espacio que se asigna a $M$ no será un colector. Por ejemplo, la esfera, con dos polos norte asignación a la costumbre de la esfera es un local homeomorphism.

Más generalmente, se puede pegar un número de copias de $M$ a lo largo de algunas conjunto abierto, la obtención de un local homeomorphism en $M$ cuyas fibras son ya demasiado grandes para extender a un ramal de la cubierta. (Esto no contradice la proposición anterior, debido también era necesario que el dominio de los locales homeomorphism ser Hausdorff; si nos pegue dos copias de un colector juntos a lo largo de un conjunto abierto, entonces el límite de puntos de ese conjunto abierto no están separados de los de la otra copia).

4voto

Gert Puntos 4819

A tu pregunta:

puede ser un diffeomorphism entre colectores conectados ?

Por supuesto que esto no puede ser; un diffeomorphism es automáticamente un homeomorphism y, por tanto, cubrir con un mapa. Sospecho que lo que quería preguntar si puede ser localmente un homeomorphism entre conectados a los colectores.

Para esto, el cociente mapa de la línea con doble origen a la asamblea general ordinaria de la línea, la identificación de los dos orígenes, la va a hacer.

Este es también un no-Hausdorff ejemplo que usted estaba buscando.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X