25

Se deduce que los conjuntos

cubierta M
Definir mapas
f: M → R ".
Poner
y
Claramente g es C.IfxEB, entonces g ,, y por lo tanto g, es inmersivo en x, entonces g es un
inmersión. Ver que g es inyectiva, supuestose con ye B ,. Si xe B,
Ngwe 1-4.
Proyectando M
R "en R '
g (x) g (y). Por lo tanto, g es una inmersión inyectada en C. "Como M es compacta
g es una incrustación.
¿Qué requiere esto de v? Para que sM sea inyectiva significa que e no es
paralelo a cualquier secante de M. Es decir, si x, y son dos puntos distintos de M.
entonces
QED
La prueba anterior sigue un patrón de globalización que es típico en
topología diferencial: una construcción global (la incrustación) está hecha por
juntando objetos locales (los cuadros p). En este caso, la incrustación local
está implícito en la definición de variedad, pero a menudo la construcción local es
la parte más difícil.
Más sutil es el requisito de que sea una inmersión. El núcleo de la
mapa lineal f. es obviamente la línea a través. Por lo tanto, un vector tangente
ze M, está en el kernel de T., solo si z es paralelo a e. Podemos garantizar que
JM es una inmersión que requiere, para todos los z z TAM distintos de cero
En la mayoría de los problemas, uno se encuentra con una "obstrucción" a la globalización. Si eso
sucede, una teoría exitosa consiste en formalizar primero la obstrucción como
un número, u otro objeto algebraico, y luego relacionarlo con otras invariantes.
Veremos muchos ejemplos de este proceso.
El resto de esta sección está dedicada al siguiente afilado de Teorema
3.4, conocido como el "teorema de inclusión fácil de Whitney"
Aquí z se identifica con un vector en R. como se explica en la Sección 1.2: así
tiene sentido.
La condición (1) se analiza por medio del mapa
3.5. Teorema. Sea M un colector compacto de dimensiones Hausdorf Cn,
2 「oo. Luego hay una incrustación C de M en R2n + 1.
σ (x, y) -
Prueba. Por el teorema 34, M se inserta en algunos R.f 2n 1 hay
nada más para probar; por lo tanto, suponemos q2n. Podemos reemplazar M
por su imagen bajo una incrustación. Por lo tanto, suponemos que M es un subtipo C
colector de R .. Es suficiente para demostrar que tal M se inserta en 刚 -, para
la repetición del argumento eventualmente incrustará M en R
donde Δ (o Ma) es la diagonal
Claramente v satisface (1) si y solo f o no está en la imagen de o. Consideramos
M x M-Δ como una subvariedad abierta de M × M; el mapa σ es entonces C.
Tenga en cuenta que
Supongamos entonces que M c R42n. IdenifyRthxeR: x, 0)
Si ue R. R-i denota por f,: H → R "- 'la proyección paralela a v. Nosotros
buscar un vector v tal que
La existencia de una v satisfactoria (1) se desprende del siguiente resultado
Lema Deje que g: P → Q sea un mapa C1. Si dim Q> dim P, entonces el complemento
de la imagen de g es densa en 0
es una incrustación en C. "Ver la figura 1-4. Limitamos nuestra búsqueda a vectores unitarios.