Théorème de Tychonoff

Théorème de Tychonoff

Théorème de Tychonov

Le théorème de Tychonov est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.

Si ce théorème ne choque pas l'intuition dans le cas d'un produit fini, sa validité dans le cas d'un produit quelconque est plus étonnante, et se démontre par une méthode non constructive faisant appel à l'axiome du choix. On notera qu'il est aussi possible de se passer de l'axiome du choix dans le cas d'un produit dénombrable d'espaces métriques compacts, ce que nous montrons dans la première partie de cet article, la deuxième étant consacrée à la démonstration dans le cas général.

Sommaire

Démonstration dans le cas d'un produit dénombrable de métriques

Dans le cas du produit dénombrable de métriques, l'idée essentielle est de faire de ce produit un espace lui aussi métrique en le munissant d'une distance appropriée, ce qui permet ensuite d'utiliser le théorème de Bolzano-Weierstrass: le produit X sera compact si et seulement si de toute suite d'éléments de X on peut extraire une sous-suite convergente.


Démonstration dans le cas général

On va utiliser la propriété de Borel-Lebesgue pour les fermés: un espaceX est compact si seulement si il est séparé et pour toute famille \mathcal{F} de fermés de X dont l'intersection finie d'éléments est non vide, alors: \bigcap_{F \in \mathcal{F}} F est non vide. Comme tout produit de séparés est séparé pour la topologie produit, il reste à prouver que le produit de compacts vérifie la propriété de Borel-Lebesgue, et ce en utilisant le lemme de Zorn.

Soit donc (X_\alpha)_{\alpha \in A} une famille de compacts, et soit \mathcal{F} une famille de fermés de \prod_{\alpha \in A} X_\alpha dont l'intersection finie d'éléments est non vide. On notera pα la projection sur Xα.

On va considérer l'ensemble des familles contenant (au sens de l'inclusion) \mathcal{F} et dont les intersections finie d'éléments sont non vides: c'est un ensemble ordonné par l'inclusion et inductif: il vérifie donc les hypothèses du lemme de Zorn, et admet donc un élément maximal \mathcal{F}^*.

Soit \alpha \in A fixé. Comme l'intersection finie d'éléments de \mathcal{F}^* est non vide, c'est aussi le cas de l'intersection finie de projections sur Xα d'éléments de \mathcal{F}^*, donc de l'adhérence de tels éléments: ainsi la famille  \overline {(p_\alpha(F))}_{F\in \mathcal{F}^*} vérifie les hypothèses de la propriété de Borel-Lebesgue dans Xα compact, donc  \bigcap_{F\in \mathcal{F}^*} \overline {(p_\alpha(F))} \ne \empty: soit donc xα élément de cette intersection.

On va alors considérer l'élément x=(x_\alpha)_{\alpha \in A} du produit et montrer qu'il est bien dans l'intersection des éléments de \mathcal{F}, qui sera alors non vide ce qui achèvera la preuve.

On remarque tout d'abord que par maximalité, (L1): \mathcal{F}* est stable par intersection finie: sinon il existe F_1..F_n \in \mathcal{F}* tels que F=\bigcap_{i=1}^n F_i \not\in \mathcal{F}^*, alors l'intersection d'éléments de \mathcal{F}^*\bigcup \{F\} est non vide, et il contient \mathcal{F} tout en étant strictement plus grand que \mathcal{F}^*: absurde par maximalité de celui-ci.

Par un argument similaire, on en déduit que (L2): si un ensemble intersecte tous les éléments de \mathcal{F}^*, alors il appartient à \mathcal{F}^*.

Soit U ouvert de \prod_{\alpha \in A} X_\alpha contenant x: il existe U_{\alpha_1} , .., U_{\alpha_n} ouverts respectifs de X_{\alpha_1},.., X_{\alpha_n} tels que U=U_{\alpha_1} \times .. \times U_{\alpha_n}\times \prod_{\alpha \ne \alpha_{1..n}}X_\alpha.

Alors soit 1\le i\le n, on a x_{\alpha_i} \in U_{\alpha_i}, ainsi \forall F \in \mathcal{F}^*, \overline{p_{\alpha_i}(F)} \bigcap U_{\alpha_i}\ne \empty, or U_{\alpha_i} ouvert donc p_{\alpha_i}(F) \bigcap U_{\alpha_i}\ne \empty, donc F \bigcap p_{\alpha_i}^{-1}(U_{\alpha_i})\ne \empty. Alors par (L2), p_{\alpha_i}^{-1}(U_{\alpha_i})\in\mathcal{F}^*.

Donc par (L1), U=\bigcap_{i=1}^n p_{\alpha_i}^{-1}(U_{\alpha_i})\in\mathcal{F}^*, donc U intersecte tous les éléments de \mathcal{F}^*, a fortiori de \mathcal{F}.

Ainsi x est dans l'adhérence de tous les éléments de \mathcal{F} qui sont fermés, donc x appartient à tous les éléments de \mathcal{F} dont l'intersection est donc non vide, ce qui achève la preuve.

Remarque

On peut donner une démonstration élégante [1] de ce théorème en utilisant la théorie des filtres

