Fiche récapitulative générée pour impression / export PDF.
Licence 2 · Topologie L2 — Espaces métriques
Compacité et connexité
Compacité et connexité
1. Compacité séquentielle
Soit un espace métrique. Une partie est compacte (au sens séquentiel — c'est l'approche la plus pédagogique en espace métrique, équivalente à la compacité par recouvrements ouverts) si toute suite d'éléments de admet une sous-suite convergeant vers un élément de .
Définition par recouvrements (équivalente, pour information) : est compacte si de tout recouvrement de par des ouverts, on peut extraire un sous-recouvrement fini. En dimension finie, les deux définitions coïncident (théorème de Borel-Lebesgue) ; nous privilégions ici la formulation séquentielle, plus maniable au niveau L2.
Propriété immédiate : un compact est nécessairement fermé et borné.
Idée de preuve (fermé) : si converge vers , alors toute sous-suite converge aussi vers ; par compacité une sous-suite converge vers un élément de , donc par unicité de la limite. Idée de preuve (borné) : si n'était pas bornée, on pourrait construire une suite de avec , qui n'admettrait alors aucune sous-suite convergente.
2. Théorème de Heine-Borel (admis)
Théorème (Heine-Borel, cas ) : une partie est compacte si et seulement si elle est fermée et bornée.
C'est un résultat spécifique à la dimension finie (et plus généralement à muni de la distance euclidienne, ou de toute distance équivalente comme ) : en dimension infinie, fermé + borné ne suffit plus à garantir la compacité.
Théorème de Bolzano-Weierstrass (admis) : toute suite bornée de admet une sous-suite convergente. C'est essentiellement le cœur de la preuve de Heine-Borel : sur un fermé borné, toute suite est bornée donc (Bolzano-Weierstrass) admet une sous-suite convergente, dont la limite reste dans le fermé.
Exemples : , , toute boule fermée dans , tout ensemble fini, sont compacts. En revanche, n'est pas compact (non borné), n'est pas compact (non fermé : la suite n'a pas de sous-suite convergeant dans ), n'est pas compact (non fermé dans , bien que borné).
3. Propriétés des compacts
Image continue d'un compact : si est continue et compact, alors est compact. En particulier, si est continue sur un compact, est bornée et atteint ses bornes (théorème des bornes atteintes, généralisation du résultat connu sur ).
Intersection et réunion : une intersection quelconque de compacts est compacte (c'est un fermé inclus dans un compact donné, donc borné). Une réunion finie de compacts est compacte.
4. Connexité
Une partie (ou l'espace tout entier) est connexe si elle ne peut pas s'écrire comme réunion de deux ouverts (relatifs à ) non vides et disjoints. De façon équivalente, est connexe si les seules parties de à la fois ouvertes et fermées dans sont et lui-même.
Intuition : un connexe est "fait d'un seul morceau", on ne peut pas le séparer en deux ouverts disjoints non vides.
Théorème : les parties connexes de sont exactement les intervalles (y compris , les demi-droites, les singletons, ).
Idée de preuve (intervalle connexe) : si n'était pas connexe, avec ouverts relatifs non vides disjoints. En prenant , (disons ), et , on montre que ne peut être ni dans ni dans , contredisant (c'est l'argument standard utilisant la propriété de la borne supérieure de ). Idée de preuve (non-intervalle non connexe) : si n'est pas un intervalle, il existe avec et ; alors et forment une partition de en deux ouverts relatifs non vides disjoints.
Image continue d'un connexe : si est continue sur connexe, alors est connexe. C'est la formulation topologique du théorème des valeurs intermédiaires : l'image d'un intervalle par une fonction continue est un intervalle.
5. Connexité par arcs (notion complémentaire)
est connexe par arcs si pour tous , il existe un chemin continu avec , . La connexité par arcs implique la connexité (mais la réciproque est fausse en général — exemple classique : le "peigne du topologue", hors-programme ici). Pour les parties usuelles de (ouverts, convexes), les deux notions coïncident en pratique.
6. Exemple résolu de synthèse
Énoncé : est-il compact ? Est-il connexe ?
Résolution : est compact : c'est une réunion finie de deux compacts et (fermés bornés de , donc compacts par Heine-Borel), donc est compact (réunion finie de compacts). En revanche n'est pas connexe : , qui sont deux ouverts relatifs de , non vides, disjoints. n'est d'ailleurs pas un intervalle, ce qui confirme par le théorème de caractérisation qu'il n'est pas connexe.
Exercices de la leçon
Exercice 1
Parmi les parties suivantes de , laquelle est compacte ?
Corrigé
est fermé et borné, donc compact par Heine-Borel. n'est pas fermé, n'est pas borné, n'est pas fermé dans (son adhérence est , plus grande).
Exercice 2
Vrai ou faux : tout compact est fermé et borné.
Corrigé
Vrai, c'est une propriété générale des compacts dans tout espace métrique (la réciproque, elle, n'est vraie qu'en dimension finie, par le théorème de Heine-Borel).
Exercice 3
L'intervalle est-il un connexe de ?
Corrigé
Les parties connexes de sont exactement les intervalles, qu'ils soient ouverts, fermés, semi-ouverts ou non bornés. est un intervalle, donc il est connexe — la connexité ne dépend pas du caractère ouvert/fermé/compact.
Exercice 4
Vrai ou faux : (muni de la distance usuelle) est connexe.
Corrigé
Faux. n'est pas un intervalle (il manque tous les réels entre et ), donc il n'est pas connexe : on peut le séparer en et , deux ouverts relatifs disjoints non vides.
Exercice 5
Une fonction continue est-elle nécessairement bornée et atteint-elle ses bornes ?
Corrigé
Oui. est compact (Heine-Borel : fermé et borné). L'image continue d'un compact est compacte, donc est un compact de , donc fermé et borné. Étant fermé et borné, contient et (un fermé borné non vide de contient toujours son sup et son inf). Donc est bornée et atteint ses deux bornes : c'est le théorème des bornes atteintes.
Exercice 6
Montrer que n'est pas compact, mais que l'est.
Corrigé
n'est pas compact : la suite est à valeurs dans et converge vers dans , mais . Aucune sous-suite de ne peut donc converger vers un élément de (toute sous-suite d'une suite convergente converge vers la même limite ). Donc n'est pas séquentiellement compact ; de façon équivalente n'est pas fermé. est compact : il est borné (inclus dans ) et fermé (on a ajouté le seul point d'accumulation manquant, donc toute suite convergente d'éléments de a sa limite dans ). Par Heine-Borel, est compact.
Exercice 7
Vrai ou faux : une réunion infinie de compacts de est toujours compacte.
Corrigé
Faux. Seule une réunion finie de compacts est garantie compacte. Contre-exemple : (réunion infinie de segments compacts) n'est pas bornée, donc pas compacte.
Exercice 8
L'ensemble est-il compact ? Justifier par Heine-Borel.
Corrigé
est le disque fermé de rayon . Fermé : est l'image réciproque de (fermé de ) par l'application continue , donc est fermé. Borné : pour , , donc : est borné. Par le théorème de Heine-Borel (valable dans , ici ), fermé + borné compact. Donc est compact.
Exercice 9
Pourquoi le théorème de Heine-Borel (fermé+borné compact) est-il spécifique à la dimension finie ?
Corrigé
En dimension infinie, le théorème de Riesz affirme que la boule unité fermée d'un espace vectoriel normé n'est compacte que si l'espace est de dimension finie. Par exemple, dans muni de , on peut construire une suite de fonctions dans la boule unité fermée qui n'admet aucune sous-suite convergente (pas assez de \"place\" pour que les suites s'accumulent, contrairement à où Bolzano-Weierstrass garantit toujours une sous-suite convergente pour une suite bornée). C'est pourquoi le programme de L3 (analyse fonctionnelle) doit redéfinir des notions de compacité plus fines (compacité faible, etc.) en dimension infinie.
Exercice 10
Montrer que si sont compacts dans , alors est compact (en utilisant la définition séquentielle).
Corrigé
Soit une suite à valeurs dans . Par le principe des tiroirs, au moins l'un des deux ensembles, disons , contient une infinité de termes de la suite. On extrait ainsi une sous-suite à valeurs dans . Comme est compact, cette sous-suite admet elle-même une sous-suite convergente vers un élément de . On a donc extrait de une sous-suite convergente vers un élément de . Ceci étant vrai pour toute suite de , l'ensemble est (séquentiellement) compact.
Exercice 11
Soit continue. Montrer que est un intervalle (utiliser la connexité).
Corrigé
est un intervalle, donc connexe (théorème de caractérisation des connexes de ). Par le théorème \"image continue d'un connexe est connexe\", est une partie connexe de . Or les parties connexes de sont exactement les intervalles. Donc est un intervalle. C'est une reformulation purement topologique du théorème des valeurs intermédiaires : ne peut pas \"sauter\" de valeurs.
Exercice 12
Vrai ou faux : si et sont deux parties connexes de avec , alors est connexe.
Corrigé
Vrai. C'est une propriété générale de la connexité : deux connexes d'intersection non vide ont une réunion connexe. Intuitivement, le point commun \"relie\" les deux morceaux, empêchant toute séparation en deux ouverts disjoints non vides de .
Exercice 13
Le groupe des matrices orthogonales est-il compact ? Est-il connexe ?
Corrigé
Compact : est l'image réciproque de la matrice identité par l'application continue , donc est fermé dans . Il est borné car les colonnes de sont des vecteurs unitaires, donc les coefficients de sont bornés par . Par Heine-Borel (dans ), est compact. Non connexe : l'application est continue et ne prend que les valeurs (rotations ) ou (réflexions). Si était connexe, son image par (continue) serait un intervalle, or n'est pas un intervalle — contradiction. Donc n'est pas connexe ; il a exactement deux composantes connexes, et son complémentaire.
Exercice 14
Soit un compact non vide de . Montrer que et appartiennent à .
Corrigé
compact fermé et borné, donc et existent (borne supérieure/inférieure d'un ensemble borné non vide de ). Par caractérisation du sup, pour tout , il existe avec . La suite converge donc vers . Comme est fermé, et que est une suite de convergente (dans ), sa limite appartient à (caractérisation séquentielle des fermés). Même argument pour .
Exercice 15
Donner un exemple de partie de qui est connexe mais pas compacte, et un exemple qui est compacte mais pas connexe.
Corrigé
Connexe non compacte : le disque ouvert . Il est connexe (convexe, donc connexe par arcs, donc connexe), mais non compact car non fermé (la suite converge vers , hors du disque ouvert). Autre exemple plus simple : tout entier, connexe mais non borné donc non compact. Compacte non connexe : , réunion de deux disques fermés disjoints et bien séparés. est compact (réunion finie de compacts), mais non connexe : on peut séparer en deux ouverts relatifs disjoints non vides, par exemple via les ouverts et de intersectés avec .
AlphaMath Académie · Compacité et connexité · Topologie L2 — Espaces métriques