Differences

This shows you the differences between two versions of the page.

--- quaternions:fonctions-lineaires [2020/08/04 22:31] – created admin
+++ quaternions:fonctions-lineaires [2025/08/27 12:20] (current) – [Preuves] admin
@@ Line 1: / Line 1: @@
+[[:quaternions|Formulaire]]
 ====== Fonctions linéaires ======
-Un fonction linéaire quaternionnique est une fonction $f$ sur $\mathbb{H}$ qui satisfait
+Une **fonction linéaire quaternionnique** est une fonction $f$ sur $\mathbb{H}$ qui satisfait
-. $f(P+Q)=f(P)+f(Q)$
+  - $f(P+Q)=f(P)+f(Q)$
-. $f(aQ)=af(Q)\:(a\in\mathbb{R})$
+  - $f(aQ)=af(Q)\:(a\in\mathbb{R})$
-Il est clair que toute fonction de la forme $f(Q)=\sum_{p=1}^{n}A_{p}QB_{p}$ est linéaire.
+==== Expression en fonction des $f(e_i)$ ====
-Toute fonction linéaire $f$ peut s'écrire sous chacune des formes suivantes
+$$f(Q) = \sum_{i=0}^{3}q_i f(e_i)$$
-  * $f(Q)=\sum_{i=0}^{3}A_{i}Qe_{i}$
+==== Expression en fonction des unités quaternioniques ====
-  * $f(Q)=\sum_{i=0}^{3}e_{i}Q\overline{B_{i}}$
-  * $f(Q)=\sum_{i=0}^{3}\mathbb{S}(C_{i}Q)e_{i}$
-  * $f(Q)=\sum_{i=0}^{3}\mathbb{S}(e_{i}Q)D_{i}$
+Pour toute fonction linéaire $f$, $f(Q)$ peut s'écrire sous chacune des formes suivantes
+$$\sum_{i=0}^{3}A_{i}Qe_{i}$$
+$$\sum_{i=0}^{3}e_{i}Q\overline{B_{i}}$$
+$$\sum_{i=0}^{3}\mathbb{S}(C_{i}Q)e_{i}$$
+$$\sum_{i=0}^{3}\mathbb{S}(e_{i}Q)D_{i}$$
+==== Somme de pre-post produits ====
+Toute fonction de la forme $$f(Q)=\sum_{p=1}^{n}A_{p}QB_{p}$$ est linéaire.
+==== Forme matricielle ====
 Il y a un isomorphisme entre les fonctions linéaires de la forme $L_{A}(.)=\sum_{n=0}^{3}A_{n}(.)\overline{e_{n}}$ munies de l'opération de composition et les matrice $2\times2$ sur $\mathbb{B}$ de la forme
@@ Line 20: / Line 31: @@
 -A_{1}+iA_{2} & A_{0}-iA_{3}
 \end{pmatrix}$$
+-----
+===== Preuves =====
+Si $Q=q_{0}e_{0}+\ldots+q_{3}e_{3}$, par linéarité de $f$ on a: $f(Q)=q_{0}f(e_{0})+\ldots+q_{3}f(e_{3})$.
+De plus on a
+. $q_{0}=\mathbb{S}(Q)=\frac{1}{2}(Q+\overline{Q})=\frac{1}{2}\left(Q+-\frac{1}{2}\sum_{j=0}^{3}e_{j}Qe_{j}\right)$ (par [eq:conj-sum])
+. $q_{i}=\mathbb{S}(Q\overline{e_{i}})=\frac{1}{2}(-Qe_{i}-\overline{e_{i}}\overline{Q})=\frac{1}{2}(-Qe_{i}+e_{i}\overline{Q})\;(1\le i\le3)$ et donc $q_{i}=\frac{1}{2}\left(-Qe_{i}+e_{i}\left(-\frac{1}{2}\sum_{j=0}^{3}e_{j}Qe_{j})\right)\right)\;(1\le i\le3)$
+Donc tous les $q_{k}f(e_{k})$ de $f(Q)$ sont des sommes de termes de la forme $ae_{i}QF$ où $a\in\mathbb{R}$, $F\in\mathbb{H}$. En regroupant les termes par unité $e_{i}$ et en passant le $a$ à droite on obtient bien la forme $\sum_{j=0}^{3}e_{j}QB_{j}$.