Filtre (mathématiques)

Filtre (mathématiques)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Filtre.
Page d'aide sur l'homonymie Ne pas confondre avec une filtration.

En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d'étendre la notion de limite aux situations les plus générales.

La théorie des filtres a été inventée, en 1937, par Henri Cartan[1],[2] et utilisée par Nicolas Bourbaki dans le Livre III : Topologie générale de ses Éléments de mathématique.

Les filtres ont permis en particulier la démonstration du théorème de Tychonov ; le cas particulier important des ultrafiltres joue un rôle fondamental dans la construction de prolongements d'objets classiques tels que les réels (donnant naissance aux hyperréels), ou les espaces localement compacts (permettant une construction du compactifié de Stone–Čech).

Sommaire

Avant propos

En mathématiques, la notion de limite est au cœur de nombreux phénomènes et donne lieu à une théorie appelée topologie. Quand on écrit \lim_{n \to +\infty}x_n = L, distinguons deux phénomènes. Le lieu où on calcule la limite, ici, c'est en +\infty, et la limite elle-même, ici c'est L. Souvent, on traite les deux problèmes de façon symétrique, en utilisant les voisinages. La définition la plus générale possible se fait dans un espace topologique. On peut en donner une version simplifiée dans un espace métrique.

Toutefois, le concept de voisinage se révèle assez vite insuffisant en analyse, même à un niveau très élémentaire. Comment conceptualiser les limites à droite et à gauche par exemple ? On se rend compte sur cet exemple que ce n'est pas tant la limite elle-même que le lieu où on calcule cette limite qui pose problème. Une façon élégante de s'en sortir est d'utiliser un filtre (ou une base de filtre, ce qui est équivalent mais un peu plus souple). La notion de filtre est très générale, elle unifie tous les différents types de limite que l'on rencontre.

Une alternative aux filtres consiste à généraliser le concept de limite d'une suite en utilisant un ensemble ordonné filtrant. Cette alternative (connue sous le nom de convergence des suites généralisées ou suites de Moore-Smith[3] ) est désormais obsolète et inutile en analyse. Toutefois, on l'utilise dans d'autres domaines. En algèbre, par exemple, elle permet de définir les limites inductives et les limites projectives.

L'intérêt des filtres est de définir la convergence sans avoir besoin de suite ou de fonction.

Définition

Soit E un ensemble, on appelle filtre sur E toute partie \mathcal F de \mathcal P(E) (ensemble des parties de E) tel que :

(1) \mathcal F est non vide.
(2) \mathcal F ne contient pas l'ensemble vide.
(3) Toute partie de E qui inclut un élément de \mathcal F est elle-même un élément de \mathcal F.
(4) Pour tout couple (A,B) de parties de E, si A et B sont dans \mathcal F, A\cap B est dans \mathcal F.

Exemples

  • Soit E un ensemble non vide et x un élément de E. L'ensemble
\mathcal F_x=\{A\in\mathcal P(E)\mid x\in A\}

est un filtre, qu'on dit être un filtre principal.

  • Soit E un espace topologique et x un élément de E. L'ensemble \mathcal V(x) de tous les voisinages de x est un filtre sur E appelé filtre des voisinages de x.

Dans le cas particulier où la topologie de E est discrète, on retombe sur un filtre principal puisque pour la topologie discrète, une partie de E est un voisinage de x ssi elle contient x.

  • \mathcal P(E) n'est pas un filtre sur E car il contient l'ensemble vide.

Bases de filtre

Soit E un ensemble et \mathcal B un sous-ensemble de \mathcal P(E). On dit que \mathcal B est une base de filtre ssi l'ensemble \mathcal F=\{A\in\mathcal P(E)\mid \exists B\in \mathcal B,\ B\subset A\} est un filtre. On dit alors que \mathcal B est une base du filtre \mathcal F ou encore que \mathcal F est le filtre engendré par \mathcal B.

Pour que \mathcal B soit une base de filtre, il faut et il suffit que les trois conditions suivantes soient réalisées :

