Développement :
Théorème du point fixe de Kakutani et sous-groupes compacts de GLn(R)
Détails/Enoncé :
Soit $E$ un $\mathbb{R}$-espace vectoriel normé. Soit $G$ un sous-groupe compact de $GL(E)$. Soit $K$ un compact convexe non vide tel que $\forall u \in G, u(K) \subseteq K$.
Alors il existe $x \in K $ tel que $u(x) = x$ pour tout $u \in G$.
L'application est, je trouve, très sympa. J'ai mis un complément sur les produits scalaires invariants et l'équivalence entre l'existence d'un produit scalaire invariant et le fait d'être conjugué à un sous-groupe de $\mathrm{O}_n(\mathbb{R})$
Version tiré du Rombaldi, je démontre juste pas la continuité de $\phi$ de la même façon, je préfère me passer d'écritures matricielles quand on le peut. Attention aux coquilles
Attention, ce développement est utilisé dans des leçons de votre couplage. Voulez-vous quand même le supprimer de votre couplage ?
Notre livre est édité !
Après plus d'un an et demi d'écriture, notre livre voit enfin le jour !
Cet ouvrage a été relu par des agrégatifs comme vous pour en faire un outil le plus utile possible !
Cet ouvrage propose une liste de développements analysés finement, replacés dans un contexte global listant le plus exhaustivement possible les imbrications des résultats avec le reste du monde mathématique. Le lecteur trouvera dans cet ouvrage toute les techniques fondamentales de preuve ainsi que des entraînements complets et pédagogiques afin d’être préparé au mieux pour le concours de l’agrégation de mathématiques.