Equivalence avec l'axiome du choix

Nous avons précedemment évoqué l'équivalence du théorème de Tychonov avec l'axiome du choix. Cette équivalence, bien qu'a priori surprenante, se comprend mieux en remarquant que l'on peut définir une topologie sur un ensemble quelconque. En l'occurrence, nous allons utiliser une légère variante de la topologie cofinie, qui possède une propriété très intéressante: tout espace est compact pour la topologie cofinie.

Soit donc (A_i)_{i\in I} une famille d'ensemble, nous voulons montrer \prod_{i\in I} A_i \ne \empty. On suppose, quitte à réindexer par un ensemble I' que \forall i \in I, i\not\in A_i. Alors, on pose X_i=A_i\bigcup {i}, et on munit Xi de la topologie τi formée de l'ensemble vide, de tous les ensembles de complémentaire fini, et du singleton {i} (On vérifiera qu'on a alors bien une topologie, et que Xi est alors compact). Par Tychonov, le produit X des Xi est compact.

On remarque que, en notant pi la projection sur Xi, on a: \prod_{i\in I} A_i =\bigcap_{i\in I} p_i^{-1}(A_i). Or X est compact: pour montrer que \bigcap_{i\in I} p_i^{-1}(A_i)\ne\empty on va se servir de la contraposée de la propriété de Borel-Lebesgue pour les fermés: si chaque p_i^{-1}(A_i) est fermé et que toute intersection finie de p_i^{-1}(A_i) est non vide, alors l'intersection des p_i^{-1}(A_i) est non vide, ce qui achèvera la preuve.

Or \forall i \in Icomme Ai est le complémentaire de {i} ouvert, Ai est fermé. Donc par continuité de la projection pi, p_i^{-1}(A_i)=A_i\times\prod_{k\ne i} X_i est fermé. De plus soit i_1..i_n\in I, alors \bigcap_{k=1}^n p_{i_k}^{-1}(A_{i_k})=A_{i_1}\times ..\times A_{i_n} \times \prod _{i\not\in \{i_1..i_n\}}X_i qui est non vide: en effet en choisissant a1..an éléments respectifs de A1..An on peut définir f:I\rightarrow (\bigcup_{k=1}^n A_{i_k})\bigcup (\bigcup_{i\not\in \{i_1..i_n\}}X_i) par f(i1) = a1..f(in) = an et f(i) = i si i\not\in\{i_1..i_n\}: on a donc bien la propriété annoncée.

Notes

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Tychonov ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Tychonoff de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Theoreme de Tychonov — Théorème de Tychonov Le théorème de Tychonov est un théorème de topologie qui affirme qu un produit d espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï… …   Wikipédia en Français

  • Théorème de tychonov — Le théorème de Tychonov est un théorème de topologie qui affirme qu un produit d espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a… …   Wikipédia en Français

  • Theoreme de Borel-Lebesgue — Théorème de Borel Lebesgue En Topologie de , le théorème de Borel Lebesgue ou de Heine Borel établit l équivalence entre les deux propriétés suivantes d un ensemble A de vecteurs : A est fermé et borné (A est borné s il existe une constante… …   Wikipédia en Français

  • Théorème de Heine-Borel — Théorème de Borel Lebesgue En Topologie de , le théorème de Borel Lebesgue ou de Heine Borel établit l équivalence entre les deux propriétés suivantes d un ensemble A de vecteurs : A est fermé et borné (A est borné s il existe une constante… …   Wikipédia en Français

  • Théorème de borel-lebesgue — En Topologie de , le théorème de Borel Lebesgue ou de Heine Borel établit l équivalence entre les deux propriétés suivantes d un ensemble A de vecteurs : A est fermé et borné (A est borné s il existe une constante positive majorant la norme… …   Wikipédia en Français

  • Théorème de Tychonov — Le théorème de Tychonov est un théorème de topologie qui affirme qu un produit d espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a… …   Wikipédia en Français

  • Borel-Lebesgue — Théorème de Borel Lebesgue En Topologie de , le théorème de Borel Lebesgue ou de Heine Borel établit l équivalence entre les deux propriétés suivantes d un ensemble A de vecteurs : A est fermé et borné (A est borné s il existe une constante… …   Wikipédia en Français

  • Compacite sequentielle — Compacité séquentielle Pour les articles homonymes, voir Compacité. La compacité est une propriété topologique importante qui se définit en topologie générale, à partir de la notion de recouvrement ouvert. Toutefois dans le cadre des espaces… …   Wikipédia en Français

  • Compacité Séquentielle — Pour les articles homonymes, voir Compacité. La compacité est une propriété topologique importante qui se définit en topologie générale, à partir de la notion de recouvrement ouvert. Toutefois dans le cadre des espaces métriques (comprenant… …   Wikipédia en Français

  • Compacité séquentielle — Pour les articles homonymes, voir Compacité. La compacité est une propriété topologique importante qui se définit en topologie générale, à partir de la notion de recouvrement ouvert. Toutefois dans le cadre des espaces métriques (comprenant… …   Wikipédia en Français

Share the article and excerpts

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