Комплексное число: определение и свойства¶
Комплексное число — это число вида z = a + bi, где a и b — действительные числа, а i — мнимая единица, удовлетворяющая равенству i² = −1. Комплексные числа образуют расширение поля действительных чисел и служат основой математического анализа, алгебры и ряда инженерных дисциплин. Каждое комплексное число состоит из вещественной части a (Re z) и мнимой части b (Im z).
¶История
Идея корней из отрицательных чисел возникла в XVI веке в связи с работами итальянских математиков над решениями кубических уравнений. Рафаэль Бомбелли в трактате «Algebra» (1572) впервые систематически описал операции с «мнимыми» величинами. Термин «мнимое число» ввёл Рене Декарт в 1637 году, использовав его в отрицательном смысле. Леонард Эйлер в 1777 году ввёл обозначение i для квадратного корня из −1.
Строгое обоснование комплексным числам дал Карл Фридрих Гаусс в начале XIX века, показав их геометрическую интерпретацию: комплексное число отображается точкой (или вектором) на плоскости, ныне называемой комплексной плоскостью (или плоскостью Арганда — по Жану-Роберу Аргану, предложившему геометрическую модель в 1806 году).
¶Алгебраические свойства
Комплексные числа образуют поле (обозначается ℂ), замкнутое относительно арифметических операций. Операции определяются следующим образом:
- Сложение: (a + bi) + (c + di) = (a + c) + (b + d)i
- Умножение: (a + bi)(c + di) = (ac − bd) + (ad + bc)i
- Комплексное сопряжение: для z = a + bi сопряжённое число имеет вид z̄ = a − bi
- Модуль: |z| = √(a² + b²)
- Деление: z₁/z₂ = z₁·z̄₂/|z₂|² (при z₂ ≠ 0)
В отличие от действительных чисел, в ℂ операция извлечения корня определена для любого числа и любого натурального показателя степени. Каждое комплексное число (кроме нуля) имеет ровно n корней степени n.
¶Тригонометрическая и показательная формы
Помимо алгебраической формы a + bi, комплексное число представляется в тригонометрической форме:
z = r(cos φ + i sin φ),
где r = |z| — модуль, а φ = arg z — аргумент (угол наклона вектора к положительной полуоси). С помощью формулы Эйлера эта запись сводится к показательной форме: z = re^(iφ). Умножение комплексных чисел в показательной форме сводится к сложению аргументов и умножению модулей, что значительно упрощает возведение в степень и извлечение корней (формула Муавра).
¶Фундаментальная теорема алгебры
Фундаментальная теорема алгебры утверждает, что любое алгебраическое уравнение n-й степени с комплексными коэффициентами имеет ровно n корней с учётом кратности (в ℂ). Это свойство делает поле комплексных чисел алгебраически замкнутым. Первое строгое доказательство теоремы принадлежит Карлу Фридриху Гауссу (1799), позднее были предложены доказательства Лежандра, Остроградского, Аргана, Д'Аламбера и другие.
¶Применение
Комплексные числа широко используются в математике и смежных областях:
- Электротехника: анализ электрических цепей переменного тока, представление амплитуды и фазы синусоидальных сигналов (комплексные амплитуды, операторные методы).
- Квантовая механика: волновая функция описывается комплекснозначной функцией, а вероятность определяется квадратом модуля.
- Сигналы и обработка данных: преобразование Фурье и зондирующие функции основаны на комплексных показательных функциях.
- Теория функций комплексного переменного: изучает аналитические (голоморфные) функции, интегралы по контуру (формула Коши), разложения в ряды.
- Фрактальная геометрия: множество Жюлиа и множество Мандельброта определяются итерациями комплексных полиномов z → z² + c.
- Аэродинамика и гидродинамика: теория функций комплексного переменного применяется для моделирования потоков (Жуковский, Лаврентьев).
¶Числовые множества
Комплексные числа включают в себя все основные числовые множества:
| Множество | Условие |
|---|---|
| Действительные числа (ℝ) | b = 0 |
| Мнимые числа | a = 0, b ≠ 0 |
| Рациональные числа (ℚ) | a, b ∈ ℚ |
| Алгебраические числа | корни полинома с целыми коэффициентами |
| Трансцендентные числа | не являются корнями таких полиномов |
Поле ℂ имеет размерность 2 над ℝ и не упорядочено: нельзя ввести согласованный порядок, совместимый с арифметическими операциями.
¶Обобщения
На основе комплексных чисел построены кватернионы (Гамильтон, 1843) — четырёхмерные числа с некоммутативным умножением, а также октавионы и седенионы. Теория функций комплексного переменного обобщается на функции нескольких комплексных переменных и на p-адические числа.
¶Интересные факты
Комплексная плоскость иногда называется «числовой линией Гаусса». Исторически термин «мнимое число» закрепился, хотя современная математика считает комплексные числа не менее «реальными», чем действительные: они получают естественную интерпретацию в геометрии, физике и инженерии.
Источники:
- Воробьёв Н. Н. История числовых систем. — М.: Наука.
- Гаусс К. Ф. Теория алгебраических чисел.
- Бейтмен Т., Уорд А. Задачи по комплексному анализу.
- Шабат Б. В. Введение в комплексный анализ.
- Ахиезер Н. И. Классическая теория полиномов.