
Комплексные числа можно определять разными способами:
- Как множество упорядоченных пар вещественных чисел, на котором формально заданы операции сумма и произведение пар по правилам
Роль единицы играет пара, роль мнимой единицы играет пара
.
- Путем удвоения (процедура Кэли-Диксона) одномерной алгебры
. По сути это первый способ, но с более замысловатой теоретической подоплекой.
- Как двумерную коммутативную алгебру над полем
с базисными элементами
, которые удовлетворяют соотношениям
.
- Как факторкольцо
. Роль мнимой единицы играет класс, содержащий полином
.
- Как множество матриц вида
, где
— вещественное число,
— матрица поворота из
. Роль мнимой единицы играет матрица поворота на угол
.
Какие еще способы есть? Какой способ, по-вашему, наиболее простой, естественный?