Para la siguiente aplicación del Teorema 2.

6 deje 𝐺 𝐾 (𝑀, 𝑁) ∁
𝐶 𝐾 (𝑀, 𝑁) , K ≥ 1, denota cualquiera de los siguientes
subconjuntos:

diffeomorfismos

incrustaciones

incrustaciones cerradas

inmersiones

submisiones

mapas apropiados

2.7. Teorema. Deje que M y N sean 𝐶 𝑆 múltiples, 1≤ 𝑠 ≤ ∞ .

Entonces 𝐺 𝑆 (𝑀, 𝑁) es denso en 𝐺 𝑟 (𝑀, 𝑁) en el fuerte 𝐶 𝑟
topología, 1≤ 𝑟 < 𝑠. En particular, M y N son diffeomorfo si y solo
si son 𝐶 𝑟 diffeomorfo.

Prueba. Esto se desprende del Teorema 2.6 y los teoremas de

apertura de la Sección 2.1.

Necesitaremos el siguiente lema para aumentar la diferenciabilidad

de los colectores:

2.8. Lema. Deje que U sea un colector, 0≤ 𝑟 < ∞ , y W ∁ 𝑈 un

conjunto abierto. Dejar V ∁ 𝑅 𝑛 estar abierto, 𝑓 ∈ 𝐶𝑠𝑟 (𝑈, 𝑉) ,
y pon 𝑓(𝑤) = 𝑉 ′ . Luego hay un sector 𝑁 ∁ 𝐶𝑠𝑟 (𝑊, 𝑉 ′ )
de 𝑓/𝑊 tal que si 𝑔0 ∈ 𝑁 , el mapa.

𝑇(𝑔0 ) = 𝑔: 𝑈 → 𝑉 ,
 𝑔0 𝑜𝑛 𝑊
