Esta pregunta es para que me ayude a encontrar la paz.
En primer lugar, la cuestión de la forma de Copo de nieve de la compacidad ha sido abordado aquí en este sitio:
Pero me inclino a creer que no lo es. La única razón por la Henning Makholm del argumento totalmente no me convence es porque creo que me puede venir para arriba con una tapa abierta sin finito subcover. Lo que tienes que hacer es rodear cada triángulo con un triángulo abierto lo suficientemente pequeño como para que no se cruzan los 'coles' dos niveles por debajo de la cual brotaron de la primera iteración, y luego repetir ad infinitum. Espero que esta imagen ayuda (las líneas grises representa la apertura de conjuntos):
Entonces, mi pregunta es ¿por qué esta apertura de la tapa tiene un número finito de subcover?