1 203 : Utilisation de la notion de compacité.
203 Utilisation de la notion de compacité.
I - Diverses caractérisations de la compacité
1. Caractérisation topologique
[GOU20]
Définition 1. Un espace métrique (𝐸, 𝑑) est compact s’il vérifie la propriété de Borel- p. 27
Lebesgue :
De toute recouvrement de 𝐸 par des ouverts de 𝐸, on peut en extraire un sous-recouvrement
fini.
Exemple 2. Tout espace métrique fini est compact.
Proposition 3. Un espace métrique (𝐸, 𝑑) est compact si de toute famille de fermés de 𝐸
d’intersection vide, on peut extraire une sous-famille d’intersection vide.
Proposition 4. (i) Une réunion finie de parties compactes est compacte.
(ii) Une intersection quelconque de parties compactes est compacte.
2. Caractérisation séquentielle
Soit (𝐸, 𝑑) un espace métrique. [DAN]
p. 51
Théorème 5 (Bolzano-Weierstrass). (𝐸, 𝑑) est compact si toute suite de 𝐸 admet une sous-
suite convergente dans 𝐸.
Exemple 6. Tout segment [𝑎, 𝑏] de ℝ est compact, mais ℝ n’est pas compact.
Proposition 7. (i) Un espace métrique compact est complet.
(ii) Un espace métrique compact est borné.
Proposition 8. Soit 𝐴 ⊆ 𝐸.
(i) Si 𝐴 est compacte, alors 𝐴 est une partie fermée bornée de 𝐸.
(ii) Si 𝐸 est compact et 𝐴 est fermée, alors 𝐴 est compacte.
[Link]
2 203 : Utilisation de la notion de compacité.
Proposition 9. Un produit d’espaces métriques compacts est compact pour la distance
produit.
[I-P]
Application 10. Soit (𝐸, 𝑑) un espace métrique compact. Soit (𝑢𝑛 ) une suite de 𝐸 telle que p. 116
𝑑(𝑢𝑛 , 𝑢𝑛−1 ) ⟶ 0. Alors l’ensemble Γ des valeurs d’adhérence de (𝑢𝑛 ) est connexe.
Corollaire 11 (Lemme de la grenouille). Soient 𝑓 ∶ [0, 1] → [0, 1] continue et (𝑥𝑛 ) une suite
de [0, 1] telle que
⎧𝑥0 ∈ [0, 1]
⎨
⎩𝑥𝑛+1 = 𝑓(𝑥𝑛 )
Alors (𝑥𝑛 ) converge si et seulement si lim𝑛→+∞ 𝑥𝑛+1 − 𝑥𝑛 = 0.
3. Caractérisation dans un espace vectoriel normé de dimension finie
[DEV] [LI]
Théorème 12. En dimension finie, toutes les normes sont équivalentes. p. 15
Corollaire 13. Les parties compactes d’un espace vectoriel normé de dimension finie sont
les parties fermées bornées.
Corollaire 14. (i) Tout espace vectoriel de dimension finie est complet.
(ii) Tout espace vectoriel de dimension finie dans un espace vectoriel normé est fermé
dans cet espace.
(iii) Si 𝐸 est un espace vectoriel normé, alors toute application linéaire 𝑇 ∶ 𝐸 → 𝐹 (où 𝐹
désigne un espace vectoriel normé arbitraire) est continue.
[C-G]
Application 15. L’exponentielle d’une matrice est un polynôme en la matrice. p. 407
Théorème 16 (Riesz). La boule unité fermée d’un espace vectoriel normé est compacte si et [LI]
p. 17
seulement s’il est dimension finie.
[Link]
3 203 : Utilisation de la notion de compacité.
II - Utilisation en analyse
1. Continuité et compacité
[DAN]
Proposition 17. Soient (𝐸, 𝑑𝐸 ), (𝐹, 𝑑𝐹 ) deux espaces métriques et 𝑓 ∶ 𝐸 → 𝐹 une application p. 55
continue. Si 𝐸 est compact, alors 𝑓(𝐸) est compact.
Corollaire 18. Toute application définie et continue sur un espace métrique compact à
valeurs dans un espace métrique est bornée.
Proposition 19. Sous les hypothèses et notations de la Proposition 17, en supposant de
plus 𝑓 injective, alors 𝑓 réalise un homéomorphisme entre 𝐸 et 𝑓(𝐸).
Théorème 20 (des bornes). Toute fonction réelle continue sur un espace métrique compact
est bornée et atteint ses bornes.
Corollaire 21 (Théorème des valeurs intermédiaires). L’image d’un segment [𝑎, 𝑏] de ℝ par
une fonction réelle continue est un segment [𝑐, 𝑑] de ℝ.
[GOU20]
Application 22 (Théorème de Rolle). Soit 𝑓 une fonction réelle continue sur un intervalle p. 73
[𝑎, 𝑏], dérivable sur ]𝑎, 𝑏[ et telle que 𝑓(𝑎) = 𝑓(𝑏). Alors,
∃𝑐 ∈]𝑎, 𝑏[ tel que 𝑓 ′ (𝑐) = 0
[ROU]
Application 23 (Point fixe dans un compact). Soit (𝐸, 𝑑) un espace métrique compact et p. 171
𝑓 ∶ 𝐸 → 𝐸 telle que
∀𝑥, 𝑦 ∈ 𝐸, 𝑥 ≠ 𝑦 ⟹ 𝑑(𝑓(𝑥), 𝑓(𝑦)) < 𝑑(𝑥, 𝑦)
alors 𝑓 admet un unique point fixe et pour tout 𝑥0 ∈ 𝐸, la suite des itérés
𝑥𝑛+1 = 𝑓(𝑥𝑛 )
converge vers ce point fixe.
Exemple 24. sin admet un unique point fixe sur [0, 1].
[DAN]
Application 25 (Théorème de d’Alembert-Gauss). Tout polynôme non constant de ℂ admet p. 58
une racine dans ℂ.
[Link]
4 203 : Utilisation de la notion de compacité.
Théorème 26 (Heine). Une application continue à valeurs dans un espace métrique définie
sur un espace métrique compact est uniformément continue.
[GOU20]
Théorème 27 (Théorèmes de Dini). (i) Soit (𝑓𝑛 ) une suite croissante de fonctions réelles p. 238
continues définies sur un segment 𝐼 de ℝ. Si (𝑓𝑛 ) converge simplement vers une fonc-
tion continue sur 𝐼, alors la convergence est uniforme.
(ii) Soit (𝑓𝑛 ) une suite de fonctions croissantes réelles continues définies sur un segment 𝐼
de ℝ. Si (𝑓𝑛 ) converge simplement vers une fonction continue sur 𝐼, alors la conver-
gence est uniforme.
2. Approximation de fonctions
[DEV] p. 304
Théorème 28 (Weierstrass). Toute fonction continue 𝑓 ∶ [𝑎, 𝑏] → ℝ (avec 𝑎, 𝑏 ∈ ℝ tels que
𝑎 ≤ 𝑏) est limite uniforme de fonctions polynômiales sur [𝑎, 𝑏].
On a une version plus générale de ce théorème.
[LI]
Théorème 29 (Stone-Weierstrass). Soit 𝐾 un espace compact et 𝒜 une sous-algèbre de p. 46
l’algèbre de Banach réelle 𝒞(𝐾, ℝ). On suppose de plus que :
(i) 𝒜 sépare les points de 𝐾 (ie. ∀𝑥 ∈ 𝐾, ∃𝑓 ∈ 𝐴 telle que 𝑓(𝑥) ≠ 𝑓(𝑦)).
(ii) 𝒜 contient les constantes.
Alors 𝒜 est dense dans 𝒞(𝐾, ℝ).
Remarque 30. Il existe aussi une version “complexe” de ce théorème, où il faut supposer de
plus que 𝒜 est stable par conjugaison.
Exemple 31. La suite de polynômes réels (𝑟𝑛 ) définie par récurrence par
1
𝑟0 = 0 et ∀𝑛 ∈ ℕ, 𝑟𝑛+1 ∶ 𝑡 ↦ 𝑟𝑛 (𝑡) + (𝑡 − 𝑟𝑛 (𝑡)2 )
2
converge vers √. sur [0, 1].
[Link]
5 203 : Utilisation de la notion de compacité.
3. Étude d’équations différentielles
[GOU20]
Théorème 32 (Arzelà-Peano). Soit 𝐹 une fonction continue sur un ouvert 𝑈 de ℝ × ℝ𝑛 à p. 375
valeurs dans ℝ𝑛 . On considère l’équation différentielle
𝑦′ = 𝐹(𝑡, 𝑦)
Pour tout couple (𝑦0 , 𝑡0 ) de 𝑈, le problème de Cauchy admet une solution 𝑦 définie sur un
intervalle ouvert contenant 𝑡0 .
Exemple 33. L’équation différentielle
⎧0 si 𝑦 < 0
𝑦′ = ⎨
⎩√𝑦 si 𝑦 ≥ 0
admet des solutions.
p. 400
Théorème 34 (Lemme de sortie de tout compact). Soient ]𝑎, 𝑏[ un intervalle ouvert de ℝ, 𝑂
un ouvert de ℝ𝑛 et 𝐹 ∶]𝑎, 𝑏[×𝑂 → ℝ𝑛 une fonction continue et localement lipschitzienne en
la seconde variable. Soit 𝜑 ∶]𝛼, 𝛽[→ ℝ𝑛 une solution maximale de 𝑦′ = 𝐹(𝑡, 𝑦).
Alors, si 𝛽 < 𝑏 (resp. si 𝑎 < 𝛼), pour tout compact 𝐾 ⊆ 𝑂, il existe un voisinage 𝑉 de 𝛽 (resp.
de 𝛼) dans ]𝛼, 𝛽[ tel que 𝜑(𝑡) ∉ 𝐾 pour tout 𝑡 ∈ 𝑉.
4. Recherche d’extrema
[ROU]
Proposition 35. Le maximum de p. 409
ℝ𝑛 × ⋯ × ℝ𝑛 → ℝ
𝑓∶
(𝑣1 , … , 𝑣𝑛 ) ↦ det(𝑣1 , … , 𝑣𝑛 )
est atteint sur le cercle unité de ℝ𝑛 .
Corollaire 36 (Inégalité de Hadamard).
∀𝑣1 , … , 𝑣𝑛 ∈ ℝ𝑛 , | det(𝑣1 , … , 𝑣𝑛 )| ≤ ‖𝑣1 ‖ … ‖𝑣𝑛 ‖
où ‖.‖ désigne la norme associée au produit scalaire usuel sur ℝ𝑛 . On a égalité si et seulement
si un des 𝑣𝑖 est nul.
[Link]
6 203 : Utilisation de la notion de compacité.
Remarque 37. Géométriquement, cette inégalité exprime que les parallélépipèdes de volume
maximum sont rectangles.
5. Convexité et compacité
[LI]
Théorème 38 (Hahn-Banach géométrique). Soit 𝐸 un espace vectoriel normé. Soient 𝐶 et p. 159
𝐾 deux parties non vides de 𝐸 disjointes et telles que 𝐶 soit convexe et fermée, et 𝐾 soit
convexe et compacte. Alors, il existe une forme linéaire continue 𝜑𝑖𝑛𝐸 ′ telle que :
sup Re(𝜑(𝑥)) < inf Re(𝜑(𝑥))
𝑥∈𝐶 𝑥∈𝐾
Corollaire 39 (Théorème de Minkowski). Toute partie convexe et fermée d’un espace vecto-
riel normé réel est égale à l’intersection des demi-espaces fermés qui le contiennent.
[BMP]
Corollaire 40. Soit 𝐻 un espace de Hilbert sur ℝ et soit 𝐷 une partie de 𝐻. Alors l’enveloppe p. 133
convexe fermée de 𝐷 est égale à l’intersection des demi-espaces de la forme
{𝑦 ∈ 𝐻 ∣ 𝑓(𝑦) ≤ 𝛼}
qui contiennent 𝐷, où 𝑓 ∈ 𝐻 ′ et 𝛼 ∈ ℝ.
III - Utilisation en algèbre
[C-G]
Proposition 41. (i) SO𝑛 (ℝ) est compact (et connexe). p. 62
(ii) 𝒪𝑛 (ℝ) est compact (non-connexe).
p. 376
Application 42 (Décomposition polaire). L’application
𝒪𝑛 (ℝ) × 𝒮𝑛++ (ℝ) → GL𝑛 (ℝ)
𝜇∶
(𝑂, 𝑆) ↦ 𝑂𝑆
est un homéomorphisme.
Corollaire 43. Tout sous-groupe compact de GL𝑛 (ℝ) qui contient 𝒪𝑛 (ℝ) est 𝒪𝑛 (ℝ).
p. 401
Corollaire 44. GL𝑛 (ℝ)+ est connexe.
[Link]
Bibliographie
Objectif agrégation [BMP]
Vincent BECK, Jérome MALICK et Gabriel PEYRÉ. Objectif agrégation. 2e éd. H&K, 22 août 2005.
[Link]
Nouvelles histoires hédonistes de groupes et de géométries [C-G]
Philippe CALDERO et Jérôme GERMONI. Nouvelles histoires hédonistes de groupes et de géométries.
Tome 1. Calvage & Mounet, 13 mai 2017.
[Link]
geometrie/.
Mathématiques pour l’agrégation [DAN]
Jean-François DANTZER. Mathématiques pour l’agrégation. Analyse et probabilités. De Boeck
Supérieur, 20 avr. 2021.
https : / / www . deboecksuperieur . com / ouvrage / 9782807332904 - mathematiques - pour - l - agregation -
analyse-et-probabilites.
Les maths en tête [GOU20]
Xavier GOURDON. Les maths en tête. Analyse. 3e éd. Ellipses, 21 avr. 2020.
https : / / www . editions - ellipses . fr / accueil / 10446 - les - maths - en - tete - analyse - 3e - edition -
[Link].
L’oral à l’agrégation de mathématiques [I-P]
Lucas ISENMANN et Timothée PECATTE. L’oral à l’agrégation de mathématiques. Une sélection de
développements. 2e éd. Ellipses, 26 mars 2024.
[Link]
[Link].
Cours d’analyse fonctionnelle [LI]
Daniel LI. Cours d’analyse fonctionnelle. avec 200 exercices corrigés. Ellipses, 3 déc. 2013.
https : / / www . editions - ellipses . fr / accueil / 6558 - cours - danalyse - fonctionnelle - avec - 200 -
[Link].
Petit guide de calcul différentiel [ROU]
François ROUVIÈRE. Petit guide de calcul différentiel. à l’usage de la licence et de l’agrégation. 4e éd.
Cassini, 27 fév. 2015.
https : / / store . cassini . fr / fr / enseignement - des - mathematiques / 94 - petit - guide - de - calcul -
[Link].
