
- •Глава 1. Ведение
- •§1. Некоторые понятия теории множеств и математической логики
- •1.Множество, операции над множествами, обозначения
- •2. Отображение, взаимно-однозначное соответствие, счетное и несчетные множества
- •3. Некоторые понятия математической логики (Дж. Маллас Пролог)
- •4.Вещественные числа
- •§2. Комплексные числа
- •1. Определение комплексного числа
- •2. Свойства комплексных чисел
- •3. Алгебраическая форма записи
- •4.Модуль и аргумент комплексного числа. Комплексное сопряжение. Тригонометрическая форма записи комплексных чисел.
- •5. Формула Муавра
- •§3. Верхняя и нижняя грани множества действительных чисел
- •1.Ограниченное множество. Точные грани.
- •2.Существование точной верхней грани у ограниченного сверху множества
§2. Комплексные числа
1. Определение комплексного числа
Рассматривается множество упорядоченных пар z = (x, y). Первое число из такой пары называется вещественной частью и обозначаются x = Re z, второе число называется мнимой частью y = Im z.
Два элемента z1 , z2 равны z1 = z2 , если равны их вещественные и мнимые части z1 = z2 { Re z1 = Re z2, Im z1 = Im z2 }.
Определяются две операции:
Сложение z = (x,y), w = (u,v), z + w = (x + u,y + v).
Умножение zw = ( xu – yv, xv + yu).
Это множество с такими операциями называется множеством комплексных чисел и обозначается C (комплексная плоскость).
Геометрическая интерпретация. Комплексное число z=(x,y) можно интерпретировать, как радиус вектор в точку (x,y).
2. Свойства комплексных чисел
Ниже перечисленные свойства проверяются исходя из определения операций сложения и умножения комплексных чисел.
1) z1 +z2 = z1 + z2
2) z1 +( z2 + z3) = (z1 + z2) + z3
3) обозначим
=
(0, 0), тогда для любогоz
будет выполнено z
+
=z
4) zC можно определить противоположный элемент -z=(-x,-y), который обладает следующим свойством z+(-z)=
Можно доказать,
что
-
единственный, противоположный дляz
также единственен.
5) z1 z2 = z2 z1
6) z1 ( z2 z3) = (z1 z2) z3
7) определим
=(1,0)
, тогдаz:
z
=z
8) z
(обратный элемент) z-1:
z
z-1
=
Существование обратного числа. Пусть z=(x,y). Будем искать число
z-1=(u,v),
удовлетворяющее нужным свойствам: xu
- yv=1,yu+xv=0
(z
z-1
=
).Решая эту
систему, получим u=x/(x2+y2),v=-y/(x2+y2).
Частное двух комплексных чисел определяется по формуле w/z=wz-1.
9) z1(z2+z3)=z1z2+z1z3
3. Алгебраическая форма записи
Рассмотрим
отображение c(x)
из R
в C:
,где xR,
.
Множество комплексных чисел (x,0),
обозначим
.
Отображениеc(x)
взаимно-однозначно, причем
c(x+y) = c(x)+c(y)
c(xy) = c(x)c(y)
c(0) =
c(1) =
Следствие: c(-x)=-c(x), c(x-1)=c(x)-1 или c(1/x)=1/c(x).
Эти свойства
позволяют отождествлять числа
с
вещественными числамиx.
В дальнейшем волну будем опускать.
Множество чисел (x,0)
называется
вещественной осью.
Мнимая единица. Введем обозначение i=(0,1).
Отметим, что x+iy=(x,0)+(0,1)(y,0)=(x,y)=z , таким образом можно записать z=(x,y)=x+iy. Представление комплексного числа z=(x,y)=x+iy называется алгебраической формой записи комплексного числа. Множество чисел (0,y)=iy называется мнимой осью.
4.Модуль и аргумент комплексного числа. Комплексное сопряжение. Тригонометрическая форма записи комплексных чисел.
Некоторые определения и свойства
Для
z=(x,y),
определяется
комплексно
сопряженное
число
,
модуль комплексного
числа
.
Определение аргумента комплексного числа
Главным значением аргумента комплексного числа называется угол между положительным направлением вещественной оси и радиус вектором комплексного числа, лежащий в диапазоне [0,2). Главное значение аргумента обозначается arg z. Аргумент комплексного числа Arg z = arg z +2k. Например, для первой четверти arg z = arctg y/x , а для четвертой четверти, arg z = 2+arctg y/x .
Тригонометрическая форма представления комплексного числа
z = x + iy = r( cos + i sin ), (1)
где =Arg z.
Формулы Эйлера. Введем обозначения
ei = cos + i sin , откуда следует, что
cos
=
,
sin
=
.
Замечание.
Определение
комплексного числа ez
в общем случае z=x+iy
производится
по формуле
.
Свойства символа ei. Непосредственно из определения следует
ei(+) = ei ei, (ei)n=ein
Используя ei комплексное число можно представить в виде
z = rei (2)
Выражения (1) и (2) - тригонометрические формы записи комплексного числа