Эта статья выставлена на рецензию

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

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Комплексное сопряжение»)
Перейти к: навигация, поиск

Ко́мпле́ксные[1] чи́сла — числа вида , где  — вещественные числа,  — мнимая единица[2] (величина, для которой выполняется равенство: ). Термин «комплексное число» ввёл в науку Гаусс в 1831 году, он происходит от лат. complex — совокупный, тесно связанный[3]. Множество комплексных чисел обычно обозначается символом  оно содержит множество вещественных чисел и может рассматриваться как его расширение.

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

Первоначально идея о необходимости использования комплексных чисел возникла в результате формального решения кубических уравнений, при котором в формуле Кардано под знаком квадратного корня получалось отрицательное число[4]. В дальнейшем уникальные свойства комплексных чисел и функций нашли широкое применение для решения многих практических задач в различных областях математики, физики и техники — обработка сигналов, теория управления, электромагнетизм, гидродинамика, квантовая механика, картография, теория колебаний, теория упругости и многие другие[5].

Содержание

Комплексная арифметика

Связанные определения

Всякое комплексное число состоит из двух компонент[6]:

  • Величина называется вещественной частью числа и обозначается или В зарубежных источниках встречается готический символ[7]:
    • Если , то называется мнимым или чисто мнимым числом.
  • Величина называется мнимой частью числа и обозначается или В зарубежных источниках встречается готический символ[8]:

Противоположным для комплексного числа называется число Например, для числа противоположным будет число

Арифметические операции для комплексных чисел имеют те же свойства, что и аналогичные операции с вещественными числами. Исключением являются только свойства, связанные с отношением порядка (больше-меньше), потому что невозможно так расширить на комплексные числа порядок, заданный для вещественных чисел, чтобы арифметические операции и порядок были согласованы (например, чтобы из вытекало ). Можно сравнивать комплексные числа только на «равно/не равно»[6]:

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

Сложение и вычитание

Определение сложения и вычитания комплексных чисел[6]:

.
.

Следующая таблица показывает основные свойства сложения для любых комплексных .

Свойство Алгебраическая запись
Коммутативность (переместительность)
Ассоциативность (сочетательность)
Свойство нуля
Свойство противоположного элемента
Выполнение вычитания через сложение

Умножение

Определим произведение[6] комплексных чисел и :

.

Следующая таблица показывает основные свойства умножения для любых комплексных .

Свойство Алгебраическая запись
Коммутативность (переместительность)
Ассоциативность (сочетательность)
Свойство единицы
Свойство нуля
Дистрибутивность (распределительность) умножения относительно сложения

Деление

Для каждого комплексного числа , кроме нуля, существует обратное к нему комплексное число такое, что произведение этих двух чисел равно единице:

Определим результат деления[6] комплексного числа на (ненулевое) :

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

Основные отличия комплексных чисел от вещественных

Уже упоминалось, что комплексные числа нельзя сравнивать на больше/меньше. Другое отличие: любой многочлен с вещественными или комплексными коэффициентами имеет столько корней (вообще говоря, комплексных), какова его степень (основная теорема алгебры)[9].

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

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

Замечания

Заметим, что число не является единственным числом, удовлетворяющим уравнению . Число также удовлетворяет этому уравнению.

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

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

Пример возможной ошибки при неосторожном использовании устаревшей записи:

.

При использовании современной записи такой ошибки не возникло бы:

Геометрическое представление

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

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

Рассмотрим плоскость с прямоугольной системой координат. Каждому комплексному числу сопоставим точку плоскости с координатами (а также радиус-вектор, соединяющий начало координат с этой точкой). Такая плоскость называется комплексной. Вещественные числа на ней занимают горизонтальную ось, мнимая единица изображается единицей на вертикальной оси; по этой причине горизонтальная и вертикальная оси называются соответственно вещественной и мнимой осями[11].

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

В этом наглядном представлении сумма комплексных чисел соответствует векторной сумме соответствующих радиус-векторов. При перемножении комплексных чисел их модули перемножаются, а аргументы складываются. Если модуль второго сомножителя равен 1, то умножение на него геометрически означает поворот радиус-вектора первого числа на угол, равный аргументу второго числа[12]. Этот факт объясняет широкое использование комплексного представления в теории колебаний, где вместо терминов «модуль» и «аргумент» используются термины «амплитуда» и «фаза».

