Лекция 4. Комплексные числа

Введение

Начнем с нескольких напоминаний.

Одна из причин введения рациональных чисел обусловлена требованием, чтобы всякое линейное уравнение ax = b (где a  0) было разрешимо. В области целых чисел линейное уравнение разрешимо лишь в том случае, когда b делится нацело на a.

Одна из причин расширения множества рациональных чисел до множества действительных чисел была связана с разрешимостью квадратных уравнений, например, уравнения вида x² = 2. На множестве рациональных чисел это уравнение не разрешимо, так как среди рациональных нет числа, квадрат которого равен двум. Как известно, – число иррациональное. На множестве же действительных чисел уравнение x² = 2 разрешимо, оно имеет два решения x₁ = и x₂ = – .

И все же нельзя считать, что на множестве действительных чисел разрешимы все квадратные уравнения. Например, квадратное уравнение x² = – 1 на множестве действительных чисел решений не имеет, так как среди действительных чисел нет такого числа, квадрат которого отрицателен.

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

Вспомним о едином принципе расширения числовых систем и поступим в соответствии с этим принципом.

Если множество А расширяется до множества В, то должны быть выполнены следующие условия:

1. Множество А есть подмножество В. 2. Отношения элементов множества А (в частности, операции над ними) определяются также и для элементов множества В; смысл этих отношений для элементов множества А, рассматриваемых уже как элементы множества В, должен совпадать с тем, какой они имели в А до расширения. 3. В множестве В должна выполняться операция, которая в А была невыполнима или не всегда выполнима. 4. Расширение В должно быть минимальным из всех расширений данного множества А, обладающих первыми тремя свойствами, причем это расширение В должно определяться множеством А однозначно (с точностью до изоморфизма).

Итак, расширяя множество действительных чисел до множества новых чисел, названных комплексными, необходимо, чтобы:

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

Множество действительных чисел недостаточно обширно, чтобы в нем были бы разрешимы все квадратные уравнения. Поэтому, расширяя множество действительных чисел до множества комплексных чисел, мы потребуем, чтобы в нем можно было бы построить полную и законченную теорию квадратных уравнений. Другими словами, мы расширим множество действительных чисел до такого множества, в котором можно будет решить любое квадратное уравнение. Так, уравнение x² = – 1 не имеет решений во множестве действительных чисел потому, что квадрат действительного числа не может быть отрицательным. В новом числовом множестве оно должно иметь решение. Для этого вводится такой специальный символ i, называемый мнимой единицей, квадрат которого равен – 1.

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