title: Lemme de Poincaré-Volterra
text: # Lemme de Poincaré-Volterra
  
  Le lemme de Poincaré-Volterra est un théorème de topologie, une branche des mathématiques. Il est attribué aux mathématiciens Henri Poincaré et Vito Volterra, qui l'ont formulé et prouvé dans ses premières versions dans les années 1880. Le théorème formule une condition suffisante pour la transmission de certaines propriétés topologiques par des applications continues et discrètes. Il est crucial dans la preuve du théorème de Radó, qui affirme que toute surface de Riemann connexe est à base dénombrable d'ouverts.
  
  ## Enoncé
  
  Soit $f:X\to Y$ une application continue entre deux espaces topologiques séparés. On suppose que $X$ est connexe et que $Y$ est à base dénombrable.
  
  On suppose de plus que l'une des conditions suivantes est vérifiée :
  
  * $f$ est un homéomorphisme local, à savoir : pour tout $x\in X$ il existe un voisinage ouvert $U_{x}$ tel que la restriction $f_{|U_{x}}$ soit un homéomorphisme sur son image ouverte ;
  * $X$ est une variété topologique (pas nécessairement à base dénombrable, a priori) et $f$ est discrète, c'est-à-dire que pour tout $y\in Y$ l'image réciproque $f^{-1}(\{y\})$ est un sous-ensemble discret de $X$.
  
  Alors, $X$ est également à base dénombrable.
  
  ## Démonstration
  
  La démonstration qui suit est celle d'Otto Forster.
  
  Notons ${\mathfrak {B}}$ une base d'ouverts de $Y$. Soit ${\mathfrak {C}}$ la collection de tous les sous-ensembles ouverts $V$ de $X$ ayant les propriétés suivantes :
  
  * $V$ est à base dénombrable ;
  * $V$ est une composante connexe d'un ensemble $f^{-1}(U)$ avec $U\in {\mathfrak {B}}$.
  * On affirme premièrement que ${\mathfrak {C}}$ est une base d'ouverts de $X$. Soit $x\in X$ et $W$ un ouvert de $X$ contenant $x$. On veut montrer qu'il existe un ouvert $V$ contenant $x$ , contenu dans $W$ et qui soit dans ${\mathfrak {C}}$. Premier cas : Si on suppose que $f$ est un homéomorphisme local, on sait qu'il existe un voisinage ouvert $D$ de $x$ tel que $f_{|D}$ soit un homéomorphisme sur son image. Il suffit alors de prendre $V=W\cap D$. Deuxième cas : Si $X$ est une variété topologique et $f$ est discrète, il existe un voisinage relativement compact $D$ de $x$ tel que $\partial D$ ne rencontre pas la fibre $f^{-1}(f(x))$ . Ainsi $f(\partial D)$ est compact et ne contient pas $f(x)$ . Par conséquent, il existe $U\in {\mathfrak {B}}$ avec $f(x)\in U$ et $U\cap f(\partial W)=\varnothing$. Soit $V$ la composante connexe de $f^{-1}(U)$qui contient $x$. Comme $V\cap f(\partial W)=\varnothing$, il s'ensuit que $V\subset W$ et donc que $V$ a une base dénombrable car $W$ est relativement compact. Ainsi $V\in {\mathfrak {C}}.$
  * On remarque ensuite que pour tout $V_{0}$ dans ${\mathfrak {C}}$, il existe un nombre au plus dénombrable d'ouverts $V\in {\mathfrak {C}}$ tels que $V\cap V_{0}$ soit non vide. Ceci provient du fait que ${\mathfrak {B}}$ est dénombrable et que $V_{0}$ est à base dénombrable d'ouverts.
  * On peut enfin montrer que ${\mathfrak {C}}$ est dénombrable. Fixons $V_{0}$ dans ${\mathfrak {C}}$ et pour tout $n\in \mathbb {N}$, définissons ${\mathfrak {C}}_{n}$ comme l'ensemble des $V\in {\mathfrak {C}}$ tels qu'il existe $V_{1},...,V_{n}\in {\mathfrak {C}}$ vérifiant $V_n=V$ et $V_k∩V_{k−1}≠∅$ pour tout k=1, ..., n.{\textstyle V_{n}=V{\text{ et }}V_{k}\cap V_{k-1}\neq \varnothing {\text{ pour tout }}k=1, ..., n.} Comme $X$ est connexe, $\cup _{n\in \mathbb {N} }{\mathfrak {C}}_{n}={\mathfrak {C}}.$ Il suffit alors de montrer que chaque ${\mathfrak {C}}_{n}$ est dénombrable. Ceci se montre par récurrence à l'aide de 2.
  
  ## Résultats associés
  
  Le lemme de Poincaré-Volterra s'est avéré être une aide essentielle pour la preuve du théorème de Radó sur les surfaces de Riemann. Une autre conséquence notable de ce lemme est l'affirmation suivante:
  
  Si $p:X\to Y$ est un revêtement entre deux espaces topologiques, que $X$ est connexe et $Y$ est à base dénombrable, alors la fibre $p^{-1}(\{y\})$ en un point $y$ de $Y$ est discrète et au plus dénombrable.
  
  