Многие теоремы планиметрии допускают наглядную и компактную запись с помощью комплексных чисел, например[13]:

  • Три (различные) точки лежат на одной прямой тогда и только тогда, когда выполняется условие:
является вещественным числом.
  • Четыре (различные) точки лежат на одной окружности (или на одной прямой) тогда и только тогда, когда выполняется условие:
отношение является вещественным числом.

Модуль и аргумент

Модуль, аргумент, вещественная и мнимая части комплексного числа

Модулем (абсолютной величиной) комплексного числа называется длина радиус-вектора соответствующей точки комплексной плоскости (или, что то же самое, расстояние между точкой комплексной плоскости, соответствующей этому числу, и началом координат). Модуль комплексного числа обозначается (иногда или ) и определяется выражением[12]:

.

Если является вещественным числом, то совпадает с абсолютной величиной этого вещественного числа.

Для любых имеют место следующие свойства модуля[12]:

1) , причём тогда и только тогда, когда ;
2) (неравенство треугольника);
3) ;
4) .
5) Для пары комплексных чисел и модуль их разности равен расстоянию между соответствующими точками комплексной плоскости.

Угол (в радианах) радиус-вектора точки, соответствующей числу , называется аргументом числа и обозначается . Из этого определения следует, что ; ; .

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

Главным значением аргумента называется такое значение , что . Часто главное значение обозначается [14].

Некоторые свойства аргумента:

  • Как уже сказано выше, аргумент произведения равен сумме аргументов сомножителей:
  • Главное значение аргумента обратного числа отличается знаком от аргумента исходного: .

Сопряжённые числа

Геометрическое представление сопряжённых чисел

Если комплексное число , то число называется сопряжённым (или комплексно сопряжённым) к (часто обозначается также ). На комплексной плоскости сопряжённые числа получаются зеркальным отражением друг друга относительно вещественной оси. Модуль сопряжённого числа такой же, как у исходного, а их аргументы отличаются знаком[15].

Переход к сопряжённому числу можно рассматривать как одноместную операцию; перечислим её свойства[15].

  • тогда и только тогда, когда — вещественное число.
  • (сопряжённое к сопряжённому есть исходное).

Произведение и сумма комплексно-сопряженных чисел есть вещественное число:

Другие соотношения:

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

Чтобы выразить комплексную дробь в канонической форме, то есть избавиться от мнимости в знаменателе, надо умножить числитель и знаменатель на сопряжённое к знаменателю выражению. Пример:

Тригонометрическая и показательная форма

Выше использовалась запись комплексного числа в виде ; такая запись называется алгебраической формой комплексного числа. Практически чрезвычайно полезны ещё два варианта представления комплексного числа в полярных координатах.

Тригонометрическая форма

Если вещественную и мнимую части комплексного числа выразить через модуль и аргумент (то есть , ), то всякое комплексное число , кроме нуля, можно записать в тригонометрической форме[12]:

Показательная форма

Фундаментальное значение в комплексном анализе имеет формула Эйлера:

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

Применяя эту формулу к тригонометрической форме, получим показательную форму комплексного числа:

,

где  — расширение экспоненты для случая комплексного показателя степени.

Отсюда вытекают следующие широко используемые равенства:

Формула Муавра и извлечение корней

Корни пятой степени из единицы (вершины пятиугольника)

Эта формула помогает возводить в целую степень ненулевое комплексное число, представленное в тригонометрической форме. Формула Муавра имеет вид[10]:

,

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

Аналогичная формула применима также и при вычислении корней -ой степени из ненулевого комплексного числа:

,

где и .

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

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

Здесь sgn — функция «знак», а радикалы обозначают обычный арифметический корень из неотрицательного вещественного числа. Формула легко проверяется возведением в квадрат[16].

Пример: для квадратного корня из формулы дают два значения:

История

