Sea MM sea una variedad lisa de dimensión finita y M=⋃i∈IUiM=⋃i∈IUi una cubierta abierta de MM .
¿Existe una cubierta abierta finita M=⋃lk=0VkM=⋃lk=0Vk tal que cada VkVk es la unión disjunta de subconjuntos abiertos Vk=⋃j∈JVk,jVk=⋃j∈JVk,j y cada Vk,jVk,j yace en una UiUi ?
Traté de atacar este problema con la ayuda de una triangulación, tal que todos los símples se encuentran en una UiUi pero no tuvo éxito.