Комплексное число

Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Комплексное число можно визуально представить в виде пары чисел ( a ,  b ), образующих вектор на диаграмме, называемой диаграммой Аргана , представляющей комплексную плоскость . - действительная ось, - это мнимая ось, а i - « мнимая единица », которая удовлетворяет i 2 = -1 .

Комплексное число , это число , которое может быть выражено в виде + би , где и б являются действительными числами , а я представляет собой « мнимую единицу », удовлетворяющий уравнению я 2 = -1 . Поскольку никакое действительное число не удовлетворяет этому уравнению, i называется мнимым числом . Для комплексного числа a + bi , a называется действительной частью, а b называется мнимой частью.. Множество комплексных чисел обозначается либо из символов или C . Несмотря на историческую номенклатуру «мнимого», комплексные числа считаются в математических науках такими же «реальными», как и действительные числа, и являются фундаментальными во многих аспектах научного описания мира природы. [1] [2] [3] [4] [a]

Комплексные числа позволяют решать некоторые уравнения, не имеющие решений в действительных числах. Например, уравнение

не имеет реального решения, так как квадрат действительного числа не может быть отрицательным. Однако комплексные числа позволяют решить эту проблему. Идея состоит в том, чтобы расширить действительные числа с помощью неопределенного i (иногда называемого мнимой единицей), взятого для удовлетворения соотношению i 2 = −1 , чтобы можно было найти решения для уравнений, подобных предыдущему. В этом случае решениями являются −1 + 3 i и −1-3 i , что можно проверить, используя тот факт, что i 2 = −1 :

Согласно основной теореме алгебры , все полиномиальные уравнения с действительными или комплексными коэффициентами от одной переменной имеют решение в комплексных числах. Напротив, некоторые полиномиальные уравнения с действительными коэффициентами не имеют решения в действительных числах. Итальянскому математику 16-го века Джероламо Кардано приписывают введение комплексных чисел в его попытки найти решения кубических уравнений . [6]

Формально комплексную систему счисления можно определить как алгебраическое расширение обычных действительных чисел мнимым числом i . [7] ( §VIII.1 ) Это означает, что комплексные числа можно складывать, вычитать и умножать как полиномы от переменной i по правилу i 2 = −1 . Кроме того, комплексные числа также можно разделить на ненулевые комплексные числа. [3] В целом комплексная система счисления - это поле .

С геометрической точки зрения комплексные числа расширяют понятие одномерной числовой прямой до двухмерной комплексной плоскости , используя горизонтальную ось для действительной части и вертикальную ось для мнимой части. Комплексное число a + bi можно отождествить с точкой ( a ,  b ) на комплексной плоскости. Комплексное число, действительная часть которого равна нулю, называется чисто мнимым., а точки этих чисел лежат на вертикальной оси комплексной плоскости. Точно так же комплексное число, мнимая часть которого равна нулю, можно рассматривать как действительное число, точка которого лежит на горизонтальной оси комплексной плоскости. Комплексные числа также могут быть представлены в полярной форме, которая связывает каждое комплексное число с его расстоянием от начала координат (его величиной) и определенным углом, известным как аргумент комплексного числа.

Геометрическая идентификация комплексных чисел с комплексной плоскостью, которая является евклидовой плоскостью ( 2 ) , делает очевидной их структуру как реальное двумерное векторное пространство . Действительная и мнимая части комплексного числа могут быть взяты как компоненты вектора относительно канонического стандартного базиса.. Таким образом, сложение комплексных чисел сразу же изображается как обычное покомпонентное сложение векторов. Однако комплексные числа позволяют использовать более богатую алгебраическую структуру, включающую дополнительные операции, которые не обязательно доступны в векторном пространстве. Например, умножение двух комплексных чисел всегда снова дает комплексное число, и его не следует принимать за обычные «произведения», включающие векторы, такие как скалярное умножение , скалярное произведение или другие (полуторные) линейные формы , доступные во многих векторных пространствах. ; а широко используемый векторный продукт существует только в форме, зависящей от ориентации, в трех измерениях.

Определение [ править ]

Иллюстрация комплексного числа z = x + iy на комплексной плоскости . Действительная часть - x , а мнимая часть - y .

Комплексное число - это число в форме a + bi , где a и b - действительные числа , а i - неопределенное число, удовлетворяющее i 2 = −1 . Например, 2 + 3 i - комплексное число. [8] [3]

Таким образом, комплексное число определяется как многочлен с действительными коэффициентами в единственном неопределенном i , для которого устанавливается соотношение i 2 + 1 = 0 . На основе этого определения комплексные числа можно складывать и умножать, используя сложение и умножение многочленов. Соотношение i 2 + 1 = 0 индуцирует равенства i 4 k = 1, i 4 k +1 = i , i 4 k +2 = −1 и i 4 k +3 = - i ,которые верны для всех целых k ; они позволяют уменьшить любой многочлен, полученный в результате сложения и умножения комплексных чисел, до линейного многочлена от i , опять же формы a + bi с действительными коэффициентами a, b.

Действительное число a называется действительной частью комплексного числа a + bi ; действительное число b называется его мнимой частью . Подчеркнем, что мнимая часть не включает фактор i ; то есть мнимая часть - это b , а не bi . [9] [10] [3]

Формально комплексные числа определяются как фактор - кольца из кольца многочленов в неопределенном I , в идеале , порожденном многочлен I 2 + 1 (см ниже ). [7] ( §VIII.1 )

Обозначение [ править ]

Действительное число a можно рассматривать как комплексное число a + 0 i , мнимая часть которого равна 0. Чисто мнимое число bi - это комплексное число 0 + bi , действительная часть которого равна нулю. Как и в случае с многочленами, принято писать a для a + 0 i и bi для 0 + bi . Более того, когда мнимая часть отрицательна, то есть b = - | b | <0 , обычно пишут a - | b | i вместо a + (- | b | ) i; например, для Ь = -4 , 3 - 4 я можно записать вместо 3 + (-4) I .

Поскольку умножение неопределенного i и действительного числа коммутативно в многочленах с действительными коэффициентами, многочлен a + bi может быть записан как a + ib . Это часто целесообразно для мнимых частей, обозначенных выражениями, например, когда b - радикал. [11]

Действительная часть комплексного числа г обозначается Re ( г ) , или ℜ ( г ) ; мнимая часть комплексного числа г обозначим через Im ( г ) , или ℑ ( г ) . [2] Например,

Множество всех комплексных чисел обозначается ( доске жирным шрифтом ) или C ( в вертикальном положении выделены жирным шрифтом). [2]

В некоторых дисциплинах, особенно в электромагнетизме и электротехнике , j используется вместо i, поскольку i часто используется для представления электрического тока . [12] В этих случаях комплексные числа записываются как a + bj или a + jb .

Визуализация [ править ]

Комплексное число z в виде точки (красный) и его вектора положения (синий)

Таким образом, комплексное число z можно отождествить с упорядоченной парой действительных чисел, которые, в свою очередь, можно интерпретировать как координаты точки в двумерном пространстве. Самое непосредственное пространство евклидовой плоскости с соответствующими координатами, который затем называется комплексной плоскостью или Аргана диаграмма , [13] [б] [14] назван в честь Жан-Роберт Аргана . Еще одно видное пространство, на которое могут быть спроецированы координаты, - это двумерная поверхность сферы, которую затем называют сферой Римана .

Декартова комплексная плоскость [ править ]

Определение комплексных чисел, включающих два произвольных действительных значения, сразу предполагает использование декартовых координат в комплексной плоскости. Горизонтальная ( действительная ) ось обычно используется для отображения реальной части с увеличивающимися значениями вправо, а мнимая часть отмечает вертикальную ( мнимую ) ось с увеличивающимися значениями вверх.

Число на карте можно рассматривать либо как координированную точку, либо как вектор положения от исходной точки до этой точки. Значения координат комплексного числа z, следовательно, могут быть выражены в его декартовой , прямоугольной или алгебраической форме.

Примечательно, что операции сложения и умножения принимают очень естественный геометрический характер, когда комплексные числа рассматриваются как векторы положения: сложение соответствует сложению векторов , а умножение (см. Ниже ) соответствует умножению их величин и сложению углов, которые они образуют с реальная ось. С этой точки зрения умножение комплексного числа на i соответствует повороту вектора положения против часовой стрелки на четверть оборота ( 90 ° ) вокруг начала координат - факт, который можно алгебраически выразить следующим образом:

Полярная комплексная плоскость [ редактировать ]

Аргумент φ и модуль r определяют точку на комплексной плоскости.

Модуль и аргумент [ править ]

Альтернативным вариантом для координат в комплексной плоскости является полярная система координат, которая использует расстояние между точкой z от начала координат ( O ) и угол между положительной действительной осью и отрезком линии Oz в направлении против часовой стрелки. Это приводит к полярной форме комплексных чисел.

