Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
69
Добавлен:
02.06.2015
Размер:
243.74 Кб
Скачать

Лекция 7. Суммы и пересечения. Матрица перехода

 

 

 

1. Суммы и пересечения

Предложение 1. Пересечение L \ M двух линейных подпространств L и M является линейным подпро-

странством.

 

 

 

Доказательство.

 

 

 

¹

¹

¹

2 L \ M.

² Так как 0

2 L и 0

2 M, то 0

² Пусть x;¹ y¹ 2 L \ M, тогда x;¹ y¹ 2 L и x;¹ y¹ 2 M. Следовательно, x¹ + y¹ 2 L и x¹ + y¹ 2 M. Но тогда x¹ + y¹ 2 L \ M.

² Пусть x¹ 2 L \ M, тогда x¹ 2 L и x¹ 2 M. Следовательно, ®x¹ 2 L и ®x¹ 2 M. Но тогда ®x¹ 2 L \ M.

¤

Замечание. Если подпространство L задано как пространство решений линейной однородной системы S1, а подпространство M как решение системы S2, то пересечение L \ M задано как пространство решений системы S, составленной из уравнений системы S1 и из уравнений системы S2.

Определение 1. Пусть L; M ½ Rn два линейных подпространства. Тогда суммой L+M этих подпространств называется линейная оболочка их объединения: L + M = hL [ Mi.

Замечание. Вектор v¹ принадлежит сумме L + M подпространств L и M в том и только том случае, когда v¹ = x¹ + y¹, где x¹ 2 L и y¹ 2 M.

Замечание. Если L = hv¹1; : : : ; v¹ki и M = hu¹1; : : : ; u¹mi, то L + M = hv¹1; : : : ; v¹k; u¹1; : : : ; u¹mi. Из этого следует, что dim(L + M) 6 dim L + dim M.

Теорема 1. Пусть L и M два подпространства из Rn, тогда dim(L + M) = dim L + dim M ¡ dim L \ M.

Доказательство. Пусть векторы v¹1; : : : ; v¹k образуют базис пересечения L \ M. Дополним эту систему векто-

рами u¹1; : : : ; u¹l до базиса L и векторами w¹1; : : : ; w¹m до базиса M. Покажем, что система v¹1; : : : ; v¹k; u¹1; : : : ; u¹l; w¹1; : : : ; w¹m является базисом суммы L + M. Из этого сразу же следует справедливость теоремы: k + l + m =

(k + l) + (k + m) ¡ k.

Во-первых, если v¹ 2 L + M, то v¹ = x¹ + y¹, где x¹ 2 L и y¹ 2 M. Но вектор x¹ есть линейная комбинация

векторов v¹1; : : : ; v¹k; u¹1; : : : ; u¹l, а вектор y¹ есть линейная комбинация векторов v¹1; : : : ; v¹k; w¹1; : : : ; w¹m. Поэтому вектор v¹ есть линейная комбинация векторов v¹1; : : : ; v¹k; u¹1; : : : ; u¹l; w¹1; : : : ; w¹m.

Предположим теперь, что векторы v¹1; : : : ; v¹k; u¹1; : : : ; u¹l; w¹1; : : : ; w¹m линейно зависимы. Тогда существует нетривиальная линейная комбинация, равная нулю:

¹

®1v¹1 + : : : + ®kv¹k + ¯1u¹1 + : : : + ¯lu¹l + °1w¹1 + : : : + °mw¹m = 0:

Среди коэффициентов ¯i есть ненулевые, иначе векторы v¹1; : : : ; v¹k; w¹1; : : : ; w¹m линейно зависимы. Аналогично, среди коэффициентов °j есть ненулевые. Положим u¹ = ¯1u¹1 + : : : + ¯lu¹l. Вектор u¹ не равен нулю (так как он есть нетривиальная линейная комбинация линейно независимых векторов) и принадлежит подпространству L. С другой стороны, u¹ = ¡®1v¹1 ¡: : :¡®kv¹k ¡°1w¹1 ¡: : :¡°mw¹m и, значит, принадлежит подпространству M. Следовательно, u¹ 2 L \ M и u¹ = ±1v¹1 + : : : + ±kv¹k, т.е.

¹

(®1 + ±1v1 + : : : + (®k + ±kvk + °1w¹1 + : : : + °mw¹m = 0:

Что противоречит линейной независимости векторов v¹1; : : : ; v¹k; w¹1; : : : ; w¹m.

¤

¹

Определение 2. Если L \ M = f0g, то сумма подпространств L + M называется прямой суммой и обозначается L © M.

Замечание. dim(L © M) = dim L + dim M, а базис прямой суммы есть объединение базисов слагаемых.

2. Матрица перехода и ее свойства

Предложение 2. Пусть V = fv¹1; : : : ; v¹ng базис в пространстве Rn, а v¹ 2 Rn некоторый вектор. Тогда вектор v¹ может быть единственным образом представлен в виде v¹ = ®1v¹1 + : : : + ®nv¹n.

Доказательство. Существование такого представления следует из определения базиса. Пусть v¹ = ®1v¹1 +

: : : + ®nv¹n и v¹ = ¯1v¹1 + : : : + ¯nv¹n два представления вектора v¹ в виде линейной комбинации векторов базиса. Тогда

¹

 

(®1 ¡ ¯1v1 + : : : + (®n ¡ ¯nvn = 0:

¤

Но векторы v¹1; : : : ; v¹n линейно независимы, следовательно, ®i = ¯i, i = 1; : : : ; n.

Замечание. Числа ®i называются координатами вектора v¹ в базисе V .

 

1

2

Определение 3. Пусть V = fv¹1; : : : ; v¹ng и U = fu¹1; : : : ; u¹ng два базиса в пространстве Vn. Матрицей перехода

CV !U от базиса V к базису U называется n £ n матрица, составленная из координат векторов u¹1; : : : ; u¹n в базисе V .

Пример. Рассмотрим базис V в пространстве R2:

 

 

 

 

 

 

 

 

 

V = fµ2; µ4g:

 

 

 

 

 

 

1

 

3

 

 

 

Тогда матрица перехода от стандартного базиса E к базису V есть просто

 

 

 

 

 

CE!V =

µ2 4:

 

 

 

 

 

 

 

1

3

 

 

Пример. Пусть

V = fµ1

; µ2g и U = fµ1

; µ2g

 

 

 

 

1

1

 

 

2

3

 

два базиса в пространстве R2. Составим матрицу из координат этих векторов и приведем ее к главному

ступенчатому виду

µ1 2 1 2) µ

0 1 ¡1 ¡1 :

 

 

1

1

2

3

1

0

3

4

 

Тогда

 

 

CV !U = µ ¡1 ¡1 :

 

 

 

 

 

 

 

3

 

4

 

 

Действительно,

µ1= 3 µ1

¡ µ2;

µ2

= 4 µ1¡ µ2

:

 

2

 

1

1

3

 

1

1

 

Теорема 2. Пусть V = fv¹1; : : : ; v¹ng, U

= fu¹1; : : : ; u¹ng и W = fw¹1; : : : ; w¹ng базисы в пространстве Rn.

Тогда CV !W = CV !U CU!W .

Доказательство. Положим F = CV !U , G = CU!W и H = CV !W . Имеем

w¹j = g1ju¹1 + g2ju¹2 + : : : + gnju¹n = g1j (f11v¹1 + : : : + fn1v¹n) +

+ g2j (f12v¹1 + : : : + fn2v¹n) + : : : + gnj (f1nv¹1 + : : : + fnnv¹n) :

Таким образом, hij = g1jfi1 +g2jfi2 +: : :+gnjfin, что есть элемент из i-й строки и j-го столбца в произведении

матриц F G.

 

¤

Следствие. Матрица перехода CV !U невырождена и CV¡!1

U = CU!V .

¤

Доказательство. CV !U CU!V = CV !V = E.

 

Далее через (¹x)V мы будем обозначать столбец координат вектора x¹

2 Rn в базисе V . Связь между

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

Теорема 3. (¹x)V = CV !U x)U .

Доказательство. Положим C = CV !U . Пусть

x¹ = ®1v¹1 + : : : + ®nv¹n и x¹ = ¯1u¹1 + : : : + ¯nu¹n:

Тогда

x¹ = ¯1 (c11v¹1 + c21v¹2 + : : : + cn1v¹n) + ¯2 (c12v¹1 + c22v¹2 + : : : + cn2v¹n) + : : : + ¯n (c1nv¹1 + c2nv¹2 + : : : + cnnv¹n) :

Следовательно,

x¹ = (¯1c11 + ¯2c12 + : : : + ¯nc1n) v¹1 + (¯1c21 + ¯2c22 + : : : + ¯nc2n) v¹2 + : : : + (¯1cn1 + ¯2cn2 + : : : + ¯ncnn) v¹n:

Но это означает, что (¹x)V = Cx)U . ¤

Соседние файлы в папке modules 3-4