Démonstration

De la définition de \mathcal F à partir de \mathcal B, on déduit que :

  • \mathcal F=\varnothing\Leftrightarrow\mathcal B=\varnothing ;
  • \varnothing\in\mathcal F\Leftrightarrow\varnothing\in\mathcal B ;
  • \mathcal F vérifie toujours la propriété (3) de la définition des filtres ;
  • \mathcal B\subset\mathcal F donc si \mathcal F vérifie la propriété (4) alors en particulier \forall (X,Y)\in \mathcal B^2,X\cap Y\in\mathcal F, ce qui est une reformulation de la troisième condition ci-dessus ;
  • réciproquement, si \forall (X,Y)\in \mathcal B^2,X\cap Y\in\mathcal F alors \mathcal F vérifie (4) car pour tout couple (A,B) d'éléments de \mathcal F, A∩B contient un élément de \mathcal F donc - comme \mathcal F vérifie (3) - A∩B est lui-même un élément de \mathcal F.
Remarque[4],[5] 

Étant donné un filtre \mathcal F, un sous-ensemble \mathcal B de \mathcal F en est une base si et seulement si tout élément de \mathcal F contient un élément de \mathcal B.

Exemples

  • {{x}} est une base du filtre principal \mathcal F_x
  • Soit E un espace topologique et x un élément de E. Une base de voisinages de x est une base du filtre des voisinages de x. On dit aussi système fondamental de voisinages.
  • \{[-r,r]\mid r>0\} est une base du filtre des voisinages de 0 dans \mathbb R; \{]-r,r[\mid r>0\} en est une autre ; \{]-\frac1n,\frac1n[\mid n\in\mathbb N^*\} en est encore une autre (cette dernière a l'avantage d'être dénombrable).
  • Plus généralement, soit E un espace métrique et x un point de E, l'ensemble des boules ouvertes ou fermées) de centre x et de rayon r>0 est une base du filtre des voisinages de x.
  • Dans \mathbb R, \{[-r,0[\cup ]0,r]\mid r>0\} est une base du filtre des voisinages épointés de 0, permettant de définir la limite épointée (ou limite par valeurs différentes) d'une fonction en 0.
  • Dans \mathbb R, \{]0,r]\mid r>0\} est une base du filtre des voisinages à droite de 0 (épointés), permettant de définir la limite à droite en 0 (ou limite par valeurs strictement supérieures).
  • Dans \mathbb N, \{[n,+\infty[\mid n\in \mathbb N \} est une base du filtre de Fréchet, permettant de définir la limite d'une suite.

Finesse d'un filtre et ultrafiltres

Article détaillé : Ultrafiltre.

Soit E un ensemble, soit \mathcal F et \mathcal F' deux filtres, on dit que \mathcal F' est plus fin que \mathcal F si et seulement si \mathcal F\subset \mathcal F'.

Un ultrafiltre est un filtre maximal pour l'inclusion. En d'autres termes, \mathcal F est un ultrafiltre si et seulement si pour tout filtre \mathcal F' plus fin que \mathcal F, on a \mathcal F=\mathcal F'.

Les filtres principaux sont des ultrafiltres (souvent aussi appelés ultrafiltres triviaux).

Tout filtre est inclus dans un ultrafiltre ; autrement dit, pour tout filtre \mathcal F, il existe un ultrafiltre \mathcal F' plus fin que \mathcal F . C'est une conséquence classique de l'axiome du choix ou de son équivalent le lemme de Zorn ; mais, réciproquement, l'axiome du choix s'avère nécessaire pour pouvoir construire des ultrafiltres non principaux (il y a des modèles de ZF dans lesquels il n'en existe pas sur les entiers, par exemple).

Filtre convergent, point adhérent à un filtre

Soient E un espace topologique et x un élément de E. On dit que

  • un filtre sur E converge vers x s'il est plus fin que le filtre des voisinages de x.
  • une base de filtre sur E converge vers x si le filtre qu'elle engendre converge vers x.
  • x est adhérent à un filtre \mathcal F (sur E) si tout voisinage V de x et tout élément F de \mathcal F vérifient V\cap F\not=\emptyset. Autrement dit il existe un filtre \mathcal F' qui contient à la fois \mathcal F et \mathcal V(x) ou encore il existe un filtre \mathcal F' plus fin que \mathcal F qui converge vers x.

L'ensemble des points adhérents à un filtre \mathcal F est un fermé : c'est \cap _{F\in \mathcal F}\overline F.

Si un filtre \mathcal F converge vers x alors x est adhérent à \mathcal F. La réciproque est vraie si \mathcal F est un ultrafiltre.

Si E est un espace séparé et que \mathcal F converge à la fois vers x et vers y alors x = y.

Filtre image, limite d'une fonction

Soit E et F deux ensembles, f une fonction de E dans F et \mathcal F un filtre sur E. Le filtre image de \mathcal F par f est par définition l'ensemble des parties de F dont l'image réciproque par f appartient au filtre \mathcal F. Une base de ce filtre est l'ensemble f(\mathcal F) des images directes des éléments de \mathcal F.

Lorsque que F est un espace topologique et y un élément de F, on dit que f converge vers y suivant \mathcal F si f(\mathcal F) converge vers y.

Compacité

Les filtres permettent une caractérisation simple des espaces topologiques compacts : un espace topologique séparé E est compact si et seulement si tout filtre de E admet un point adhérent, ou encore si et seulement si tout ultrafiltre de E converge. Cette caractérisation permet de démontrer élégamment le théorème de Tychonov[6].

Démonstration

Par définition, un espace topologique est compact s'il est séparé et quasicompact, et un espace E est quasicompact si de toute famille de fermés de E d'intersection vide on peut extraire une famille finie d'intersection vide. On prouve ici l'équivalence[7] :

E est quasicompact si et seulement si tout filtre sur E admet un point adhérent.
  • On suppose que E est quasicompact et — en raisonnant par l'absurde — qu'il existe un filtre \mathcal{F} sur E n'admettant aucun point adhérent : \displaystyle\bigcap_{A\in\mathcal{F}}\overline{A}=\varnothing. Par quasicompacité de E on peut extraire de la famille de fermés (\overline{A})_{A\in\mathcal{F}} une famille finie (\overline{A}_i)_{i\in J} telle que \displaystyle\bigcap_{i\in J}\overline{A}_i=\varnothing ce qui entraîne \bigcap_{i\in J}A_i=\varnothing. Ceci est contraire à la définition d'un filtre d'où la contradiction.
  • On suppose que tout filtre sur E admet un point adhérent. Soit (F_i)_{i\in I} une famille de fermés de E pour laquelle il est impossible d'extraire une famille finie d'intersection vide : pour tout sous-ensemble fini J\subset I, l'ensemble FJ défini par F_J=\displaystyle\bigcap_{i\in J}F_i est non vide. Alors la famille des FJ (indexée par les parties finies J de I) est non vide (car elle comprend au moins F_\varnothing, égal à E par convention), elle est constituée d'ensembles non vides, et F_J\cap F_K=F_{J\cup K}. C'est donc une base de filtre, et le filtre \mathcal{F} sur E qu'elle engendre admet par hypothèse un point adhérent : \displaystyle\bigcap_{A\in \mathcal{F}}\overline A\neq\varnothing. L'inclusion \displaystyle\bigcap_{A\in \mathcal{F}}\overline A\subset\bigcap_{i\in I}\overline F_i=\bigcap_{i\in I}F_i entraîne \bigcap_{i\in I}F_i\neq\varnothing. On a prouvé que toute famille de fermés dont les intersections finies sont non vides est d'intersection non vide, ce qui — par contraposée — exprime la quasicompacité de E.

Espace complet - Filtre de Cauchy

Article détaillé : Espace uniforme.

Dans un espace uniforme, on peut définir d'une part la notion de filtre de Cauchy et d'autre part la topologie associée à la structure uniforme. On dit alors que l'espace est complet si tout filtre de Cauchy converge.

Notes

  1. ↑ H. Cartan, "Théorie des filtres". CR Acad. Paris, 205, (1937) 595–598.
  2. ↑ H. Cartan, "Filtres et ultrafiltres" CR Acad. Paris, 205, (1937) 777–779.
  3. ↑ Raymond Mortini, Topologie (ps) (On y trouve une étude de la relation entre filtres et suites généralisées. )
  4. ↑ Ouvrage de Bourbaki cité en bibliographie, chapitre I, § 6, p. 38, proposition 3
  5. ↑ C'est cette caractérisation qui est choisie comme définition d'une base de filtre p. 76 de l'ouvrage de C. Wagschal cité en bibliographie.
  6. ↑ O. Brinon, Le théorème de Tychonoff
  7. ↑ Bourbaki, TG.I.59 et Wagschal p. 167-168 (cf bibliographie) prennent la caractérisation par les filtres comme définition de la compacité, mais démontrent aussitôt l'équivalence avec la propriété de Borel-Lebesgue. La preuve présentée ici est essentiellement la même.

Bibliographie

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Filtre (mathématiques) de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Filtre (Mathématiques) — Pour les articles homonymes, voir Filtre. La théorie des filtres a été inventée, en 1937, par Henri Cartan[1],[2] et utilisée par Nicolas Bourbaki dans le Livre III : Topologie général …   Wikipédia en Français

  • Filtre — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Un filtre est un système servant à séparer des éléments dans un flux. Ce flux peut être un flux de matières, un flux électronique, un flux d informations …   Wikipédia en Français

  • Filtre Numérique — En électronique, un filtre numérique est un élément qui effectue un filtrage à l aide d une succession d opérations mathématiques sur un signal discret. C est à dire qu il modifie le contenu spectral du signal d entrée en atténuant ou éliminant… …   Wikipédia en Français

  • Filtre numerique — Filtre numérique En électronique, un filtre numérique est un élément qui effectue un filtrage à l aide d une succession d opérations mathématiques sur un signal discret. C est à dire qu il modifie le contenu spectral du signal d entrée en… …   Wikipédia en Français

  • Filtre De Gabor — Un filtre de Gabor (ou Gabor filter) est un filtre linéaire dont la réponse impulsionnelle est une sinusoïde modulée par une fonction gaussienne. Il porte le nom du physicien anglais d origine hongroise Dennis Gabor. Expression temporelle (ou… …   Wikipédia en Français

  • Filtre de gabor — Un filtre de Gabor (ou Gabor filter) est un filtre linéaire dont la réponse impulsionnelle est une sinusoïde modulée par une fonction gaussienne. Il porte le nom du physicien anglais d origine hongroise Dennis Gabor. Expression temporelle (ou… …   Wikipédia en Français

  • Filtre De Fréchet — En topologie, le filtre de Fréchet, dû à Maurice René Fréchet, est le filtre des complémentaires des parties finies de Ce filtre est engendré par la base de filtre constituée des segments terminaux …   Wikipédia en Français

  • Filtre de Frechet — Filtre de Fréchet En topologie, le filtre de Fréchet, dû à Maurice René Fréchet, est le filtre des complémentaires des parties finies de Ce filtre est engendré par la base de filtre constituée des segments terminaux …   Wikipédia en Français

  • Filtre de fréchet — En topologie, le filtre de Fréchet, dû à Maurice René Fréchet, est le filtre des complémentaires des parties finies de Ce filtre est engendré par la base de filtre constituée des segments terminaux …   Wikipédia en Français

  • filtre — [ filtr ] n. m. • 1560; lat. médiév. filtrum, d o. frq.→ feutre 1 ♦ Cour. Appareil (tissu ou réseau, passoire) à travers lequel on fait passer un liquide pour le débarrasser des particules solides qui s y trouvent. Filtre en étoffe, en molleton.… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”