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 $\mathbb{R}^{2n}$ . 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 $\mathbb{R}^3$ 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 = \mathbb{RP}^3 \sharp \mathbb{RP}^3$ . En efecto, por la clasificación de las superficies sabemos que cualquier superficie puede descomponerse como una suma conectada de copias de $\mathbb{RP}^2$ 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?