# Théorème de Bolzano-Weierstrass

**Thème :** Maths · Analyse  
**Page :** https://curium.ctopass.com/c/theoreme-de-bolzano-weierstrass  
**Mise à jour :** 2026-09-11

## Les trois niveaux

### Débutant — Que peut-on sauver d'une suite bornée qui ne converge pas ?

Une partie d'elle-même. La suite (−1)^n vaut 1, −1, 1, −1… : elle reste entre −1 et 1 mais n'a pas de limite. Ses termes de rang pair, eux, valent tous 1 et forment une sous-suite convergente. Le théorème de Bolzano-Weierstrass affirme que c'est toujours possible : toute suite réelle bornée contient une sous-suite convergente.

### Intermédiaire — Comment une dichotomie démontre-t-elle le théorème de Bolzano-Weierstrass ?

En coupant en deux, sans fin. Une suite bornée tient dans un intervalle [m, M] ; une des moitiés contient une infinité de termes, on la garde et on recommence. Les bornes successives sont deux suites adjacentes, d'écart divisé par 2 à chaque étape, de limite commune l. Un terme pioché dans chaque intervalle donne une sous-suite qui tend vers l, par le théorème des gendarmes.

### Expert — Le théorème de Bolzano-Weierstrass caractérise-t-il la compacité au-delà de ℝ ?

Dans un espace métrisable, oui. Un tel espace est compact au sens de l'axiome de Borel-Lebesgue si, et seulement si, toute suite admet une sous-suite convergente, c'est-à-dire s'il est séquentiellement compact. Le sens difficile passe par la précompacité, puis par un sous-recouvrement dénombrable à la Lindelöf, ou par un nombre de Lebesgue du recouvrement.

## À explorer ensuite

- [Limite d'une suite](https://curium.ctopass.com/c/limite-d-une-suite.md)
- [Borne supérieure](https://curium.ctopass.com/c/borne-superieure.md)
- [Limite](https://curium.ctopass.com/c/limite.md)
- [Logarithme népérien](https://curium.ctopass.com/c/logarithme-neperien.md)
- [Nombre e](https://curium.ctopass.com/c/nombre-e.md)
- [Partie entière](https://curium.ctopass.com/c/partie-entiere.md)
- [Série numérique](https://curium.ctopass.com/c/serie-numerique.md)
- [Suite arithmétique](https://curium.ctopass.com/c/suite-arithmetique.md)
- [Suite géométrique](https://curium.ctopass.com/c/suite-geometrique.md)
- [Suite numérique](https://curium.ctopass.com/c/suite-numerique.md)

---

Curium — La connaissance, une question à la fois.

App Store : https://apps.apple.com/fr/app/curium/id6793886587
Google Play : https://play.google.com/store/apps/details?id=com.ctopass.curium