Комплексные числа и функции

Декарт назвал $\sqrt{-1}$ «мнимым» числом из насмешки в 1637 году. Термин прижился. Число осталось. Сегодня оно живёт в каждом MP3-файле, каждом JPEG, каждом Wi-Fi-пакете. FFT - быстрое преобразование Фурье - превращает 3 секунды звука в 132300 комплексных чисел за миллисекунду. Без комплексного анализа нет цифрового мира. Декарт смеялся над $i$ - Spotify не работает без него.

• **MP3 и FLAC**: FFT раскладывает аудиосигнал на частоты через $e^{i\omega t}$. Сжатие MP3 - это порог по комплексным амплитудам: убираем то, что ухо не слышит.
• **JPEG и WebP**: 2D дискретное косинусное преобразование - прямой потомок комплексного Фурье. Каждое фото хранится как набор комплексных коэффициентов, не пикселей.
• **Wi-Fi и 5G**: OFDM-модуляция работает с $N$ комплексными поднесущими одновременно. Каждый пакет данных - это IFFT от вектора комплексных символов.
• **MRI-сканеры**: k-пространство в МРТ - это прямая Фурье-область. Изображение мозга получается обратным FFT от комплексных измерений.
• **Переменный ток (AC)**: импеданс $Z = R + i\omega L$ - комплексное число. Все расчёты электрических цепей переменного тока - это алгебра над $\mathbb{C}$.

Комплексная плоскость

$x^2 + 1 = 0$ не имеет решений в вещественных числах. Декарт знал это и назвал $\sqrt{-1}$ «мнимым» - imaginaire - из насмешки. Прошло 140 лет. Фурье опубликовал свою теорию теплопроводности. Ещё 100 лет - и теорию Фурье применили к радиосигналам. Ещё 50 - к цифровому аудио. Сегодня «мнимое» число $i$ такое, что $i^2 = -1$, лежит в основе каждого MP3-плеера. $z = a + bi$ - **комплексное число**: $a$ - вещественная часть Re($z$), $b$ - мнимая Im($z$).

Комплексное число z = a + bi представляется точкой на **плоскости Аргана** (комплексной плоскости). Ось x - вещественная часть Re(z), ось y - мнимая часть Im(z). Модуль |z| = sqrt(a² + b²) - расстояние от начала координат. Сопряжённое число z̄ = a - bi - отражение относительно оси x.

Арифметика: сложение покомпонентное (как векторы), умножение по формуле $(a+bi)(c+di) = (ac-bd) + (ad+bc)i$. Деление: $z/w = z \bar{w} / |w|^2$. Каждое ненулевое комплексное число обратимо - $\mathbb{C}$ алгебраически замкнуто. Это значит: любой полином степени $n$ над $\mathbb{C}$ имеет ровно $n$ корней. Вещественные числа так не умеют.

Полярная форма

Вместо декартовых координат $(a, b)$ комплексное число задаётся через **модуль** $r = |z|$ и **аргумент** $\theta = \arg(z)$ - угол, который вектор $z$ образует с положительной осью Re. Тогда $z = r(\cos\theta + i\sin\theta)$. Полярная форма. Именно в ней умножение превращается из громоздкой формулы в интуитивную геометрию.

Главное преимущество полярной формы: **умножение** становится элементарным. Если z₁ = r₁·e^(iθ₁) и z₂ = r₂·e^(iθ₂), то z₁·z₂ = r₁r₂ · e^(i(θ₁+θ₂)). Модули перемножаются, аргументы складываются. Умножение = масштаб + поворот.

Возведение в степень: $z^n = r^n e^{in\theta}$. Формула Муавра: $(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta)$. Корни $n$-й степени из $z$ - это $n$ точек, равномерно расположенных на окружности радиуса $r^{1/n}$. Именно эти корни из единицы $\omega_N = e^{2\pi i/N}$ и их степени - база алгоритма FFT.

Комплексная экспонента и формула Эйлера

Запись $z = r(\cos\theta + i\sin\theta)$ сокращается до $z = re^{i\theta}$ с помощью формулы Эйлера: $e^{i\theta} = \cos\theta + i\sin\theta$. Откуда она? Из рядов Тейлора. Подставим $x = i\theta$ в $e^x = 1 + x + x^2/2! + \ldots$ и разделим на вещественную и мнимую части - получим ровно $\cos\theta + i\sin\theta$. Это не магия - это следствие анализа.

