Fiche de révision : Introduction aux Espaces Métriques

1. 📌 L'essentiel

• Un espace métrique est un ensemble avec une distance vérifiant positivité, symétrie, inégalité triangulaire.
• La topologie est définie par les boules ouvertes(a, r) = {x | d(a, x) < r}.
• Les ensembles ouverts sont unions d’ouverts, fermés sont complémentaires d’ouverts.
• La clôture A̅ est le plus petit fermé contenant A ; l’intérieur est la plus grande partie ouverte contenue dans A.
• La convergence d'une suite (a_n) vers a signifie d(a_n, a) → 0.
• Une suite de Cauchy est une où d(a_n, a_q) → 0 quand n, q → ∞.
• Un espace est complet si toutes suites de Cauchy convergent.
• La compacité équivaut à tout recouvrement fini ou à l’existence d’une sous-suite convergente.
• Le théorème de Bolzano-Weierstrass garantit une sous-suite convergente dans un espace compact.
• La continuité d’une fonction f en a se caractérise par la convergence de f(a_n) vers f(a) quand a_n → a.

2. 🧩 Structures & Composants clés

• Espace métrique — ensemble avec une distance d(x, y) vérifiant les axiomes.
• Boules ouvertes — B(a, r) = {x | d(a, x) < r}, base de la topologie.
• Ensembles ouverts / fermés — unions d’ouverts / complémentaires d’ouverts.
• Adhérence — limite des suites de A, plus petit fermé contenant A.
• Suite de Cauchy — d(a_n, a_q) → 0 quand n, q → ∞.
• Espace complet — toutes suites de Cauchy convergent.
• Compacte — recouvrement fini ou suite convergente.
• Convergence — d(a_n, a) → 0.
• Homéomorphisme — bijection continue avec inverse continue.

3. 🔬 Fonctions, Mécanismes & Relations

• La topologie est générée par les boules ouvertes.
• La convergence d’une suite implique la convergence de ses images par une fonction continue.
• La complétude garantit la convergence des suites de Cauchy.
• La compacité implique la convergence de sous-suites dans tout espace métrique.
• La frontière d’un ensemble A est A̅ \ Int(A).
• La continuité se vérifie par le critère séquentiel : an → a ⇒ f(an) → f(a).
• La propriété d’espace complet est cruciale pour la théorie des séries et des espaces de Hilbert.

4. Tableau comparatif : Espaces complets, compacts, fermés, bornés

5. 🗂️ Diagramme Hiérarchique

Espace métrique
 ├─ Distance
 │    ├─ Positivité
 │    ├─ Symétrie
 │    └─ Inégalité triangulaire
 ├─ Topologie
 │    ├─ Ouverts (boules)
 │    ├─ Fermés
 │    └─ Frontière
 ├─ Suites
 │    ├─ Convergence
 │    └─ Adhérence
 ├─ Suites de Cauchy
 │    ├─ Définition
 │    └─ Espaces complets
 ├─ Compacte
 │    ├─ Recouvrement fini
 │    └─ Sous-suite convergente
 └─ Continuité
      ├─ Critère séquentiel
      └─ Homéomorphismes

6. ⚠️ Pièges & Confusions fréquentes

• Confondre espace complet et espace non complet.
• Confondre fermé et fermé dans un espace métrique.
• Croire qu’un espace borné est nécessairement compact.
• Confondre convergence ponctuelle et uniforme.
• Oublier que la continuité se vérifie aussi par le critère séquentiel.
• Confondre frontière et adhérence.
• Croire que toute suite bornée dans ℝ est convergente (fausse).
• Confondre espace métrique et espace topologique sans métrique.

7. ✅ Checklist Examen Final

• Vérifier que la distance vérifie positivité, symétrie, triangle.
• Savoir définir et donner exemples de boules ouvertes.
• Connaître la différence entre ouverts, fermés, adhérence.
• Comprendre la convergence d’une suite et la suite de Cauchy.
• Savoir caractériser un espace complet.
• Savoir définir une espace compact.
• Appliquer le théorème de Bolzano-Weierstrass.
• Vérifier la continuité par le critère séquentiel.
• Connaître la notion d’homéomorphisme.
• Comprendre la frontière d’un ensemble.
• Savoir distinguer espace fermé, fermé, borné.
• Maîtriser la notion de sous-suite convergente.
• Être capable de donner un exemple d’espace de Hilbert.
• Comprendre la différence entre convergence ponctuelle et uniforme.
• Savoir utiliser la topologie pour analyser suites et fonctions.

Ce résumé synthétise les points clés pour maîtriser la notion d’espace métrique, leur topologie, suites, compacité, continuité, et notions avancées comme espaces de Hilbert.