Posté par
Nightmare Nightmare 
Ok c'est bon :
P est une application
analytique,
ouverte et
propre. On en déduit qu'elle est surjective.
En effet, P est analytique et ouverte ce qui nous assure que
)
est un ouvert. De plus il est connexe. Il suffit de montrer qu'il est aussi fermé.
On prend y un point d'accumulation et (u
n) telle que
=y)
.
f est propre (l'image réciproque de tout compact est un compact) donc (u
n) est une suite d'éléments d'un compact. On peut donc d'après Bolzano-Weirstrass en extraire une suite convergente vers un point x du compact et par continuité on a f(x)=y