Множина комплексних чисел

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

Постепенно развивалась техника операций над мнимыми числами. На рубеже XVII и XVIII веков была построена общая теория корней n-ых степеней сначала из отрицательных, а за тем из любых комплексных чисел, основанная на следующей формуле английского математика А. Муавра (1707): . С помощью этой формулы можно было так же вывести формулы для косинусов и синусов кратных дуг. Л. Эйлер вывел в 1748 году замечательную формулу : , которая связывала воедино показательную функцию с тригонометрической. С помощью формулы Л. Эйлера можно было возводить число e в любую комплексную степень. Любопытно, например, что . Можно находить sin и cos от комплексных чисел, вычислять логарифмы таких чисел, то есть строить теорию функций комплексного переменного.

В конце XVIII века французский математик Ж. Лагранж смог сказать, что математический анализ уже не затрудняют мнимые величины. С помощью мнимых чисел научились выражать решения линейных дифференциальных уравнений с постоянными коэффициентами. Такие уравнения встречаются, например, в теории колебаний материальной точки в сопротивляющейся среде. Еще раньше швейцарский математик Я. Бернулли применял комплексные числа для решения интегралов.

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

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

В конце XVIII века, в начале XIX века было получено геометрическое истолкование комплексных чисел. Датчанин К. Вессель, француз Ж. Арган и немец К. Гаусс независимо друг от друга предложили изобразить комплексное число точкой на координатной плоскости. Позднее оказалось, что еще удобнее изображать число не самой точкой M, а вектором , идущим в эту точку из начала координат. При таком истолковании сложение и вычитание комплексных чисел соответствуют эти же операции над векторами. Вектор можно задавать не только его координатами a и b, но так же длиной r и углом  который он образует с положительным направлением оси абсцисс. При этом , и число z принимает вид , который называется тригонометрической формой комплексного числа. Число r называют модулем комплексного числа z и обозначают . Число называют аргументом z и обозначают ArgZ. Заметим, что если , значение ArgZ не определено, а при оно определено с точностью до кратного . Упомянутая ранее формула Эйлера позволяет записать число z в виде (показательная форма комплексного числа).

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

Стало ясно, что комплексные числа полезны во многих вопросах, где имеют дело с величинами, которые изображаются векторами на плоскости: при изучении течения жидкости, задач теории упругости.После создания теории комплексных чисел возник вопрос о существовании “гиперкомплексных” чисел - чисел с несколькими “мнимыми” единицами. Такую систему вида , где , построил в 1843 году ирландский математик У. Гамильтон, который назвал их “кватернионами”.

Большой вклад в развитие теории функций комплексного переменного внесли русские и советские ученые Н. И. Мусхелишвили занимался ее применениями к упругости, М. В. Келдыш и М. А. Лаврентьев - к аэро- и гидродинамике, Н. Н. Богомолов и В. С. Владимиров - к проблемам квантовой теории поля.

Поняття комплексного числа.

“Подобно тому, как всю область действительных величин можно представить с помощью бесконечной прямой, можно себе представить область всех величин, действи¬тельных и мнимых, с помощью бесконечной плоскости, где каждая точка, определенная своей абсциссой а и своей ординатой b, представляет в то же время величину a+ib”.

Гаусс