Quelques fois on garde un souvenir très complet d'une démonstration mathématique, et ce souvenir inclût également des accessoires absurdes et inutiles comme par exemple le numéro de la page du livre où on l'a apprise ou la couleur de la chemise du professeur qui l'a expliquée...
Ci-dessous j'explique, en forme d'exercice corrigé, pourquoi le groupe SO(3) de rotations dans l'espace peut être identifié à l'espace projectif réel

. Et je me rappelle que c'était un
collègue d'études qui m'a raconté cette preuve par la méthode de
hand waving sous le soleil d'été dans une piscine plein air à Bonn!
Un bel énoncé géométrie et topologie
Le but de l'exercice est de montrer que

et
Notations
Dans un premier temps dont nous nous contentons ici le symbole

signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude

dénote l'espace projectif réel de dimension
n, c'est-à-dire l'ensemble des droites vectorielles dans

. Fixons aussi les notations pour trois sous-ensembles importants de

:
- la boule


- la sphère


- l'hémisphère nord


Le
bord de la boule

est la sphère

. Chaque point
x sur ce bord possède un
antipode, à savoir le point
x.
Si on ``recolle''

par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons

Ca, c'est du
handwaving. De manière ensembliste on pourra écrire
Questions
- Expliquer par des mots de quelles formes sont la boule
et son bord
dans les cas n=1,2,3.
- Démontrer que


- Démontrer que


- Démontrer que


- Démontrer que


Cliquez pour lire la
Solution.
Commentaires
1. Le mardi 19 janvier 2010 à 11:52, par Klaus
2. Le mardi 19 janvier 2010 à 12:06, par JLT
3. Le mardi 19 janvier 2010 à 14:09, par MathOMan
4. Le mardi 19 janvier 2010 à 15:23, par JLT
Ajouter un commentaire