Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Espace euclidien : Automorphismes orthogonaux Espace euclidien/Automorphismes orthogonaux », n'a pu être restituée correctement ci-dessus.
Définition
On appelle endomorphisme orthogonal de E tout endomorphisme u qui conserve le produit scalaire :
∀
(
x
,
y
)
∈
E
2
(
u
(
x
)
|
u
(
y
)
)
=
(
x
|
y
)
{\displaystyle \forall (x,y)\in E^{2}\quad (u(x)|u(y))=(x|y)}
.
Remarques
La condition ci-dessus équivaut à
∀
x
∈
E
‖
u
(
x
)
‖
=
‖
x
‖
{\displaystyle \forall x\in E\quad \|u(x)\|=\|x\|}
donc les endomorphisme orthogonaux de E sont simplement ses isométries vectorielles.
Le déterminant d'un endomorphisme orthogonal est égal à ±1. C'est donc un automorphisme.
Soit
A
∈
O
2
(
R
)
{\displaystyle A\in \mathrm {O} _{2}(\mathbb {R} )}
, c'est-à-dire
A
∈
M
2
(
R
)
{\displaystyle A\in \mathrm {M} _{2}(\mathbb {R} )}
un automorphisme orthogonal de
R
2
{\displaystyle \mathbb {R} ^{2}}
.
Les colonnes de
A
{\displaystyle A}
forment une base orthonormée pour le produit scalaire standard donc
A
=
(
a
−
ε
b
b
ε
a
)
{\displaystyle A={\begin{pmatrix}a&-\varepsilon b\\b&\varepsilon a\end{pmatrix}}}
avec
a
2
+
b
2
=
1
{\displaystyle a^{2}+b^{2}=1}
et
ε
=
det
A
=
±
1
{\displaystyle \varepsilon =\det A=\pm 1}
.
La condition
a
2
+
b
2
=
1
{\displaystyle a^{2}+b^{2}=1}
équivaut à l'existence d'un réel
θ
{\displaystyle \theta }
tel que
a
=
cos
θ
{\displaystyle a=\cos \theta }
et
b
=
sin
θ
{\displaystyle b=\sin \theta }
.
Si
A
∈
S
O
2
(
R
)
{\displaystyle A\in \mathrm {SO} _{2}(\mathbb {R} )}
alors
A
=
(
cos
θ
−
sin
θ
sin
θ
cos
θ
)
{\displaystyle A={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}}
, la rotation d'angle
θ
{\displaystyle \theta }
.
Sinon,
A
=
(
cos
θ
sin
θ
sin
θ
−
cos
θ
)
{\displaystyle A={\begin{pmatrix}\cos \theta &\sin \theta \\\sin \theta &-\cos \theta \end{pmatrix}}}
, la symétrie orthogonale d'axe dirigé par
(
cos
(
θ
/
2
)
,
sin
(
θ
/
2
)
)
{\displaystyle (\cos(\theta /2),\sin(\theta /2))}
.