Propriété de Bolzano-Weierstrass

Propriété de Bolzano-Weierstrass

Théorème de Bolzano-Weierstrass

En topologie des espaces métriques, le théorème de Bolzano-Weierstrass donne une caractérisation séquentielle des espaces compacts. Il tire son nom des mathématiciens Bernard Bolzano et Karl Weierstrass.

Sommaire

Énoncé du théorème

Un espace métrique (X,d) est compact (au sens de l'axiome de Borel-Lebesgue) si et seulement si toute suite à valeurs dans X admet une valeur d'adhérence dans X.

Démonstration

Sens direct

On suppose que de tout recouvrement ouvert on peut extraire un sous-recouvrement fini.

Soit \left(x_{n}\right) une suite d'éléments de X. Montrons que \left(x_{n}\right) admet une valeur d'adhérence.

Notons F_{n}=\overline{\left\{ x_{k},k\in\left[n,+\infty\right[\right\} } (où \overline{A} désigne l'adhérence de A).

Posons alors U_{n}=X\setminus F_{n}. Si la famille \left(U_{n}\right)_{n\in\mathbb{N}} était un recouvrement de X alors par hypothèse on pourrait en extraire un sous recouvrement fini; or \left(U_{n}\right)_{n\in\mathbb{N}} est une famille croissante d'ensembles donc \exists p\in\mathbb{N},U_{p}=X mais alors F_{p}=\emptyset ce qui est exclu car x_{p}\in F_{p}.

\left(U_{n}\right)_{n\in\mathbb{N}} n'est donc pas un recouvrement donc \bigcup_{n=0}^{+\infty}U_{n}\neq X, donc \bigcap_{n=0}^{+\infty}F_{n}\neq\emptyset

Ce qui montre par définition que \left(x_{n}\right)_{n\in\mathbb{N}} admet une valeur d'adhérence.

Sens réciproque

Dans cette démonstration, on qualifiera de séquentiellement compact un espace métrique dans lequel toute suite admet une valeur d'adhérence.

Premier lemme (nombres de Lebesgue d'un recouvrement)

Si \left(U_{i}\right)_{i\in I} est un recouvrement ouvert d'un espace séquentiellement compact X, alors

\exists r\in\mathbb{R}_{+}^{*},\forall x\in X,\exists i\in I,\overline{B}\left(x,r\right)\subset U_{i}

(Où \overline{B}\left(x,r\right) désigne la boule fermée de centre x et de rayon r.)


Deuxième lemme (précompacité)

Si X est un espace métrique séquentiellement compact, alors pour tout nombre r\in\mathbb{R}_{+}^{*} il existe une suite finie de points \displaystyle \left(x_{k}\right)_{k\in\left[\left[0,n\right]\right]} de X tel que:X=\bigcup_{k=0}^{n}\overline{B}\left(x_{k},r\right)


Fin de la démonstration du théorème

Supposons X séquentiellement compact. Soit \left(U_{i}\right)_{i\in I} un sous recouvrement ouvert de X.

D'après le premier lemme: \exists r\in\mathbb{R}_{+}^{*},\forall x\in X,\exists i\left(x\right)\in I,\overline{B}\left(x,r\right)\subset U_{i\left(x\right)}.

D'après le lemme de précompacité, pour ce r donné il existe une suite finie de points \left(x_{k}\right)_{k\in\left[\left[0,n\right]\right]} de X tel que X=\bigcup_{k=0}^{n}\overline{B}\left(x_{k},r\right).

On en déduit donc que la sous-famille \left(U_{i\left(x_{k}\right)}\right)_{k\in\left[\left[0,n\right]\right]} recouvre X.

Énoncé dans le cas réel

De toute suite réelle bornée, on peut extraire une sous-suite convergente.

Pour montrer cette propriété, il suffit de remarquer que les intervalles fermés bornés de \R sont compacts (théorème de Borel-Lebesgue). La même propriété s'applique aux suites bornées complexes, ou plus généralement aux suites bornées de vecteurs dans un espace vectoriel normé de dimension finie.


Voir aussi

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

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Propriété de Bolzano-Weierstrass de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Bolzano-Weierstrass — Théorème de Bolzano Weierstrass En topologie des espaces métriques, le théorème de Bolzano Weierstrass donne une caractérisation séquentielle des espaces compacts. Il tire son nom des mathématiciens Bernard Bolzano et Karl Weierstrass. Sommaire 1 …   Wikipédia en Français

  • Théorème de Bolzano-Weierstrass — Pour les articles homonymes, voir Théorème de Weierstrass. En topologie des espaces métriques, le théorème de Bolzano Weierstrass donne une caractérisation séquentielle des espaces compacts. Il tire son nom des mathématiciens Bernard Bolzano et… …   Wikipédia en Français

  • Propriété de Borel-Lebesgue — Compacité (mathématiques) Pour les articles homonymes, voir Compacité et Compact. En topologie de la droite réelle, la propriété de Borel Lebesgue est une propriété topologique remarquable des segments, basée sur la notion de recouvrement. Elle… …   Wikipédia en Français

  • BOLZANO (B.) — Théologien, philosophe, surtout logicien et mathématicien, Bolzano a laissé une œuvre très étendue et très importante que ses contemporains ont presque entièrement ignorée. D’une part, la nature de ses préoccupations, toutes centrées sur les… …   Encyclopédie Universelle

  • 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

  • Theoreme de Riesz — Théorème de Riesz En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une… …   Wikipédia en Français

  • Théorème de riesz — En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une notion algébrique. Il …   Wikipédia en Français

  • MÉTRIQUES (ESPACES) — La notion d’espace métrique, introduite en 1906 par M. Fréchet et développée peu après par F. Hausdorff, est directement issue d’une analyse des principales propriétés de la distance usuelle. L’extension aux espaces métriques des propriétés de… …   Encyclopédie Universelle

Share the article and excerpts

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