Maths pour matheux septembre 2008

Preuve que SO(3) est l'espace projectif à 3 dimensions

Par MathOMan, lundi 15 septembre 2008 à 23:44 - Maths pour matheux - Tags

Ci-dessus la solution pour l'exercice sur le lien entre groupe de rotation et espace projectif.

Réponses aux questions

$\mathbb{B}^1$ est l'intervalle fermé [-1,1] et son bord $\mathbb{S}^0=\{-1,1\}$ est constitué des deux extrémités. $\mathbb{B}^2$ est un disque et son bord $\mathbb{S}^1$ est un cercle. $\mathbb{B}^3$ est une ``vraie'' boule et son bord $\mathbb{S}^2$ est une ``vraie'' sphère.
$\;$

Les deux applications suivantes sont bijectives car inverses l'une de l'autre.

Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.

Notons que dans le graphique l'axe des abscisses représente l'espace . Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:
- Si n=1 alors on est dans le plan euclidien $\mathbb{R}^2$ . Le demi-cercle supérieur $\mathbb{S}^1_+$ (en rouge) se projette bijectivement sur le segment $\mathbb{B}^1$ (en bleu).
  $\;$
- Si n=2 alors on est dans l'espace plan euclidien $\mathbb{R}^3$ et $\mathbb{S}^2$ est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord $\mathbb{S}^2_+$ (en rouge) se projette bijectivement sur le disque $\mathbb{B}^2$ (en bleu).
  $\;$

Chaque droite $D\in\mathbb{P}^n$ coupe la sphère $\mathbb{S}^n$ en deux antipodes: $~\frac{x}{||x||}~$ et $~\frac{-x}{||x||}~$ où $x$ est arbitraire dans $D\backslash\{0\}$ .
Au moins un des deux points est dans l'hémisphère nord:

De cette observation on déduit que l'application $f\;: \;\;\;\mathbb{S}^n_+\;\longrightarrow\;\mathbb{P}^n\:,\;\;\;x\;\mapsto~\mathbb{R}x\,,$

est surjective; en plus, elle est injective en dehors de l'équateur, et deux antipodes sur l'équateur sont envoyés sur une même image. Plus précisément

$\forall x,y\in\mathbb{S}^n_+\,:\;\big[\,x\neq y\,\text{ et }\,f(x)=f(y) \:\big]\;\Rightarrow \;<br />\big[\:x=-y\;\text{ et }\;x_{n+1}=y_{n+1}=0\:\big]\,.<br />$

Par conséquence $\: \mathbb{P}^n\:$ est en bijection avec l'ensemble obtenu à partir de $\: \mathbb{S}^n_+\:$ par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que $\: \: \mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\: \:$ et l'équateur n'est rien d'autre que le bord $\: \mathbb{S}^{n-1}\:$ de $\: \mathbb{B}^n\:$ . Par conséquence $\: \: \mathbb{P}^n \,\simeq\: \mathbb{B}^n/\!\sim\:$ .

$\,$
Le résultat précédent implique en particulier que $\:\mathbb{P}^1 \,\simeq\, \mathbb{B}^1/\!\sim\:$ .
Or $\:\mathbb{B}^1$ =[-1,1] et par conséquence $\:\mathbb{B}^1/\!\sim\:$ est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
Ainsi $\:\mathbb{B}^1/\!\sim\:$ est en bijection avec le cercle $\,\mathbb{S}^1\,$ . Nous obtenons $\mathbb{P}^1 \,\simeq\,\mathbb{S}^1$ . Illustration:

D'autre part $SO(2)$ est le groupe des rotations du plan euclidien orienté $\mathbb{R}^2$ . Comme chaque rotation est déterminée de manière unique par son angle compris dans $[0,2\pi[$ il est évident que $SO(2)$ est en bijection avec le cercle $\mathbb{S}^1$ .
Conclusion: $SO(2)\simeq \mathbb{P}^1$ .
$\,$

Pour la suite voir le fichier pdf.

SO(3) e(s)t l'espace projectif à 3 dimensions

Par MathOMan, samedi 6 septembre 2008 à 21:28 - Maths pour matheux - Tags

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 $\mathbb{P}^3$ . 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 $\;SO(2)\:\simeq\: \mathbb{P}^1\;\;$ et $\;\;SO(3)\:\simeq\:\mathbb{P}^3\,.$

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole $\:\simeq\:$ signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude $\mathbb{P}^n$ dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans $\mathbb{R}^{n+1}$ . Fixons aussi les notations pour trois sous-ensembles importants de $\mathbb{R}^{n+1}\:$ :

la boule $\;\mathbb{B}^{n+1}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2\leq1\}\,,$
$\:$
la sphère $\;\mathbb{S}^{n}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2=1\}\,,$
$\:$
l'hémisphère nord $\;\mathbb{S}^{n}_+=\{x\in\mathbb{S}^{n} \:|\: x_{n+1}^2\geq0\}\,.$
$\:$

Le bord de la boule $\mathbb{B}^{n+1}$ est la sphère $\mathbb{S}^n$ . Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' $\mathbb{B}^{n+1}$ par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons $\mathbb{B}^{n+1}/\!\sim\,.$ Ca, c'est du handwaving. De manière ensembliste on pourra écrire

$\;\;\;\;\;\mathbb{B}^{n+1}/\!\sim~\;\,=\;\,\left(\mathbb{B}^{n+1}\backslash\mathbb{S}^n\right)\:\dot{\bigcup}\:<br />\big\{\{x,-x\}\,|\,x\in\mathbb{S}^n\big\}\,.<br />$

Questions

Expliquer par des mots de quelles formes sont la boule $\mathbb{B}^n$ et son bord $\mathbb{S}^{n-1}$ dans les cas n=1,2,3.
Démontrer que $\;\mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\,.$
$\,$
Démontrer que $\;\mathbb{B}^n/\!\sim~\;\simeq\:\mathbb{P}^n\,.$
$\,$
Démontrer que $\;SO(2)~\simeq~\mathbb{P}^1\,.$
$\,$
Démontrer que $\;SO(3)~\simeq~\mathbb{P}^3\,.$
$\,$