Théorème de Bing

Théorème de Bing
Page d'aide sur l'homonymie Pour les articles homonymes, voir Bing.

Le théorème de Bing est une caractérisation de la compacité des espaces métrisables.

Énoncé

Soit X un espace métrisable. Le théorème de Bing affirme l'équivalence des propositions suivantes :

  1. X est compact ;
  2. X est complet pour toute distance induisant sa topologie.

Démonstration

Le sens 1 implique 2 est facile : tout espace métrique compact est complet.

La réciproque est le sens "difficile" de ce théorème. On va démontrer la contraposée, pour cela on suppose X non compact pour la topologie induite par une distance d, et on va construire une distance d' topologiquement équivalente à d telle que (X, d' ) ne soit pas complet. D'après le théorème de Bolzano-Weierstrass, la non compacité de (X, d) entraîne l'existence d'une suite (xn) n'ayant aucune valeur d'adhérence. Le but est alors de chercher une distance d' équivalente à d, pour laquelle la suite (xn) soit de Cauchy.

Définissons d' comme le sup des écarts e sur X qui sont majorés par d et qui vérifient en outre

\forall n\ge 1, \forall p,q\ge n, e(x_p,x_q)\le 1/n.

Par construction d' est un écart, l'application identité de (X,d) dans (X,d') est continue, et la suite (xn) est de Cauchy pour d' . Il reste à prouver que l'application identité de (X,d') dans (X,d) est continue (ce qui justifiera du même coup que (X,d') est séparé donc que d' est bien une distance et pas seulement un écart).

Pour prouver la continuité de l'application identité de (X,d') dans (X,d) en un point quelconque a de X, fixons ε > 0. Le point a n'étant pas un point d'accumulation de la suite (xn), il existe un entier N, que l'on peut choisir supérieur à 1/ε, vérifiant :

\forall n > N, d(x_n,a)\ge\varepsilon.

Considérons alors la fonction f définie sur X par f(x)=\frac{\min(\varepsilon,d(x,a))}{N\varepsilon}, puis l'écart e défini par e(x,y)=|f(x) - f(y)|.

Alors e\le \frac d{N\varepsilon}\le d, et pour tous entiers n supérieur ou égal à 1 et p, q supérieurs ou égaux à n on a :

- si n>N alors e(xp,xq)=0,
- sinon, e(xp,xq) est majoré (comme tous les e(x,y)) par 1/N donc par 1/n.

L'écart e fait donc partie des écarts dont d' est le sup, si bien que pour tout x tel que d' (x,a)< 1/N on a 1/N> e(x,a)=f(x), donc min(ε,d(x,a))<ε, donc d(x,a)<ε, ce qui termine la preuve de la continuité au point a de l'application identité de (X,d') dans (X,d).


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Théorème de bing — Pour les articles homonymes, voir Bing. Le théorème de Bing est une caractérisation des espaces métriques compacts. Énoncé Soit (X,d) un espace métrique. Le théorème de Bing affirme l équivalence des propositions suivantes : (X,d) est… …   Wikipédia en Français

  • Bing — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Bing peut faire référence à : Personnes Bing Crosby (1901 1977), un chanteur américain ; Carmella Bing, une actrice porno américaine ;… …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Sphère cornue d'Alexander — En mathématiques, et plus précisément en topologie, la sphère cornue d Alexander est un célèbre exemple de surface pathologique ; elle fut découverte en 1923 par J. W. Alexander. Sommaire …   Wikipédia en Français

  • Barry Mazur — Pour les articles homonymes, voir Mazur. Barry Charles Mazur Barry Mazur en 1992 Naissance 19  …   Wikipédia en Français

Share the article and excerpts

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