Bourbaki

Corollaire 2

Étiquette 0EB8, permanente. À citer comme [Bourbaki, Tag 0EB8].

General Topology, chapter VIII, § 4. Espaces numériques et espaces projectifs complexes

Soient U et F comme dans le corollaire 1, et soit V l’ouvert de C[X]n−{0}\mathbf{C}[X]_n - \{0\} formé des polynômes P tels que vF(P)=0,vU(P)=1v_F(P) = 0, v_U(P) = 1. À chaque P∈VP \in V associons son unique racine dans U. L’application de V dans U ainsi définie est continue.

Notons ρ\rho l’application précédente. Soit U′U' une partie ouverte de U, et notons F′F' sa frontière dans P1(C)\mathbf{P}_1(\mathbf{C}). Comme U′∪F′⊂U∪FU' \cup F' \subset U \cup F, les éléments P de V tels que ρ(P)∈U′\rho(P) \in U', c’est-à-dire que vU′(P)>0v_{U'}(P) > 0, sont aussi les éléments P de V tels que vU′(P)=1,vF′(P)=0v_{U'}(P) = 1, v_{F'}(P) = 0; il résulte alors du cor. 1 que ρ−1(U′)\rho^{-1}(U') est ouvert dans V.

Exercises

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.