# Suite généralisée

En mathématiques, la notion de suite généralisée, ou suite de Moore-Smith, ou filet$^,$, étend celle de suite, en indexant les éléments d'une famille par des éléments d'un ensemble ordonné filtrant qui n'est plus nécessairement celui des entiers naturels.

## Définition

Pour tout ensemble X, une suite généralisée d'éléments de X est une famille d'éléments de X indexée par un ensemble ordonné filtrant A. Par filtrant (à droite), on entend que toute paire dans A possède un majorant dans A.

## Filets et filtres

Soit $(x_{i})_{i\in I}$ un filet dans un ensemble E et, pour tout $i\in I$, ${\mathcal {B}}_{i}=\{x_{k}:k\geq i\}$. L'ensemble ${\mathcal {B}}=\{{\mathcal {\mathcal {B}}}_{i}:i\in I\}$ est une base de filtre de E, appelé base du filtre élémentaire associé au filet $(x_{i})_{i\in I}$.
Réciproquement, soit ${\mathcal {F}}$ un filtre sur un ensemble E, $I$ une base de ${\mathcal {F}}$, ordonnée par l'inclusion. Pour tout $i\in I$, soit $x_{i}\in i$. Le filet $(x_{i})_{i\in I}$ est dit associé à ${\mathcal {F}}$.
Deux filets $(x_{i})_{i\in I}$ et $(y_{j})_{j\in J}$ sont dits équivalents (on précise parfois : AA équivalents, car d'autres types d'équivalences sont possibles et celui-ci est dû à Aarnes et Andenæes) si les filtres élémentaires qui leur sont associés sont identiques.
En particulier, deux suites $(x_{n})$ et $(y_{n})$ dans E sont des filets équivalents si, et seulement si les deux conditions suivantes sont vérifiées :
    (i) les ensembles de leurs valeurs ne diffèrent que par un nombre fini de points ;
    (ii) pour tout point $z\in E$, $\{n\in \mathbb {N} :x_{n}=z\}$ est fini si, et seulement si $\{n\in \mathbb {N} :y_{n}=z\}$ est fini.
Par exemple, les suites (0,5,6,7,8,...) et (1,5,6,7,8,...) sont des filets équivalents.

## Sous-filets

