Ко́мпле́ксные чи́сла (от лат. complexus — связь, сочетание; о двойном ударении см. примечание) — числа вида где — вещественные числа, — мнимая единица, то есть число, для которого выполняется равенство: Множество комплексных чисел обычно обозначается символом Вещественные числа можно рассматривать как частный случай комплексных, они имеют вид Главное свойство — в нём выполняется основная теорема алгебры, то есть любой многочлен -й степени () имеет корней. Доказано , что система комплексных чисел логически непротиворечива.
Так же как и для вещественных чисел, для комплексных чисел определены операции сложения, вычитания , умножения и деления . Однако многие свойства комплексных чисел отличаются от свойств вещественных чисел; например, нельзя указать, какое из двух комплексных чисел больше или меньше . Удобно представлять комплексные числа точками на комплексной плоскости ; например, для изображения сопряжённых чисел используется операция отражения относительно горизонтальной оси . Альтернативное представление комплексного числа в тригонометрической записи оказалось полезным для вычисления степеней и корней . Функции комплексного аргумента изучаются в комплексном анализе .
Первоначально идея о необходимости использования комплексных чисел возникла в результате формального решения кубических уравнений, при котором в формуле Кардано под знаком квадратного корня получалось отрицательное число. Большой вклад в исследование комплексных чисел внесли такие математики как Эйлер, который ввёл общепризнанное обозначение для мнимой единицы, Декарт, Гаусс . Сам термин «комплексное число» ввёл в науку Гаусс в 1831 году.
Уникальные свойства комплексных чисел и функций нашли широкое применение для решения многих практических задач в различных областях математики, физики и техники: в обработке сигналов, теории управления, электромагнетизме, теории колебаний, теории упругости и многих других . Преобразования комплексной плоскости оказались полезны в картографии и гидродинамике. Современная физика полагается на описание мира с помощью квантовой механики, которая опирается на систему комплексных чисел.
Известно также несколько обобщений комплексных чисел — например, кватернионы .
Комплексная арифметика
Связанные определения
Всякое комплексное число состоит из двух компонентов:
- Величина называется вещественной частью числа и согласно международным стандартам ISO 31-11 и ISO 80000-2 обозначается или В источниках иногда встречается готический символ:
- Если , то называется чисто мнимым числом. Вместо обычно пишут просто В некоторых источниках такие числа называются просто мнимыми, однако в других источникахмнимыми могут называться любые комплексные числа у которых Поэтому термин мнимое число неоднозначен, и использовать его без дополнительных разъяснений не рекомендуется.
- Величина называется мнимой частью числа и согласно международным стандартам ISO 31-11 и ISO 80000-2 обозначается или В источниках иногда встречается готический символ:
- Если , то является вещественным числом. Вместо обычно пишут просто Например, комплексный ноль обозначается просто как
Противоположным для комплексного числа является число Например, для числа противоположным будет число
В отличие от вещественных, комплексные числа нельзя сравнивать на больше/меньше; доказано, что нет способа распространить порядок, заданный для вещественных чисел, на все комплексные так, чтобы порядок был согласован с арифметическими операциями (чтобы из вытекало , а из и вытекало ). Однако, комплексные числа можно сравнивать на равно/не равно:
- означает, что и (два комплексных числа равны между собой тогда и только тогда, когда равны их вещественные и мнимые части).
Четыре арифметические операции для комплексных чисел (определённые ниже) имеют те же свойства, что и аналогичные (операции с вещественными числами).
Сложение и вычитание
Определение сложения и вычитания комплексных чисел:
Следующая таблица показывает основные свойства сложения для любых комплексных
Свойство | Алгебраическая запись |
---|---|
Коммутативность (переместительность) | |
Ассоциативность (сочетательность) | |
Свойство нуля | |
Свойство противоположного элемента | |
Выполнение вычитания через сложение |
Умножение
Определение произведения комплексных чисел и
Следующая таблица показывает основные свойства умножения для любых комплексных
Свойство | Алгебраическая запись |
---|---|
Коммутативность (переместительность) | |
Ассоциативность (сочетательность) | |
Свойство единицы | |
Свойство нуля | |
Дистрибутивность (распределительность) умножения относительно сложения |
Правила для степеней мнимой единицы:
- и т. д.
То есть для любого целого числа верна формула , где выражение означает получение остатка от деления на 4.
После определения операций с комплексными числами выражение можно воспринимать не как формальную запись, а как выражение, составленное по приведённым выше правилам сложения и умножения. Чтобы это показать, раскроем все входящие в него переменные, следуя вышеприведённым соглашениям и определению сложения и умножения:
Деление
Комплексное число называется сопряжённым к комплексному числу (подробнее ниже).
Для каждого комплексного числа кроме нуля, можно найти обратное к нему комплексное число Для этого умножим числитель и знаменатель дроби на число комплексно сопряжённое знаменателю
Определим результат деления комплексного числа на ненулевое число
Как и для вещественных чисел, деление можно заменить умножением делимого на число, обратное к делителю.
Другие операции
Для комплексных чисел определены также извлечение корня, возведение в степень и логарифмирование.
Основные отличия комплексных чисел от вещественных
Уже упоминалось, что комплексные числа нельзя сравнивать на больше-меньше (иными словами, на множестве комплексных чисел не задано отношение порядка). Другое отличие: любой многочлен степени с комплексными (в частности, вещественными) коэффициентами имеет, с учётом кратности, ровно комплексных корней (основная теорема алгебры).
В системе вещественных чисел из отрицательного числа нельзя извлечь корень чётной степени. Для комплексных чисел возможно извлечение корня из любого числа любой степени, однако результат неоднозначен — комплексный корень -й степени из ненулевого числа имеет различных комплексных значений. См., например, корни из единицы.
Дополнительные отличия имеют функции комплексного переменного .
Замечания
Число не является единственным числом, квадрат которого равен Число также обладает этим свойством.
Выражение ранее часто использовавшееся вместо в современных учебниках считается некорректным, и под (знаком радикала) стали допускаться только неотрицательные выражения (см. «Арифметический корень»). Во избежание ошибок, выражение с квадратными корнями из отрицательных величин в настоящее время принято записывать как а не несмотря на то, что даже в XIX веке второй вариант записи считался допустимым.
Пример возможной ошибки при неосторожном использовании устаревшей записи:
Эта ошибка связана с тем, что квадратный корень из определён неоднозначно (см. ниже #Формула Муавра и извлечение корней). При использовании современной записи такой ошибки не возникло бы:
Геометрическое представление
Комплексная плоскость
Комплексные числа можно представить на плоскости с прямоугольной системой координат: числу соответствует точка плоскости с координатами (а также радиус-вектор, соединяющий начало координат с этой точкой). Такая плоскость называется комплексной. Вещественные числа на ней расположены на горизонтальной оси, мнимая единица изображается единицей на вертикальной оси; по этой причине горизонтальная и вертикальная оси называются соответственно вещественной и мнимой осями.
Бывает удобно рассматривать на комплексной плоскости также полярную систему координат (см. рисунок справа), в которой координатами точки являются расстояние до начала координат (модуль ) и угол радиус-вектора точки с горизонтальной осью (аргумент ).
В этом представлении сумма комплексных чисел соответствует векторной сумме соответствующих радиус-векторов, а вычитанию чисел соответствует вычитание радиус-векторов. При перемножении комплексных чисел их модули перемножаются, а аргументы складываются (последнее несложно вывести из формулы Эйлера или из тригонометрических формул суммы). Если модуль второго сомножителя равен 1, то умножение на него соответствует повороту радиус-вектора первого числа на угол, равный аргументу второго числа. Этот факт объясняет широкое использование комплексного представления в теории колебаний, где вместо терминов «модуль» и «аргумент» используются термины «амплитуда» и «фаза».
Пример: умножение на поворачивает радиус-вектор числа на прямой угол в положительном направлении, а после умножения на радиус-вектор поворачивается на прямой угол в отрицательном направлении.
Модуль
Модулем (абсолютной величиной) комплексного числа называется длина радиус-вектора соответствующей точки комплексной плоскости (или, что то же самое, расстояние от точки комплексной плоскости до начала координат). Модуль комплексного числа обозначается (иногда или ) и определяется выражением
Если является вещественным числом, то совпадает с абсолютной величиной этого числа в вещественном понимании термина.
Для любых комплексных имеют место следующие свойства модуля:
- 1) , причём только при
- 2) (неравенство треугольника);
- 3)
- 4)
- 5) для пары комплексных чисел и модуль их разности равен расстоянию между соответствующими точками комплексной плоскости;
- 6) модуль числа связан с вещественной и мнимой частями этого числа соотношениями:
Аргумент
Аргументом ненулевого комплексного числа называется угол между радиус-вектором соответствующей точки и положительной вещественной полуосью. Аргумент числа измеряется в радианах и обозначается . Из этого определения следует, что
Для комплексного нуля значение аргумента не определено, для ненулевого числа аргумент определяется с точностью до , где — любое целое число. Главным значением аргумента называется такое значение , что Главное значение может обозначаться .
Некоторые свойства аргумента:
- 1) аргумент обратного числа отличается знаком от аргумента исходного:
- 2) аргумент произведения равен сумме аргументов сомножителей:
- 3) аргумент частного от деления равен разности аргументов делимого и делителя:
Сопряжённые числа
Если комплексное число равно то число называется сопряжённым (или комплексно-сопряжённым) к (обозначается также ). На комплексной плоскости сопряжённые числа получаются друг из друга зеркальным отражением относительно вещественной оси. Модуль сопряжённого числа такой же, как исходного, а их аргументы различаются знаком:
Переход к сопряжённому числу можно рассматривать как одноместную операцию, которая сохраняет все арифметические и алгебраические свойства. Эта операция имеет следующие свойства:
- тогда и только тогда, когда — вещественное число.
- (сопряжённое к сопряжённому есть исходное; иначе говоря, операция сопряжения является инволюцией).
Произведение комплексно-сопряжённых чисел — неотрицательное вещественное число, равное нулю только для нулевого z:
Сумма комплексно-сопряжённых чисел — вещественное число:
Другие соотношения:
Или, в общем виде: где — произвольный многочлен с вещественными коэффициентами. В частности, если комплексное число является корнем многочлена с вещественными коэффициентами, то сопряжённое число тоже является его корнем. Из этого следует, что существенно комплексные корни такого многочлена (то есть корни, не являющиеся вещественными) разбиваются на комплексно-сопряжённые пары.
Пример
Тот факт, что произведение есть вещественное число, можно использовать, чтобы выразить комплексную дробь в канонической форме, то есть избавиться от мнимости в знаменателе. Для этого надо умножить числитель и знаменатель на сопряжённое к знаменателю выражение, например:
Формы представления комплексного числа
Алгебраическая форма
Выше использовалась запись комплексного числа в виде такая запись называется алгебраической формой комплексного числа. Две другие основные формы записи связаны с представлением комплексного числа в полярной системе координат.
Тригонометрическая форма
Если вещественную и мнимую части комплексного числа выразить через модуль и аргумент (то есть , ), то всякое комплексное число , кроме нуля, можно записать в тригонометрической форме:
Как уже сказано выше, для нуля аргумент не определён; для ненулевого числа определяется с точностью до целого кратного
Показательная форма
Фундаментальное значение в комплексном анализе имеет формула Эйлера:
где — число Эйлера, , — косинус и синус, — комплексная экспонента, продолжающая вещественную на случай общего комплексного показателя степени.
Применяя эту формулу к тригонометрической форме, получим показательную форму комплексного числа:
Следствия
- (1) Модуль выражения где число вещественно, равен 1.
- (2) — при существенно комплексном аргументе эти равенства могут служить определением (комплексного) косинуса и синуса.
- (3)
Пример. Представим в тригонометрической и показательной форме число
- (поскольку находится в III координатной четверти).
Отсюда:
Формула Муавра и извлечение корней
Эта формула помогает возводить в целую степень ненулевое комплексное число, представленное в тригонометрической форме. Формула Муавра имеет вид:
где — модуль, а — аргумент комплексного числа. В современной символике она опубликована Эйлером в 1722 году. Приведённая формула справедлива при любом целом , не обязательно положительном.
Аналогичная формула применима также и при вычислении корней -й степени из ненулевого комплексного числа:
где k принимает все целые значения от до . Это значит, что корни -й степени из ненулевого комплексного числа существуют для любого натурального и их количество равно . На комплексной плоскости, как видно из формулы, все эти корни являются вершинами правильного -угольника, вписанного в окружность радиуса с центром в начале координат (см. рисунок).
Главное значение корня
Если в формуле Муавра в качестве аргумента выбрано его главное значение, то значение корня при называется главным значением корня. Например, главное значение корня числа равно
Квадратный корень
Для извлечения квадратного корня из комплексного числа можно преобразовать это число в тригонометрическую форму и воспользоваться формулой Муавра для Но существует и чисто алгебраическое представление для двух значений корня. При корнями из числа является пара чисел: где:
Здесь — (функция «знак»), а радикалы обозначают обычный арифметический корень из неотрицательного вещественного числа. Формула легко проверяется возведением в квадрат. Число является главным значением квадратного корня.
Пример: для квадратного корня из формулы дают два значения:
История
Зарождение понятия комплексного числа исторически было связано с желанием «легализовать» квадратные корни из отрицательных чисел. Как постепенно выяснилось, комплексные числа обладают богатыми алгебраическими и аналитическими свойствами; в частности, извлечение корней из них всегда возможно, хотя и неоднозначно.
Впервые, по-видимому, мнимые величины были упомянуты в труде Кардано «Великое искусство, или об алгебраических правилах» (1545), в рамках формального решения задачи по вычислению двух чисел, сумма которых равна 10, а произведение равно 40. Он получил для этой задачи квадратное уравнение, корни которого: и В комментарии к решению он написал: «эти сложнейшие величины бесполезны, хотя и весьма хитроумны», и «арифметические соображения становятся всё более неуловимыми, достигая предела столь же утончённого, сколь и бесполезного».
Возможность использования мнимых величин при решении кубического уравнения впервые описал (Бомбелли) (1572), он же дал правила сложения, вычитания, умножения и деления комплексных чисел. Уравнение имеет вещественный корень однако по формулам Кардано получаем: Бомбелли обнаружил, что так что сумма этих величин даёт нужный вещественный корень. Он отметил, что в подобных ((неприводимых)) случаях комплексные корни уравнения всегда сопряжены, поэтому в сумме и получается вещественное значение. Разъяснения Бомбелли положили начало успешному применению в математике комплексных чисел.
Выражения, представимые в виде появляющиеся при решении квадратных и кубических уравнений, где стали называть «мнимыми» в XVI—XVII веках с подачи Декарта, который называл их так, отвергая их реальность. Для многих других крупных учёных XVII века природа и право на существование мнимых величин тоже представлялись весьма сомнительными. Лейбниц, например, в 1702 году писал: «Дух божий нашёл тончайшую отдушину в этом чуде анализа, уроде из мира идей, двойственной сущности, находящейся между бытием и небытием, которую мы называем мнимым корнем из отрицательной единицы». Несмотря на эти сомнения, математики уверенно применяли к «мнимым» числам привычные для вещественных величин алгебраические правила и получали корректные результаты.
Долгое время было неясно, все ли операции над комплексными числами приводят к комплексным результатам или же, например, извлечение корня может привести к открытию ещё какого-то нового типа чисел. Задача о выражении корней степени из данного числа была решена в работах Муавра (1707) и Котса (1722).
Символ для обозначения мнимой единицы предложил Эйлер (1777, опубл. 1794), взявший для этого первую букву латинского слова imaginarius — «мнимый». Он же распространил все стандартные функции, включая логарифм, на комплексную область. Эйлер также высказал в 1751 году мысль, что в системе комплексных чисел любой многочлен имеет корень (основная теорема алгебры, до Эйлера сходные предположения высказывали (Альбер Жирар) и Рене Декарт). К такому же выводу пришёл д’Аламбер (1747), но первое строгое доказательство этого факта принадлежит Гауссу (1799). Гаусс и ввёл в широкое употребление термин «комплексное число» в 1831 году (ранее термин использовал в том же смысле французский математик Лазар Карно в 1803 году, но тогда он не получил распространения).
Геометрическое представление комплексных чисел, немало способствовавшее их легализации, предложили в конце XVIII — начале XIX веков сначала (Вессель) и Арган (их работы не привлекли внимания), а затем Гаусс. Арифметическая (стандартная) модель комплексных чисел как пар вещественных чисел была построена Гамильтоном («Теория алгебраических пар», 1837); это доказало непротиворечивость их свойств. Термины «модуль», «аргумент» и «сопряжённое число» ввёл в начале XIX века Коши, значительно продвинувший комплексный анализ. С XIX века началось бурное и чрезвычайно плодотворное развитие исследований функций комплексного переменного.
С учётом этого успешного подхода начались поиски способа представления векторов в трёхмерном пространстве, аналогичное комплексной плоскости. В результате пятнадцатилетних поисков Гамильтон предложил в 1843 году обобщение комплексных чисел — кватернионы, которые он был вынужден сделать не трёхмерными, а четырёхмерными (трёхмерные векторы изображала мнимая часть кватернионов); также Гамильтону пришлось отказаться от коммутативности операции умножения.
В 1893 году (Чарлз Штейнмец) предложил использовать комплексные числа для расчётов электрических цепей переменного тока (см. ниже).
Комплексные функции
Аналитические функции
Комплексная функция одной переменной — это функция , которая определена на некоторой области комплексной плоскости и ставит в соответствие точкам этой области комплексные значения . Примеры:
Каждая комплексная функция может рассматриваться как пара вещественных функций от двух переменных: определяющих её вещественную и мнимую часть соответственно. Функции , называются компонентами комплексной функции Аналогично определяется функция нескольких комплексных переменных.
Наглядное представление комплексной функции графиком затруднительно, так как даже для функции одной комплексной переменной график требует четырёх измерений (два на область определения и ещё два для области значений). Если вместо значения функции рассматривать её модуль то полученный рельеф функции размещается в трёх измерениях и даёт некоторое представление о поведении функции.
Все стандартные функции анализа — многочлен, дробно-линейная функция, степенная функция, экспонента, тригонометрические функции, обратные тригонометрические функции, логарифм — могут быть распространены на комплексную плоскость. При этом для них будут иметь место те же алгебраические, дифференциальные и другие тождества, что и для вещественного оригинала, например:
Для комплексных функций определяются понятия предела, (непрерывности) и производной так же, как в вещественном анализе, с заменой абсолютной величины на комплексный модуль.
Дифференцируемые комплексные функции (то есть функции, имеющие производную) обладают рядом особенностей по сравнению с вещественными.
- Вещественная и мнимая часть дифференцируемой функции — гармонические функции, связанные условиями Коши — Римана.
- Всякая дифференцируемая в некоторой окрестности точки комплексная функция дифференцируема неограниченное число раз в этой точке (то есть аналитична, или голоморфна).
Определённый интеграл для функций одной комплексной переменной, вообще говоря, зависит от пути интегрирования (то есть выбора кривой от начальной до конечной точки в комплексной плоскости). Однако если интегрируемая функция аналитична в односвязной области, то её интеграл внутри этой области не зависит от пути.
Преобразования комплексной плоскости
Всякая комплексная функция может рассматриваться как преобразование комплексной плоскости (или как преобразование одной комплексной плоскости в другую). Примеры:
- — параллельный перенос, определяемый радиус-вектором точки
- где — комплексное число с единичным модулем, — это поворот вокруг начала координат на угол, равный аргументу
- — зеркальное отражение относительно вещественной оси.
Поскольку любое движение на плоскости есть комбинация перечисленных трёх преобразований, функции и дают общее выражение для движения на комплексной плоскости.
Другие линейные преобразования:
- , где — положительное вещественное число, задаёт (растяжение) с коэффициентом , если или сжатие в раз, если
- преобразования и где — произвольные комплексные числа, задают преобразование подобия;
- преобразование где — общий вид аффинного преобразования комплексной плоскости (при преобразование не будет аффинным, так как оно будет вырождать плоскость в прямую).
Важную роль в комплексном анализе играют дробно-линейные преобразования:
При этом (иначе функция вырождается в константу). Характеристическое свойство дробно-линейного преобразования: оно переводит окружности и прямые в окружности и прямые (то есть в так называемые обобщённые окружности, в число которых входят «окружности бесконечного радиуса» — прямые). При этом образом окружности может оказаться прямая, и наоборот.
Среди других практически полезных функций преобразования: инверсия (функция Жуковского). Инверсия, как и дробно-линейное преобразование, переводит обобщённые окружности в обобщённые окружности.
Аналитическая геометрия на комплексной плоскости
Исследование плоских фигур нередко облегчается, если перенести их на комплексную плоскость. Многие теоремы планиметрии допускают наглядную и компактную запись с помощью комплексных чисел, например:
- Три (различные) точки лежат на одной прямой тогда и только тогда, когда выполняется условие:
- является вещественным числом.
- Четыре (различные) точки лежат на одной обобщённой окружности (окружности или прямой) тогда и только тогда, когда выполняется условие:
- отношение является вещественным числом.
- Если даны три вершины параллелограмма: то четвёртая определяется равенством:
(Параметрическое уравнение) прямой на комплексной плоскости имеет вид:
- где — комплексные числа, — произвольный вещественный параметр.
Угол между двумя прямыми и равен В частности, прямые перпендикулярны, только когда — чисто мнимое число. Две прямые параллельны тогда и только тогда, когда есть вещественное число; если при этом также вещественно, то обе прямые совпадают. Каждая прямая рассекает комплексную плоскость на две полуплоскости: на одной из них выражение положительно, на другой — отрицательно.
Уравнение окружности с центром и радиусом имеет чрезвычайно простой вид: Неравенство описывает внутренность окружности (открытый круг). Часто удобна параметрическая форма уравнения окружности:
Место в общей алгебре, топологии и теории множеств
Множество комплексных чисел образует поле, которое является конечным расширением степени 2 поля вещественных чисел Основное алгебраическое свойство — оно алгебраически замкнуто, то есть в нём любой многочлен имеет (комплексные) корни и, следовательно, распадается на линейные множители. Говорят также, что есть алгебраическое замыкание поля
Характеристика комплексного поля равна нулю, мощность как множества та же, что и у поля вещественных чисел, то есть континуум. Теорема Фробениуса установила, что существуют только два тела, являющиеся конечными расширениями — поле комплексных чисел и тело кватернионов.
Превратить поле комплексных чисел в упорядоченное поле невозможно, потому что в упорядоченном поле квадрат любого элемента неотрицателен, и мнимая единица в нём не может существовать.
Из свойств модуля следует, что комплексные числа образуют структуру двумерного нормированного пространства над полем
Поле допускает бесконечно много автоморфизмов, но только один из них (не считая тождественного) оставляет вещественные числа на месте.
Поля и — единственные связные локально компактные топологические поля.
Некоторые практические применения
Те особенности комплексных чисел и функций, которые отличают их от вещественных, оказались полезными, а часто и незаменимыми в математике, в естественных науках и технике.
Математика
Приложения комплексных чисел сами по себе занимают видное место в математике — в частности, понятия алгебраических чисел, нахождение корней многочленов, теория Галуа, комплексный анализ и т. д.
Перенеся геометрическую задачу с обычной плоскости на комплексную, мы нередко получаем возможность значительно упростить её решение.
Многие сложные задачи теории чисел (например, теория (биквадратичных вычетов)) и вещественного математического анализа (например, вычисление сложных или несобственных интегралов) удалось решить только с помощью средств комплексного анализа. Мощным инструментом для открытий в теории чисел оказались, например, (гауссовы числа) вида где — целые числа. Для исследования распределения простых чисел понадобилась комплексная дзета-функция Римана.
Нередко проблемы вещественного анализа проясняются при их комплексном обобщении. Классический пример — разложение в ряд Тейлора
Этот ряд сходится только в интервале , хотя точки не являются какими-то особенными для приведённой функции. Положение проясняется при переходе к функции комплексного переменного у которой обнаруживаются две особые точки: полюса Соответственно, эту функцию можно разложить в ряд только в круге единичного радиуса.
При решении линей