Абсолютное значение (или модуль или величину ) комплексного числа г = х + уг является [15]

Если z - действительное число (то есть, если y = 0 ), то r = | х | . То есть абсолютное значение действительного числа равно его абсолютному значению как комплексного числа.

По теореме Пифагора абсолютное значение комплексного числа - это расстояние до начала координат точки, представляющей комплексное число на комплексной плоскости .

Аргумент из г (во многих применениях , указанных в качестве «фазы» ф ) [14] представляет собой угол радиуса Oz с положительной вещественной осью, и записывается как аргумент г . Как и в случае с модулем, аргумент можно найти из прямоугольной формы x + yi [16] - применяя арктангенс к отношению мнимых частей к действительным. Используя тождество половинного угла, одной ветви arctan достаточно, чтобы покрыть диапазон arg -функции, (- π , π ] , и позволяет избежать более тонкого индивидуального анализа.

Обычно, как указано выше, выбирается главное значение в интервале (- π , π ] . Значения в диапазоне [0, 2 π ) получаются путем добавления 2 π - если значение отрицательное. В этой статье значение φ выражается в радианах . Он может увеличиваться на любое целое число, кратное 2 π, и по-прежнему давать тот же угол, рассматриваемый как покрытый лучами положительной действительной оси и от начала координат до z . Следовательно, функцию arg иногда считают многозначной.. Полярный угол для комплексного числа 0 не определен, но произвольный выбор полярного угла 0 является обычным явлением.

Значение φ равно результату atan2 :

Вместе r и φ дают другой способ представления комплексных чисел, полярную форму , поскольку комбинация модуля и аргумента полностью определяет положение точки на плоскости. Восстановление исходных прямоугольных координат из полярной формы выполняется по формуле, называемой тригонометрической формой

Используя формулу Эйлера, это можно записать как

Используя функцию cis , это иногда сокращается до

В угловых обозначениях , часто используемых в электронике для представления вектора с амплитудой r и фазой φ , он записывается как [17]

Сложные графики [ править ]

График цветового круга выражения ( г 2 - 1) ( г - 2 - я ) 2/г 2 + 2 + 2 я

При визуализации сложных функций необходимы как сложный ввод, так и вывод. Поскольку каждое комплексное число представлено в двух измерениях, визуальное отображение сложной функции потребует восприятия четырехмерного пространства , что возможно только в проекциях. Из-за этого были разработаны другие способы визуализации сложных функций.

При раскраске домена выходные размеры представлены цветом и яркостью соответственно. Каждая точка комплексной плоскости как домена украшена орнаментом , обычно цветом, представляющим аргумент комплексного числа, и яркостью, представляющей величину. Темные пятна обозначают модули, близкие к нулю, более яркие пятна находятся дальше от начала координат, градация может быть прерывистой, но предполагается монотонной. Цвета часто меняются в зависимости отπ/3от 0 до 2 π от красного, желтого, зеленого, голубого, синего до пурпурного. Эти графики называются графиками цветового круга . Это обеспечивает простой способ визуализации функций без потери информации. На рисунке показаны нули для ± 1, (2 + i ) и полюсы при ± −2 −2 i .

Римановы поверхности - еще один способ визуализировать сложные функции. [ требуется дальнейшее объяснение ] Римановы поверхности можно рассматривать как деформации комплексной плоскости; в то время как горизонтальные оси представляют реальные и мнимые входные данные, единственная вертикальная ось представляет только реальный или мнимый выход. Однако римановы поверхности построены таким образом, что их поворот на 180 градусов показывает воображаемый результат, и наоборот. В отличие от раскраски областей, римановы поверхности могут представлять многозначные функции типа z .

История [ править ]

Решение в радикалах (без тригонометрических функций ) общего кубического уравнения содержит квадратные корни из отрицательных чисел, когда все три корня являются действительными числами, ситуацию, которая не может быть исправлена ​​путем факторизации с помощью проверки рационального корня, если кубика неприводима ( так называемый casus unducibilis ). Эта загадка привела к тому, что итальянский математик Джероламо Кардано придумал комплексные числа примерно в 1545 году [18], хотя его понимание было элементарным.

Работа над проблемой общих многочленов в конечном итоге привела к фундаментальной теореме алгебры , которая показывает, что с комплексными числами решение существует для любого полиномиального уравнения степени один или выше. Таким образом, комплексные числа образуют алгебраически замкнутое поле , в котором любое полиномиальное уравнение имеет корень .

Многие математики внесли свой вклад в разработку комплексных чисел. Правила сложения, вычитания, умножения и извлечения корня из комплексных чисел были разработаны итальянским математиком Рафаэлем Бомбелли . [19] Более абстрактный формализм для комплексных чисел был развит ирландским математиком Уильямом Роуэном Гамильтоном , который распространил эту абстракцию на теорию кватернионов . [20]

Самая ранняя мимолетная ссылку на квадратные корни из отрицательных чисел , возможно , можно сказать , что произойдет в работе греческого математика Героя Александрии в веке 1 г. н.э. , где в его Stereometrica он считает, по- видимому , по ошибке, объем невозможных усеченным из пирамиды , чтобы прибыть на срок 81 - 144 = 3 я 7 в своих расчетах, хотя отрицательные величины не мыслится в эллинистической математике и герой просто заменил его своей положительной ( 144 - 81= 3 7 ) . [21]

Стимул к изучению комплексных чисел как самостоятельной темы впервые возник в 16 веке, когда итальянскими математиками были открыты алгебраические решения для корней кубических и четверных многочленов (см. Никколо Фонтана Тарталья , Джероламо Кардано ). Вскоре было осознано (но доказано гораздо позже) [22], что эти формулы, даже если интересовались только действительными решениями, иногда требовали манипуляции с квадратными корнями из отрицательных чисел. Например, формула Тартальи для кубического уравнения вида x 3 = px + q [c] дает решение уравненияx 3 = x как

На первый взгляд, это чушь. Однако формальные вычисления с комплексными числами показывают, что уравнение z 3 = i имеет решения - i ,3 + я/2 и - 3 + я/2. Подставляя их по очереди вместо -1 1/3 в кубической формуле Тартальи и упрощая, получаем 0, 1 и −1 как решения x 3 - x = 0 . Конечно, это конкретное уравнение можно решить с первого взгляда, но оно показывает, что, когда общие формулы используются для решения кубических уравнений с действительными корнями, тогда, как неукоснительно показали более поздние математики, [d] использование комплексных чисел неизбежно . Рафаэль Бомбелли был первым, кто обратился к этим, казалось бы, парадоксальным решениям кубических уравнений, и разработал правила сложной арифметики, пытаясь разрешить эти проблемы.

Термин «мнимые» для этих величин был введен Рене Декартом в 1637 году, хотя он старался подчеркнуть их воображаемую природу [23].

... иногда только воображаемый, то есть можно представить столько, сколько я сказал в каждом уравнении, но иногда не существует количества, которое соответствует тому, что мы представляем.
[ ... quelquefois seulement imaginaires c'est-à-dire que l'on peut toujours en imaginer autant que j'ai dit en chaque équation, mais qu'il n'y a qu'il n'y a quelquefois aucune Quantité qui correde à celle qu'on представлять себе. ]

Еще одним источником путаницы было то, что уравнение -1 2 = -1-1 = -1 казалось капризным несовместимым с алгебраическим тождеством ab = ab , которое справедливо для неотрицательных действительных чисел a и b , который также использовался в вычислениях комплексных чисел с одним из a , b положительным и другим отрицательным. Неправильное использование этого удостоверения (и связанного удостоверения1/а= 1/а) в случае, когда и a, и b отрицательны, даже озадачил Эйлера. Эта трудность в конечном итоге привела к соглашению об использовании специального символа i вместо −1 для защиты от этой ошибки. [ необходима цитата ] Тем не менее, Эйлер считал естественным знакомить студентов с комплексными числами намного раньше, чем мы делаем это сегодня. В своем учебнике элементарной алгебры « Элементы алгебры» он вводит эти числа почти сразу, а затем использует их естественным образом.

В 18 веке комплексные числа получили более широкое распространение, поскольку было замечено, что формальные манипуляции со сложными выражениями могут использоваться для упрощения вычислений с использованием тригонометрических функций. Например, в 1730 году Абрахам де Муавр заметил, что сложные тождества, связывающие тригонометрические функции целого кратного угла со степенями тригонометрических функций этого угла, могут быть просто перевыражены следующей хорошо известной формулой, носящей его имя: de Формула Муавра :

В 1748 году Леонард Эйлер пошел дальше и получил формулу Эйлера из комплексного анализа : [24]

формально манипулируя сложными степенными рядами, и заметил, что эту формулу можно использовать для сведения любого тригонометрического тождества к гораздо более простым экспоненциальным тождествам.

Идея комплексного числа как точки на комплексной плоскости (см. Выше ) была впервые описана Каспаром Весселем в 1799 г. [25], хотя ее предвосхищали еще в 1685 г. в « Трактате по алгебре» Уоллиса . [26]

