全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Français 版。

Mathématiques · 术语表

什么是 isométrie?

Définition 23.15 Mathématiques universitaires — Licence 1 · 第 23 章 — Espaces euclidiens

Un endomorphisme uu d’un espace euclidien est une isométrie (ou application orthogonale) lorsqu’il conserve la norme : ∥u(x)∥=∥x∥\norm{u(x)} = \norm x pour tout xx — de façon équivalente (polarisation), il conserve le produit scalaire ; de façon équivalente, sa matrice AA dans une base orthonormale vérifie ATA=IA^{\mathsf T} A = I. Les isométries forment un groupe, le groupe orthogonal O(E)O(E).

Deux réflexions font une rotation : en réfléchissant M = (2, 0.5) par rapport à l’axe des x, puis par rapport à la droite y = x, on arrive en (-0.5, 2) — l’image de M par la rotation d’angle π2 de centre l’origine, soit deux fois l’angle π4 entre les axes. Le devoir maison transforme cette image en la loi de composition de toutes les isométries planes.
Deux réflexions font une rotation : en réfléchissant M=(2,0.5)M = (2, 0.5) par rapport à l’axe des xx, puis par rapport à la droite y=xy = x, on arrive en (−0.5,2)(-0.5, 2) — l’image de MM par la rotation d’angle π2\frac\pi2 de centre l’origine, soit deux fois l’angle π4\frac\pi4 entre les axes. Le devoir maison transforme cette image en la loi de composition de toutes les isométries planes.

示例

Exemple 23.16 (Reconnaître une isométrie à vue)

La matrice A=15(3−443)A = \dfrac15\begin{pmatrix} 3 & -4\\ 4 & 3\end{pmatrix} est-elle orthogonale ? Les colonnes : normes 159+16=1\frac15\sqrt{9 + 16} = 1 et 1516+9=1\frac15\sqrt{16 + 9} = 1 ; produit 125(3⋅(−4)+4⋅3)=0\frac1{25}(3\cdot(-4) + 4\cdot3) = 0. Oui — et det⁡A=9+1625=1\det A = \frac{9 + 16}{25} = 1, c’est donc la rotation RθR_\theta avec cos⁡θ=35\cos\theta = \frac35, sin⁡θ=45\sin\theta = \frac45 (la « rotation 33-44-55 », dont l’angle n’est aucune fraction remarquable de π\pi). En revanche B=12(1101)B = \frac{1}{\sqrt2}\begin{pmatrix} 1 & 1\\ 0 & 1\end{pmatrix} a un faux air de matrice normalisée, mais sa première colonne n’est pas unitaire (12\frac1{\sqrt2}) : elle n’est pas orthogonale — un déterminant ±1\pm1 ne certifie rien à lui seul, il faut vérifier les colonnes.

在原文中阅读 →