$\newcommand{\SO}[1]{\text{SO}(#1)}$ $\newcommand{\Hom}[1]{\text{Hom}(#1)}$ $\newcommand{\R}{\mathbb{R}}$
Deje $U \subseteq \mathbb{S}^n$ ser un subconjunto de la ronda esfera.
Existe una $\epsilon >0$ tal que no es liso mapa de $f:U \to \mathbb{R}^n$ satisfacción $\text{dist}(df,\text{SO}) \le \epsilon$ todas partes en $U$.
Hay una escuela primaria argumento para mostrar esto?
He aquí cómo se definen $\text{dist}(df,\text{SO})$. Deje $p \in U$,$df_p \in \Hom{T_pU,\mathbb{R}^n} $. El interior de los productos en $T_pU,\mathbb{R}^n$ inducir un producto interior en el Hom-espacio; (Este es sólo el producto tensor en $T_p^*U \otimes \R^n$ o menos de manera abstracta, este producto reduce a la distancia Euclídea (Frobenius) producto de matrices, cuando representamos lineal mapas w.r.t bases ortonormales).
Ahora, usando la inducida por la distancia en el Hom-espacio, tenemos una noción de $ \text{dist}(df,\text{SO})(p)= \text{dist}\big(df_p,\SO{T_pU,\R^n}\big)$ .
La única prueba de que sé que la afirmación anterior es difícil; es una prueba de un fuerte reclamo:
Con las notaciones como la anterior, considere la funcional $E(f)=\int_U \text{dist}^2(df_n,\text{SO}) $. (La integración es w.r.t la de Riemann forma de volumen de la esfera).
Supongamos que existe una secuencia de mapas de $f_n:U \to \R^n$ satisfacción $\text{dist}(df_n,\text{SO}) \le \frac{1}{n}$. A continuación,$E(f_n) \to 0$. Esto implica, según el teorema 1.4 aquí, que $f_n$ converge (fuertemente) en el espacio de Sobolev $W^{1,2}(U,\R^n)$ a un suave inmersión isométrica. Una contradicción.
Por supuesto, requiriendo un pequeño uniforme obligado es mucho más fuerte que la que requieren
una pequeña parte integral obligado, así que espero que no debe ser más fáciles de la prueba. También, el teorema citado anteriormente sostiene sólo por la distancia de $\text{SO}(n)$, mientras espero que uno no puede encontrar mapas con arbitrariamente pequeña distancia uniforme de $\text{O}(n)$. (es decir, la afirmación de que en esta pregunta se debe mantener si reemplazamos $\text{SO}(n)$$\text{O}(n)$).
Editar:
He intentado mostrar que un "aproximado isometría" $f$ (con muy pequeño $\text{dist}(df,SO)$) de los mapas geodesics a los trazados con la pequeña curvatura geodésica y, a continuación, utilice el hecho de que las tasas de propagación de geodesics en la esfera y el espacio Euclidiano son diferentes. (que se rigen por la curvatura).
Sin embargo, esto no parece ser cierto en general; La condición en $\text{dist}(df,SO)$ es una condición en la primera derivados, mientras que la curvatura geodésica de la asignada en los caminos afectados también por la segunda derivada de $f$. Por supuesto, para una exacta isometría, $\nabla df=0$, pero parece falso que las pequeñas $\text{dist}(df,SO)$ implica pequeño $|\nabla df|$. En efecto, pensemos en el caso unidimensional: un mapa de $\mathbb{R} \to \mathbb{R}$ puede tener $f'$ uniformemente cerca de $1$, y el loco de la segunda derivada.