Мемуары Весселя были опубликованы в Proceedings of the Copenhagen Academy, но остались практически незамеченными. В 1806 году Жан-Робер Арган независимо выпустил брошюру о комплексных числах и предоставил строгое доказательство основной теоремы алгебры . [27] Карл Фридрих Гаусс ранее опубликовал по существу топологическое доказательство теоремы в 1797 году, но в то время выразил свои сомнения относительно «истинной метафизики квадратного корня из -1». [28] Лишь в 1831 году он преодолел эти сомнения и опубликовал свой трактат о комплексных числах как точках на плоскости, [29] [30] ( стр. 638 ) в значительной степени устанавливая современные обозначения и терминологию.

Если раньше кто-то рассматривал этот предмет с ложной точки зрения и, следовательно, обнаружил таинственную тьму, это в значительной степени связано с неуклюжей терминологией. Если бы кто-то не назвал +1, −1, −1 положительными, отрицательными или мнимыми (или даже невозможными) единицами, а, скажем, прямыми, обратными или боковыми единицами, то вряд ли можно было бы говорить о такой темноте. - Гаусс (1831 г.) [30] ( стр. 638 ) [29]

В начале 19 века другие математики независимо друг от друга открыли геометрическое представление комплексных чисел: Буэ, [31] [32] Мурей , [33] Уоррен , [34] Франсэ и его брат Беллавитис . [35] [36]

Английский математик Дж. Х. Харди заметил, что Гаусс был первым математиком, который использовал комплексные числа «действительно уверенным и научным способом», хотя математики, такие как Нильс Хенрик Абель и Карл Густав Джейкоб Якоби, обязательно использовали их регулярно до того, как Гаусс опубликовал свой трактат 1831 года. [37]

Огюстен Луи Коши и Бернхард Риман вместе довели фундаментальные идеи комплексного анализа до высокого уровня завершения, начиная с 1825 года в случае Коши.

Общие термины, используемые в теории, в основном принадлежат основателям. Арганд называемые сов φ + я грех φ на фактор направления , а г = 2 + Ь 2 модуля ; [е] [39] Коши (1821) называется сов φ + я грех φ в восстановленной форме (выражение réduite l') [40] и , видимо , ввел термин аргумент ; Гаусс использовал i для -1 ,[F] ввел термин комплексное число для более + би , [г] и называется 2 + Ь 2 нормой . [ч] Выражение коэффициент направления , часто используется для COS φ + я грех ф , связано с Ганкелем (1867), [41] , и абсолютное значение, по модулю, происходит изза Вейерштрассом.

Среди более поздних классиков общей теории - Ричард Дедекинд , Отто Гёльдер , Феликс Кляйн , Анри Пуанкаре , Герман Шварц , Карл Вейерштрасс и многие другие.

Отношения и операции [ править ]

Равенство [ править ]

Комплексные числа имеют такое же определение равенства, что и действительные числа; два комплексных числа a 1 + b 1 i и a 2 + b 2 i равны тогда и только тогда, когда их действительная и мнимая части равны, то есть если a 1 = a 2 и b 1 = b 2 . Ненулевые комплексные числа, записанные в полярной форме , равны тогда и только тогда, когда они имеют одинаковую величину и их аргументы различаются на целое число, кратное 2 π .

Заказ [ править ]

В отличие от действительных чисел, комплексные числа не упорядочиваются естественным образом. В частности, в комплексных числах отсутствует линейный порядок , совместимый со сложением и умножением - комплексные числа не могут иметь структуру упорядоченного поля. Это, например, потому, что любая нетривиальная сумма квадратов в упорядоченном поле равна 0 , а i 2 + 1 2 = 0 - нетривиальная сумма квадратов. Таким образом, комплексные числа естественным образом считаются существующими в двумерной плоскости.

Конъюгировать [ править ]

Геометрическое представление z и сопряженного с ним z на комплексной плоскости

Комплексно сопряженное комплексного числа г = х + уг задается х - уг . Обозначается буквой z или z * . [42] Эта унарная операция над комплексными числами не может быть выражена путем применения только их основных операций сложения, вычитания, умножения и деления.

Геометрический г является «отражением» от г относительно вещественной оси. Двойное спряжение дает исходное комплексное число

что делает эту операцию инволюцией . Отражение оставляет неизменными действительную часть и величину z , т. Е.

и

Мнимая часть и аргумент комплексного числа z меняют знак при сопряжении

Подробнее об аргументе и величине см. В разделе о полярной форме .

Произведение комплексного числа z = x + yi и сопряженного с ним числа называется абсолютным квадратом . Это всегда положительное действительное число, равное квадрату величины каждого:

Это свойство можно использовать для преобразования дроби со сложным знаменателем в эквивалентную дробь с действительным знаменателем путем расширения числителя и знаменателя дроби на сопряжение данного знаменателя. Этот процесс иногда называют « рационализацией » знаменателя (хотя знаменатель в конечном выражении может быть иррациональным действительным числом), потому что он напоминает метод удаления корней из простых выражений в знаменателе.

Действительная и мнимая части комплексного числа z могут быть извлечены с помощью сопряжения:

Более того, комплексное число реально тогда и только тогда, когда оно равно своему собственному сопряженному.

Сопряжение распределяет по основным сложным арифметическим операциям:

Сопряжение также используется в инверсивной геометрии - области геометрии, изучающей более общие отражения, чем отражения от линии. В сетевом анализе электрических цепей комплексное сопряжение используется для нахождения эквивалентного импеданса, когда ищется теорема о максимальной передаче мощности .

Сложение и вычитание [ править ]

Сложить два комплексных числа можно геометрически, построив параллелограмм.

Два комплексных числа a и b сложить проще всего , сложив их действительную и мнимую части слагаемых по отдельности. То есть:

Точно так же вычитание может быть выполнено как

Используя визуализацию комплексных чисел на комплексной плоскости, сложение имеет следующую геометрическую интерпретацию: сумма двух комплексных чисел a и b , интерпретируемых как точки на комплексной плоскости, является точкой, полученной путем построения параллелограмма из трех вершин O , и точки стрелок, помеченных a и b (при условии, что они не находятся на прямой). Эквивалентно, называть эти точки A , B , соответственно , и четвертую точку параллелограмма X на треугольники ОАВ и Xba являются конгруэнтны. Визуализация вычитания может быть достигнута путем рассмотрения добавления отрицательного вычитаемого .

Умножение [ править ]

Поскольку действительная часть, мнимая часть и неопределенное i в комплексном числе рассматриваются как числа сами по себе, два комплексных числа, заданные как z = x + yi и w = u + vi , умножаются по правилам распределительного свойство , коммутативные свойства и определяющее свойство i 2 = −1 следующим образом

Взаимное и разделение [ править ]

Используя сопряжение, обратная величина ненулевого комплексного числа z = x + yi всегда может быть разбита на

поскольку ненулевое значение означает, что x 2 + y 2 больше нуля.

Это может быть использовано для выражения деления произвольного комплексного числа w = u + vi на ненулевое комплексное число z как

Умножение и деление в полярной форме [ править ]

Умножение 2 + i (синий треугольник) и 3 + i (красный треугольник). Красный треугольник поворачивается так, чтобы соответствовать вершине синего, и растягиваться на √ 5 , длину гипотенузы синего треугольника.

Формулы для умножения, деления и возведения в степень проще в полярной форме, чем соответствующие формулы в декартовых координатах. Даны два комплексных числа z 1 = r 1 (cos  φ 1 + i  sin  φ 1 ) и z 2 = r 2 (cos  φ 2 + i  sin  φ 2 ) в силу тригонометрических тождеств

мы можем получить

Другими словами, абсолютные значения умножаются, а аргументы складываются, чтобы получить полярную форму продукта. Например, умножение на i соответствует четверти оборота против часовой стрелки, что дает i 2 = −1 . Картинка справа иллюстрирует умножение

Поскольку действительная и мнимая части 5 + 5 i равны, аргумент этого числа равен 45 градусам или π / 4радианах ). С другой стороны, это также сумма углов в начале координат красного и синего треугольников: arctan (1/3) и arctan (1/2), соответственно. Таким образом, формула

держит. Поскольку функция arctan может быть аппроксимирована очень эффективно, такие формулы - известные как формулы типа Мачина - используются для высокоточных приближений π .

Точно так же деление дается

Квадратный корень [ править ]

Квадратные корни из a + bi (при b ≠ 0 ) равны , где

и

где sgn - сигнум- функция. Это можно увидеть, возведя в квадрат для получения a + bi . [43] [44] Здесь называется модуль из + би , а корень квадратный знак указывает на квадратный корень с неотрицательной вещественной частью, называется главным квадратным корнем ; также где z = a + bi . [45]

Экспоненциальная функция [ править ]

