Nombre bicomplexe
# Nombre bicomplexe

En mathématiques, les nombres bicomplexes sont les nombres multicomplexes de symbole $\mathbb {C} _{2}$. C’est un nombre écrit sous la forme a + b $i_1$ + c $i_2$ + d j, où $i_1,$ $i_2$ et j sont des unités imaginaires qui commutent et où j = $i_1$ $i_2$ vérifie $j^2$ = i2 1 i2 2 = 1. Basé sur les règles de la multiplication des unités imaginaires, si A = a + b $i_1$ et B = c + d $i_1,$ alors le nombre bicomplexe peut être écrit A + B $i_2$ : les nombres bicomplexes sont similaires aux nombres complexes, mais les parties réelles de leur forme cartésienne sont complexes plutôt que réelles. Les nombres bicomplexes se réduisent aux nombres complexes lorsque A et B sont des nombres réels.

L'ensemble de tous les nombres bicomplexes possède une algèbre associative, commutative et unifère sur les nombres complexes, isomorphe à $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$, donc un anneau commutatif (avec identité) ; la multiplication des nombres bicomplexes est à la fois commutative et associative et est distributive sur l'addition. Étant donné ceci et les règles pour la multiplication des unités imaginaires, deux nombres bicomplexes quelconques peuvent être multipliés. La multiplication des unités imaginaires est donnée par :

$\mathrm {i} _{1}^{2}=-1\ ,\ \mathrm {i} _{2}^{2}=-1\ ,\ \mathrm {i} _{1}\cdot \mathrm {i} _{2}=\mathrm {j} .$

On déduit de la commutativité et de l'associativité que :

$\mathrm {j} ^{2}\,=1\ ,\ \mathrm {i} _{1}\cdot \mathrm {j} =-\mathrm {i} _{2}\ ,\ \mathrm {i} _{2}\cdot \mathrm {j} =-\mathrm {i} _{1}.$

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 :

| × | 1 | $i_1$ | $i_2$ | j |
| - | - | - | - | - |
| 1 | 1 | $i_1$ | $i_2$ | j |
| $i_1$ | $i_1$ | −1 | j | $−i_2$ |
| $i_2$ | $i_2$ | j | −1 | $−i_1$ |
| j | j | $−i_2$ | $−i_1$ | 1 |

La division n'est pas définie pour certains nombres complexes, puisque certains sont diviseurs de zéro ; autrement dit, les bicomplexes ne forment pas un anneau sans diviseur de zéro, et donc pas un anneau à division. Comme exemples de diviseurs de zéros : 1 + j et $i_1$ + $i_2$ vérifient (1 + $j)(i_1+$ $i_2)$ = 0.

Parmi les extensions des nombres complexes à des espaces vectoriels à quatre dimensions sur $\mathbb {R}$, les bicomplexes se distinguent des quaternions en « sacrifiant » l'existence des inverses et l'intégrité au profit de la commutativité de la multiplication.

L'algèbre des bicomplexes est isomorphe à celle des tessarines. Elles ont néanmoins été découvertes par des procédés différents.

