On admet qu'on peut construire un ensemble
C appelé
ensemble des nombres complexes dont les propriétés sont les suivantes :
- C contient R ;
- C est muni d'une addition et d'une multiplication dont les propriétés (distributivité, priorité des opérations, etc.) prolongent celles connues sur R ;
- C contient un nombre non réel noté i vérifiant i2=−1 ;
- pour tout nombre complexe z, il existe deux uniques réels a et b tels que z=a+ib. On dit que cette écriture est la forme algébrique du nombre complexe z.
Un nombre complexe n'est en général ni positif ni négatif (il n'y a pas d'ordre dans C).
Les physiciens, tout comme Python, notent couramment ce nombre j à la place de i.
L'écriture sous forme algébrique d'un nombre complexe est unique.