J'ai été amené à rencontrer la notion de revêtement en topologie.
Une application(où E et F sont deux espaces topo) est un revêtement si pour tout y de F, on va pouvoir trouver un voisinage ouvert V de y dans F et un homéomorphisme de
dans
(où I est un espace discret et VxI muni de la topologie produit) commutant avec toute projection sur V.
Avec un dessin je pense avoir globalement compris la notion, si je ne m'abuse en gros
J'ai réussi à montrer quelques propriétés comme le fait qu'un homéomorphisme est un revêtement et qu'un revêtement est un homéomorphisme local.
Maintenant et ça se gate, je dois montrer qu'une application est un revêtement.
Plus exactement, on considère l'espace
Je vois qu'en gros ça correspond à un enroulement du demi -plan
Merci :happy3: