Sous-groupes compacts de GL n

De AgregmathKL
Aller à : navigation, rechercher

Ce développement montre qu'un sous-groupe compact de est un sous-groupe d'un groupe orthogonal pour un certain produit scalaire.

Remarques

Le développement est long et nécessite de nombreux résultats puissants. Entre autre il semble impossible de le faire tenir en 15 minutes sans admettre le théorème de Carathéodory sur l'enveloppe convexe en dimension finie.

Un énoncé équivalent stipule que les sous-groupes compacts de sont exactement les sous-groupes de à conjugaison près. Ce résultat est à replacer dans le contexte de la richesse de la géométrie euclidienne en dimension finie qui est très bien développé dans Alessandri.

Le développement

Version 2011

Tex Sous-groupes compacts de

Version 2012

Version 2013

Cette version présente un raccourci pour montrer le lemme.

Recasements

(D) signale les développements de l'option informatique.

Algèbre

Analyse

Il est à noter que ce développement n'est pas à proprement parler une "utilisation de la notion de compacité".

Références

  • Alessandri : Thèmes de Géométrie, p141 et 160