Читайте также: |
|
1. z1⋅z2 = |z1|⋅|z2|⋅(cos ϕ1 + i sin ϕ1)⋅(cos ϕ2 + i sin ϕ2) = |z1|⋅|z2|⋅(cos (ϕ1 + ϕ2) + i sin (ϕ1 +ϕ2)) ==> arg (z1⋅z2) = arg z1 +arg z2 + 2πk, |z1⋅z2| = |z1|⋅|z2|;
2. аналогично. ■
(5) Формула Муавра.
Формула Муавра. Для любого n ϵ ℕ справедливо равенство
(r⋅(cos ϕ + i sin ϕ))n = rn⋅(cos n⋅ϕ + i sin n⋅ϕ).
(6) Извлечение корня из комплексного числа.
Рассмотрим решения уравнения xn = z, где z = r⋅(cos ϕ + i sin ϕ). Пусть решением является x = p(cos ψ + i sin ψ), тогда
xn = pn⋅(cos n⋅ψ + i sin n⋅ψ) = r⋅(cos ϕ + i sin ϕ),
pn = r, cos n⋅ψ = cos ϕ, sin n⋅ψ = sin ϕ;
p = , n⋅ψ = ϕ + 2πk, k ϵ ℤ,
ψ = = + 2πs, k = n⋅s + t, 0 ≤ t ≤ n – 1,
ψ1 = , ψ2 = , ……, ψn = ;
Так, уравнение xn = r⋅(cos ϕ + i sin ϕ) имеет n корней:
xk = (cos + i sin ), k = 0,…, n–1.
(7) Корни из единицы.
Корнями из единицы называют решения уравнения xn = 1:
ℰk = cos + i sin , k = 0,…, n–1.
(8) Отношение эквивалентности и разбиение множества на классы.
Бинарное отношение называется отношением эквивалентности, если оно рефлексивно, транзитивно и симметрично.
Теорема о разбиении на классы эквивалентности. Пусть R – отношение эквивалентности на непустом множестве A. Тогда семейство классов эквивалентности B = {[a]R | a ϵ A} образует разбиение множества A:
1. элементами множества B являются непустые подмножества A;
2. для любых b1,b2 ϵ B если b1 ≠ b2, то b1∩b2 = ;
3. A = ;
4. для любых a1,a2 ϵ A выполнено a1Ra2 тогда и только тогда, когда для некоторого b ϵ B справедливо a1,a2 ϵ b.
Доказательство. Пусть a ϵ A. Через [a]R обозначим класс эквивалентности a ϵ A по R (такое подмножество A, что [a]R = {x ϵ A | aRx}). Тогда:
1. в силу рефлективности R получаем, что a ϵ [a]R, то есть [a]R ≠ . Следовательно, B непусто, так как a ϵ [a]R ϵ B;
2. предположим [a1]R,[a2]R ϵ B и [a1]R∩[a2]R ≠ . Тогда найдётся a ϵ [a1]R∩[a2]R, откуда получим, что [a1]R = [a]R и [a]R = [a2]R. Аналогично в обратную сторону. Следовательно, [a1]R = [a2]R тогда и только тогда, когда [a1]R ∩[a2]R ≠ ;
3. каждый элемент a ϵ A является элементом некоторого b ϵ B, а множество B, в свою очередь, по определению состоит только из элементов A;
4. пусть справедливо a1Ra2, тогда a2 ϵ [a1]R, [a1]R = [a2]R, a1,a2 ϵ [a1]R. Обратно, пусть a1,a2 ϵ [a]R, тогда [a1]R = [a]R, [a2]R = [a]R, [a1]R = [a2]R, a1 ϵ [a1]R и a1 ϵ [a2]R, то есть имеет место a1Ra2.
Докажем теперь единственность B. Предположим, существует множество B', удовлетворяющее свойствам 1–4. Тогда B' = B:
1. b' = [a]R: пусть b' ϵ B', a ϵ A и a ϵ b'. Если a' ϵ b', то aRa' и a' ϵ [a]R, [a]R = b'. Пусть теперь a' ϵ [a]R. Тогда aRa' и оба a и a' принадлежат какому-то элементу множества B', по свойству 2 a принадлежит только элементу b' ϵ B, значит, a' ϵ b', [a]R = b';
2. B' ⊆ B: пусть b' ϵ B'. Тогда, по свойству 1, существует такой a ϵ A, что a ϵ b', но так как b' = [a]R, то b' ϵ B;
3. B ⊆ B': пусть b ϵ B. Тогда b = [a]R для некоторого a ϵ A. По свойству 3 существует такой b' ϵ B', что a ϵ b', но так как b' = [a]R, то b ϵ B'. ■
Системы линейных уравнений.
(9) Элементарные преобразования систем линейных уравнений.
1. элементарное преобразование типа (I) – поменять местами i-ое и k-ое уравнения;
2. элементарное преобразование типа (II) – умножить i-ое уравнение на m ϵ F и прибавить к k-ому уравнению.
(10) Эквивалентность систем линейных уравнений при элементарных преобразованиях.
Теорема. Если с.л.у. (B) получена из с.л.у. (A) путем нескольких элементарных преобразований I или II типа, то (A) ~ (B).
Доказательство. Обозначим через SA и SB множество решений (A) и (B) соответственно.
1. Пусть (A) ⟼I (B). При эл. преобр. (I) типа уравнения системы не изменились, следовательно, (A) ~ (B).
2. Пусть (A) ⟼II (B). Если SA = ∅, то SB = ∅, (A) ~ (B). Если SA ≠ ∅ и (y1,..., yn) ϵ SA – произвольное решение системы (A), то (аi1 + α⋅aj1)⋅y1 +... + (ain + α⋅ajn)⋅yn = (ai1⋅y1 +... + ain⋅yn) + α⋅(aj1⋅y1 +... + ajn⋅y2 = b1 + α⋅b2. ((y1,..., yn) ϵ SA) ϵ SB, следовательно, SA ⊆ SB. Так как (B) ⟼II (A), то SB ⊆ SA. Отсюда следует SA = SB, то есть (A) ~ (B).
3. Пусть (B) получена из (A) последовательностью n элементарных преобразований I или II типа. Тогда (A) ⟼ (a1) ⟼... ⟼ (an-1) ⟼ (an) = (B). В силу доказанного имеем (A) ~ (a1) ~... ~ (an-1) ~ (B), (A) ~ (B). ■
(11) Приведение систем линейных уравнений к ступенчатому виду методом Гаусса.
Лемма. Элементарными преобразованиями можно привести с.л.у. (A) к ступенчатому виду.
Доказательство. Пусть (A) – исходная с.л.у., (B) – с.л.у. в ступенчатом виде:
a11x1 + a12x2 + … + a1nxn = b1,
………………………………, (A)
am1x1 + am2x2 + … + amnxn = bm,
x1 + x2 + … + xn = ,
x2 + … + xn = ,
…………………, (B)
……………,
xn = .
1. Применяя к (A) эл. преобр. типа I, можно добиться, чтобы в первом уравнении с.л.у. при x1 был ненулевой коэффициент .
2. Затем, применяя m–1 раз эл. преобр. II типа к остальным строкам, зануляем коэффициенты ,…, , исключая таким образом элемент x1.
3. Повторяя пункты 1-2 m–1 раз, добиваемся ситуации, когда каждый xi имеет не больше, чем i (i = 1,…,n) ненулевых коэффициентов. ■
Заметим, что (A) ~ (B), так как мы использовали только эл. преобразования I и II типа.
(12) Исследование систем линейных уравнений. Необходимые и достаточные условия совместности и определенности систем линейных уравнений.
Система линейных уравнений является:
1. совместной тогда и только тогда, когда множество решений S ≠ ∅, иначе – несовместной;
2. определенной тогда и только тогда, когда она имеет только одно решение, иначе – неопределенной.
Векторные пространства.
(13) Векторные пространства.
Непустое множество V над полем F называется векторным (линейным) пространством, если на нем заданы бинарная операция сложения (+) и унарная операция умножения на скаляр (⋅α ϵ F), удовлетворяющие следующим аксиомам:
1. сложение:
a. ассоциативно, т.е. (a+b)+c = a+(b+c),
b. коммутативно, т.е. a+b = b+a,
c. имеет нейтральным элемент: a+0 = 0+a = a,
d. имеет противоположный элемент: a+b = b+a = 0 (b = -a);
2. умножение:
a. ассоциативно, т.е. (α⋅β)⋅a = α⋅(β⋅a),
b. дистрибутивно, т.е. (α+β)⋅a = α⋅a+β⋅a, α⋅(a+b) = α⋅a+α⋅b,
c. имеет нейтральный элемент: 1⋅a = a,
d. имеет нулевой элемент: 0⋅a = 0.
(14) Пространство решений однородной системы линейных уравнений.
Пусть имеется однородная система линейных уравнений
a11x1 + a12x2 + … + a1nxn = 0,
………………………………, (A)
am1x1 + am2x2 + … + amnxn = 0,
тогда справедливо следующее.
Лемма. Пространство решений однородной системы линейных уравнений является линейным пространством.
Доказательство. Через VS = {(λ1,…, λn)} обозначим пространство решений однородной с.л.у.. Определим на VS операции сложения и умножения на скаляр и проверим аксиомы:
1. VS ≠ ∅, т.к. 0 = (0,…, 0) ϵ VS;
2. Пусть X,Y ϵ VS, X = (x1,…, xn), Y = (y1,…, yn). Тогда X+Y ϵ VS, т.к. имеем:
0 = xk + yk = (xk + yk), i = 0,…, m.
3. Для любого α ϵ F справедливо α⋅X ϵ VS, т.к. имеем:
0 = α ⋅ xk = xk = (α⋅xk), i = 0,…, m.
4. Остальные аксиомы следуют из того, что VS ϵ Fn.
Так, пространство решений VS однородной с.л.у. является линейным пространством. ■
(15) Линейные комбинации и линейная зависимость.
Пусть v1,…, vk – векторы пространства V, α1,…, αk ϵ F – скаляры. Тогда линейной комбинацией векторов v1,…, vk с коэффициентами α1,…, αk называется вектор
v = α1⋅v1 + α2⋅v2 + … + αk⋅vk.
Векторы v1,…, vk называются линейно зависимыми, если нулевой вектор является линейной комбинацией этих векторов, у которой хотя бы один коэффициент не равен нулю:
0 = α1⋅v1 + α2⋅v2 + … + αk⋅vk.
Векторы v1,…, vk называются линейно независимыми, если никакая линейная комбинация этих векторов не равна нулю, иначе,
0 = α1⋅v1 + α2⋅v2 + … + αk⋅vk <==> αi = 0, i = 1,…, k.
Теорема. Пусть v1,…, vn – система векторов. Тогда
1. Если некоторая подсистема вектров v1,…, vn линейно зависима, то сами векторы v1,…, vn линейно зависимы.
2. Если v1,…, vn линейно независимы, то любая их подсистема линейно независима.
3. Если v1,…, vn линейно зависимы, то существует i такой, что vi ϵ L(v1,…, vi-1, vi+1,…, vn).
4. Если vi ϵ L(v1,…, vi-1, vi+1,…, vn), то v1,…, vn линейно зависимы.
5. Если v1,…, vn линейно независимы, но v1,…, vn, v линейно зависимы, то v ϵ L(v1,…, vn).
6. Если v1,…, vn линейно независимы и v ∉ L(v1,…, vn), то v1,…, vn, v линейно независимы.
Дата добавления: 2015-07-11; просмотров: 59 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Доказательство. | | | Доказательство. |