Экспоненциальная функция может быть определена для каждого комплексного числа г в степенной ряд

имеющий бесконечный радиус сходимости .

Значение 1 экспоненциальной функции - это число Эйлера.

Если z вещественно, аналитическое продолжение позволяет расширить это равенство для каждого комплексного значения z и, таким образом, определить комплексное возведение в степень с основанием e как

Функциональное уравнение [ править ]

Экспоненциальная функция удовлетворяет функциональному уравнению. Это можно доказать либо путем сравнения разложения обоих членов в степенной ряд, либо путем применения аналитического продолжения от ограничения уравнения к действительным аргументам.

Формула Эйлера [ править ]

Формула Эйлера утверждает, что для любого действительного числа y ,

Таким образом, из функционального уравнения следует, что если x и y действительны, то

которая представляет собой разложение экспоненциальной функции на действительную и мнимую части.

Комплексный логарифм [ править ]

В реальном случае натуральный логарифм может быть определен как величина, обратная экспоненциальной функции. Чтобы распространить это на комплексную область, можно начать с формулы Эйлера. Это означает, что если комплексное число записано в полярной форме

с потом с

в качестве комплексного логарифма есть собственно обратный:

Однако, поскольку косинус и синус являются периодическими функциями, добавление к φ целого числа, кратного 2 π , не изменяет z . Например, e = e 3 = -1 , поэтому как , так и 3 являются возможными значениями натурального логарифма −1 .

Следовательно, если комплексный логарифм не следует определять как многозначную функцию

нужно использовать разрез ветвей и ограничить область значений , в результате чего получится биективная функция

Если не является неположительным действительным числом (положительным или не действительным числом), результирующее главное значение комплексного логарифма получается с - π < φ < π . Это аналитическая функция за пределами отрицательных действительных чисел, но ее нельзя продолжить до функции, которая является непрерывной для любого отрицательного действительного числа , где главное значение равно ln z = ln (- z ) + . [я]

Возведение в степень [ править ]

Если x > 0 вещественное, а z комплексное, возведение в степень определяется как

где ln обозначает натуральный логарифм.

Кажется естественным распространить эту формулу на комплексные значения x , но возникают некоторые трудности, связанные с тем, что комплексный логарифм на самом деле не функция, а многозначная функция .

Отсюда следует, что если z такое же, как указано выше, и если t - другое комплексное число, то возведение в степень - это многозначная функция

Целочисленные и дробные показатели [ править ]

Геометрическое представление корней 2–6 комплексного числа z в полярной форме re iφ, где r = | z  | и φ = arg z . Если z вещественное число, φ = 0 или π . Основные корни показаны черным.

Если в предыдущей формуле t - целое число, то синус и косинус не зависят от k . Таким образом, если показатель степени n является целым числом, тогда z n хорошо определено, и формула возведения в степень упрощается до формулы де Муавра :

П п й корни из комплексного числа г задается

для 0 ≤ kn - 1 . (Вот обычный (положительный) корень n- й степени из положительного действительного числа r .) Поскольку синус и косинус периодичны, другие целые значения k не дают других значений.

Хотя корень n- й степени положительного действительного числа r выбран как положительное действительное число c, удовлетворяющее c n = r , естественного способа отличить один конкретный комплексный корень n- й степени комплексного числа не существует. Следовательно, корень n- й степени является n- значной функцией от z . Это означает, что, в отличие от положительных действительных чисел,

так как левая часть состоит из n значений, а правая часть - это одно значение.

Свойства [ править ]

Структура поля [ править ]

Набор комплексных чисел представляет собой поле . [46] Вкратце, это означает, что верны следующие факты: во-первых, любые два комплексных числа можно сложить и умножить, чтобы получить другое комплексное число. Во-вторых, для любого комплексного числа z его аддитивный обратный - z также является комплексным числом; и, в-третьих, каждое ненулевое комплексное число имеет обратное комплексное число. Более того, эти операции удовлетворяют ряду законов, например закону коммутативности сложения и умножения для любых двух комплексных чисел z 1 и z 2 :

Эти два закона и другие требования к полю можно доказать с помощью приведенных выше формул, используя тот факт, что действительные числа сами по себе образуют поле.

В отличие от вещественных чисел, не является упорядоченным полем , то есть невозможно определить отношение z 1 < z 2 , совместимое со сложением и умножением. Фактически, в любом упорядоченном поле квадрат любого элемента обязательно положителен, поэтому i 2 = −1 исключает существование упорядочения на . [47]

Когда базовым полем математической темы или конструкции является поле комплексных чисел, название темы обычно изменяется, чтобы отразить этот факт. Например: комплексный анализ , комплексная матрица , комплексный многочлен и комплексная алгебра Ли .

Решения полиномиальных уравнений [ править ]

Для любых комплексных чисел (называемых коэффициентами ) a 0 , ...,  a n уравнение

имеет хотя бы одно комплексное решение z при условии, что хотя бы один из старших коэффициентов a 1 , ...,  a n отличен от нуля. [7] ( VIII.1 ) Это утверждение основной теоремы алгебры , из Гаусс и Д'Аламбера . В связи с этим поле называется алгебраически замкнутым полем . Это свойство не выполняется для поля рациональных чисел (многочлен x 2 - 2 не имеет рационального корня, поскольку √ 2не является рациональным числом), ни действительными числами (многочлен x 2 + a не имеет действительного корня при a > 0 , поскольку квадрат x положителен для любого действительного числа x ).

Существуют различные доказательства этой теоремы либо аналитическими методами, такими как теорема Лиувилля , либо топологическими методами, такими как число поворота , либо доказательством, сочетающим теорию Галуа и тот факт, что любой действительный многочлен нечетной степени имеет хотя бы один действительный корень.

По этой причине к применимы теоремы, справедливые для любого алгебраически замкнутого поля . Например, любая непустая комплексная квадратная матрица имеет хотя бы одно (комплексное) собственное значение .

Алгебраическая характеристика [ править ]

Поле имеет следующие три свойства:

  • Во-первых, он имеет характеристику 0. Это означает, что 1 + 1 + ⋯ + 1 ≠ 0 для любого количества слагаемых (все из которых равны одному).
  • Во- вторых, его степень трансцендентности над , то простое поле из , является мощность континуума .
  • В-третьих, он алгебраически замкнут (см. Выше).

Можно показать , что любое поле , имеющее эти свойства является изоморфно (как поле) , чтобы . Например, алгебраическое замыкание поля ℚ p также удовлетворяет этим трем свойствам, поэтому эти два поля изоморфны (как поля, но не как топологические поля). [48] Кроме того, изоморфно полю комплексных рядов Пюизо . Однако для задания изоморфизма требуется аксиома выбора . Другим следствием этой алгебраической характеристики является то , что содержит много правильных подполя, которые изоморфны .

Характеристика как топологическое поле [ править ]

Предшествующая характеристика описывает только алгебраические аспекты . Иными словами, свойства близости и непрерывности , которые имеют значение в таких областях, как анализ и топология , не рассматриваются. Следующее ниже описание как топологического поля (то есть поля, снабженного топологией , допускающей понятие сходимости) действительно учитывает топологические свойства. содержит подмножество P (а именно множество положительных действительных чисел) ненулевых элементов, удовлетворяющих следующим трем условиям:

  • P замкнут относительно сложения, умножения и взятия обратных.
  • Если х и у являются отдельными элементами P , то либо х - у или у - х в Р .
  • Если S - любое непустое подмножество P , то S + P = x + P для некоторого x из .

Кроме того, имеет ненулевой инволютивный автоморфизм х н- х * (а именно комплексное сопряжение), такое , что х х * находится в P для любого ненулевых х в .

Любое поле F с этими свойствами можно снабдить топологией, взяв множества B ( x ,  p ) = {  y | р - ( у - х ) ( у - х ) * ∈ P  }  в качестве основания , где х пробегает поле и р пробегает Р . С помощью этой топологии F изоморфно как топологическое поле для .

Единственный связанные локально компактные топологические поля являются и . Это дает еще одну характеристику как топологическое поле, так как можно отличить от , так как от нуля комплексных числа соединены , в то время как действительные числа , отличные от нуля не являются. [7] ( §VIII.4 )

Формальная конструкция [ править ]

Строительство в виде упорядоченных пар [ править ]

Уильям Роуэн Гамильтон представил подход для определения набора комплексных чисел [49] в качестве множества 2 из упорядоченных пар ( ,  б ) действительных чисел, в которых наложены следующие правила сложения и умножения: [46]

Тогда это просто вопрос обозначений, чтобы выразить ( a ,  b ) как a + bi .

Строительство как поле частного [ править ]

Хотя эта низкоуровневая конструкция действительно точно описывает структуру комплексных чисел, следующее эквивалентное определение сразу раскрывает алгебраическую природу . Эта характеристика основана на понятии полей и многочленов. Поле - это набор, наделенный операциями сложения, вычитания, умножения и деления, которые ведут себя так же, как, например, по рациональным числам. Например, закон распределения

