Th´or`me de Tychonov e e

Fr´d´ric Bayart ∗ e e
Nous allons dans cet article d´montrer le th´or`me de Tychonov : Un produit d’espaces compacts est come e e pact. Ce th´or`me est assez facile ` d´montrer dans un cas particulier : celui du produit d´nombrable d’espaces e e a e e m´triques compacts. Le but est ici de g´n´raliser cette d´marche. D’abord, nous allons r´´tudier de mani`re e e e e ee e pr´cise ce qu’est la topologie produit. Ensuite, nous introduirons la notion de filtres, qui est aux espaces topoloe giques ce que sont les suites aux espaces m´triques. En chemin, nous parlerons des ultrafiltres qui permettent de e caract´riser la compacit´. Il sera alors facile d’en d´duire le th´or`me de Tychonov. e e e e e

1
1.1

Rappels et compl´ments de topologie e
Topologie produit

Soit I un ensemble, (Xi )i∈I une famille d’espaces topologiques non vides. On pose X = Πi∈I Xi . Pour i ∈ I, on note pi : X → Xi la projection. D´finition 1 On appelle topologie produit sur X la topologie la moins fine (ie avec le moins d’ouverts) pour e laquelle les applications pi sont continues. Une telle topologie T0 sur X existe. En effet, la topologie discr`te rend continue les pi (tout ensemble est ouvert e pour cette topologie), et une intersection de topologies est une topologie. On a donc T0 = ∩T o` T d´crit u e l’ensemble des topologies sur X rendant les pi continues. D´sormais, X sera toujours consid´r´ muni de la topologie produit. On va d´crire les ouverts de X. On a une e ee e caract´risation simple : e Th´or`me 1 Soit J ⊂ I une partie finie, et pour tout j ∈ J, Uj un ouvert de Xj . Alors : e e a. O = {x ∈ X/∀j ∈ J, pj (x) ∈ Uj } est un ouvert de X. b. Les ouverts de X sont r´unions d’ouverts de cette forme (dits ouverts ´l´mentaires). e ee D´monstration : e a. On a O = p−1 (Uj ), qui est donc ouvert comme intersection finie d’ouverts. j
j∈J

b. On note T l’ensemble des r´unions quelconques d’ouverts ´l´mentaires. Il est facile de v´rifier que T forme e ee e une topologie (ie T contient X, ∅, est stable par intersection finie et par r´union quelconque). En outre T e rend continue toutes les applications pi par d´finition des ouverts ´l´mentaires. On a donc T0 ⊂ T . e ee R´ciproquement, T0 contient tous les ouverts ´l´mentaires puisque p−1 (Uj ) est ouvert de T0 par d´finition. On e ee e j conclut car T0 est stable par intersection finie, puis par r´union quelconque. e 2 Notre but est de montrer que si tous les Xi sont compacts, alors X est compact. Rappelons qu’un espace topologique est compact s’il est s´par´ et s’il v´rifie la propri´t´ de Borel-Lebesgue. Une premi`re v´rification e e e ee e e nous est accessible : Proposition 2 X est s´par´ si, et seulement si, pour tout i ∈ I, Xi est s´par´. e e e e
∗ frederic.bayart@free.fr

1