Il existe plusieurs notions de sous-filet (en). On en détaille quelques-unes parmi les plus importantes :
* Un filet $y=(y_{j})_{j\in J}$ dans E est un « sous-filet au sens de Aarnes et Andenæes », ou « AA sous-filet », de $x=(x_{i})_{i\in I}$, si le filtre élémentaire associé à y est plus fin que le filtre élémentaire associé à x. Cela revient à dire que pour tout $i_{0}\in I$, il existe $j_{0}\in J$ tel que $\{y_{j}:j\geq j_{0}\}\subset \{x_{i}:i\geq i_{0}\}$$^,$. Deux filets sont équivalents si, et seulement si chacun d'eux est un AA sous-filet de l'autre.
* Un filet $y=(y_{j})_{j\in J}$ dans E est un « sous-filet de Kelley » de $x=(x_{i})_{i\in I}$ s'il existe une fonction $\varphi :J\rightarrow I$ telle que pour tout $i_{0}\in I$, il existe $j_{0}\in J$ tel que $j\geq j_{0}\Rightarrow \varphi (j)\geq i_{0}$, et $y_{j}=x_{\varphi (j)}$ pour tout $j\in J$.
* Un filet $y=(y_{j})_{j\in J}$ dans E est un « sous-filet de Willard »$^,$ de $x=(x_{i})_{i\in I}$ s'il existe une fonction croissante $\varphi :J\rightarrow I$ telle que pour tout $i_{0}\in I$, il existe $j_{0}\in J$ vérifiant $\varphi (j_{0})\geq i_{0}$, et $y_{j}=x_{\varphi (j)}$ pour tout $j\in J$. Par exemple, le filet (1, 1, 2, 3, 4, ...) est un sous-filet de Willard du filet (1, 2, 3, 4, ...).
* Soit un filet $x=(x_{i})_{i\in I}$ dans E. Un sous-ensemble J de I est dit fréquent si pour tout $i\in I$, il existe $j\in J$ tel que $j\geq i$. Alors $(x_{j})_{j\in J}$ est appelé un « sous-filet fréquent » de x. Un sous-filet fréquent d'une suite $(x_{n})$ est une suite extraite $(x_{n_{k}})$.
On a de façon générale :
    $\left\{{\begin{array}{c}{\text{suites}}\\{\text{extraites}}\end{array}}\right\}{\underset {\begin{array}{c}{\text{(dans le cas }}\\{\text{d'une suite)}}\end{array}}{=}}\left\{{\begin{array}{c}{\text{sous-filets}}\\{\text{fr}}{\acute {e}}{\text{quents}}\end{array}}\right\}\subset \left\{{\begin{array}{c}{\text{sous-filets}}\\{\text{de Willard}}\end{array}}\right\}\subset \left\{{\begin{array}{c}{\text{sous-filets}}\\{\text{de Kelley}}\end{array}}\right\}\subset \left\{{\begin{array}{c}{\text{AA}}\\{\text{sous-filets}}\end{array}}\right\}$
Par exemple, le filet (1, 1, 2, 2, 3, 3, …) est un sous-filet de Willard, mais non pas un sous-filet fréquent, de la suite (1, 2, 3, …). Soit, pour $n\in \mathbb {N}$, $x_{n}=2^{-n}$ et $y_{n}=2^{-(n+1)}$ si n est pair, $y_{n}=2^{-(n-1)}$ si n est impair. Alors $(y_{n})$ est un sous-filet de Kelley de $(x_{n})$, mais pas un sous-filet de Willard. Enfin, il existe des exemples de AA sous-filets qui ne sont pas des sous-filets de Kelley.
Un AA sous-filet d'un filet x est équivalent à un sous-filet de Willard de x. Pour les questions de convergence, en topologie, on peut donc employer de manière équivalente les notions de sous-filet de Willard, de sous-filet de Kelley, ou de AA sous-filet. En revanche, la notion de sous-filet fréquent (bien qu'elle soit la généralisation naturelle de celle de suite extraite) présente des inconvénients, comme on le montre plus loin.
Dans ce qui suit, sauf mention du contraire, les sous-filets sont des AA sous-filets.

## Ultrafilet

On dit qu'un filet $(x_{i})_{i\in I}$ est ultimement dans un sous-ensemble A de E s'il existe $i\in I$ tel que $x_{k}\in A$ pour tout $k\geq i$.
Un filet x dans un ensemble E est appelé un ultrafilet si pour tout sous-ensemble A, x est ultimement dans A ou dans son complémentaire. Si ${\mathcal {U}}$ est un ultrafiltre, tout filet associé à ${\mathcal {U}}$ est un ultrafilet. Réciproquement, si x est un ultrafilet, le filtre élémentaire associé à x est un ultrafiltre.
Tout filet admet un sous-filet qui est un ultrafilet. En effet, soit x un filet dans E, ${\mathcal {F}}$ le filtre élémentaire associé à x, ${\mathcal {U}}$ un ultrafiltre plus fin que ${\mathcal {F}}$, et y un filet associé à ${\mathcal {U}}$ ; alors y est un sous-filet de x et est un ultrafilet.

## Notions topologiques

Les notions usuelles de limite de suite et de suite de Cauchy s'étendent aux filets :
* dans un espace topologique, on dit qu'un filet $(x_{i})_{i\in I}$ converge vers a si pour tout voisinage U de a, il existe $i\in I$ tel que pour tout $j\geq i$, l'élément $x_{j}$ appartienne à U. Cela équivaut à dire que le filtre élémentaire associé à $(x_{i})_{i\in I}$ converge vers a.
* dans un espace uniforme, un filet $(x_{i})_{i\in I}$ est dit de Cauchy si pour tout entourage V, il existe $i\in I$ tel que pour tous $j,k\geq i$, le couple $(x_{j},x_{k})$ appartienne à V. Cela revient à dire que le filtre élémentaire associé à $(x_{i})_{i\in I}$ est un filtre de Cauchy.
Théorème — Soient E et F deux espaces topologiques et a un point de E.
Une application $f:E\to F$ est continue en a si et seulement si pour tout filet $(x_{i})_{i\in I}$ convergeant vers a dans E, le filet $(f(x_{i}))_{i\in I}$ converge vers $f(a)$ dans F.
* Si f est continue en a, pour tout voisinage V de $f(a)$ dans F, $f^{-1}(V)$ est un voisinage de a dans E. Si donc $(x_{i})_{i\in I}$ est un filet convergeant vers a dans E, il existe $i\in I$ tel que $x_{j}\in f^{-1}(V)$ pour tout $j\geq i$, donc $f(x_{j})\in V$, et $(f(x_{i}))_{i\in I}$ converge vers $f(a)$ dans E.
* Réciproquement, supposons f non continue en a et notons $({\mathcal {F}},\supset )$ l'ensemble ordonné filtrant à droite des voisinages de a. Alors il existe un voisinage V de $f(a)$ dans F tel que pour tout $U\in {\mathcal {F}}$, $f(U)\not \subset V$. Soit $x_{U}\in U\cap \complement \left[f^{-1}(V)\right]$ pour tout $U\in {\mathcal {F}}$ (en utilisant l'axiome du choix). On voit que $(x_{U})_{U\in {\mathcal {F}}}$ converge vers a dans E mais que $(f(x_{U}))_{U\in {\mathcal {F}}}$ ne converge pas vers $f(a)$ dans F.
Théorème — Soient E un espace topologique et A une partie de E.
* Un point a de E est adhérent à A si et seulement s'il est limite d'un filet à valeurs dans A.
* A est fermé si et seulement si, pour tout filet à valeurs dans A et convergeant vers un point de E, ce point appartient à A.
* E est séparé si et seulement si tout filet a au plus une limite dans E.
* Si a n'est pas adhérent à A, il existe un voisinage U de a dans E tel que $U\cap A=\varnothing$. Il ne peut donc pas exister de filet à valeurs dans A convergeant vers a. Réciproquement, si a est adhérent à A, notons $({\mathcal {F}},\supset )$ l'ensemble ordonné filtrant à droite de ses voisinages et prenons $x_{U}\in U\cap A$ pour tout $U\in {\mathcal {F}}$ (en utilisant l'axiome du choix). Alors le filet $(x_{U})_{U\in {\mathcal {F}}}$ converge vers a dans E.
* A étant fermé si et seulement s'il contient son adhérence, ce point résulte du précédent.
* E étant séparé si et seulement si sa diagonale est fermée dans E×E, ce point résulte du précédent (et de l'équivalence entre $(x_{i},y_{i})\to (a,b)$ et $x_{i}\to a{\text{ et }}y_{i}\to b$, appliquée au cas particulier $y_{i}=x_{i}$).
De manière générale, les propriétés des filets se déduisent des propriétés des filtres élémentaires qui leur sont associés. En particulier :
    Un point a de E est dit adhérent au filet $(x_{i})_{i\in I}$ si pour tout voisinage U de a, et tout $i\in I$, il existe $j\geq i$ tel que $x_{j}\in U$. Cela revient à dire que a est adhérent au filtre élémentaire associé au filet $(x_{i})_{i\in I}$, ou encore qu'il existe un sous-filet de $(x_{i})_{i\in I}$ convergeant vers a.
    Un espace topologique séparé E est compact si, et seulement si tout ultrafilet de E est convergent ou, de manière équivalente, si tout filet de E admet un sous-filet convergent.
    Soit, dans un espace vectoriel topologique E, un filet $(x_{i})_{i\in I}$, et disons qu'il est borné s'il existe $i\in I$ tel que $\{x_{k}:k\geq i\}$ est un sous-ensemble borné de E. Cela équivaut à dire que le filtre élémentaire associé à $(x_{i})_{i\in I}$ est borné. L'espace E est quasi complet si, et seulement si tout filet de Cauchy borné de E est convergent. Une suite de Cauchy est un filet borné, mais un filet de Cauchy ne l'est pas nécessairement.

### Remarque

    Dans un espace compact mais non séquentiellement compact, il existe une suite $(x_{n})$ qui n'a pas de suite extraite convergente, mais qui a un AA sous-filet (ou un sous-filet de Willard) convergent. Ce sous-filet n'est donc pas équivalent à un sous-filet fréquent de $(x_{n})$. La notion de sous-filet fréquent n'est donc pas adaptée aux questions de topologie.