Впервые, по-видимому, мнимые величины были упомянуты в известном труде «Великое искусство, или об алгебраических правилах» Кардано (1545), в рамках формального решения задачи по вычислению двух чисел, которые в сумме дают 10, а при перемножении — 40. Он получил для этой задачи квадратное уравнение для одного из слагаемых, и нашёл его корни: и . В комментарии к решению он написал: «эти сложнейшие величины бесполезны, хотя и весьма хитроумны» и «Арифметические соображения становятся всё более неуловимыми, достигая предела столь же утонченного, сколь и бесполезного»[17].

Возможность использования мнимых величин при решении кубического уравнения впервые описал Бомбелли (1572), он же дал правила сложения, вычитания, умножения и деления комплексных чисел. Уравнение имеет вещественный корень , однако по формулам Кардано получаем: . Бомбелли обнаружил, что , откуда сразу получается нужный вещественный корень. Он отметил, что в подобных (неприводимых) случаях комплексные корни всегда сопряжены, поэтому в сумме и получается вещественный корень. Его разъяснения положили начало успешному применению в математике комплексных чисел[18][17].

Выражения, представимые в виде , появляющиеся при решении квадратных и кубических уравнений, стали называть «мнимыми» в XVI—XVII веках с подачи Декарта, который называл их так, отвергая их реальность[17], и для многих других крупных ученых XVII века природа и право на существование мнимых величин представлялись весьма сомнительными. Лейбниц, например, в 1702 году писал: «Дух божий нашёл тончайшую отдушину в этом чуде анализа, уроде из мира идей, двойственной сущности, находящейся между бытием и небытием, которую мы называем мнимым корнем из отрицательной единицы». Несмотря на эти сомнения, математики уверенно применяли формальные методы алгебры вещественных величин и к комплексным и получали корректные результаты[17].

Долгое время было неясно, все ли операции над комплексными числами приводят к комплексным или вещественным результатам, или, например, извлечение корня может привести к открытию ещё какого-то нового типа чисел. Задача о выражении корней степени из данного числа была решена в работах Муавра (1707) и Котса (1722)[19].

Символ для обозначения мнимой единицы предложил Эйлер (1777, опубл. 1794), взявший для этого первую букву латинского слова imaginarius — «мнимый». Он же распространил все стандартные функции, включая логарифм, на комплексную область. Эйлер также высказал в 1751 году мысль, что в системе комплексных чисел любой многочлен имеет корень (основная теорема алгебры, до Эйлера сходные предположения высказывали Альбер Жирар и Рене Декарт)[20]. К такому же выводу пришёл д’Аламбер (1747), но первое строгое доказательство этого факта принадлежит Гауссу (1799)[18]. Гаусс и ввёл в широкое употребление термин «комплексное число» в 1831 году (ранее термин использовал в том же смысле французский математик Лазар Карно в 1803 году, но распространения не получил)[21].

Геометрическое представление комплексных чисел, немало способствовавшее их легализации, предложили в конце XVIII — начале XIX веков сначала Вессель и Арган (их работы не привлекли внимания), а затем Гаусс[22]. Арифметическая (стандартная) модель комплексных чисел как пар вещественных чисел была построена Гамильтоном («Теория алгебраических пар», 1837); это доказало непротиворечивость их свойств. Термины «модуль», «аргумент» и «сопряжённое число» ввёл в начале XIX века Коши, значительно продвинувший комплексный анализ[2][23].

В развитие этого плодотворного подхода начались поиски способа аналогично представить и векторы в трёхмерном пространстве. В результате пятнадцатилетних поисков[17], в 1843 году Гамильтон предложил обобщение комплексных чисел — кватернионы, которые он был вынужден сделать не трёхмерными, а четырёхмерными (трёхмерные векторы изображала мнимая часть кватернионов); также Гамильтону пришлось отказаться от коммутативности операции умножения[2].

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

Аналитические функции

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

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

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

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

Дифференцируемые комплексные функции (то есть функции, имеющие производную) обладают рядом особенностей по сравнению с вещественными[25].

  • Вещественная и мнимая часть дифференцируемой функции — гармонические функции, связанные условиями Коши — Римана.
  • Всякая дифференцируемая в некоторой окрестности точки комплексная функция дифференцируема неограниченное число раз в этой точке (то есть аналитична, или голоморфна).

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