remarquons que ∀j ∈ J.. N´cessairement. Comme chaque espace topologique Xj est suppos´ non vide. voisinages respectifs de x et y avec U ∩ V = ∅. xj = pj (x) = pj (y) ∈ Uj ∩ Vj .. p−1 (Ui ) (resp. ee On ´crit : e U= p−1 (Uj ). et ces deux ouverts sont disjoints. il existe Ui ouvert contenant e e e pi (x) et Vi ouvert contenant pi (y) tels que Ui ∩ Vi = ∅. et e e e essayer de “transporter” les voisinages distincts obtenus. 2 – Un bon choix des ant´c´dents e e D´monstration : e ⇐= ) Soit x = y ∈ X. pi (y) = b.Fig. de y). y de X tels que ∀j = i. et on consid`re les ´l´ments e e ee x. U et V . 1 – Un mauvais choix des ant´c´dents e e Fig. qu’on peut toujours choisir ´l´mentaires. il existe xj ∈ Xj . on fixe a = b ∈ Xi . Comme Xi est s´par´. pj (x) = pj (y) = xj . V = p−1 (Vj ) o` J est fini. Comme X est s´par´. e e =⇒ ) C’est plus compliqu´. cela prouve que e 2 . pi (x) = a. Soit i ∈ I. ∃i ∈ I/pi (x) = pi (y). Les deux figures 1 et 2 montrent qu’on ne peut choisir n’importe quel ant´c´dent si on veut que les deux voisinages “ne se coupent pas suivant l’axe des e e Xi ”. Il faut prendre un ant´c´dent de a et b dans X. X est donc s´par´. Mais alors. j = i. p−1 (Vi )) est un voisinage i i de x (resp. il existe des e e ouverts. u j j j∈J j∈J D’abord. N´cessairement.

ε > 0. n d(x. 2n+1 n=0 +∞ On v´rifie sans peine que d est une distance sur X (par exemple.y) = inf(1.ε/2)) est inclus dans B : < ε/2. Fait 1 : X est m´trisable. – Soit x ∈ X. quitte ` retirer le premier terme de la suite extraite. et que la topologie induite par d est plus fine que la topologie produit. Elle admet une sous-suite qui converge vers un ´l´ment xn+1 . alors (pn+1 (x(k) ))k∈In est une suite du compact Xn+1 . I = N. et X est le produit des e Xn . Soit donc (x(k) ) une suite de points de X. et on va utiliser un proc´d´ diagonal pour prouver que e e e e X est compact.y) ≤ 0≤n≤N d(xn . On pose x ∈ X tel que ∀n ∈ N. forme faible e e Dans ce paragraphe. On d´finit. e La suite (x(nk ) )k∈N converge dans X vers x. et V un voisinage de x pour la topologie de d. ε < 2n+1 . d(xn . En effet : si N ∈ N tel que n>N 2−(n+1) < ε/2. on a : d(x(nk ) . X est compact. Il reste ` prouver que B contient un voisinage de x pour la topologie produit.xn ) ε + 2n+1 2 (n ) 3 . . l’application d par : e e d(x.y) < ε. V contient une boule B = {y ∈ X. pour k ∈ N. On en d´duit que (pn (x(nk ) ))k∈N converge vers xn . elle admet donc une valeur d’adh´rence e x0 . Comme Ui contient pi (x) = a.x) ≤ 0≤n≤N d(xn k . alors U et V ne sauraient ˆtre disjoints : l’´l´ment t de X tel e ee que pj (t) = xj . si z ∈ Ui ∩ Vi .In . on notera xn = pn (x). pour tout n ∈ N. Ceci prouve que les (pn ) sont continues. (Xn . on va utiliser la caract´risation e e de Bolzano-Weierstrass de la compacit´. – In+1 ⊂ In – min(In+1 ) > min(In ) – (pn (x(k) ))k∈In converge vers xn ∈ Xn . . On va construire par e r´currence sur n ∈ N une suite In de parties de N telles que : e – In est infini. La suite (x(nk ) )k∈N est alors une suite extraite de (x(k) )k∈In d`s e que k ≥ n. e Alors.2 Th´or`me de Tychonov. D`s que d(x.ε/2)). et par suite e n+1 dn (xn . Si x ∈ X. e e e 2 1.yn ) = 0 e =⇒ ∀n ∈ N. d(x.dn (xn . muni de la topologie produit. Montrons que la topologie induite par d est la topologie produit : 1 – Soit n ∈ N. pi (t) = z serait dans l’intersection. Comme X muni de la topologie produit est m´trisable.y) = 0 =⇒ ∀n ∈ N.i ∈ J. il est d´sormais clair que Xi est s´par´.yn ) ε + ≤ 2n+1 2 0≤n≤N ε/2 ε + ≤ε n+1 2 2 Fait 2 : X est compact. . alors dn (xn . sur X × X. xn = yn =⇒ x = y). et Vi contient b. Th´or`me 3 Sous les hypoth`ses pr´c´dentes.yn ) < 2 d(x. Ui ∩ Vi = ∅. ee a On pose alors.y). e e e e e D´monstration : On va montrer que X est m´trisable. En effet. On construit facilement In+1 v´rifiant les ee e propri´t´s voulues. pn (x) = xn .yn )) . d(x. Supposons maintenant construits I0 . Soit N ∈ N tel que a −(n+1) p−1 (Bn (xn .y) ≤ ε}. sinon U et V ne pourraient ˆtre disjoints.yn ) ≤ 1. nk = min(Ik ). Pour n = 0. . la suite (p0 (x(k) ))k∈N est une suite du compact X0 . Alors n n>N 2 n≤N si y ∈ n≤N p−1 (Bn (xn .dn ) est un espace m´trique compact.

X est compact ssi toute suite poss`de une sous-suite convergente. Dans un espace m´trique. les suites caract´risent les ferm´s. la suite est stationnaire ` partir d’un certain rang. A ∩ B ∈ F 2. ee 1. Prenons l’exemple suivant : Sur R. A ⊂ B ⊂ X. Pourtant. e C’est grˆce aux filtres qu’on va pouvoir s’affranchir de la limite des suites convergentes. Si on repr´sente le proc´d´ d’extraction dans un tableau.L’injection canonique j : (R. pour toute suite (xn ) qui tend vers a pour T1 (et donc qui stationne en a).3 Topologie et suites Il est bien connu que dans un espace m´trique. donc est d´nombrable et V est un voisinage de a. alors en fait l ∈ A.1 Filtres D´finitions e D´finition 2 Soit X un ensemble. e e Remarquons que cela implique que certaines propri´t´s topologiques ne peuvent plus s’exprimer en termes de ee suites : EXEMPLE . ` la base par exemple ´galement e e e e e a e du th´or`me d’Ascoli. alors j(xn ) converge aussi vers a (pour T2 ). X ∈ F 3. ∃n0 ∈ N/n ≥ n0 =⇒ un ∈ V . A ⊂ E. ∀A. Un filtre F sur X est une famille non vide de parties de X telle que : e 1. Ainsi.etc. La suite extraite choisie est la suite e e des ´l´ments de la diagonale. iii Dans un espace topologique compact. Soit (un ) une suite convergente pour T1 de limite a. Mais alors. son image par pn converge vers xn . on e e e d´finit la topologie T1 en prenant pour ouvert de T1 l’ensemble vide. en premi`re colonne on ´crit la e e e e e e e premi`re suite extraite. il peut exister des suites qui ne poss`dent aucune sous-suite convergente. alors B ∈ F 4 .Mais il existe k0 ∈ N tel que k ≥ k0 =⇒ d(xn (nk ) . ∅ ∈ F. e e On rappelle l’´nonc´ suivant : e e Proposition 4 Soit (E..La d´monstration pr´c´dente porte le nom de proc´d´ diagonal. dans la deuxi`me colonne.x) ≤ ε.xn ) < ε/2 pour 0 ≤ n ≤ N . mais pas les mˆmes topologies. telle que son image par p1 converge vers x1 . A est ferm´ ssi pour toute suite de points de A qui e e converge vers l ∈ E.T1 ) → (R. 2 REMARQUE .T2 ) n’est pas continue (j −1 {a} = {a} n’est pas ouvert). Toute propri´t´ topologique peut donc s’´crire en termes de suites convergentes. En ce qui concerne la compacit´. ee a Munissons maintenant R de la topologie discr`te T2 . e e On note : U = {un /n ∈ N} V = (R − U ) ∪ {a} V c est inclus dans U . Pour chaque n. la convergence des suites d´finit la topologie. Expliquons-nous.. a 2 2. e e ii Un espace topologique dans lequel toute suite poss`de une sous-suite convergente n’est pas n´cessairement e e compact. Si A ∈ F. et toute partie dont le compl´mentaire est e e fini ou d´nombrable (ex : ceci d´finit une topologie sur R). ce n’est plus le cas. Alors d(x(nk ) . donc la topologie de l’espace e e e m´trique.B ∈ F. Les suites convergentes pour cette topologie sont l`-aussi e a les suites stationnaires. e Comme un est aussi ´l´ment de U . on ´crit la suite e e e extraite de la pr´c´dente. e ee e Dans un espace topologique g´n´ral (non m´trisable). donc les ouverts. pas pour T1 . ces deux espaces topologiques ont mˆmes suites convergentes. on a les faits suivants : e i Si X est un espace m´trique. telle que son image par p0 converge vers x0 . Mais T1 et T2 sont deux topologies distinctes : par exemple {a} est ouvert pour T2 .d) un espace m´trique.

filtrant croissant (ie si x. A ∈ F ou Ac ∈ F. on pose σ = {A1 ∩ · · · ∩ Ap . alors B1 ∩ B2 ⊃ A1 ∩ A2 ∈ σ . Soit A ⊂ X. On dit que F1 est plus fin que F2 si F2 ⊂ F1 . ∃z ∈ X/z ≥ x et z ≥ y). qui majore (est plus fin que) tous les Fi . Alors F = {B ∈ X/ ∃A ∈ σ . Ax ⊂ B} est un filtre sur X. 4. 2. e e e R´ciproquement. A ⊂ X.y ∈ X. Cet axiome est clairement v´rifi´. alors e ee e ee il serait ´l´ment de σ . Fi ⊂ Fj ou Fj ⊂ Fi . Et. Pour les courageux.Exemples 1. Alors {B ⊂ X/A ⊂ B} est un filtre sur X. A2 ⊂ B2 . et si A ⊂ B. alors F = Fi est encore un filtre i∈I sur X. En effet. Alors {A ⊂ X/Ac fini} est un filtre sur X. On verra plus loin son lien avec les suites convergentes. e Nous allons avoir besoin de mettre un ordre sur les filtres. e 3. on retrouve le filtre de Fr´chet. e e e e Nous allons encore avoir besoin d’une autre propri´t´ alg´brique sur les filtres. A ∩ F = ∅. Si ∅ ´tait ´l´ment de F. Pour s’en convaincre. si (Fi )i∈I est un ensemble de filtres sur I tel que ∀i = j. 5 . Soit (X. A ⊂ B} est un filtre sur X e contenant σ. Par hypoth`se. la notion de filtre engendr´ par ee e e une partie. Soit x ∈ X. avec Ai ∈ σ . Ai ∈ σ}. Alors F est un ultrafiltre si et seulement si ∀A ⊂ X. Il y a un lien fort entre la notion de filtre plus fin que et celle de suite extraite. tandis que le compl´m´ntaire de X est fini. on voit que si A ⊂ X v´rifie ∀F ∈ F. e Ce sont ces filtres maximaux qui vont caract´riser les propri´t´s topologiques. alors il existe un ultrafiltre sur X e e contenant F et A. En effet. Plus g´n´ralement. alors X ⊃ A est ´l´ment de F. ee e 3. ce qui est faux par hypoth`se. En outre. e On obtient ainsi une relation d’ordre sur les filtres d’un ensemble. Il existe un filtre sur X contenant σ ssi toute intersection finie d’´l´ments de σ est non vide. A∩F = ∅. En effet : 1. l’ensemble des voisinages d’une partie quelconque non e e e e vide de X est un filtre. en appliquant toujours le lemme de e Zorn. D´finition 3 Soit F1 et F2 deux filtres sur X. D’apr`s le lemme de Zorn. Un tel ´l´ment est un ultrafiltre. 2. on pourra examiner les th´or`mes 9 et 11 et ´tudier des filtres plus fins que le filtre de Fr´chet. Si A1 ⊂ B1 . Si X est e N muni de son ordre naturel. A = ∅. il existe e un ´l´ment maximal dans l’ensemble des filtres sur X. on a vu que l’ordre (⊂) mis sur les filtres est inductif. L’ensemble νx0 des voisinages de x0 est un filtre sur X (les v´rifications sont imm´diates). Proposition 5 Soit σ une collection de parties de X. ∅ est de compl´mentaire infini. Alors {B ⊂ X/∃x ∈ X. Si par exemple F est un filtre sur X. e e e Lorsque X = N. ≤) un ensemble muni d’un ordre partiel. au vu des axiomes 1 et 2 de la d´finition des filtres. ee ee On peut mˆme aller un peu plus loin. σ n’est pas vide. Remarquons d´j` qu’il existe des e ee ea ultrafiltres. Il existe un filtre plus fin que F contenant A ssi ∀F ∈ F. 2. Soit X un ensemble infini. ee D´monstration : La condition est n´cessaire. On d´finit Ax = {y ∈ X/y ≥ x}. cet ordre est inductif. on appelle ce filtre filtre de Fr´chet. on voit qu’il existe un ultrafiltre sur X qui est plus fin que F. alors B c ⊂ Ac . En effet : (A ∩ B)c = Ac ∪ B c est fini. on dispose d’une caract´risation alg´brique des ultrafiltres ` l’aide de la proposition suivante e e a (ce r´sultat ne sera pas utilis´ par la suite) : e e Proposition 7 Soit F un filtre sur X. Soit X un espace topologique. en appliquant les r´sultats sur les filtres e engendr´s par une partie. e e 2 On en d´duit le corollaire suivant : e Corollaire 6 Soit F un filtre sur X. et si A ∈ σ. x0 ∈ X.2 Ultrafiltres D´finition 4 On dit que U est un ultrafiltre sur X si c’est un filtre maximal pour l’inclusion.

. et c’est un ultrafiltre si F est un ultrafiltre. si l est valeur d’adh´rence de U. Alors ce filtre converge vers x. D´finition 5 f (F) s’appelle image directe du filtre F par f . e e Proposition 8 Soit f : X → Y . alors x est point d’adh´rence de mcf . Remarquons que si X est s´par´. ni Ac n’appartiennent ` F.D´monstration : e =⇒ ) Si A est une partie de X telle que ni A. A∈F – F converge vers x si F est plus fin que νx (le filtre de tous les voisinages de x). ⇐= ) On suppose que F est un filtre sur X v´rifiant la condition ´nonc´e. e iii Si U est un ultrafiltre. On consid`re alors B ∈ U tel que B ∈ F. x et y poss`dent des e e e e voisinages disjoints et ces voisinages ne peuvent ˆtre simultan´ment dans le filtre). et X un espace filtr´. e e e e D´finition 7 On dit que ϕ admet pour limite l ∈ Y selon F si νl ⊂ ϕ(F). e D´monstration : e ¯ i Soit A ∈ F.Cette proposition est capitale. la limite est n´cessairement unique (car alors si x = y. B c ∈ F ⊂ U. qui est donc strictement e plus fin que F. Mais elle permet e e e e de mieux appr´hender les liens entre topologie et convergence des filtres. a X d´signe d´sormais un espace topologique. qui servira par exemple a ae a ` caract´riser la continuit´ de fonctions. et Ac ∈ F. e 6 . il existe un filtre contenant F et A. on a F ∩ A = ∅. on peut utiliser la proposition pr´c´dente. Y d´signe un espace topologique s´par´. alors A ∩ V = ∅ si V ∈ νx . et donc ∅ = e / e B ∩ B c ∈ U : c’est absurde.. Alors ∀F ∈ F. e e D´finition 6 Soit F un filtre sur X. D’apr`s le corollaire 6. Alors f (F) = {B ⊂ Y / f −1 (B) ∈ F} est un filtre sur Y . et F un filtre sur X. F n’est alors pas un ultrafiltre. Remarquons dans le point ii la similitude avec les suites qui admettent une valeur d’adh´rence et les suites extraites (pour les espaces m´triques). 2 e e 2.4 Filtres et continuit´ e La lecture de ce paragraphe n’est pas n´cessaire pour d´montrer le th´or`me de Tychonov. et donc x ∈ A. on peut d’apr`s la proposition 5 consid´rer le filtre engendr´ par F et e e e e νx . e e Proposition 9 Les assertions suivantes sont v´rifi´es : e e i Si F converge vers x.F) → Y . Dans le cas des e e ultrafiltres.3 Convergence des filtres Nous voila enfin dans le domaine de la topologie. et qu’il existe un filtre U strictement e e e plus fin que F. sinon a F ⊂ Ac . puisque nous allons donner un sens ` F converge vers l ∈ X. e e 2 REMARQUE . Soit ϕ : (X. ii Comme x est point d’adh´rence de F. il nous reste encore ` ´tudier l’image directe d’un filtre. alors l est limite de U. alors il existe un filtre plus fin qui converge vers x. sachant que U n’admet pas de filtre strictement plus fin. On dit que : e ¯ – x est point d’adh´rence de F si x ∈ e A. N´cessairement. e ii Si x est point d’adh´rence de F. 2 Avant de retourner ` la topologie. e Dans ce paragraphe. e D´monstration : Il ne s’agit que de permuter les images r´ciproques avec les intersections. x ∈ X. iii On applique le point pr´c´dent. e e 2.

le r´sultat pr´c´dent se traduit e e e par : ϕ admet pour limite l ∈ Y selon F ⇐⇒ ϕ admet une limite en x qui vaut l (la deuxi`me assertion ´tant ` prendre au sens topologique usuel du terme). On l’a rappel´. D´monstration : e ¯ i =⇒ ii ) Supposons que F est un filtre sur X sans valeur d’adh´rence. ce qui ¯ ¯ X. e e u e e e Th´or`me 11 Soit X un espace topologique s´par´. et donc n ≥ n0 =⇒ ϕ(n) ∈ V . et F est le filtre des voisinages de x. On va reformuler cette d´finition pour la rapprocher de la d´finition usuelle de limite d’une fonction. iii =⇒ i ) On utilise la propri´t´ duale de Borel-Lebesgue. ee e 7 . Mais alors Ai ∈ F. alors il converge ea e e e e vers l. On a alors ∩F A = ∅. Les propositions suivantes sont ´quivalentes : e e e e e i X est compact. C’est absurde. e les Ai ´tant ferm´s et ´l´ments de U. ce qui est exactement la d´finition de V ∈ ϕ(F). e i∈I D’apr`s la proposition 5. e iii Tout ultrafiltre sur X converge. Par exemple.. donc Ai ∈ F. ii Tout filtre sur X admet une valeur d’adh´rence. ∃F ∈ F/ϕ(F ) ⊂ V Mais F est le compl´mentaire d’un ensemble fini. En particulier. Par compacit´ de e e ¯1 ∩ · · · ∩ Ap = ∅. et alors ϕ(F ) = V ⊂ V . et donc ∩A∈U A = ∅. Alors ∃F ∈ F/ϕ(F ) ⊂ V . en particulier il existe un no ∈ N tel que F contienne e {n ≥ n0 /n ∈ N}. l est valeur d’adh´rence de U. alors : e e ϕ converge vers l ⇐⇒ ∀V ∈ νl . e =⇒ ) Si V ∈ νl . dire que dans un espace topologique Y . tout filtre admet une valeur d’adh´rence e implique en particulier que toute suite de Y admet une valeur d’adh´rence. On a donc F ⊂ ϕ−1 (ϕ(F )) ⊂ ϕ−1 (V ).(ie si l’image directe du filtre F converge vers l). La compacit´ approche. et U un ultrafiltre contenant e e e ¯ F. Le th´or`me suivant est la clef de voˆte de la d´monstration du th´or`me de Tychonov. Ai est ferm´ et toute intersection finie des Ai est non vide. Soit l la limite de U. 2 EXEMPLES – Si X = N et F est le filtre de Fr´chet (ensemble des compl´mentaires des parties finies de N). e e Proposition 10 ϕ admet pour limite l ∈ Y selon F ⇐⇒ ∀V ∈ νl . ii =⇒ iii ) On a d´j` d´montr´ ce r´sultat : si un ultrafiltre admet une valeur d’adh´rence l. ∃F ∈ F/ϕ(F ) ⊂ V . Nous allons ici remplacer e les suites par les filtres. Ceci implique que ϕ−1 (V ) ∈ F. D´monstration : e ⇐= ) Si V ∈ νl . On retrouve donc la convergence des suites par la convergence de l’image directe du filtre de Fr´chet. ie F = ϕ−1 (V ) ⊂ F. on se ram`ne ` une intersection finie vide. la compacit´ d’un espace topologique n’est pas ´quivalente au fait e e e que toute suite poss`de une sous-suite convergente (aucune des implications n’est vraie). On suppose que X n’est pas compact. En particulier. e e ee 2 On peut remarquer la simplicit´ de cette d´monstration (par comparaison par exemple avec l’´quivalence entre e e e les propri´t´s de Borel-Lebesgue et de Bolzano-Weierstrass pour les espaces m´triques). on a : ∩i∈I Ai = ∅. A e a nie le fait le fait qu’un filtre est stable par intersection finie. Ainsi.5 Filtres et compacit´ e Nous voici au cœur du sujet. e e – Si X est lui aussi un espace topologique. on a en particulier que V ∈ ϕ(F). d’o` l’existence ee u de (Ai )i∈I tels que : Ai = ∅. ´clair´s par le fait que la convergence des suites est un cas particulier de la convergence e e des filtres. e e a 2. on peut consid´rer F le filtre engendr´ par les Ai .. la convergence des filtres contient la convergence e des suites.

Pour la r´ciproque. ce qui est la d´finition de V ∈ pi (F). C’est normal : il est ´tabli que e e e e le lemme de Zorn est ´quivalent au th´or`me de Tychonov. Xi est e e e e e donc compact. e i ⇐= ) Soit O un ouvert ´l´mentaire voisinage de x. ie O = ee j∈J {y ∈ X/pj (y) ∈ Uj } = j∈J p−1 (Uj ) o` J ⊂ I est u j fini. et Xi est s´par´ (car X est s´par´). pi (F) converge vers pi (x). C’est bien que X est compact. Pour d´montrer le th´or`me de Tychonov. On pourra en effet remarquer qu’on ne peut modifier la preuve pr´c´dente afin e e d’utiliser la caract´risation de la compacit´ par les valeurs d’adh´rence des filtres. ee 2 C’est presque fini. On d´finit x avec pi (x) = xi . νx ⊂ F. e e e 8 . muni de la topologie produit. il nous reste ` ´tablir le lien entre la e e e a e convergence des filtres sur les Xi et la convergence des filtres sur X. Uj est un voisinage de pj (x). Xi est compact. on sait que pi (U) est un ultrafiltre sur Xi .3 Le th´or`me de Tychonov e e Soit (Xi )i∈I une famille d’espaces topologiques. pi : X → Xi les projections. et donc c’est aussi le cas pour j O par stabilit´ par intersection finie. Soit Vi un voisinage de pi (x). D´monstration : e =⇒ ) Par d´finition. C’est le but du lemme suivant : Lemme 12 Soit F un filtre sur X. Alors p−1 (Vi ) est un ouvert de X contenant x.. Alors. U contient toujours un tel ouvert ´l´mentaire et est donc ee ´l´ment de F. On note X le produit des Xi . qui nous e e e donne l’existence des ultrafiltres. qui e e converge vers xi par compacit´ de Xi . Th´or`me 13 Sous les notations pr´c´dentes. X est compact ⇐⇒ ∀i ∈ I.. e Si U est un ouvert quelconque contenant x. on consid`re U un ultrafiltre sur X. on en d´duit que U e e e converge vers x. Alors il converge vers x ∈ X si et seulement si ∀i ∈ I. 2 Derri`re l’apparente simplicit´ de cette d´monstration se cache un arguent choc : le lemme de Zorn. et e i donc p−1 (Vi ) ∈ νx ⊂ F. On a donc Uj ∈ pj (F) =⇒ p−1 (Uj ) ∈ F. e e e e D´monstration : L’implication =⇒ est classique : pi est continue. Appliquant le lemme.

Sign up to vote on this title
UsefulNot useful