𝑔 = {
𝑓 𝑜𝑛 𝑈−𝑊
Es 𝐶 ′ , y 𝑇: 𝑁 → 𝐶𝑠𝑟 ( 𝑈, 𝑉) es continuo.

Prueba. Dejar {𝜑𝑖, 𝑈𝑖 } 𝑖 ∈ 𝐴 ser una familia localmente finita

de cartas de U que cubren el límite Bd W de W. Dejar {𝐿𝑖 } 𝑖 ∈ 𝐴
ser una familia de subconjuntos cerrados de U y que cubren Bd W,
con 𝐿𝑖 ∁ 𝑈𝑖 .

Dejar 𝑁 ∁ 𝐶𝑠𝑟 (𝑊, 𝑉 ′ ) ser el conjunto de 𝐶 𝑟 mapas ℎ ∶ 𝑊 → 𝑉 ′ .

Tal que si 𝑖 ∈ 𝐴, 𝑦 ∈ 𝜑𝑖 ( 𝐿𝑖 ) y 0 ≤ 𝑘 ≤ 𝑟 , entonces:

(7) ‖𝐷𝑘 ( ℎ 𝜑𝑖−1 )𝑦 − 𝐷𝑘 ( 𝑓 𝜑𝑖−1 )𝑦 ‖ < 𝑑( 𝑦 , 𝜑𝑖 ( 𝑈𝑖 − 𝑊 )) .

Entonces es un barrio de 𝑓/𝑊 : por paracompacidad W tiene una

cubierta cerrada localmente finita {𝐾𝑎 } de tal manera que cada
𝐾𝑎 se encuentra solo con muchos 𝐿𝑖 y en cada 𝐾𝑎 ∩ 𝐿𝑖 el mapa
𝑥 → d( 𝜑𝑖 ( 𝑥 ), 𝜑𝑖 ( 𝑈𝑖 − 𝑊 )) está acotado lejos de 0.

Si ℎ ∈ 𝑁 definir

𝑇(ℎ) = 𝑔: 𝑈 → 𝑉,
ℎ 𝑜𝑛 𝑊
𝑔 = {
𝑓 𝑜𝑛 𝑈−𝑊

Reclamamos g es 𝐶 𝑟 . Basta con probar que cada mapa

𝜆𝑖 =( 𝑔 − 𝑓)𝜑𝑖−1 ∶ 𝜑𝑖 ( 𝑈𝑖 ) → ℝ𝑛 es 𝐶 𝑟 . Ahora
 𝜆𝑖 =
ℎ 𝜑𝑖−1 − 𝜑𝑖−1 𝑜𝑛 𝜑𝑖 ( 𝑊 )
{
0 𝑜𝑛 𝜑𝑖 ( 𝑈 − 𝑊 )

Obviamente 𝜆𝑖 es 𝐶 𝑟 en 𝜑𝑖 ( 𝑊 ). Por ( 7 ) para

0 ≤ 𝑘 ≤ 𝑟 : 𝐷𝑘 𝜆𝑖 ( 𝑦) → 0 𝑐𝑜𝑚𝑜 𝑑( 𝑦 , 𝜑𝑖 ( 𝑈𝑖 − 𝑊 )) → 0 ,

Uniformemente en 𝑦 ∈ 𝜑𝑖 ( 𝑊 ). Se deduce que 𝜆𝑖 es 𝐶 𝑟 , con

todos los derivados 0 en 𝜑𝑖 ( 𝑈 − 𝑊 ) . Por lo tanto 𝑔 es 𝐶 𝑟 y el
mapa:

𝑇 ∶ 𝐶 𝑟 (𝑊, 𝑉 ′ ) → 𝐶 𝑟 (𝑈, 𝑉)
está bien definido. La continuidad de T se deja como un ejercicio.

Deja 𝛼 que sea un 𝐶 𝑟 estructura diferencial en un colector M. Una

𝐶 𝑆 estructura diferencial 𝛽 en M, s> 𝑟 , es compatible con 𝛼 si
𝛽 ⊂ 𝛼 . Esto significa que cada tabla de 𝛽 es una tabla de 𝛼. De
manera equivalente, significa que el mapa de identidad de M es un
𝐶 𝑟 diffeomorfismo 𝑀(𝛼 ) → 𝑀(𝛽 ).

2.9. Teorema. Dejar 𝛼 ser un 𝐶 𝑟 estructura diferencial en un

colector M, r ≥ 1. Para cada 𝑠, 𝑟 < 𝑠 ≤ ∞ , existe un compatible
𝐶 𝑆 estructura diferencial 𝛽 ⊂ 𝛼 , y 𝛽 es único hasta 𝐶 𝑆
diffeomorfismo.

Prueba. Por conveniencia, denotamos una estructura diferencial y

su restricción a un conjunto abierto por el mismo símbolo. Por el
lema de Zorn, hay un conjunto abierto no vacío 𝛽 ⊂ 𝑀 y un 𝐶 𝑆
estructura diferencial 𝛽 en 𝛽 que es compatible con 𝛼 , y tal
(𝐵, 𝛽) es máximo en esta propiedad. Debemos probar 𝐵 = 𝑀.

Si 𝐵 ≠ 𝑀 hay un cuadro ( 𝜑, 𝑈) para M tal que :

𝑈 ∩ ( 𝑀 − 𝐵 ) ≠ ∅.
Poner 𝜑( 𝑈) = 𝑈 ′ ⊂ ℝ𝑛 , 𝑈 ∩ 𝐵 = 𝑊 y 𝜑 ( 𝑊 ) = 𝑊 ′ .

Ahora hay dos estructuras diferenciales en W: la 𝐶 𝑟 estructura 𝛼 y

la compatible 𝐶 𝑆 estructura 𝛽 ⊂ 𝛼 . Encontraremos un 𝐶 𝑟
diffeomorfismo.

0 ∶ 𝑈𝑎 → 𝑈′ tal que 0/𝑊 : 𝑊𝛽 → 𝑊 ′ es un 𝐶 𝑆 Diffeomorfismo.

En ese caso, el gráfico ( 0, 𝑈) tiene 𝐶 𝑆 se superponen 𝛽, el 𝐶 𝑆
atlas 𝛽 ∪ ( 0, 𝑈) en 𝐵 ∪ 𝑈 está contenido en 𝛼 y esto
contradice la maximalidad de (𝐵, 𝛽 ).

Para construir 0 usamos. Lema 2.8 para obtener un sector 𝑁 ⊂

𝐶𝑠𝑟 ( 𝑊𝛽 , 𝑊 ′ ) de 𝜑 /𝑊: 𝑊 → 𝑊 ′ con la siguiente propiedad.
Donde quiera 𝜓0 𝜖 𝑁, el mapa T( 𝜓0 ) = 𝜓 ∶ 𝑈 → 𝑈 ′
definido por.
𝜓0 𝑜𝑛 𝑊
𝜓 = {
𝜑 𝑜𝑛 𝑈−𝑊

Es 𝐶 𝑟 , y el mapa resultante

𝑇 ∶ 𝐶𝑠𝑟 ( 𝑊𝛽 , 𝑊) → 𝐶𝑠𝑟 (𝑈, 𝑈 ′ )

es continuo. Ya que 𝑇(0/𝑊) es el diffeomorfismo 𝜑 , hay un sector

𝑁0 ⊂ 𝑁 tal que 0/𝑊 . Por el teorema de aproximación 2.6 hay un
𝐶 𝑆 diffeomorfismo 00 𝜖 𝑁0 , el mapa requerido 0 es entonces
𝑇(00 ).
Es divertido que ni paracompacidad ni Hausdorffness de M se
utilizó en la prueba anterior; estas propiedades fueron necesarias
solo para el dominio cordinario U.

From Theorems 2.7 and 2.9 we obtain a fundamental result:

2.10. Teorema.

(a) Dejar 1 ≤ 𝑟 < ∞ . Cada 𝐶 𝑟 variedad es 𝐶 𝑟 diffeomorphic a

un 𝐶 ∞ colector.

(b) Dejar 1 ≤ 𝑟 < 𝑠 ≤ ∞ . Si dos 𝐶 𝑆 los colectores son 𝐶 𝑟

diffeomorfo, ellos son 𝐶 𝑆 diffeomorfos.

En vista de esto, no hay necesidad de considerar 𝐶 𝑟 variedades

para ; 1 ≤ 𝑟 < ∞ ; y para la mayoría de los propósitos 𝐶 ∞ los
mapas son suficientes. La 𝐶 ∞ categoría tiene varias ventajas sobre
las 𝐶 𝑟 categorías con r . Uno obvio es este cierre bajo derivados.
Una ventaja más sutil proviene del teorema de Morse - Sard en el
siguiente capítulo.

Anteriormente señalamos el tema de la globalización que se

ejecuta a través de muchas pruebas. Hay un aspecto abstracto del
pasaje de local a global que, de ser reconocido, a menudo puede
hacer una prueba obvia; al menos, proporciona una estrategia clara
para la prueba. Como tendremos que globalizar varias veces más,
vale la pena formalizar el patrón de prueba de la siguiente manera.

Deje que X sea un conjunto y 𝜁 una familia de subconjuntos.

Suponemos que X ∈ 𝜁 y que la unión de cualquier colección de
elementos de 𝜁está nuevamente en 𝜁. (En la práctica X es una
variedad y 𝜁 es generado por los elementos en una cubierta
abierta, o una cubierta cerrada localmente finita.) Supongamos que
tenemos una función contravariante del conjunto parcialmente
ordenado (por inclusión) a la categoría de conjuntos. Es decir, a
cada A 𝜖 U se asocia un conjunto F (A), y a cada par de conjuntos A,
B 𝜖 U con A c B se le asigna un mapa de conjuntos, denotado por,
donde x ∈ F (B) de modo que siempre que A c B c C, y 𝐹𝐴𝐴 = mapa
de identidad de F (A).

Llamamos a (F, D) una función de estructura de X. Se considera que

un elemento de F (A) es una "estructura" de algún tipo en A para la
cual la "restricción" a subconjuntos de A tiene sentido. Queremos
probar que X tiene una estructura, es decir, F (X) ≠ ∅.

Un funtor de estructura es continuo si se cumple lo siguiente. Si se

trata de una familia de elementos simplemente ordenada de, y UY
= Y, entonces el límite inverso de los mapas es un mapa lim que es
bijectivo.

Un funtor de estructura se extiende localmente si cada punto de X

pertenece a un conjunto V E U tal que para todo Y E U el mapa

es surjective Se llama no trivial si F (Y) diferente del vacio para

algunos YE U.

Como ejemplo, deje que X sea un colector C, y U la familia de todos

los conjuntos abiertos. Sea F (Y) el conjunto de estructuras
diferenciales C compatibles en Y para algunos s> r. Claramente (F,
U) es un funtor estructural que no es trivial y continuo.
Si 1 ≤ r ≤ s ≤ ∞, F es extensible localmente, como se muestra en
la demostración del teorema 2.9.

Para otro ejemplo, deje que X C sea un conjunto abierto no nulo.

Deje que U sea generado por una cobertura localmente finita de X
mediante conjuntos compactos. Sea F (Y) el conjunto de gérmenes
Y de los mapas analíticos, un Y-germen es una clase de equivalencia
de mapas definidos en vecindades de Y, dos mapas siendo
equivalentes si están de acuerdo en algún vecindario de Y. Entonces
(F, U) es continuo y no trivial, pero no es extensible localmente.