ludo56 a écrit: en quoi ça montre que f^{-1}(U) n'est pas connexe ?
parce que
n'est pas connexe.
l'image réciproque ressemble à un empilement d'assiettes
il me semble (c'est si loin) que les revêtements trivialisants servent
à inverser localement , de manière
des surjections continues: par exemple, les projections sur un espace
topologique quotient. J'ai vû aussi récemment sur wiki que les surfaces de Riemann compactes, connexes avaient un revêtement "universel".
L'adjectif "universel" a un sens bien précis en maths, c'est dans la théorie
des catégories, il correspond à l'existence d'un morphisme unique
entre objets dans certains types de diagrammes avec morphismes.
Les topologistes du forum te répondront bcp plus précisément que moi sur
les revêtements des variétés.