Sea M una variedad suave. ¿Se puede escribir cada forma kω en M como una suma de formas k, que son productos de cuña de formas 1, es decir,ω=∑ni=0α(i)1∧…∧α(i)k, dondeα(i)l∈Ω1(M)? Si M es compacto, uno puede cubrir M con un número finito de gráficos y usar una partición de unidad para ver que esto se cumple ... pero ¿qué pasa con el caso general?
Respuestas
¿Demasiados anuncios?La respuesta es sí y necesitas transversalidad de alguna forma. Aquí usamos el teorema de incrustación de Whitneys, pero una declaración más débil sería suficiente. InsertarM⊂Rm. Por lo tanto, hay un monomorfismoTM→M×Rm de paquetes de vectores, dualizándose a un epimorfismoM×Rm→T∗M. Seana1,…,am las imágenes de los vectores base. Puede escribir cualquierk - formulario enM como una combinación lineal conC∞(M) - coeficientes de los formulariosai1∧…aik. Hecho.
El mismo argumento que en el caso de comapct funciona si usa además el teorema de Ostrand sobre la dimensión coloreada