Преобразования комплексной плоскости

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

  • параллельный перенос, определяемый радиус-вектором точки
  • , где — комплексное число с единичным модулем — поворот вокруг начала координат на угол, равный аргументу
  • зеркальное отражение вокруг вещественной оси.

Поскольку любое движение на плоскости есть комбинация перечисленных трёх преобразований, функции и дают общее выражение для движения на комплексной плоскости[26].

Другие линейные преобразования[26]:

  • , где — положительное вещественное число, задаёт растяжение, масштаб которого зависит от (сжатие, если ).
  • Преобразования и , где — произвольные комплексные числа, задаёт преобразование подобия.
  • Преобразование где — общий вид аффинного преобразования комплексной плоскости.

Важную роль в комплексном анализе играют дробно-линейные преобразования[27]:

При этом (иначе функция вырождается в константу). Характеристическое свойство дробно-линейного преобразования: оно переводит окружности и прямые в окружности и прямые. При этом образом окружности может оказаться прямая, и наоборот[27].

Среди других практически полезных функций преобразования: инверсия функция Жуковского.

Место в общей алгебре, топологии и теории множеств

Множество комплексных чисел образует поле, которое является конечным расширением степени 2 поля вещественных чисел . Характеристика комплексного поля равна нулю, мощность как множества та же, что и у поля вещественных чисел, то есть континуум. Теорема Фробениуса установила, что существуют только два тела, являющиеся конечными расширениями — поле комплексных чисел и тело кватернионов[28].

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

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

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

Поле допускает бесконечно много автоморфизмов, но только один из них (не считая тождественного) оставляет вещественные числа на месте[30].

Поля и — единственные связные локально компактные топологические поля[31].

Некоторые практические применения

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

Математика

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

Перенеся геометрическую задачу с обычной плоскости на комплексную, мы часто получаем возможность значительно упростить её решение[32][33].

Многие сложные задачи теории чисел и (вещественного) математического анализа (например, вычисление сложных или несобственных интегралов) удалось решить только с помощью средств комплексного анализа. Мощным инструментом для открытий в теории чисел оказались, например, гауссовы числа вида где — целые числа[34]. Для исследования распределения простых чисел понадобилась комплексная дзета-функция Римана[35].

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

Этот ряд сходится только в интервале , хотя точки не являются какими-то особенными для приведенной функции. Положение проясняется при переходе к функции комплексного переменного , у которой обнаруживаются две особые точки: . Соответственно, эту функцию можно разложить в ряд Тейлора только в круге единичного радиуса[36].

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

Исследование функции часто связано с анализом её частотного спектра с помощью комплексного преобразования Фурье или Лапласа.

Конформное отображение

Как уже отмечалось выше, всякая комплексная функция может рассматриваться как преобразование одной комплексной плоскости в другую. Гладкая (аналитическая) функция обладает двумя особенностями: если в заданной точке производная не равна нулю, то коэффициент растяжения/сжатия при этом преобразовании одинаков по всем направлениям, угол поворота также постоянен (конформное отображение)[37]. С этим фактом связано широкое применение комплексных функций в картографии и гидродинамике[38].

Квантовая механика

Основой квантовой механики является понятие комплексной волновой функции. Фундаментальные уравнения квантовой механики также комплексные[39].

Электротехника

Поскольку переменный ток есть колебательный процесс, его удобно описывать и исследовать с применением комплексных средств. Вводятся также понятия комплексного сопротивления ёмкостей и индуктивностей электрической цепи — это помогает рассчитать токи в цепи[40]. Ввиду того, что традиционно символ в электротехнике обозначает величину тока, мнимую единицу там обозначают буквой [41].

Логические основания

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

Аксиоматика комплексных чисел

Проще всего определить аксиоматику множества комплексных чисел , если опираться на уже построенное множество вещественных чисел (которое предполагается непротиворечивым, а свойства его — известными). Именно, определим как минимальное поле, содержащее множество вещественных чисел и (сверх его) мнимую единицу. Более строго, аксиомы комплексных чисел следующие[42][43].

