Coquaternion

Coquaternion

En mathématiques et en algèbre abstraite, un coquaternion est une idée mise en avant par James Cockle en 1849. Comme les quaternions de Hamilton inventés en 1843, ils forment un espace vectoriel réel à quatre dimensions muni d'une opération multiplicative. À la différence de l'algèbre des quaternions, les coquaternions peuvent avoir des diviseurs de zéro, des éléments idempotents ou nilpotents.

L'ensemble \{ 1, i, j, k \}\, forme une base. Les produits de coquaternion de ces éléments sont

i j = k = -j i, ~ ~ j k = -i = -k j, ~ ~ k i = j = -i k\,
i^2 = -1, ~ ~ j^2 = +1, ~ ~ k^2 = +1\,.

Avec ces produits l'ensemble \{1, i, j, k, -1, -i, -j, -k\}\, est isomorphe au groupe diédral d'un carré.

Un coquaternion

q~= w + x i + y j + z k  \,

possède un conjugué

q^* ~= w - x i - y j - z k et un module multiplicatif :
qq^* ~= w^2 + x^2 - y^2 - z^2\,.

Lorsque le module est différent de zéro, alors q possède un inverse multiplicatif.

U = \{q : qq^* \ne 0 \}

est l'ensemble des unités. L'ensemble P de tous les coquaternions forme un anneau (\mathcal{P}, +, \bullet\,) avec le groupe des unités (\mathcal{U}, \bullet)\,.

Soit

q = w + x i + y j + z k, ~ ~ u = w + x i, ~ ~ v = y + z i

u et v sont des nombres complexes ordinaires. Alors la matrice complexe

\begin{pmatrix}u & v \\ v^* & u^* \end{pmatrix},

u^* = w - xi\, et v^* = y - zi\, (conjugués complexes de u et v), représentent q dans l'anneau des matrices dans le sens que la multiplication des coquaternions se comporte de la même manière que la multiplication matricielle. Par exemple, le déterminant de cette matrice uu^* - vv^* = qq^*\,; l'apparition de ce signe moins où se trouve un plus dans \mathbb{H}\, conduit au nom alternatif quaternion fendu pour un coquaternion. Historiquement, les coquaternions ont précédé l'algèbre des matrices de Cayley; les coquaternions (dans le prolongement des quaternions et des tessarines) évoquent une algèbre linéaire plus large.

Sommaire

Profil

Soit

