AnnalesÉcoles d'ingénieurs
Mines-Ponts MP 2017 — Maths 2
Le sujet démontre le théorème du point fixe de Markov-Kakutani pour un sous-groupe compact de agissant sur un convexe compact non vide, en construisant une norme invariante strictement convexe et en utilisant la propriété de Borel-Lebesgue établie au préalable. Il l'applique à l'enveloppe convexe des matrices pour montrer que tout sous-groupe compact de est conjugué à un sous-groupe de , puis que est un sous-groupe compact maximal de .
Le sujet, partie par partie
Notations et Partie A — Préliminaires sur les matrices symétriques p. 2–3
Matrices symétriques positives · Théorème spectral · Ensembles convexes — matrice symétrique définie positive, spectre, décomposition , ensemble convexe
Partie B — Autres préliminaires p. 3
Compacité · Ensembles convexes · Isométries et groupe orthogonal · Groupes de matrices · Espaces préhilbertiens et euclidiens — enveloppe convexe d'un compact, théorème de Carathéodory, endomorphisme conservant l'orthogonalité, similitude, groupe orthogonal compact
Partie C — Quelques propriétés de la compacité p. 3–4
Compacité · Topologie, compacité, connexité — suite extraite, précompacité, nombre de Lebesgue, propriété de Borel-Lebesgue, recouvrement ouvert, intersection de fermés
Partie D — Théorème du point fixe de Markov-Kakutani p. 4–5
Points fixes et suites itératives · Compacité · Ensembles convexes · Espaces vectoriels normés · Groupes de matrices — théorème de Markov-Kakutani, norme invariante, norme strictement convexe, moyennes de Cesàro des itérés, point fixe commun, diamètre
Partie E — Sous-groupes compacts de p. 5–6
Groupes de matrices · Matrices orthogonales et rotations · Matrices symétriques positives · Compacité · Isométries et groupe orthogonal — sous-groupe compact de , conjugaison dans le groupe orthogonal, sous-groupe compact maximal, symétrie orthogonale, enveloppe convexe