¿Es cierto que si $M$ es un colector compacto y $X,Y$ son submanifolds de $M$ que se cruzan transversalmente que la intersección $X\cap Y$ está formado por un número finito de puntos?
Estoy tratando de entender una demostración del teorema del punto fijo de Lefschetz que, por lo que veo, hace un uso implícito de este hecho.
Mi impresión inmediata es que la respuesta es afirmativa porque, de lo contrario, ¿de qué sirve la compacidad aquí? Estoy intentando demostrarlo argumentando que si hubiera infinitos puntos de intersección entonces habría una cubierta abierta sin subcubierta finita y me quedo atascado. ¿Hay alguna forma mejor de proceder o el resultado es simplemente erróneo?
No necesito necesariamente una prueba completa; un sí o un no y si es así un empujón en la dirección correcta ya sería más que apreciado.