должно выполняться для любых трех элементов x , y и z поля. Множество действительных чисел действительно образует поле. Многочлен p ( X ) с действительными коэффициентами - это выражение вида

где a 0 , ...,  a n - действительные числа. Обычное сложение и умножение многочленов наделяет множество ℝ [ X ] всех таких многочленов кольцевой структурой. Это кольцо называется кольцом многочленов над действительными числами.

Набор комплексных чисел определяется как факторкольцо ℝ [ X ] / ( X 2 + 1) . [7] ( §VIII.1 ) Это поле расширения содержит два квадратных корня из −1 , а именно ( смежные классы ) X и - X соответственно. (Смежные классы) 1 и X образуют базис ℝ [ X ] / ( X 2 + 1) как вещественное векторное пространство , что означает, что каждый элемент поля расширения может быть однозначно записан как линейная комбинацияв этих двух элементах. Эквивалентно, элементы поля расширения могут быть записаны как упорядоченные пары ( a ,  b ) действительных чисел. Фактор - кольцо представляет собой поле, так как X 2 + 1 является неприводимым над , поэтому идеал он генерирует является максимальным .

Формулы сложения и умножения в кольце ℝ [ X ] по модулю отношения X 2 = −1 соответствуют формулам сложения и умножения комплексных чисел, определенных как упорядоченные пары. Таким образом, два определения поля являются изоморфными (как поля).

Признание того, что алгебраически замкнуто, так как он является алгебраическим расширением из в этом подходе, поэтому является алгебраическим замыканием в .

Матричное представление комплексных чисел [ править ]

Комплексные числа a + bi также могут быть представлены матрицами 2 × 2, которые имеют вид

Здесь записи a и b - действительные числа. Поскольку сумма и произведение двух таких матриц снова имеют эту форму, эти матрицы образуют подкольцо кольцевых матриц 2 × 2 .

Простое вычисление показывает, что карта

является кольцевым изоморфизмом поля комплексных чисел в кольцо этих матриц. Этот изоморфизм связывает квадрат абсолютного значения комплексного числа с определителем соответствующей матрицы и сопряжение комплексного числа с транспонированной матрицей.

Действие матрицы на вектор ( x , y ) соответствует умножению x + iy на a + ib . В частности, если определитель равен 1 , существует действительное число t такое, что матрица имеет вид

В этом случае действие матрицы на векторы и умножение на комплексное число являются поворотом на угол t .

Комплексный анализ [ править ]

Цвет график колеса от греха (1 / г ) . Черные части внутри относятся к числам, имеющим большие абсолютные значения.

Изучение функций комплексной переменной известно как комплексный анализ и имеет огромное практическое применение в прикладной математике, а также в других областях математики. Часто наиболее естественные доказательства утверждений реального анализа или даже теории чисел используют методы комплексного анализа (см. Пример теоремы о простых числах ). В отличие от реальных функций, которые обычно представлены в виде двумерных графиков, сложные функции имеют четырехмерные графики и могут быть с пользой проиллюстрированы путем цветового кодирования трехмерного графика, чтобы предложить четыре измерения, или путем анимации динамического преобразования сложной функции комплексная плоскость.

Сложные экспоненциальные и связанные с ними функции [ править ]

Понятия сходящихся рядов и непрерывных функций в (реальном) анализе имеют естественные аналоги в комплексном анализе. Говорят, что последовательность комплексных чисел сходится тогда и только тогда, когда ее действительная и мнимая части сходятся . Это эквивалентно (ε, δ) -определению пределов , где абсолютное значение действительных чисел заменяется модулем комплексных чисел. С более абстрактной точки зрения, с метрикой

является полным метрическим пространством , которое, в частности, включает неравенство треугольника

для любых двух комплексных чисел z 1 и z 2 .

Как и в реальном анализе, это понятие сходимости используется для построения ряда элементарных функций : экспоненциальная функция exp z , также обозначаемая как e z , определяется как бесконечный ряд

Ряды, определяющие действительные тригонометрические функции синуса и косинуса , а также гиперболические функции sinh и cosh, также переносятся на сложные аргументы без изменений. Для других тригонометрических и гиперболических функций, таких как касательная , все немного сложнее, так как определяющие ряды не сходятся для всех комплексных значений. Следовательно, нужно определить их либо в терминах синуса, косинуса и экспоненты, либо, что то же самое, с помощью метода аналитического продолжения .

Формула Эйлера гласит:

для любого действительного числа φ , в частности

В отличие от ситуации с действительными числами, существует бесконечное множество комплексных решений z уравнения

для любого комплексного числа w ≠ 0 . Можно показать , что любое такое решение г - называется комплекс логарифм из ш - удовлетворяет

где arg - аргумент, определенный выше , а ln (действительный) натуральный логарифм . Поскольку arg - многозначная функция , уникальная только с точностью, кратной 2 π , log также многозначна. Главное значение log часто берется путем ограничения мнимой части интервалом (- π , π ] .

Комплексное возведение в степень z ω определяется как

и является многозначным, кроме случая, когда ω является целым числом. При ω = 1 / n для некоторого натурального числа n это восстанавливает неединственность корней n- й степени, упомянутую выше.

Комплексные числа, в отличие от действительных чисел, в целом не удовлетворяют неизменным тождествам мощности и логарифма, особенно когда их наивно трактуют как однозначные функции; увидеть отказ власти и тождества логарифма . Например, они не удовлетворяют

Обе части уравнения многозначны в соответствии с определением комплексного возведения в степень, данным здесь, а значения слева являются подмножеством значений справа.

Голоморфные функции [ править ]

Функция f  : называется голоморфной, если она удовлетворяет уравнениям Коши – Римана . Например, любое ℝ-линейное отображение можно записать в виде

с комплексными коэффициентами a и b . Это отображение голоморфно тогда и только тогда, когда b = 0 . Второе слагаемое вещественно дифференцируемо, но не удовлетворяет уравнениям Коши – Римана .

Комплексный анализ показывает некоторые особенности, не очевидные при реальном анализе. Так , например, любые две голоморфные функции F и г , которые согласны на сколь угодно малое открытое подмножестве из обязательно согласны везде. Мероморфные функции , функции, которые могут быть записаны локально как f ( z ) / ( z - z 0 ) n с голоморфной функцией f , по-прежнему обладают некоторыми чертами голоморфных функций. Другие функции имеют существенные особенности , такие как sin (1 / z ) при z = 0.

Приложения [ править ]

Комплексные числа находят применение во многих научных областях, включая обработку сигналов , теорию управления , электромагнетизм , гидродинамику , квантовую механику , картографию и анализ вибрации . Некоторые из этих приложений описаны ниже.

Геометрия [ править ]

Фигуры [ править ]

Три неколлинеарные точки на плоскости определяют форму треугольника . Располагая точки на комплексной плоскости, эта форма треугольника может быть выражена комплексной арифметикой как

Форма треугольника останется прежней, когда комплексная плоскость трансформируется путем сдвига или растяжения ( аффинного преобразования ), что соответствует интуитивному представлению о форме и описывает подобие . Таким образом, каждый треугольник относится к классу подобия треугольников одинаковой формы. [50]

Фрактальная геометрия [ править ]

Набор Мандельброта с помеченными реальными и мнимыми осями.

Множество Мандельброта является популярным примером фрактала , образованного на комплексной плоскости. Он определяется путем нанесения на график каждого места, где итерация последовательности не расходится при бесконечной итерации . Точно так же наборы Julia имеют те же правила, за исключением случаев, когда остается постоянным.

Треугольники [ править ]

Каждый треугольник имеет уникальный эллипс Штейнера - эллипс внутри треугольника, касательный к серединам трех сторон треугольника. Очаги из Эллипс Штейнера треугольника можно найти следующим образом , согласно теореме МАРДЕН в : [51] [52] Обозначим вершины треугольника в комплексной плоскости, в = х А + у А я , Ь = х B + у B I , и c = x C + y C i. Напишите кубическое уравнение , возьмите его производную и приравняйте (квадратичную) производную нулю. Теорема Мардена гласит, что решениями этого уравнения являются комплексные числа, обозначающие местоположения двух фокусов эллипса Штейнера.

Алгебраическая теория чисел [ править ]

Построение правильного пятиугольника с помощью линейки и циркуля .

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

Другой пример - гауссовские целые числа , то есть числа вида x + iy , где x и y - целые числа, которые можно использовать для классификации сумм квадратов .

Аналитическая теория чисел [ править ]

Аналитическая теория чисел изучает числа, часто целые или рациональные, используя тот факт, что их можно рассматривать как комплексные числа, в которых могут использоваться аналитические методы. Это делается путем кодирования теоретико-числовой информации в комплекснозначных функциях. Например, дзета-функция Римана ζ ( s ) связана с распределением простых чисел .

