Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
144 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Matrices orthogonales de $\mathbb{R}^4$

Envoyé par soland 
Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
avatar
M'amusant avec les quaternions, je suis tombé
sur cette matrice orthogonale de déterminant $+1$
et me demande si ce paramétrage les couvre toutes.

Tout commentaire est bienvenu.


Re: Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
Si je ne me trompe pas, on ne peut pas obtenir $
\begin{bmatrix}
\cdot & \cdot & \cdot & 1 \\
1 & \cdot & \cdot & \cdot \\
\cdot & 1 & \cdot & \cdot \\
\cdot & \cdot & 1 & \cdot \\
\end{bmatrix}
$.
Re: Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
SO$_4(\R)$ est une variété de dimension $6$ ; alors, avec seulement trois paramètres, cela me paraît difficile. Certes, il y a des paramétrages alla Peano, mais ils ne sont pas de classe C$^\infty$.

Cordialement, j__j
Re: Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
De toute façon, on a $SO_4 \simeq (SU_2 \times SU_2)/<-1>$, donc ce groupe est de dimension 6.

On lit sur [en.wikipedia.org] la décomposition isocline (Van Elfrinkhof - 1897).
\begin{align}A&=
\begin{bmatrix}
ap-bq-cr-ds&-aq-bp+cs-dr&-ar-bs-cp+dq&-as+br-cq-dp\\
bp+aq-dr+cs&-bq+ap+ds+cr&-br+as-dp-cq&-bs-ar-dq+cp\\
cp+dq+ar-bs&-cq+dp-as-br&-cr+ds+ap+bq&-cs-dr+aq-bp\\
dp-cq+br+as&-dq-cp-bs+ar&-dr-cs+bp-aq&-ds+cr+bq+ap\end{bmatrix}
\\&=
\begin{bmatrix}
a&-b&-c&-d\\
b&\;\,\, a&-d&\;\,\, c\\
c&\;\,\, d&\;\,\, a&-b\\
d&-c&\;\,\, b&\;\,\, a
\end{bmatrix}
\cdot
\begin{bmatrix}
p&-q&-r&-s\\
q&\;\,\, p&\;\,\, s&-r\\
r&-s&\;\,\, p&\;\,\, q\\
s&\;\,\, r&-q&\;\,\, p
\end{bmatrix}
.\end{align}
où $
p^2+
q^2+
r^2+
s^2 =
a^2+
b^2+
c^2+
d^2 = 1$.
Re: Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
Deux remarques rapides. D'une part, ton paramétrage impose des relations comme \[a_{31}a_{42}+a_{32}a_{41}=0,\] qui n'ont pas de raison d'être satisfaites pour une matrice orthogonale quelconque.

Il y a de toute façon un problème de dimension : $\dim\mathrm{SO}_4(\R)=6$ puisque $\mathrm{SO}_4(\R)$ est le quotient de $\mathrm{SU}_2(\C)\times \mathrm{SU}_2(\C)$ par le sous-groupe discret $\{\pm(\mathrm{I}_2,\mathrm{I}_2)\}$ (ou peu s'en faut). Pas possible de paramétrer le groupe orthogonal par $\R^3$.

D'autre part, cela ressemble furieusement à « la » projection stéréographique de $\R^2$ sur la sphère unité de $\R^3$ (ou l'application réciproque ?), qui est donnée par \[\begin{pmatrix}u\\v\end{pmatrix}\longmapsto\begin{pmatrix}\dfrac{2u}{1+u^2+v^2}\\\dfrac{2v}{1+u^2+v^2}\\\dfrac{1-u^2-v^2}{1+u^2+v^2}\\\end{pmatrix}.\]

Edit : grilled. Apparemment, tu peux retrouver le premier facteur de la décomposition de marsup.



Edité 1 fois. La derni&egrave;re correction date de il y a quatre mois et a &eacute;t&eacute; effectu&eacute;e par Math Coss.
Re: Matrices orthogonales de $\mathbb{R}^4$
il y a quatre mois
avatar
Merci pour vos commentaires et vos liens.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 136 253, Messages: 1 316 785, Utilisateurs: 23 986.
Notre dernier utilisateur inscrit Aybabtu.


Ce forum
Discussions: 17 105, Messages: 165 882.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page