С1: Для всяких комплексных чисел определена их сумма .
С2: Сложение коммутативно: . Для краткости оговорку «для всяких » далее, как правило, опускаем.
С3: Сложение ассоциативно:
С4: Существует элемент 0 (ноль) такой, что .
С5: Для всякого комплексного числа существует «противоположный ему» элемент такой, что
С6: Для всяких комплексных чисел определено их произведение .
С7: Умножение коммутативно:
С8: Умножение ассоциативно:
С9: Умножение связано со сложением распределительным (дистрибутивным) законом:
С10: Существует элемент 1 (единица), не равный нулю и такой, что .
С11: Для всякого ненулевого числа существует «обратное ему» число такое, что
С12: Множество комплексных чисел содержит подполе, изоморфное полю вещественных чисел . Для простоты далее это подполе обозначается той же буквой .
С13: Существует элемент (мнимая единица) такой, что
С14 (аксиома минимальности): Пусть — подмножество , удовлетворяющее следующим условиям: оно содержит и мнимую единицу и замкнуто относительно сложения и умножения. Тогда совпадает со всем .

Из этих аксиом вытекают как следствия все прочие свойства. Приведенная аксиоматика категорична, то есть любые её модели изоморфны как поля[44]. Это не означает, что все свойства разных моделей идентичны; например, алгебраическое замыкание поля p-адических чисел удовлетворяет приведенной аксиоматике и поэтому изоморфно как поле, но не изоморфно как топологическое пространство[45].

Непротиворечивость и модели

Стандартный способ доказать непротиворечивость новой структуры — смоделировать (интерпретировать) её аксиомы с помощью объектов другой структуры, чья непротиворечивость сомнений не вызывает. В нашем случае мы должны реализовать эти аксиомы на базе вещественных чисел[46].

Стандартная модель

Рассмотрим всевозможные упорядоченные пары вещественных чисел . Чтобы смысл дальнейших определений стал понятнее, необходимо пояснить[47], что мы намерены в дальнейшем каждую такую пару рассматривать как комплексное число

Далее определим[46]:

  1. Пары и считаются равными, если и .
  2. Сложение: сумма пар и определяется как пара .
  3. Умножение: произведение пар и определяется как пара .

Пояснение: сложное, на первый взгляд, определение умножения легко выводится из соотношения :

Несложно убедиться, что описанная структура пар образует поле и удовлетворяет всему приведенному перечню аксиом комплексных чисел. Вещественные числа моделируются парами , образующими подполе , причём операции с такими парами согласованы с обычными сложением и умножением вещественных чисел.. Пары и соответствуют нулю и единице поля. Такой способ является частным случаем процедуры Кэли — Диксона.

Мнимая единица — это пара . Квадрат её равен , то есть  Любое комплексное число можно записать в виде

Описанная модель доказывает, что приведенная аксиоматика комплексных чисел непротиворечива. Потому что если бы в ней было противоречие, то это означало бы противоречие и в базовой для данной модели арифметике вещественных чисел, которую мы заранее предположили непротиворечивой[46].

Матричная модель

Комплексные числа можно также определить как подкольцо кольца вещественных матриц 2×2 вида

с обычным матричным сложением и умножением[2]. Вещественной единице будет соответствовать

,

мнимой единице —

.

Множество таких матриц является двумерным векторным пространством. Умножение на комплексное число является линейным оператором. В базисе линейный оператор A умножения на представляется указанной выше матрицей, так как[2]:

Модель фактор-кольца многочленов

Рассмотрим кольцо многочленов с вещественными коэффициентами и построим его фактор-кольцо по модулю многочлена (или, что то же, по идеалу, порождённому указанным многочленом). Это значит, что два многочлена из мы будем считать эквивалентными, если при делении на многочлен они дают одинаковые остатки. Например, многочлен будет эквивалентен константе , многочлен будет эквивалентен и т. д.[48]

Множество классов эквивалентности образует кольцо с единицей. Так как многочлен неприводим, то это факторкольцо является полем. Роль мнимой единицы играет многочлен , поскольку квадрат его (см. выше) эквивалентен Каждый класс эквивалентности содержит остаток вида (от деления на ), который в силу сказанного можно записать как Следовательно, это поле изоморфно полю комплексных чисел[48].

Вариации и обобщения