Неправильные интегралы [ править ]

В прикладных областях комплексные числа часто используются для вычисления некоторых действительных несобственных интегралов с помощью комплексных функций. Для этого существует несколько методов; см. методы контурной интеграции .

Динамические уравнения [ править ]

В дифференциальных уравнений , обычно сначала найти все комплексные корни г из характеристического уравнения в виде линейного дифференциального уравнения или системы уравнений , а затем пытаться решить систему в терминах базовых функций вида F ( т ) = е кт . Аналогичным образом, в разностных уравнениях используются комплексные корни r характеристического уравнения системы разностных уравнений, чтобы попытаться решить систему в терминах основных функций вида f ( t ) = r t .

В прикладной математике [ править ]

Теория управления [ править ]

В теории управления системы часто преобразуются из временной области в частотную с помощью преобразования Лапласа . Затем на комплексной плоскости анализируются нули и полюсы системы . Корень локус , афчй и участок Николс техника все делают использование комплексной плоскости.

В методе корневого годографа важно, находятся ли нули и полюсы в левой или правой полуплоскостях, то есть имеют действительную часть больше или меньше нуля. Если линейная, инвариантная во времени (LTI) система имеет полюса, которые

  • в правой полуплоскости будет нестабильно ,
  • все в левой полуплоскости, будет стабильно ,
  • на мнимой оси он будет иметь предельную стабильность .

Если система имеет нули в правой полуплоскости, это неминимальная фазовая система.

Анализ сигналов [ править ]

Комплексные числа используются в анализе сигналов и других полях для удобного описания периодически меняющихся сигналов. Для заданных реальных функций, представляющих реальные физические величины, часто в терминах синусов и косинусов, рассматриваются соответствующие комплексные функции, действительные части которых являются исходными величинами. Для синусоиды заданной частоты абсолютное значение | z | соответствующего z - амплитуда, а аргумент arg z - фаза .

Если анализ Фурье используется для записи заданного действительного сигнала в виде суммы периодических функций, эти периодические функции часто записываются как комплексные функции вида

и

где ω представляет угловую частоту, а комплексное число A кодирует фазу и амплитуду, как объяснено выше.

Это использование также распространяется на цифровую обработку сигналов и цифровую обработку изображений , которые используют цифровые версии анализа Фурье (и вейвлет- анализа) для передачи, сжатия , восстановления и иной обработки цифровых аудиосигналов , неподвижных изображений и видеосигналов .

Другой пример, относящийся к двум боковым полосам амплитудной модуляции AM-радио:

В физике [ править ]

Электромагнетизм и электротехника [ править ]

В электротехнике , то преобразование Фурье используется для анализа различных напряжений и токов . Обработка резисторов , конденсаторов и катушек индуктивности затем может быть унифицирована путем введения мнимых частотно-зависимых сопротивлений для последних двух и объединения всех трех в одно комплексное число, называемое импедансом . Такой подход называется фазорным исчислением.

В электротехнике мнимая единица обозначается j , чтобы избежать путаницы с I , который обычно используется для обозначения электрического тока , или, более конкретно, i , который обычно используется для обозначения мгновенного электрического тока.

Поскольку напряжение в цепи переменного тока колеблется, его можно представить как

Для получения измеряемой величины берется действительная часть:

Комплексный сигнал V ( t ) называется аналитическим представлением действительного измеримого сигнала v ( t ) .[53]

Гидродинамика [ править ]

В гидродинамике сложные функции используются для описания потенциального потока в двух измерениях .

Квантовая механика [ править ]

Поле комплексных чисел является неотъемлемой частью математических формулировок квантовой механики , где комплексные гильбертовы пространства обеспечивают контекст для одной такой формулировки, которая является удобной и, возможно, наиболее стандартной. Исходные формулы квантовой механики - уравнение Шредингера и матричная механика Гейзенберга - используют комплексные числа.

Относительность [ править ]

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

Обобщения и связанные с ними понятия [ править ]

График кватернионов Кэли Q8, показывающий циклы умножения на i , j и k

Процесс расширения поля вещественных чисел до известного как конструкция Кэли-Диксона . Он может быть перенесен в более высокие измерения, давая кватернионы и октонионы, которые (как реальное векторное пространство) имеют размерность 4 и 8 соответственно. В этом контексте комплексные числа были названы бинарионами . [54]

Подобно тому, как при применении конструкции к вещественным числам теряется свойство упорядочения , свойства, известные по действительным и комплексным числам, исчезают с каждым расширением. В кватернионы проигрывают коммутативности, то есть х · уу · х для некоторых кватернионов х ,  у , а умножение октонионов , дополнительно не является коммутативной, не может быть ассоциативно: ( х · у ) · гх · ( y · z ) для некоторых октонионов x ,  y,  Г .

Действительные числа, комплексные числа, кватернионы и октонионы - все это нормированные алгебры с делением над По теореме Гурвица они единственные; в sedenions , следующий шаг в строительстве Кэли-Диксона, не иметь эту структуру.

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

для некоторого фиксированного комплексного числа w может быть представлена матрицей 2 × 2 (после выбора базиса). Относительно базиса (1,  i ) эта матрица имеет вид

то есть тот, который упомянут в разделе о матричном представлении комплексных чисел выше. В то время как это линейное представление о в 2 × 2 вещественных матриц, это не только один. Любая матрица

обладает тем свойством , что его квадрат является отрицательной единичной матрицы: J 2 = - я . потом

также изоморфен полю и дает альтернативную сложную структуру на. Это обобщается понятием линейной комплексной структуры .

Гиперкомплексные числа также являются обобщением, и, например, это понятие содержит расщепленные комплексные числа , которые являются элементами кольца (в отличие от комплексных чисел). В этом кольце уравнение a 2 = 1 имеет четыре решения.

Поле является завершением поля рациональных чисел относительно обычной метрики абсолютного значения . Другие выборы метрик на приводят к полям из р -адических чисел (для любого простого числа р ), которые , таким образом , аналогично . Там нет других нетривиальных способов завершения , чем и по теореме Островского . Алгебраические замыкания по- прежнему несут норму, но (в отличие от ) не полны относительно нее. Завершение из оказывается алгебраически замкнутым. По аналогии это поле называется p -адическими комплексными числами.

Поля и их конечные полевые расширения, в том числе , называются локальными полями .

См. Также [ править ]

  • Алгебраическая поверхность
  • Круговое движение с использованием комплексных чисел
  • Комплексно-базовая система
  • Сложная геометрия
  • Двойное комплексное число
  • Целое число Эйзенштейна
  • Тождество Эйлера
  • Геометрическая алгебра (которая включает комплексную плоскость как двумерное спинорное подпространство )
  • Корень единства
  • Комплексное число единицы

