Quiz d’entraînement sur la compacité et la connexité avec une leçon interactive pas à pas
Utilisez la série de questions plus bas sur la page pour vous entraîner à la compacité et à la connexité : les recouvrements ouverts et les sous-recouvrements finis, le critère de Heine-Borel dans \(\mathbb{R}^n\), les ensembles compacts comme fermés et bornés dans l’espace euclidien, la compacité séquentielle dans les espaces métriques, les sous-ensembles fermés et les unions finies d’ensembles compacts, les images continues, les valeurs extrêmes, la continuité uniforme sur les espaces métriques compacts, les séparations, les intervalles comme sous-ensembles connexes de \(\mathbb{R}\), les unions connexes à intersection non vide et le théorème des valeurs intermédiaires. Pour réviser, ouvrez la leçon : vous y trouverez de petits exemples et des vérifications rapides.
Répondez à la série de questions et révisez vos erreurs à la fin.
Comment fonctionne cet entraînement sur la compacité et la connexité
1. Faites la série de questions : répondez aux questions sur les ensembles compacts, les ensembles connexes, les images continues, les intervalles et les contre-exemples courants.
2. Ouvrez la leçon : revoyez les définitions, les tests de reconnaissance, les exemples corrigés et les vérifications à réponse unique.
3. Réessayez : revenez à la série de questions et utilisez le test de compacité ou de connexité qui correspond à chaque problème.
Ce que vous allez apprendre dans la leçon sur la compacité et la connexité
Tests de compacité
Définition par recouvrement ouvert : tout recouvrement ouvert admet un sous-recouvrement fini
Heine-Borel : dans \(\mathbb{R}^n\), compact signifie fermé et borné
Exemples comme \([0,1]\), \((0,1)\), \([0,\infty)\) et \(\{0\}\cup\{1/n:n\ge1\}\)
Suites et opérations sur les ensembles
Dans les espaces métriques, la compacité donne des sous-suites convergentes
Les sous-ensembles fermés d’espaces compacts sont compacts ; les unions finies d’ensembles compacts sont compactes
Les points limites manquants et les unions arbitraires sont des pièges courants de compacité
Tests de connexité
Une séparation découpe un ensemble en deux parties ouvertes séparées non vides
Les intervalles sont connexes dans \(\mathbb{R}\) ; les trous séparés brisent la connexité
Si des ensembles connexes partagent un point, leur union reste connexe
Théorèmes d’image continue
Les images continues d’ensembles compacts sont compactes
Les images continues d’ensembles connexes sont connexes
Les fonctions réelles continues sur un espace métrique compact sont bornées, atteignent leurs extrema et sont uniformément continues
Objectif : construire une méthode rapide et précise pour décider si un ensemble est compact, connexe, les deux ou ni l’un ni l’autre. Vous passerez des définitions aux raccourcis euclidiens, aux suites, aux images continues et aux contre-exemples classiques.
Critères de réussite
Énoncer la compacité avec les recouvrements ouverts et les sous-recouvrements finis.
Utiliser Heine-Borel dans \(\mathbb{R}^n\) : compact signifie fermé et borné.
Utiliser la compacité séquentielle dans les espaces métriques.
Savoir quelles opérations préservent la compacité.
Énoncer la connexité avec les séparations.
Reconnaître les intervalles comme sous-ensembles connexes de \(\mathbb{R}\).
Utiliser les images continues d’ensembles compacts et connexes.
Combiner compacité et connexité pour obtenir des intervalles fermés ou des points dans \(\mathbb{R}\).
Vocabulaire clé
Compact : tout recouvrement ouvert admet un sous-recouvrement fini.
Heine-Borel : dans l’espace euclidien, compact équivaut à fermé et borné.
Point limite : un point approché par d’autres points de l’ensemble.
Connexe : ne peut pas être découpé en une séparation.
Séparation : deux parties non vides disjointes, ouvertes dans la topologie induite, qui recouvrent l’ensemble.
Vérification initiale 1 : Quelle condition caractérise les sous-ensembles compacts de \(\mathbb{R}^n\) ?
Indice : dans l’espace euclidien, utilisez le théorème de Heine-Borel.
Vérification initiale 2 : Quelle est l’image continue d’un ensemble connexe ?
Indice : la continuité préserve la connexité.
La compacité signifie un contrôle fini des recouvrements ouverts
Objectif d’apprentissage : utiliser la définition par recouvrement ouvert et le raccourci euclidien fermé-et-borné sans les confondre.
Idée clé
Un ensemble \(K\) est compact si tout recouvrement ouvert de \(K\) contient un nombre fini d’ouverts qui recouvrent encore \(K\). Dans \(\mathbb{R}^n\), Heine-Borel transforme cette définition en test pratique : \(K\) est compact exactement lorsqu’il est fermé et borné.
Liste de reconnaissance
Dans \(\mathbb{R}^n\), demandez d’abord : l’ensemble est-il fermé ?
Demandez ensuite : est-il borné ?
Pour les intervalles, les extrémités comptent : \([0,1]\) est compact mais \((0,1)\) ne l’est pas.
Pour les demi-droites comme \([0,\infty)\), et pour \(\mathbb{R}\) ou \(\mathbb{Z}\), être fermé ne suffit pas, car l’ensemble n’est pas borné.
Les sous-ensembles finis comme \(\{1,2,3\}\) sont compacts dans \(\mathbb{R}\).
Exemple corrigé
Exemple : Décidez si \([0,1]\), \((0,1)\) et \([0,\infty)\) sont compacts dans \(\mathbb{R}\).
\([0,1]\) est fermé et borné, donc il est compact. L’intervalle \((0,1)\) est borné mais non fermé, donc il n’est pas compact. La demi-droite \([0,\infty)\) est fermée mais non bornée, donc elle n’est pas compacte.
À vous
À vous 1 : Si un espace métrique est compact, tout recouvrement ouvert admet :
Indice : la compacité extrait une partie finie du recouvrement.
À vous 2 : \((0,1)\) est-il compact dans \(\mathbb{R}\) ?
Indice : un ensemble borné peut quand même ne pas être compact s’il lui manque des points de bord.
Les ensembles métriques compacts capturent les sous-suites et les points limites
Objectif d’apprentissage : utiliser la compacité séquentielle, les sous-ensembles fermés, les unions finies et les exemples à point limite manquant.
Idée clé
Dans les espaces métriques, la compacité est équivalente à la compacité séquentielle : toute suite dans l’ensemble possède une sous-suite qui converge vers un point encore dans l’ensemble. Cela rend les points limites manquants faciles à détecter.
Règles de stabilité
Tout sous-ensemble compact d’un espace métrique est fermé et borné.
Un sous-ensemble fermé d’un espace compact est compact.
Une union finie d’ensembles compacts est compacte.
Une intersection finie d’ensembles compacts dans un espace métrique est compacte.
Une union arbitraire d’ensembles compacts n’est pas nécessairement compacte.
Exemple corrigé
Exemple : Comparez \(A=\{1/n:n\ge1\}\) et \(B=\{0\}\cup\{1/n:n\ge1\}\) dans \(\mathbb{R}\).
L’ensemble \(A\) est borné mais non fermé, car \(1/n\to0\) et \(0\notin A\), donc \(A\) n’est pas compact. L’ensemble \(B\) contient son seul point limite manquant et il est borné, donc \(B\) est compact.
À vous
À vous 1 : \(\{1/n:n\ge1\}\) est-il compact dans \(\mathbb{R}\) ?
Indice : regardez la suite \(1/n\) et sa limite.
À vous 2 : Une union finie d’ensembles compacts est :
Indice : un nombre fini de sous-recouvrements finis peut être combiné en un seul sous-recouvrement fini.
Les fonctions continues préservent la compacité
Objectif d’apprentissage : utiliser la compacité pour contrôler les valeurs et la continuité uniforme des fonctions continues.
Idée clé
Si \(f:X\to Y\) est continue et si \(K\subset X\) est compact, alors \(f(K)\) est compact dans \(Y\). Pour les fonctions à valeurs réelles, la compacité de \(f(K)\subset\mathbb{R}\) signifie que la fonction est bornée et atteint à la fois un maximum et un minimum. Le théorème de Heine-Cantor ajoute un autre effet de la compacité : une fonction continue sur un espace métrique compact est uniformément continue.
Exemple corrigé
Exemple : Pourquoi une fonction continue \(f:[0,1]\to\mathbb{R}\) doit-elle atteindre un maximum ?
L’intervalle \([0,1]\) est compact, et \(f([0,1])\) est compact dans \(\mathbb{R}\). Un sous-ensemble compact de \(\mathbb{R}\) est fermé et borné, donc il contient son supremum. Ce supremum est la valeur maximale de \(f\).
À vous
À vous 1 : Une fonction réelle continue sur un ensemble compact doit :
Indice : l’image est un sous-ensemble compact de \(\mathbb{R}\).
À vous 2 : Quelle est l’image continue d’un ensemble compact ?
Indice : la compacité est préservée par les applications continues.
À vous 3 : Une fonction continue sur un espace métrique compact est :
Indice : le théorème de Heine-Cantor dit que la compacité rend le contrôle local de la continuité uniforme sur tout l’espace.
La connexité signifie qu’il n’y a pas de découpage net en deux morceaux
Objectif d’apprentissage : reconnaître les ensembles connexes dans \(\mathbb{R}\) et détecter les trous qui créent des séparations.
Idée clé
Un ensemble est connexe s’il n’admet pas de séparation. Dans \(\mathbb{R}\), les ensembles connexes sont exactement les intervalles et les singletons. Un point manquant à l’intérieur d’un intervalle réel crée souvent deux parties séparées.
Exemples courants
\([0,1]\), \((0,1)\), \([0,\infty)\), \(\mathbb{R}\) et les singletons sont connexes.
\(\{0,1\}\), \(\mathbb{Z}\), \(\mathbb{R}\setminus\{0\}=(-\infty,0)\cup(0,\infty)\) et \([0,1]\cup[2,3]\) sont non connexes.
\((0,1)\cup\{1\}\cup(1,2)=(0,2)\), donc ajouter le point manquant reconnecte les deux intervalles.
Exemple corrigé
Exemple : Pourquoi \([0,1]\cup[2,3]\) est-il non connexe ?
Il y a un trou entre \(1\) et \(2\). Les parties \([0,1]\) et \([2,3]\) sont non vides et séparées dans l’union, donc l’union admet une séparation.
À vous
À vous 1 : \([0,1]\cup[2,3]\) est-il connexe ?
Indice : cherchez un trou entre les deux morceaux.
À vous 2 : Tout intervalle de \(\mathbb{R}\) est-il connexe ?
Indice : les intervalles sont les sous-ensembles connexes modèles de la droite réelle.
Les images continues et les unions chevauchantes conservent la connexité
Objectif d’apprentissage : utiliser les deux outils de préservation de la connexité les plus courants.
Idée clé
La continuité préserve la connexité : si \(C\) est connexe, alors \(f(C)\) est connexe. De plus, si \(A\) et \(B\) sont connexes et si \(A\cap B≠\emptyset\), alors \(A\cup B\) est connexe. Dans \(\mathbb{R}\), une image connexe est un intervalle.
Exemple corrigé
Exemple : Supposons \(A=[0,1]\) et \(B=[1,2]\). Pourquoi \(A\cup B\) est-il connexe ?
Les deux ensembles sont des intervalles, donc connexes, et ils partagent le point \(1\). Leur union est \([0,2]\), un intervalle, donc elle est connexe.
À vous
À vous 1 : Une fonction continue d’un ensemble connexe vers \(\mathbb{R}\) a pour image :
Indice : les sous-ensembles connexes de \(\mathbb{R}\) sont des intervalles ou des points.
À vous 2 : Si \(A\) et \(B\) sont connexes et si \(A\cap B≠\emptyset\), alors \(A\cup B\) est :
Indice : un point commun empêche les deux morceaux connexes d’être séparés.
Sur la droite réelle, compact et connexe signifie intervalle fermé ou point
Objectif d’apprentissage : combiner compacité et connexité pour lire la forme des images réelles continues.
Idée clé
Un sous-ensemble compact connexe de \(\mathbb{R}\) est un intervalle fermé \([a,b]\) ou un singleton. Ainsi, si \(K\) est compact et connexe et si \(f:K\to\mathbb{R}\) est continue, alors \(f(K)\) est compact et connexe dans \(\mathbb{R}\), donc c’est un intervalle fermé ou un point.
Exemple corrigé
Exemple : À quoi peut ressembler l’image \(f([0,1])\) pour une fonction continue \(f:[0,1]\to\mathbb{R}\) ?
Le domaine \([0,1]\) est compact et connexe. L’image est donc compacte et connexe dans \(\mathbb{R}\), donc c’est un intervalle compact \([m,M]\), ou un point si \(m=M\).
À vous
À vous 1 : L’image continue d’un ensemble compact connexe dans \(\mathbb{R}\) est :
Indice : préservez les deux propriétés, puis utilisez la classification sur la droite réelle.
À vous 2 : Si \(f:[0,1]\to\mathbb{R}\) est continue et si \(f(0)\lt0\lt f(1)\), alors \(f\) possède :
Indice : l’image d’un intervalle connexe est un intervalle, donc elle contient toutes les valeurs entre les valeurs aux extrémités.
Éviter les confusions courantes entre compacité et connexité
Objectif d’apprentissage : terminer avec des contre-exemples qui séparent des énoncés qui se ressemblent.
Pièges courants
Compact n’implique pas connexe : \(\{0,1\}\) est compact mais non connexe.
Connexe n’implique pas compact : \((0,1)\) est connexe mais non compact dans \(\mathbb{R}\).
Fermé et borné est un raccourci euclidien : hors de \(\mathbb{R}^n\), ce n’est pas un test universel de compacité.
Les unions infinies peuvent perdre la compacité : \(\bigcup_{n\ge1}[0,n]=[0,\infty)\).
Les intersections d’ensembles connexes peuvent échouer hors des intervalles réels, mais les intervalles de \(\mathbb{R}\) s’intersectent en un intervalle ou en l’ensemble vide.
Hausdorff compte : les sous-ensembles compacts des espaces de Hausdorff sont fermés.
Exemple corrigé
Exemple : Donnez un sous-ensemble compact de \(\mathbb{R}\) qui n’est pas connexe.
L’ensemble \(\{0,1\}\) est fini, donc compact dans \(\mathbb{R}\), mais il admet une séparation en deux singletons. La compacité seule n’impose donc pas la connexité.
À vous
À vous 1 : Tout sous-ensemble compact de \(\mathbb{R}\) est-il connexe ?
Indice : un ensemble fini peut être compact sans être un intervalle.
À vous 2 : Un sous-ensemble compact d’un espace de Hausdorff est :
Indice : la séparation de Hausdorff permet aux ensembles compacts de contenir tout leur comportement limite.
Récapitulatif final
Compact signifie que tout recouvrement ouvert admet un sous-recouvrement fini.
Dans \(\mathbb{R}^n\), compact signifie fermé et borné.
Dans les espaces métriques, la compacité est équivalente à la compacité séquentielle.
Les sous-ensembles fermés d’espaces compacts et les unions finies d’ensembles compacts sont compacts.
Les images continues d’ensembles compacts sont compactes, et les fonctions continues sur des espaces métriques compacts sont uniformément continues.
Connexe signifie sans séparation ; les intervalles sont connexes dans \(\mathbb{R}\).
Les images continues d’ensembles connexes sont connexes.
Un sous-ensemble compact connexe de \(\mathbb{R}\) est un intervalle fermé ou un point.
Étape suivante : fermez cette leçon et réessayez le quiz. Pour les questions de compacité, demandez quel test de compacité s’applique. Pour les questions de connexité, cherchez des intervalles, des trous, des images continues ou des unions connexes qui se chevauchent.
