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