Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
68
Добавлен:
02.06.2015
Размер:
259.6 Кб
Скачать
Тогда L это плоскость ¦, проходящая через начало координат и порожденная векторами v¹ и u¹. Нормальный вектор плоскости равен 0 1 1
n¹ = [¹v; u¹] = @ ¡1 A:
¡1
Таким образом ¦ (т.е. L) задается однородным уравнением x ¡ y ¡ z = 0. Пусть теперь 011
L = hv¹i = h@2Ai ½ R3:
3
То-есть L это прямая, проходящая через начало координат и заданная вектором v¹. Эта прямая задается
каноническими уравнениями
x1 = y2 = z3:
1

Лекция 6. Линейные подпространства

1. Пространство решений однородной системы

Продолжим изучение линейных подпространств.

Определение 1. Рассмотрим линейную однородную систему

 

 

a11x1 + ¢ ¢ ¢ + a1nxn = 0

 

 

¢ ¢ ¢

 

(1)

 

 

am1x1 + ¢ ¢ ¢ + amnxn = 0

Каждому решению x1

= a1

; : : : ; xn = an системы (1) сопоставим вектор

 

 

0a...1

1

2

Rn:

 

 

BanC

 

 

 

@

A

 

 

Множество всех таких векторов называется множеством или пространством решений системы.

Теорема 1. Пространство решений линейной однородной системы является линейным подпространством.

Доказательство. Из формулы общего решения линейной однородной системы вытекает, что множество решений является линейной оболочкой базисных столбцов, т.е. линейным подпространством. ¤

Наша следующая задача найти размерность и базис пространства решений линейной однородной системы.

Теорема 2. Рассмотрим линейную однородную систему с матрицей A. Пусть L ½ Rn пространство ее решений. Тогда dim L = n ¡ rk(A), а базисные столбцы образуют базис L.

Доказательство. Базисные столбцы являются решениями, т.е. принадлежат L. Каждое решение является их линейной комбинацией. Их линейная независимость очевидна. Поэтому, базисные столбцы образуют базис L. Их число равно количеству свободных неизвестных, что равно n минус число главных неизвестных, что

равно n минус ранг A.

 

 

 

 

¤

Пример. Рассмотрим линейную однородную систему

 

 

 

Здесь m = 1. Матрица этой системы равна

x1 + 2x2 ¡ 3x3 = 0:

 

 

 

¡3

 

 

 

1

2

 

 

 

и ее ранг равен 1. Следовательно, dim L = 2. Вектора базиса

Она уже находится в главном ступенчатом виде ¡

 

¢

 

 

это

0 ¡1

1;

v¹2 =

0 0 1

:

v¹1 =

 

2

A

 

3

 

 

@

 

@ A

 

 

0

 

 

1

 

Пример. В трехмерном пространстве легко переходить от одного описания линейного подпространства к другому. Пусть 011 011

L = hv;¹ u¹i = h@1A; @0Ai ½ R3:

0 1

01 1 0 x11 BB0 1 1 x2CC
A = BB1 2 1 x3CC: @1 1 0 x4A
0 1 2 x5

2

Следовательно, L это пространство решений½системы

2x ¡ y = 0

3y ¡ 2z = 0

Замечание. Пространство решений неоднородной системы не является линейным подпространством нулевой вектор не является решением неоднородной системы.

Оказывается, каждое линейное подпространство является множеством решений некоторой линейной однородной системы.

Теорема 3. Пусть L ½ Rn линейное подпространство. Тогда L является пространством решений некоторой однородной системы.

Доказательство. Пусть v¹1; : : : ; v¹k базис L (т.е. dim L = k) и пусть A n £ k матрица, составленная из координат векторов v¹i. Матрицу At будем считать матрицей линейной однородной системы S. Пусть M пространство решений системы S. Тогда M линейной подпространство размерности n ¡ k (потому что rk(At) = rk(A) = k).

Пусть векторы u¹1; : : : u¹n¡k образуют базис пространства M. Рассмотрим n £ (n ¡ k)-матрицу B, составленную из координат векторов u¹1; : : : u¹n¡k. Тогда матрица Bt это матрица линейной однородной системы S0 такой, что пространство ее решений это L.

Обозначим через N пространство решений системы S0. Тогда dim N = k. Докажем, что L µ N. Для этого нужно показать, что каждый вектор из L является решением системы S0, или, что каждый вектор v¹i, i = 1; : : : ; k, является решением этой системы, т.е. является решением каждого из n ¡ k уравнений системы S0. Рассмотрим j-е уравнение этой системы: b1x1 + : : : + bnxn = 0. Здесь числа b1; : : : ; bn это координаты

вектора u¹j.

Пусть вектор v¹i имеет координаты a1; : : : ; an. Нам нужно показать, что b1a1 + : : : + bnan = 0. Но это действительно так, потому что вектор u¹j является решением i-го уравнения системы S.

Итак, L µ N и размерности этих подпространств совпадают (равны k). Теперь утверждение вытекает из

свойства строгой монотонности размерности линейных подпространств.

 

 

 

¤

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

 

 

001 011 011

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L = hB1C; B1C

; B0Ci ½ R :

 

 

 

 

 

 

 

 

 

 

B C B C B C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B0C B1C B2C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

C B

1

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B C B

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

1 0 1 1 0

 

 

@ A @ A @ A

 

 

 

 

01

 

x1 x2 + x3 = 0

t

 

 

 

1 0 1 1 0

 

 

 

 

 

0¡11 0

 

 

00 1 1 0 21 ) 00 0 0 0 11 )

 

 

 

 

¡1

 

 

 

¡1

 

 

½ ¡x1 + x4 = 0

 

 

 

hB

0C B

1Ci )

 

 

 

 

 

 

 

 

 

 

 

 

B

 

C B

 

C

 

¡

¡

 

A =

@

1 1 2 1 1

A

@

0 1 1 0 0

A

M =

 

B

1

 

;

B

0

 

S0 :

 

 

 

 

 

 

 

 

 

0C

 

0C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

 

C B

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

A @

 

A

 

 

 

 

Есть и другой прием построения системы. Рассмотрим вектор v¹ 2 L с неопределенными коэффициентами x1; x2; x3; x4; x5, и построим матрицу

Так как первые три вектора образуют базис L, а v¹ 2 L, то в ступенчатом виде этой матрицы первые три

столбца будут главными, а третий свободным. Имеем

 

 

 

 

x2

 

1

 

 

00 1 1

 

x2

 

 

1

00 1 1

 

 

 

 

 

 

1 1 0

 

x1

 

 

 

 

 

 

1 1 0

 

 

 

x1

 

 

 

 

) B0 1 2

 

x

 

 

C ) B0 0 0

 

x

 

x

C

 

 

B

 

5

 

 

C

B

 

 

 

4

¡

1

C

 

A

B0 0 0

x x

 

C

B0 0 0 x x x

C

:

0 1 1

x3

¡ x1

 

 

B

0 0 1

 

x5

¡ x2

2C

 

B

4

¡

 

1C

 

3

¡

1

¡

 

 

@

 

 

 

A

@

 

 

 

A

 

Так как последний столбец должен быть свободным, то

¡ x3 = 0

 

 

 

 

 

 

 

 

 

 

½ x1

+ x2

 

 

 

 

 

 

 

 

 

L :

 

x1

¡ x4

= 0

 

 

 

 

 

 

 

И мы получаем ту же самую систему (что совершенно не обязательно).

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