Комплексные числа являются, согласно теореме Фробениуса, одним из трёх возможных случаев конечномерной алгебры над полем вещественных чисел. В 1919 году выяснилось, что и комплексные числа из вещественных, и кватернионы из комплексных чисел могут быть получены единой процедурой удвоения размерности, также известной как «процедура Кэли — Диксона». Дальнейшим применением этой процедуры образуются числа, описанные Артуром Кэли в 1845 году, до обнаружения этой процедуры, и названные «числами Кэли» (октонионы, октавы). Числа, получаемые следующим применением процедуры, названы седенионами. Несмотря на то, что эту процедуру можно повторять и далее, дальнейшие числа названий пока не имеют[49].

Примечания

  1. Двойное ударение указано согласно следующим источникам.
    • Большая советская энциклопедия, 3-е изд. (1973), том 12, стр. 588, статья Ко́мпле́ксные числа.
    • Советский энциклопедический словарь (1982), стр. 613, статья Ко́мпле́ксное число.
    • Последнее издание «Словаря трудностей русского языка» (Розенталь Д. Э., Теленкова М. А., Айрис-пресс, 2005, стр. 273) указывает оба варианта: «ко́мплексные (компле́ксные) числа».
    • В Большой российской энциклопедии (том 14, 2010 год) приводятся варианты: Компле́ксное число (стр. 691), но Ко́мплексный анализ (стр. 695).
    • Орфографический словарь русского языка (изд. 6-е, 2010), Грамматический словарь русского языка, Русский орфографический словарь Российской академии наук под ред. В. В. Лопатина (изд. 4-е, 2013) и ряд других словарей указывают варианты: «ко́мплексный» и «компле́ксный (матем.)».
  2. 1 2 3 4 5 Комплексное число // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1979. — Т. 2. — С. 1007.
  3. Справочник по элементарной математике, 2006, с. 211, подстрочное примечание.
  4. Энциклопедия элементарной математики, 1951, с. 227.
  5. Справочник по элементарной математике, 2006, с. 222.
  6. 1 2 3 4 5 Алгебра и математический анализ, 1998, с. 180—181.
  7. Real Part. Проверено 16 января 2018.
  8. Imaginary Part. Проверено 16 января 2018.
  9. История математики, том III, 1972, с. 72.
  10. 1 2 Энциклопедия элементарной математики, 1951, с. 237—239.
  11. Энциклопедия элементарной математики, 1951, с. 233—234.
  12. 1 2 3 4 Энциклопедия элементарной математики, 1951, с. 234—235, 239—240.
  13. Привалов И. И., 1984, с. 43.
  14. Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1967. — С. 14—15.
  15. 1 2 Алгебра и математический анализ, 1998, с. 183—1851.
  16. Cooke, Roger. Classical algebra: its nature, origins, and uses. — John Wiley and Sons, 2008. — P. 59. — ISBN 0-470-25952-3.
  17. 1 2 3 4 5 Клайн Моррис. Математика. Утрата определённости. — М.: Мир, 1984. — С. 138—139.
  18. 1 2 Стиллвелл Д. Математика и ее история. — Москва-Ижевск: Институт компьютерных исследований, 2004. — С. 258—266. — 530 с.
  19. История математики, том III, 1972, с. 57—61.
  20. Юшкевич А. П. Леонард Эйлер. Жизнь и творчество // Развитие идей Леонарда Эйлера и современная наука. Сб. статей. — М.: Наука, 1988. — ISBN 5-02-000002-7. — С. 15—47.
  21. Острая О. Теория функций комплексного переменного. Проверено 30 ноября 2017.
  22. Ренэ Декарт. Геометрия. С приложением избранных работ П. Ферма и переписки Декарта. — М.—Л.: Гостехиздат, 1938. — С. 233. — 297 с. — (Классики естествознания).
  23. Глейзер Г. И. История математики в школе. IX—X классы. — М.: Просвещение, 1983. — С. 193. — 351 с.
  24. Смирнов В. И., 2010, с. 7—15.
  25. Смирнов В. И., 2010, с. 15—22.
  26. 1 2 Заславский А. А. Геометрические преобразования. — 2-е изд.. — М.: МЦНМО, 2004. — С. 58. — 86 с. — ISBN 5-94057-094-1.
  27. 1 2 Евграфов ., 1968, с. 180—186.
  28. Энциклопедия элементарной математики, 1951, с. 249—251.
  29. Числовые системы, 1975, с. 165.
  30. Числовые системы, 1975, с. 167.
  31. Топологическое поле // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1985. — Т. 5. — С. 386.
  32. Комплексные числа. 9—11 классы, 2012, Глава 5.
  33. Реальные применения мнимых чисел, 1988, с. 78.
  34. Реальные применения мнимых чисел, 1988, с. 114—124.
  35. Дербишир, Джон. Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. — Астрель, 2010. — 464 с. — ISBN 978-5-271-25422-2.
  36. Привалов И. И., 1984, с. 14.
  37. Смирнов В. И., 2010, с. 22—25.
  38. Лаврентьев М. А., Шабат Б. В. Проблемы гидродинамики и их математические модели. — М.: Наука, 1973.
  39. Ландау, Л. Д., Лифшиц, Е. М. Квантовая механика (нерелятивистская теория). — Издание 6-е, исправленное. — М.: Физматлит, 2004. — 800 с. — («Теоретическая физика», том III). — ISBN 5-9221-0530-2.
  40. Реальные применения мнимых чисел, 1988, с. 132—144.
  41. Молчанов А. П., Занадворов П. Н. Курс электротехники и радиотехники, глава «Линейные цепи». — BH V. — 608 с. — ISBN 978-5-9775-0544-4.
  42. Числовые системы, 1975, с. 164—165.
  43. Энциклопедия элементарной математики, 1951, с. 227—233.
  44. Числовые системы, 1975, с. 166.
  45. David Marker. Introduction to model theory of algebraically closed fields (англ.). — Lecture notes in logic, 5: 1–37 (1996). Проверено 2 декабря 2017.
  46. 1 2 3 Числовые системы, 1975, с. 167—168.
  47. Энциклопедия элементарной математики, 1951, с. 230—233.
  48. 1 2 Фаддеев Д. К. Лекции по алгебре. — М.: Наука, 1984. — С. 200—201. — 416 с.
  49. Dickson, L. E. (1919), "On Quaternions and Their Generalization and the History of the Eight Square Theorem", Annals of Mathematics, Second Series (Annals of Mathematics) . — Т. 20 (3): 155–171, ISSN 0003-486X, DOI 10.2307/1967865 