Примечания [ править ]

  1. ^ «Сложные числа, как и действительные, а может быть, даже больше, находят единство с природой, что поистине замечательно. Как будто сама Природа впечатлена масштабом и последовательностью системы комплексных чисел, как и мы сами, и доверила этим числам точные операции своего мира в его мельчайших масштабах ». - Р. Пенроуз (2016, стр. 73) [5]
  2. ^ «Плоскость, точки которой отождествляются с элементами,называется комплексной плоскостью» ... »Полная геометрическая интерпретация комплексных чисел и операций над ними впервые появилась в работе К. Весселя (1799). Геометрическое представление Комплексные числа, иногда называемые «диаграммой Аргана», вошли в употребление после публикации в 1806 и 1814 годах статей Дж. Р. Аргана, который заново открыл, в значительной степени независимо, результаты Весселя ». - ( Соломенцев 2001 )
  3. ^ В современных обозначениях, решение Тарталья основано на расширении куба суммы двух корней куба:С,,, U и V могут быть выражены в терминах р и д , каки, соответственно. Поэтому. Когдаотрицательно (casus unducibilis), второй кубический корень следует рассматривать как комплексное сопряжение первого.
  4. ^ Было доказано, что мнимые числа обязательно должны присутствовать в кубической формуле, когда уравнение имеет три действительных разных корня Пьер Лоран Ванцель в 1843 году, Винченцо Молламе в 1890 году, Отто Гёльдер в 1891 году и Адольф Кнезер в 1892 году. Паоло Руффини также предоставил неполное доказательство в 1799 г. - С. Конфалониери (2015) [22]
  5. ^ Арган (1814) [38] ( стр 204 ) определяет модуль комплексного числано он не называет его:
    «Dans с дшем костюм ле accens, indifféremment Адресов, seront Employés налить indiquer ло величие Абсолит де quantités Цюй» ilsffectent; ainsi, si , et étant réels, on devra entender que ou ".
    [Далее акцентные знаки, где бы они ни были размещены, будут использоваться для обозначения абсолютного размера количеств, которым они присвоены; Таким образомесли,ибыть реальным, следует пониматьчтоили.]Арганда [38] ( стр 208 ) определяет и называет
    модуль и коэффициент направления комплексного числа: "... pourrait être appelé ле модуль де , и др représenterait ло величие Абсолит де л Ligne , TANDIS дия l'Autre facteur, то не ль модуль Est l'Unite, ан représenterait ла направление. "
    [... можно было бы назвать модуль из и будет представлять собой абсолютный размер линии (Обратите внимание , что Арганд представлены комплексные числа как векторы.) , Тогда как другой фактор [а именно, ], чей модуль равен единице [1], будет представлять его направление.] [38]
  6. ^ Гаусс (1831) [30] ( стр 96 ) пишет
    «Quemadmodum а именно Арифметика sublimior в quaestionibus hactenus pertractatis интер соло numeros Интегрос реалы versatur, ит theoremata около невязки biquadratica Тунка Tantum в Summa simplicitate ас genuina venustate блистательного, Quando кампус arithmeticae объявление quantitates imaginarias extensionitur, ita ut absque constratione ipsius obiectum constituant numeri formae a + bi , denotantibus i , pro more количественный воображаемый -1 , atque a, b неопределенный omnes numeros reales integros inter - et + .
    [Конечно, как высшая арифметика до сих пор исследовалась в задачах только для действительных целых чисел, так и теоремы, касающиеся биквадратичных вычетов, сияют с величайшей простотой и подлинной красотой, когда область арифметики расширяется до мнимых величин, так что без ограничения на него, числа в форме a + bi - i, по соглашению обозначающие мнимую величину -1 , и переменные a, b [обозначающие] все действительные целые числа между и - составляют объект.] [30]
  7. ^ Гаусс (1831 г.) [30] ( стр. 96 )
    «Сказки numeros vkabimus numeros integros complexos, ita quidem, ut reales complexis non opponantur, sed tamquam разновидностей sub his contineri censeantur».
    [Мы будем называть такие числа [а именно, числа формы a + bi ] "комплексными целыми числами", так что действительные [числа] рассматриваются не как противоположность комплексных [чисел], а [как] тип [числа, которое ], так сказать, содержится в них.] [30]
  8. ^ Гаусс (1831) [30] ( стр. 98 )
    «Productum numeri complexi per numerum ipsi concunctum utriusque normam vocamus . Pro norma itaque numeri realis, ipsius quadratum habendum est.»
    [Мы называем «нормой» произведение комплексного числа [например,. a + ib ] с сопряженным ему [ a - ib ]. Поэтому квадрат действительного числа следует рассматривать как его норму.] [30]
  9. ^ Однако для другой функции, обратной комплексной экспоненциальной функции (а не для указанного выше главного значения), разрез ветви может быть взят на любом другом луче через начало координат.

Ссылки [ править ]

  1. ^ Подробное описание истории «воображаемых» чисел, от первоначального скептицизма до окончательного принятия, см. В Bourbaki, Nicolas (1998). «Основы математики § Логика: теория множеств». Элементы истории математики . Springer. С. 18–24.
  2. ^ a b c «Исчерпывающий список символов алгебры» . Математическое хранилище . 25 марта 2020 . Проверено 12 августа 2020 .
  3. ^ a b c d "Комплексные числа" . www.mathsisfun.com . Проверено 12 августа 2020 .
  4. ^ «Комплексные числа» . Блестящая вики по математике и науке . Проверено 12 августа 2020 .
  5. ^ Пенроуз, Роджер (2016). Дорога к реальности: полное руководство по законам Вселенной (переиздание под ред.). Случайный дом. С. 72–73. ISBN 978-1-4464-1820-8.
  6. ^ Бертон, Дэвид М. (1995). История математики (3-е изд.). Нью-Йорк: Макгроу-Хилл . п. 294. ISBN 978-0-07-009465-9.
  7. ^ a b c d e Бурбаки, Николас . Общая топология . Springer-Verlag.
  8. ^ Axler, Шелдон (2010). Студенческая алгебра . Вайли. п. 262 .
  9. ^ Spiegel, MR; Lipschutz, S .; Шиллер, JJ; Спеллман, Д. (14 апреля 2009 г.). Комплексные переменные . Наброски серии Шаума (2-е изд.). Макгроу Хилл. ISBN 978-0-07-161569-3.
  10. ^ Aufmann, Ричард Н .; Баркер, Вернон С.; Нация, Ричард Д. (2007). «Глава П» . Колледж алгебры и тригонометрии (6-е изд.). Cengage Learning. п. 66. ISBN 978-0-618-82515-8.
  11. См. ( Альфорс, 1979 ).
  12. ^ Браун, Джеймс Уорд; Черчилль, Руэль В. (1996). Сложные переменные и приложения (6-е изд.). Нью-Йорк: Макгроу-Хилл. п. 2. ISBN 978-0-07-912147-9. В электротехнике вместо i используется буква j .
  13. ^ Пидо, Dan (1988). Геометрия: всеобъемлющий курс . Дувр. ISBN 978-0-486-65812-4.
  14. ^ а б Вайсштейн, Эрик В. "Комплексное число" . mathworld.wolfram.com . Проверено 12 августа 2020 .
  15. См. ( Апостол 1981 ), стр. 18.
  16. ^ Kasana, HS (2005). «Глава 1» . Комплексные переменные: теория и приложения (2-е изд.). PHI Learning Pvt. ООО п. 14. ISBN 978-81-203-2641-5.
  17. ^ Нильссон, Джеймс Уильям; Ридель, Сьюзан А. (2008). «Глава 9» . Электрические схемы (8-е изд.). Прентис Холл. п. 338. ISBN 978-0-13-198925-2.
  18. ^ Клайн, Моррис. История математической мысли, том 1 . п. 253.
  19. ^ Кац, Виктор Дж. (2004). «9.1.4». Краткая история математики . Эддисон-Уэсли . ISBN 978-0-321-16193-2.
  20. ^ Гамильтон, Wm. (1844 г.). «О новом виде мнимых величин, связанных с теорией кватернионов» . Труды Ирландской королевской академии . 2 : 424–434.
  21. ^ Nahin, Paul J. (2007). Воображаемая сказка: история −1 . Издательство Принстонского университета . ISBN 978-0-691-12798-9. Архивировано 12 октября 2012 года . Проверено 20 апреля 2011 года .
  22. ^ a b Конфалониери, Сара (2015). Недостижимая попытка избежать Casus Irreducibilis для кубических уравнений: De Regula Aliza Джероламо Кардано . Springer. С. 15–16 (примечание 26). ISBN 978-3658092757.
  23. ^ Декарт, Рене (1954) [1637]. La Géométrie | Геометрия Рене Декарта с факсимиле первого издания . Dover Publications . ISBN 978-0-486-60068-0. Проверено 20 апреля 2011 года .
  24. ^ Эйлер, Леонард (1748). Introductio in Analysin Infinitorum [ Введение в анализ бесконечного ] (на латыни). т. 1. Люцерн, Швейцария: Marc Michel Bosquet & Co. p. 104.
  25. ^ Вессель, Каспар (1799). "Om Directionens analytiske Betegning, et Forsog, anvendt fornemmelig til plane og sphæriske Polygoners Oplosning" [Об аналитическом представлении направления, усилие, приложенное, в частности, для определения плоских и сферических многоугольников]. Nye Samling af det Kongelige Danske Videnskabernes Selskabs Skrifter [Новое собрание сочинений Королевского датского научного общества] (на датском языке). 5 : 469–518.
  26. ^ Уоллис, Джон (1685). Трактат по алгебре, как исторической, так и практической… . Лондон, Англия: напечатано Джоном Плейфордом для Ричарда Дэвиса. С. 264–273.
  27. ^ Аргана (1806). Essai sur une manière de représenter les Quantités imaginaires dans les constructions géométriques [ Эссе о способе представления сложных величин с помощью геометрических построений ] (на французском языке). Париж, Франция: Мадам Вдова Блан.
  28. ^ Гаусс, Карл Фридрих (1799) "Demonstratio Нова theorematis omnem functionem algebraicam rationalem integram unius variabilis в factores реалов Primi Vel secundi Градус resolvi отряд." [Новое доказательство теоремы о том, что любая рациональная интегральная алгебраическая функция одной переменной может быть разложена на действительные множители первой или второй степени.] Доктор философии. защитил диссертацию в Университете Хельмштедта (Германия). (на латыни)
  29. ^ a b Эвальд, Уильям Б. (1996). От Канта до Гильберта: Справочник по основам математики . 1 . Издательство Оксфордского университета. п. 313. ISBN 9780198505358. Дата обращения 18 марта 2020 .
  30. ^ a b c d e f g h Gauss, CF (1831). " Теория биквадратных остатков. Теория биквадратных остатков". Второй мемуар. Комментарии Societatis Regiae Scientiarum Gottingensis Recentiores (на латыни). 7 : 89–148.
  31. ^ Adrien Квентин БСПНЫ (1745-1845): MacTutor
  32. ^ БСПН (1806). «Mémoire sur les Quantités Imminaires» [Воспоминания о мнимых величинах]. Философские труды Лондонского королевского общества (на французском языке). 96 : 23–88. DOI : 10.1098 / rstl.1806.0003 . S2CID 110394048 . 
  33. ^ Mourey, CV (1861). La vraies théore des Quantités négatives et des Quantités pretendues imaginaires [ Истинная теория отрицательных величин и предполагаемых мнимых величин ] (на французском). Париж, Франция: Малле-Башелье. 1861 г. Переиздание оригинала 1828 г.
  34. ^ См .:
     • Уоррен, Джон (1828 г.). Трактат о геометрическом представлении квадратных корней отрицательных величин . Кембридж, Англия: Издательство Кембриджского университета.
     • Уоррен, Джон (1829). «Рассмотрение возражений против геометрического представления квадратных корней из отрицательных величин» . Философские труды Лондонского королевского общества . 119 : 241–254. DOI : 10,1098 / rstl.1829.0022 . S2CID 186211638 . 
     • Уоррен, Джон (1829). «О геометрическом представлении степеней величин, в индексы которых входят квадратные корни из отрицательных чисел» . Философские труды Лондонского королевского общества . 119 : 339–359. DOI : 10,1098 / rstl.1829.0031 . S2CID 125699726 . 
  35. ^ Français, JF (1813). « Новые принципы геометрии положения и геометрическая интерпретация символов воображаемых» [Новые принципы геометрии положения и геометрическая интерпретация сложных [числовых] символов]. Annales des mathématiques pures et appliquées (на французском языке). 4 : 61–71.
  36. ^ Caparrini, Сандро (2000). «Об общем происхождении некоторых работ по геометрической интерпретации комплексных чисел» . В Ким Уильямс (ред.). Две культуры . Birkhäuser. п. 139. ISBN 978-3-7643-7186-9.
  37. ^ Харди, GH; Райт, EM (2000) [1938]. Введение в теорию чисел . ОУП Оксфорд . п. 189 (издание четвертое). ISBN 978-0-19-921986-5.
  38. ^ а б в Арган (1814 г.). "Reflexions sur la nouvelle théorie des imaginaires, suives d'une application a la демонстрация d'un theorème d'analise" [Размышления о новой теории комплексных чисел с последующим приложением к доказательству теоремы анализа]. Annales de mathématiques pures et appliquées (на французском языке). 5 : 197–209.
  39. Джефф Миллер (21 сентября 1999 г.). «МОДУЛУС» . Самые ранние известные варианты использования некоторых слов математики (M) . Архивировано 3 октября 1999 года.CS1 maint: unfit URL (link)
  40. ^ Коши, Огюстен Луи (1821). Cours d'analyse de l'École royale polytechnique (на французском языке). т. 1. Париж, Франция: L'Imprimerie Royale. п. 183.
  41. ^ Ганкель, Герман (1867). Vorlesungen über die complexen Zahlen und ihre Functionen [ Лекции о комплексных числах и их функциях ] (на немецком языке). т. 1. Лейпциг, [Германия]: Леопольд Восс. п. 71. С п. 71: «Wir werden den Factor ( cos φ + i sin φ) haüfig den Richtungscoefficienten nennen». (Мы часто будем называть множитель (cos φ + i sin φ) «коэффициентом направления».)
  42. ^ О прежних обозначениях см. ( Апостол 1981 ), страницы 15–16.
  43. ^ Абрамовиц, Милтон; Стегун, Ирен А. (1964). Справочник математических функций с формулами, графиками и математическими таблицами . Courier Dover Publications. п. 17. ISBN 978-0-486-61272-0. Архивировано 23 апреля 2016 года . Проверено 16 февраля +2016 ., Раздел 3.7.26, стр. 17 Архивировано 10 сентября 2009 года в Wayback Machine.
  44. ^ Кук, Роджер (2008). Классическая алгебра: ее природа, происхождение и использование . Джон Уайли и сыновья. п. 59. ISBN 978-0-470-25952-8. Архивировано 24 апреля 2016 года . Проверено 16 февраля +2016 ., Извлечение: стр. 59. Архивировано 23 апреля 2016 г. в Wayback Machine.
  45. ^ См. ( Альфорс, 1979 ), стр.
  46. ^ a b См. ( Апостол, 1981 ), страницы 15–16.
  47. См. ( Апостол 1981 ), стр.25.
  48. ^ Маркер, Дэвид (1996). «Введение в модельную теорию полей» . В маркере, D .; Messmer, M .; Пиллэй, А. (ред.). Модельная теория полей . Конспект лекций по логике. 5 . Берлин: Springer-Verlag. С. 1–37. ISBN 978-3-540-60741-0. Руководство по ремонту  1477154 .
  49. ^ Корри, Лео (2015). Краткая история чисел . Издательство Оксфордского университета. С. 215–16.
  50. ^ Лестер, JA (1994). «Треугольники I: Формы». Aequationes Mathematicae . 52 : 30–54. DOI : 10.1007 / BF01818325 . S2CID 121095307 . 
  51. Перейти ↑ Kalman, Dan (2008a). «Элементарное доказательство теоремы Мардена» . Американский математический ежемесячник . 115 (4): 330–38. DOI : 10.1080 / 00029890.2008.11920532 . ISSN 0002-9890 . S2CID 13222698 . Архивировано 8 марта 2012 года . Проверено 1 января 2012 года .  
  52. ^ Калмана, Dan (2008b). «Самая чудесная теорема в математике» . Журнал онлайн-математики и ее приложений . Архивировано 8 февраля 2012 года . Проверено 1 января 2012 года .
  53. ^ Грант, IS; Филлипс, WR (2008). Электромагнетизм (2-е изд.). Манчестерская физическая серия. ISBN 978-0-471-92712-9.
  54. ^ МакКриммон, Кевин (2004). Вкус иорданских алгебр . Universitext. Springer. п. 64. ISBN 0-387-95447-3. MR 2014924

