Академический Документы
Профессиональный Документы
Культура Документы
Л е м м а д о к а з а н а.
О п р е д е л е н и е 5 . Подмножество P ⊂ L векторного простран-
ства L называется подпространством, если
αx + βy ∈ P
для всех α, β ∈ K и для всех x, y ∈ P.
П р и м е р 4 . Очевидно, V1 подпространство плоскости V2 ⊃ V1 , а
V2 подпространство пространства V3 ⊃ V2 .
Справедливо следующее утверждение:
Л е м м а 2. Линейная оболочка L(x1 , ... , xr ) семейства элементов
{x1 , ... , xr } векторного пространства L является его подпростран-
ством.
Доказательство.
Действительно, пусть y, z ∈ L(x1 , ... , xr ), тогда
r
X r
X
y= α k xk , z= β k xk .
k=1 k=1
r
X r
X
ααk + ββ k xk = δ k xk ∈ L(x1 , ... , xr ),
αy + βz =
k=1 k=1
k k k
где δ = αα + ββ .
Лемма доказана.
В случае, когда
α1 x1 + · · · + αr xr = 0 ⇔ (α1 , ... , αr ) = (0, ... , 0).
семейство векторов x1 , ... , xr называется линейно независимым.
П р и м е р 5 . В векторном пространстве {0} нет линейно незави-
симых векторов.
✷ Действительно, рассмотрим нетривиальную линейную комбина-
цию
α0 = 0, α 6= 0. ⊠
П р и м е р 6 . В векторном пространстве V1 любой ненулевой век-
тор образует линейно независимое семейство векторов. В векторном
пространстве V2 любые два неколлинеарных вектора образуют ли-
нейно независимое семейство. В векторном пространстве V3 любые
три некомпланарных вектора образуют линейно независимое семейство
векторов.
Справедливо следующее утверждение:
Л е м м а 3. Однородная линейная система уравнений
AX = A1 x1 + · · · + An xn = O (3.1)
имеет нетривиальное решение тогда и только тогда, когда столб-
цы A1 , ... , An её основной матрицы A линейно зависимы.
Доказательство.
Шаг 1. Необходимость. Пусть система уравнений (3.1) имеет
нетривиальное решение
T
X0 = x10 , x20 , ... , x0n 6= O ,
тогда имеет место равенство
A1 x10 + · · · + An x0n = O.
Откуда вытекает, что столбцы основной матрицы линейно зависимы.
Шаг 2. Достаточность. Пусть столбцы линейно зависимы, т. е.
A1 x10 + · · · + An x0n = O
при некотором семействе (x10 , · · · , xn0 ) 6= (0, · · · , 0). Следовательно,
T
X0 = x10 , x20 , ... , xn0
— это нетривиальное решение системы уравнений (3.1).
Лемма доказана.
Имеет место следующая теорема:
Т е о р е м а 1. Справедливы следующие свойства:
1. Любое семейство векторов с повторениями линейно зависимо.
2. Если в семействе векторов x1 , ... , xr имеется нулевой вектор
0, то это семейство линейно зависимо.
3. Линейная зависимость и независимость 5
Из ′равенства
′
(4.11)
′
и результата леммы 2 вытекает вложение
L(A 1 , A 2 , · · · , A m ) ⊂ L(A1 , A2 , · · · , Am ), а из равенства (4.12)
и леммы 2 вытекает обратное вложение L(A1 , A2 , · · · , Am ) ⊂
′ ′ ′
⊂ L(A 1 , A 2 , · · · , A m ). Следовательно, имеем
′ ′ ′
L(A 1 , A 2 , · · · , A m ) = L(A1 , A2 , · · · , Am ).
Те о р е м а до к а з а н а .
Заметим, что описать результата применения элементарного преоб-
разования четвертого типа можно описать как произведение матрицы
P размера n × n справа на матрицу A :
′
A′ = AP ⇒ A j = Aj P при j = 1, m.
Справедливо следующее утверждение:
′
Т е о р е м а 5. Пусть матрица A получена из матрицы A элемен-
тарными преобразованиями столбцов четвертого типа, но для всех
столбцов матрицы A, включая последний. Тогда
1. Если строки матрицы A линейно независимы, то строки мат-
′
рицы A также линейно независимы, и обратное тоже верно.
2. Если между строками матрицы A имеется линейная зависи-
мость
c 1 A j1 + c 2 A j2 + · · · + c s A js = O , j1 , j2 , · · · , js ∈ 1, m,
′
то для соответствующих матрицы A имеет место такая
же зависимость
′ ′ ′
c 1 A j1 + c 2 A j2 + · · · + c s A js = O ,
и обратное тоже верно.
3. Справедливо равенство множеств
L(A′1 , A2′ , ... , A′n ) = L(A1 , A2 , ... , An ).
Д о к а з а т е л ь с т в о.
Доказательство аналогично доказательству теоремы 4. Нужно толь-
ко умножать не слева на матрицу P элементарных преобразований, а
справа.
Т е о р е м а д о к а з а н а.
0 0 1
5. Размерность и базис векторного пространства 13
бец A′ks+1 ∈ L(A′1 , A2′ , ... , A′n ) такой, что семейство столбцов
{A′k1 , A′k2 , ... , A′ks , A′ks+1 } является линейно независимо в линейной
оболочке L(A1′ , A2′ , ... , A′n ). Но тогда согласно результату пункта 2
теоремы 4 семейство столбцов {Ak1 , Ak2 , · · · , Aks , Aks+1 } линейно
независимо в линейной оболочке L(A1 , A2 , ... , An ), что противо-
речит определению базиса. Следовательно, семейство столбцов
{A′k1 , A′k2 , ... , A′ks } является максимальным линейно независимым
семейством в линейной оболочке L(A1′ , A2′ , ... , A′n ). Докажем, что
любой столбец B ∈ L(A′1 , A2′ , ... , A′n ) линейно выражается через
столбцы {A′k1 , A′k2 , ... , A′ks }.
✷ Действительно, пусть противное. Тогда в силу результата пункта
7 теоремы 1 мы приходим к выводу о том, что семейство столбцов
{A′k1 , A′k2 , ... , A′ks , B} ⊂ L(A′1 , A2′ , · · · , A′n )
является линейно независимым. Противоречие с максимальностью ли-
нейно независимого семейства столбцов {A′k1 , A′k2 , ... , A′ks }. ⊠
Т е о р е м а д о к а з а н а. ′
Т е о р е м а 8. Пусть матрица A получена из матрицы A элементар-
ными преобразованиями столбцов четвертого типа. Тогда
1. справедливо равенство размерностей линейных оболочек
dim L(A′1 , A2′ , ... , A′n ) = dim L(A1 , A2 , ... , An ), (5.4)
2. справедливо равенство размерностей линейных оболочек
′ ′ ′
dim L(A 1 , A 2 , ... , A m ) = dim L(A1 , A2 , ... , Am ). (5.5)
Д о к а з а т е л ь с т в о.
Доказательство аналогично доказательству теоремы 7 и основано
на применении результатов теоремы 5.
Т е о р е м а д о к а з а н а.
Из теорем 7 и 8 вытекает следующее важное утверждение:
′
Т е о р е м а 9. Пусть матрица A получена из матрицы A элементар-
ными преобразованиями в любой последовательности строк первых
трех типов и всех столбцов четвертого типа. Тогда справедливы
следующие равенства:
′ ′ ′
dim L(A 1 , A 2 , ... , A m ) = dim L(A1 , A2 , ... , Am ), (5.6)
dim L(A1′ , A2′ , ... , A′n ) = dim L(A1 , A2 , ... , An ). (5.7)
Д о к а з а т е л ь с т в о.
После применения элементарного преобразования любого из че-
тырех типов имеют место равенства (5.6) и (5.7). Отсюда вытекает
справедливость этих равенств после конечного числа элементарных
преобразований первых четырех типов, причем и применения элемен-
тарного преобразования четвертого типа для всех столбцов матрицы A.
Т е о р е м а д о к а з а н а.