5 votos

Existencia de diffeomorphism por convergencia en la distancia de Hausdorff

Estoy leyendo un libro y venir a través de algo que no puedo comprobar o corregir. La suposición es que el $\Omega_1, \Omega_2, ...$ es una secuencia de conectado abierto pone en $\mathbb{R}^n$ que convergen en Hausdorff distancia a abrir conectado set $\Omega$. Después de esto, el texto se lee "Para mayor comodidad, nos vamos a $\phi_j : \Omega \to \Omega_j$ ser diffeomorphisms tal que el $\phi_j$ convergen a la identidad en un adecuado topología."

Mi pregunta es ¿por qué podemos decir que estos diffeomorphisms existe o ¿cómo podemos ajustar el supuesto de que existan.

Para ilustrar mi preocupación, he aquí un ejemplo que muestra que, como se dijo, el de arriba no puede ser cierto. Deje $B(a, r)$ denotar la pelota en $\mathbb{R}^n$ centro $a$ y radio de $r$. Deje $S_n = B(0, 1) - \overline{B(0, \frac{1}{n})}$. A continuación, $S_n$ converge a (o se acumula a) $B(0,1)$ en la distancia de Hausdorff. Pero para el no $n$ $S_n$ $B(0,1)$ diffeomorphic, en el hecho de no $n$ son homeomórficos ya que se puede calcular la homología de grupos para $S_n$ $B(0,1)$ y ver que son diferentes.

2voto

Fallen Apart Puntos 847

Supongo que el uso de este libro. Lo que realmente da referencia a este documento. En que un el teorema tiene condición adicional. Es decir, "Supongamos que $\Omega$ $\Omega_j$ son topológicamente equivalentes".

Además, en el libro hay un montón de frases "sin problemas acotados." Tal vez en algún lugar en el inicio está la siguiente hipótesis sobre los dominios.

Por último, el autor da un refrence a uno más a un libro. Allí el Apéndice a es acerca de la métrica de Hausdorff y hay algunas cosas que parece útil. Ver por ti mismo:

enter image description here

Unfortunetly no es exactamente lo que quería, pero me IMAGINO que con esta adición condiciones (equivalencia topológica y suave límite) nos gustaría ser capaces de decir:

"Para mayor comodidad, nos vamos a $\phi_j : \Omega \to \Omega_j$ diffeomorphisms tal que el $\phi_j$ convergen a la identidad en un adecuado topología."

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