r(\theta) = j~ cos \theta + k~ sin \theta\, (ici \theta\, est aussi fondamental que l'azimuth)
p(a,r) = i~ sinh a + r~ cosh a\,
v(a,r) = i~ cosh a + r~ sinh a\,
E = { r \in P : r = r(\theta), 0 \le \theta < 2 \pi}\,
J = {p(a,r) \in P : a \in R, r \in E}\, caténoïde
I = {v(a,r) \in P : a \in R, r \in E}\, hyperboloïde à deux nappes

Maintenant, il est facile de vérifier que

{q \in P : q^2 = + 1} = J \cup {1, -1}\,

et que

{q \in P : q^2 = -1} = I\,.

Ces égalités d'ensembles signifient que lorsque p \in J\, alors le plan

{x + yp : x, y \in R} = D_p\,

est un sous-anneau de P, c’est-à-dire isomorphe au plan des nombres complexes fendus lorsque v est dans I alors

{x + yv : x, y \in R} = C_v\,

est un sous-anneau planaire de P qui est isomorphe au plan complexe ordinaire C.

Pour chaque r \in E\,, (r + i)^2 = 0 = (r - i)^2\, c’est-à-dire que r + i\, et r - i\, sont nilpotents. Le plan N = {x + y(r + i) : x, y \in R}\, est un sous-anneau de P qui est isomorphe aux nombres duaux. Puisque chaque coquaternion doit relié dans D_p\,, un C_v\,, ou un plan N, ces plans profilent P. Par exemple, la sphère unité

\mathcal{SU}(1, 1) = {q \in \mathcal{P} : qq^* = 1}\,

est formée des "cercles unités" dans les plans constitués de P. Dans D_p\,, c'est une hyperbole, dans N le cercle unité est une paire de droites parallèles, tandis que dans C_v\,, c'est vraiment un cercle (bien qu'elle apparaisse elliptique en raison de la compression par v).

Orthogonalité plane

Lorsque le coquaternion q = w + xi + yj + zk\,, alors la partie réelle de q est w.
Définition : pour les coquaternions différents de zéro q et t, nous écrivons q \bot t\, lorsque la partie réelle du produit qt^*\, est zéro.

  • Pour chaque v \in I\,, si q, t \in C_v\,, alors q \bot t\, signifie que les demi-droites de 0 à q et t sont perpendiculaires.
  • Pour chaque p \in J\,, si q, t \in D_p\,, alors q \bot t\, signifie que ces deux points sont orthogonaux hyperboliques.
  • Pour chaque r \in E\, et chaque a \in R\,, p = p(a,r)\, et v = v(a,r)\, satisfont p \bot v\,.
  • Si u est une unité dans l'anneau des coquaternions, alors q \bot t\, implique qu \bot tu\,.
Preuve : (qu)(tu)^* = (uu^*)qt^*\, découle de (tu)^* = u^*t^*\,, un fait basé sur l'anti-commutativité des vecteurs.

Géométrie de la contre-sphère

Prenons m = x + y i + z r\,r~= j \cos \theta + k \sin \theta\,. Fixons theta (\theta\,) et supposons

mm^* = -1 = x_2 + y_2 - z_2\,.

Puisque les points sur la contre-sphère doivent se trouver sur un contre-cercle dans un certain plan D_p \subset P\,, m peut être écrit, pour un certain p \in J\,

m~= p \exp{(bp)} = \sinh b + p \cosh b = \sinh b + i \sinh a~\cosh b + r \cosh a~\cosh b\,.

Soit \varphi\, l'angle entre les hyperboles de r jusqu'à p et m. Cet angle peut être vu, dans le plan tangent à la contre-sphère à r, par projection :

\tan \varphi = \frac{x}{y} = \frac{\sinh b}{\sinh a ~\cosh b} = \frac{\tanh b}{\sinh a}.

Comme b peut devenir grand, tanh b est proche de un. Alors \tan \varphi = \frac{1}{\sinh a}\,. Cette aspect de l'angle de parallélisme dans un méridien \theta\, tend à faire voir la variété de la contre-sphère comme un espace métrique \mathcal{S}^1 \times HP\,HP est le plan hyperbolique.

Application à la cinématique

En utilisant les bases données ci-dessus, on peut montrer que l'application

q \rightarrow u^{-1}~qu\,

est une rotation ordinaire ou hyperbolique suivant que

u = exp(av)\,, v \in I\, ou u = exp(ap)\,, p \in J\,.

Ces applications sont des projections dans la géométrie d'anneau inversible des coquaternions. La collection de ces applications produit une certaine relation avec le groupe de Lorentz puisque il est aussi composé des rotations ordinaires et hyperboliques. Parmi les particularités de cette approche par rapport à la cinématique relativiste, on trouve le profil anisotropique, comparé aux quaternions hyperboliques.

Le frein à l'usage des coquaternions pour les modèles cinématiques peut s'expliquer par la signature de l'espace-temps (2, 2) qui est présumé avoir comme signature (1, 3) ou (3, 1). Néanmoins, une cinématique relativiste plus claire apparait lorsqu'un point de la contre-sphère est utilisé pour représenter un cadre d'inertie de référence. Si tt^* = -1\,, alors, il existe un p \in J\, tel que t \in D_p\,, et un a \in R\, tel que t = p exp(ap)\,. Alors, si u = exp(ap)\, et s = ir\,, l'ensemble {t, u, v, s}\, est une base orthogonale issue de t, l'orthogonalité se poursuit à travers les applications des rotations ordinaires ou hyperboliques.

Notes historiques et références

Les coquaternions ont été d'abord identifiés et nommés dans le London-Edinburgh-Dublin Philosophical Magazine, series 3, volume 35, pp. 434,5 en 1849 par James Cockle sous le titre "On Systems of Algebra involving more than one Imaginary" (Des systèmes d'algèbre impliquant plus qu'un imaginaire). Lors de la rencontre à Paris en 1900 du Congrès international des mathématiciens Alexander MacFarlane appela l'algèbre, le système de quaternions exsphéricaux comme il en a décrit l'aspect. MacFarlane examina un élément différentiel de la sous-variété {q \in P\, : qq * = − 1} (la contre-sphère).

La sphère elle-même a été traitée en allemand par Hans Beck en 1910 (Transactions of the American Mathematical Society, v. 28; e.g. le groupe dihédral apparaît à la page 419). En 1942 et 1947 sont parues deux mentions brèves sur la structure des coquaternions dans les Annales de Mathématiques :

  • A.A. Albert, "Quadratic Forms permitting Composition" 43, pp. 161-177
  • V. Bargmann, "Representations of the Lorentz Group" 48, pp. 568-640

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Coquaternion de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • coquaternion — noun Any of a group of elements of a type of four dimensional vector space Syn: split quaternion …   Wiktionary

  • Split-quaternion — Coquaternion multiplication × 1 i j k 1 1 i j k i i −1 k −j j j −k +1 −i …   Wikipedia

  • Hypercomplex number — The term hypercomplex number has been used in mathematics for the elements of algebras that extend or go beyond complex number arithmetic.Hypercomplex numbers have had a long lineage of devotees including Hermann Hankel, Georg Frobenius, Eduard… …   Wikipedia

  • Hypernombre — Les hypernombres sont des nombres associés à des dimensions, découverts par le Dr. Charles A. Musès (1919 – 2000). Les hypernombres forment un système complet, cohérent, relié et naturel. Il existe dix niveaux d hypernombres, chacun possède sa… …   Wikipédia en Français

  • Nombre complexe déployé — En mathématiques, les nombres complexes déployés ou fendus sont une extension des nombres réels définis de manière analogue aux nombres complexes (usuels). La différence clef entre les deux est que la multiplication des nombres complexes (usuels) …   Wikipédia en Français

  • Isomorphism class — An isomorphism class is a collection of mathematical objects isomorphic with a certain mathematical object. A mathematical object usually consists of a set and some mathematical relations and operations defined over this set.Isomorphism classes… …   Wikipedia

  • Idempotence — IPAEng|ˌaɪdɨmˈpoʊtəns describes the property of operations in mathematics and computer science which means that multiple applications of the operation does not change the result. The concept of idempotence arises in a number of places in abstract …   Wikipedia

  • Subring — In mathematics, a subring is a subset of a ring, which contains the multiplicative identity and is itself a ring under the same binary operations. Naturally, those authors who do not require rings to contain a multiplicative identity do not… …   Wikipedia

  • Quaternion — Quaternions, in mathematics, are a non commutative extension of complex numbers. They were first described by the Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three dimensional space. They find uses in both… …   Wikipedia

  • Cayley–Dickson construction — In mathematics, the Cayley–Dickson construction produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced by this process are known as Cayley–Dickson algebras; since… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”