Tessarine
En mathématiques, les tessarines sont des nombres hypercomplexes introduits et étudiés par James Cockle en 1848 et les années suivantesModèle:NoteModèle:,Modèle:NoteModèle:,Modèle:NoteModèle:,Modèle:NoteModèle:,Modèle:NoteModèle:,Modèle:Note. C’est une algèbre qui combine les nombres complexes usuels et les nombres complexes déployés introduits par Cockle dans le même article initialModèle:Note.
Définition
Les tessarines constituent une algèbre hypercomplexe associative et commutative de dimension 4, de base Modèle:Formule telle que Modèle:Formule, Modèle:Formule et Modèle:Formule. Les unités Modèle:Formule et Modèle:Formule sont simplement les unités imaginaires respectives des complexes et des complexes déployés.
Les propriétés d’associativité et de commutativité permettent de déduire le reste de la table de multiplication de cette algèbre, à savoir :
Propriétés algébriques
- Les tessarines constituant une algèbre hypercomplexe associative, elles constituent donc un anneau unitaire.
- L’algèbre étant de plus commutative, les tessarines constituent plus précisément un anneau commutatif (à la différence des quaternions, qui constituent un anneau unitaire non commutatif).
- Les tessarines permettent les puissances, les racines et les logarithmes de Modèle:Formule, racine non réelle de 1.
- À l’image des complexes déployés, l’anneau des tessarines contient des diviseurs de zéro, donc ne constitue pas un corps commutatif (à la différence des quaternions qui, constituant un anneau sans diviseur de zéro, constituent un corps gauche) : Modèle:Formule.
- À l’image des complexes déployés, l’anneau des tessarines contient deux éléments idempotents non triviaux : Modèle:Formule et Modèle:Formule.
Représentation matricielle
Une tessarine Modèle:Formule peut être représentée par une matrice symétrique 2 × 2 à coefficients complexes :
Sous cette représentation, la base des tessarines peut s’écrire :
Sous-algèbres
Soit une tessarine Modèle:Formule, avec Modèle:Formule. En fixant certains de ces coefficients réels, on peut obtenir plusieurs sous-algèbres.
Nombres complexes
Lorsque Modèle:Formule, la sous-algèbre obtenue est celle des nombres complexes, de base Modèle:Formule.
Nombres complexes déployés
Lorsque Modèle:Formule, la sous-algèbre obtenue est celle des nombres complexes déployés, de base Modèle:Formule.
L’unité Modèle:Formule vérifiant Modèle:Formule tout en étant non réelle, cette propriété a conduit Cockle à appeler cette unité un « nouvel imaginaire en algèbre »Modèle:NoteModèle:,Modèle:Note. Bien qu’apparaissant dans les articles de Cockle comme une simple sous-algèbre des tessarines, les complexes déployés et le plan qu’ils créent au-delà de la ligne réelle semblent avoir eu plus d’importance dans l’histoire des mathématiques que les tessarines.
Isomorphisme avec les nombres bicomplexes
L’algèbre des tessarines est isomorphe à l’algèbre des nombres bicomplexes Modèle:Formule (cas particulier de [[nombre multicomplexe (Segre)|nombres multicomplexes Modèle:Formule]]), de base Modèle:Formule avec Modèle:Formule, Modèle:Formule et Modèle:Formule.
Les termes « tessarine » et « bicomplexe » sont donc souvent utilisés comme synonymes l’un de l’autre, bien qu’ayant historiquement été découverts selon des considérations différentes.