Deje $M$ ser incrustado $k$-submanifold de $\mathbf R^n$ $p$ ser un punto en $M$. Para $\epsilon>0$, vamos a $S_\epsilon(p)$ denotar la esfera en la $\mathbf R^n$ radio $\epsilon$ tener su centro en $p$. Por lo $S_\epsilon(p)$ es en sí mismo un embedded $(n-1)$-submanifold de $\mathbf R^n$.
Es el verdadero?
Para $\epsilon$ lo suficientemente pequeño, $S_\epsilon(p)\cap M$ es diffeomorphic a una esfera de dimensión $k-1$.
Intuitivamente, cerca de $p$ el colector $M$ se parece a un televisor $k$-plano, y la intersección $S_\epsilon(p)$ $k$- plano que pasa a través de $p$ se obtiene un $(k-1)$-esfera.
La razón por la que pregunto esto es la siguiente: En la página 17 de Milnor de Puntos Singulares de Complejo Hypersurfaces, el autor afirma lo siguiente (Corolario 2.9).
(No exacta de la cita) Deje $V$ ser un verdadero conjunto algebraico y $x^0$ que no sea un punto singular en $V$. Cada suficientemente pequeña esfera, $S_\epsilon$ centrada en $x^0$ intersecta $V$ en un suave colector.
Desde el conjunto de puntos singulares forman un conjunto cerrado, tomamos nota de que una lo suficientemente pequeña esfera centrada en $x^0$ no contiene ningún punto singular de $V$. Es que ya se dice en el libro que el conjunto de no-singular puntos de un conjunto algebraico forma de un colector, cada uno de cuyos componentes tengan la misma dimensión (Ver Teorema 2.3). Milnor no utiliza la calificación de 'incrustado' para un colector. Pero después de leer la referencia Milnor ha dado para la prueba del Teorema 2.3, estoy convencido de que el conjunto de no-puntos singulares formulario incrustado submanifold del espacio ambiente. Además, la prueba de Milnor ha dado hace uso de la expresión algebraica de la naturaleza de la $V$.
Así que en el anterior Milnor es afirmar algo aún más débil de lo que yo estoy intuitivamente la búsqueda de la verdadera en más de configuración general. O puede ser que me haya perdido algún punto sutil.