Цитированные работы [ править ]

  • Альфорс, Ларс (1979). Комплексный анализ (3-е изд.). Макгроу-Хилл. ISBN 978-0-07-000657-7.
  • Апостол, Том (1981). Математический анализ . Эддисон-Уэсли.
  • Соломенцев, Е. Д. (2001) [1994], «Комплексное число» , Энциклопедия математики , EMS Press

Дальнейшее чтение [ править ]

  • Пенроуз, Роджер (2005). Дорога к реальности: полное руководство по законам вселенной . Альфред А. Кнопф. ISBN 978-0-679-45443-4.
  • Дербишир, Джон (2006). Неизвестное количество: реальная и воображаемая история алгебры . Джозеф Генри Пресс. ISBN 978-0-309-09657-7.
  • Нидхэм, Тристан (1997). Визуальный комплексный анализ . Кларендон Пресс. ISBN 978-0-19-853447-1.

Математический [ править ]

  • Альфорс, Ларс (1979). Комплексный анализ (3-е изд.). Макгроу-Хилл. ISBN 978-0-07-000657-7.
  • Конвей, Джон Б. (1986). Функции комплексного переменного I . Springer. ISBN 978-0-387-90328-6.
  • Джоши, Капил Д. (1989). Основы дискретной математики . Нью-Йорк: Джон Вили и сыновья . ISBN 978-0-470-21152-6.
  • Педое, Дэн (1988). Геометрия: всеобъемлющий курс . Дувр. ISBN 978-0-486-65812-4.
  • Нажмите, WH; Теукольский С.А.; Феттерлинг, штат Вашингтон; Фланнери, ВР (2007). «Раздел 5.5 Комплексная арифметика» . Числовые рецепты: искусство научных вычислений (3-е изд.). Нью-Йорк: Издательство Кембриджского университета. ISBN 978-0-521-88068-8.
  • Соломенцев, Е. Д. (2001) [1994], «Комплексное число» , Энциклопедия математики , EMS Press

Исторический [ править ]

  • Бурбаки, Николас (1998). «Основы математики § логика: теория множеств». Элементы истории математики . Springer.
  • Бертон, Дэвид М. (1995). История математики (3-е изд.). Нью-Йорк: Макгроу-Хилл . ISBN 978-0-07-009465-9.
  • Кац, Виктор Дж. (2004). Краткая история математики . Эддисон-Уэсли . ISBN 978-0-321-16193-2.
  • Нахин, Пол Дж. (1998). Воображаемая сказка: История . Издательство Принстонского университета. ISBN 978-0-691-02795-1. - Мягкое введение в историю комплексных чисел и начало комплексного анализа.
  • Эббингаус, HD; Hermes, H .; Hirzebruch, F .; Koecher, M .; Mainzer, K .; Neukirch, J .; Prestel, A .; Реммерт, Р. (1991). Цифры (изд. В твердом переплете). Springer. ISBN 978-0-387-97497-2. - Углубленный взгляд на историческое развитие концепции числа.