Литература

  • Балк М. Б., Балк Г. Д., Полухин А. А. Реальные применения мнимых чисел. — Киев: Радянська школа, 1988. — 255 с. — ISBN 5-330-00379-2.
  • Виленкин Н. Я., Ивашов-Мусатов О. С., Шварцбурд С. И. Алгебра и математический анализ для 11 класса. Учебное пособие. — Изд. 6-е. — М.: Просвещение, 1998. — 288 с. — ISBN 5-09-008036-4.
  • Выгодский М. Я. Справочник по элементарной математике. — М.: АСТ, 2006. — 509 с. — ISBN 5-17-009554-6.
  • Глазков Ю. А., Варшавский И. К., Гаиашвили М. Я. Комплексные числа. 9—11 классы. — М.: Экзамен, 2012. — 157 с. — ISBN 978-5-377-03467-4.
  • Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.
  • Кириллов А. А. Что такое число?. — М., 1993. — 80 с. — ISBN 5-02-014942-3.
  • Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — 4-е изд. — М.: Наука, 1972.
  • Математика XVIII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1972. — Т. III.
  • Нечаев В. И. Числовые системы. — М.: Просвещение, 1975. — 199 с.
  • Привалов И. И. Введение в теорию функций комплексного переменного. — 13-е изд.. — М.: Физматлит, 1984. — 432 с.
  • Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1967. — 304 с.
  • Смирнов В. И. Курс высшей математики в трёх томах. — Изд. 10-е. — СПб.: БХВ-Петербург, 2010. — Т. 3, часть 2-я. — 816 с. — ISBN 978-5-9775-0087-6.
  • Энциклопедия элементарной математики (в 5 томах). — М.: Физматгиз, 1951. — Т. 1. — С. 160—168. — 448 с.

Ссылки