Editado para arreglar el ejemplo, según la sugerencia de Zack.
Edición 2: Resulta que cuando pienso en "colectores" tiendo a asumir el objeto más bonito posible. Como creo que es estándar, me gustaría suponer que todos los colectores son 2º contables y Hausdorff. Además, digamos que nuestros colectores son conectados y cerrados.
El teorema de Whitney establece que cualquier liso n -puede ser incrustado suavemente en R2n . Si consideramos las incrustaciones en un k -es posible encontrar un "punto de referencia" en el que se pueda encontrar un "punto de referencia". n -universal" de dimensión inferior a 2n ?
Por ejemplo, un 2manifold no orientable no puede ser incrustado en R3 demostrando la agudeza del teorema de incrustación de Whitney.
Sin embargo, existen 3 manifolds en los que podemos incrustar cualquier superficie, como por ejemplo M=RP3♯RP3 . En efecto, por la clasificación de las superficies sabemos que cualquier superficie puede descomponerse como una suma conectada de copias de RP2 y Tori. De hecho, por la estructura monoide de las superficies cerradas bajo sumas conectadas podemos tomar esta suma para tener a lo sumo 2 copias del plano proyectivo. Ahora, incrustar 2 copias disjuntas del plano proyectivo en M y un número arbitrario de copias del toro. Tomando la suma conectada de éstas vemos que cualquier superficie cerrada es incrustada en M .
¿Podemos hacer algo similar en dimensiones superiores?