\begin{lemme2}\label{lim1=0}
Soit $(X_i)_{i∈I}$ un système projectif d'espaces topologiques compacts.
Faisons les hypothèses suivantes :
\begin{enumerate}
\item l'ensemble ordonné $I$ est \emph{filtrant à droite} :
pour toute paire $(i,i')∈I²$, il existe $j∈I$
tel que $i≤j$ et $i'≤j$ ;
\item les morphismes de transitions $π_{ij}:X_j→X_i$ sont \emph{surjectifs}.
\end{enumerate}
Alors, pour tout $k∈I$, la projection canonique $\lim_i X_i→X_k$,
$(x_i)_{i∈I}\mapsto x_k$, est \emph{surjective}.
\end{lemme2}

\begin{démo}
Soit $I_k$ l'ensemble des éléments $i∈I$ tels que $k≤i$ ; 
sous l'hypothèse (i) c'est une partie \emph{cofinale} de $I$ : 
pour tout $i∈I$, il existe $j∈I_k$ tel que $i≤j$. 

\begin{sous-lemme3}
Soient $(X_i)_{i∈I}$ un système projectif filtrant à droite d'espaces topologiques
et $J⊆I$ une partie cofinale. Alors, l'application
de restriction $r_J:\lim_{i∈I} X_i→\lim_{j∈J} X_j$ est un homéomorphisme.
\end{sous-lemme3}

\begin{démo}
Injectivité. Si $x,x'∈\lim_{i∈I} X_i$ et $x≠x'$,
il existe $i∈I$ tel que $x_i≠x'_i$. Soit $j∈J$ tel que $i≤j$.
Nécessairement $x_j≠x'_j$ car $x_i=π_{ij}(x_j)$ (resp. $x'_i=π_{ij}(x'_j)$).
Ainsi $r_J(x)≠r_J(x')$.

Surjectivité. Soient $(y_j)_{j∈J}$ et $i∈I$. Pour tout $j∈J$ tel
que $i≤j$, considérons l'élément $x_i^{(j)}=π_{ij}(y_j)$ de $X_i$. Si $j≤j''$ sont
deux éléments de $J$, il résulte de la formule
$π_{ij''}=π_{ij}π_{jj''}$ que $x_i^{(j)}=x_i^{(j'')}$. D'autre part,
l'ensemble $J$ étant filtrant à droite (car $I$ l'est), toute paire
$(j,j')$ de $J²$ est dominée par un élément $j''$ de $J$.
Il en résulte que $x_i^{(j)}=x_i^{(j'')}=x_i^{(j')}$, de sorte
que $x_i^{(j)}$ est indépendant du choix de $j$. 
Nous le noterons dorénavant $x_i$. Constatons d'ores et
déjà que pour $j∈J$, $x_j=x_{j}^{(j)}=y_j$.
Il reste à vérifier que l'élément $(x_i)_{i∈I}$ de $∏_i X_i$ est compatible. 
Si $i≤i'$, on veut vérifier que $π_{ii'}(x_i')=x_i$.
Considérons $j∈J$ tel que $i'≤j$. Puisque $x_{i'}=x_{i'}^{(j)}$ (resp.
$x_i=π_{i}^{(j)}$), lui-même égal à $π_{i'j}(y_j)$  
(resp. $π_{ij}(y_j)$), on a bien $π_{ii'}(x_i')=x_i$.

Bicontinuité. Par définition de la topologie produit
sur $\lim_{i∈J} X_i$, la continuité de $r_J$ 
est équivalente à la continuité, pour chaque $j∈J$, de l'application composée
$\lim_{i∈I} X_i\sr{r_J}{→}\lim_{i∈J} X_i →X_j$.
Cette application coïncide avec l'application canonique 
$\lim_{i∈I} X_i → X_i$, qui est --- là encore par définition ---
continue. D'autre part, l'application $\lim_J X_j →
X_i$, $(x_j)↦x_i^(j)$ est continue de sorte que
l'inverse de l'application de restriction est également
continu. Par compacité des espaces, on en déduit que
$r_J$ est un homéomorphisme.
\end{démo}

(Le lecteur généralisera sans peine cette démonstration
au cas des limites filtrantes à droite dans des catégories quelconques.)

La surjectivité de l'application $π_k:\lim X_i→X_k$, 
se ramène donc au cas particulier où $k$ est le plus petit élément de l'ensemble
$I$. Soit $x∈X_k$ ; il est fermé car $X_k$ est compact donc séparé. 
La famille des fermés $X'_i=π_{ki}^{-1}(x)⊆X_i$,
munie des restrictions des $π_{ij}$, est un système projectif indexé par 
$I$ qui satisfait la condition (ii). 
On s'est donc ramené à démontrer que le sous-lemme suivant.

\begin{sous-lemme3}
La limite d'un système projectif d'espaces compacts non vides 
est non vide.
\end{sous-lemme3}

\begin{démo}
Soit $F⊆I$ une partie finie, munie de la relation d'ordre induite.
Le sous-ensemble $K_F=(\lim_{i∈F} X_i)×∏_{i∉F} X_i$ de
$∏_{i∈I} X_i$ est \emph{fermé}. Il est d'autre part non
vide car si $j∈I$ majore $F$, et $x_j∈X_j$, la famille des $π_{ij}(x_j)$
est un élément de $\lim_{i∈F} X_i$. Puisque l'ensemble des parties 
finies de $I$ est filtrant à droite pour l'inclusion, et que $F⊆F'$ 
entraîne $K_F⊃K_{F'}$ on en déduit immédiatement que toute
intersection finie de fermés $K_{F}$ est non vide.
D'autre part, l'ensemble $\lim_{i∈I} X_i$ étant
l'intersection des fermés $K_F$ ($F⊆I$, finie),
on a donc $\lim _{i∈I} X_i≠\vide$ car $∏_i X_i$ est
\emph{compact}.
\end{démo}
\end{démo}