Формула Эйлера: **e^(iθ) = cos θ + i sin θ**. Следствие при θ = π: **e^(iπ) + 1 = 0** - тождество Эйлера, связывающее пять фундаментальных констант: e, i, π, 1, 0. Ричард Фейнман назвал её "самой замечательной формулой в математике".

Глубокий смысл: **экспонента - это вращение**. Движение по мнимой оси (аргумент $i\theta$) превращается во вращение по единичной окружности. Не случайность - экспонента является решением $f'(t) = if(t)$, что описывает равномерное вращение с угловой скоростью 1. Wi-Fi-приёмник делает именно это: синхронизирует вращение локального осциллятора с несущей через умножение на $e^{-i\omega t}$.

Теперь полярная форма записывается компактно: **z = r·e^(iθ)**. Умножение: z₁·z₂ = r₁r₂·e^(i(θ₁+θ₂)). Деление: z₁/z₂ = (r₁/r₂)·e^(i(θ₁-θ₂)). Степень: z^n = r^n·e^(inθ). Всё работает как обычная арифметика экспонент.

Элементарные функции комплексного переменного

Переносим привычные функции - exp, sin, cos, log - на комплексные числа. И что-то ломается. Вернее, открывается. $\sin(z)$ больше не ограничен $[-1, 1]$. Экспонента становится периодической. Логарифм расщепляется на бесконечно много значений. Каждое из этих «нарушений» - не дефект, а новый инструмент.

Комплексная экспонента: e^z = e^(a+bi) = e^a · e^(bi) = e^a(cos b + i sin b). Она **периодична** с периодом 2πi: e^(z+2πi) = e^z. В вещественном анализе экспонента монотонна, а в комплексном - периодична!

Самый удивительный факт: комплексный **логарифм многозначен**. $\log z = \ln|z| + i(\arg(z) + 2\pi k)$ для любого целого $k$. Выбирая $k = 0$ и $-\pi < \arg(z) \le \pi$, получаем **главное значение** $\text{Log}(z)$. Многозначность ведёт к понятию риманової поверхности - геометрического объекта, «разворачивающего» все ветви логарифма в единое полотно. Это не экзотика: та же многозначность всплывает при анализе импеданса в AC-цепях и при вычислении передаточных функций.

Вернёмся к началу: Декарт назвал $\sqrt{-1}$ «мнимым» из насмешки. Но комплексные числа оказались не трюком, а языком физики. Функции ведут себя богаче, полиномы всегда имеют корни (основная теорема алгебры), а формула Эйлера $e^{i\pi} + 1 = 0$ объединяет пять фундаментальных констант в одном тождестве. Ричард Фейнман назвал его «самой замечательной формулой в математике».

Ключевые идеи

• **Комплексное число** $z = a + bi$ - точка на плоскости Аргана: модуль $|z| = \sqrt{a^2 + b^2}$, аргумент $\arg(z)$ - угол с осью Re
• **Полярная форма** $z = r e^{i\theta}$: умножение = поворот + масштаб. Именно так работает OFDM в Wi-Fi - каждый символ это поворот вектора в $\mathbb{C}$
• **Формула Эйлера** $e^{i\theta} = \cos\theta + i\sin\theta$ - не красивый трюк, а следствие рядов Тейлора. Она превращает FFT из $O(N^2)$ в $O(N \log N)$
• **Комплексные функции** ведут себя богаче: $\sin$ не ограничен $[-1, 1]$, экспонента периодична с $T = 2\pi i$, логарифм многозначен - и это не баги, а особенности, из которых строится теория вычетов
• **Callback**: Декарт смеялся над $i$ в 1637 - каждый алгоритм обработки сигналов в мире работает на нём сегодня

Связанные темы

Комплексные числа - фундамент для комплексного анализа:

• Аналитические функции — Дифференцируемость в комплексном смысле - намного сильнее, чем в вещественном
• Комплексное интегрирование — Контурные интегралы - мощнейший инструмент, основанный на комплексной структуре

Вопросы для размышления

• Почему комплексная экспонента периодична ($e^{z+2\pi i} = e^z$), а вещественная монотонна? Что геометрически происходит при движении вдоль мнимой оси?
• FFT работает за $O(N \log N)$ вместо $O(N^2)$ - в чём роль комплексных корней из единицы $\omega_N^k = e^{2\pi i k/N}$ в этом ускорении?
• Кватернионы $\mathbb{H}$ расширяют $\mathbb{C}$ до 4 измерений. Где они используются в игровых движках и почему вращения в 3D лучше описывать кватернионами, а не матрицами Эйлера?

Связанные уроки

• calc-16-taylor