Студопедия
rus | ua | other

Home Random lecture






ЛНЗ системы подпространств и их свойства


Date: 2015-10-07; view: 658.


Определение 3. Подпространства U1,...,Uk называются ЛНЗ, если из равенства u1 +... + uк = 0 (ui ∈ Ui) следует, что u1 = ... = uк = 0.

Предложение 1. Следующие свойства системы подпро­странств U1, ..., Uk с V равносильны:

1)U1,..., Uk - ЛНЗ;

2)объединение базисов подпространств U1,...,Uk линейно независимо;

3)dim(Ui + ... + Uk) = dim U1 + ... + dim Uk.

 


 

17 Прямые суммы подпространств. Разложение линейного пространства матриц порядка с элементами из поля в прямую сумму двух подпространств)


18 Определение и примеры линейных отображений.

Определение 4.1. Отображение А:L→L' из линейного пространства L в линейное пространство L' наз. линейным отображением или линейным оператором, если выполняется следующие усл.:

a) A(x+y)=A(x)+A(y) для любых векторов x,y ∈ L;

b) A(λx)=λA(x) для любого вектора x∈L и любого числа λ∈R.

Пример 1,2. Докажем линейность оператора поворота множества геометрических векторов на плоскости V2 на угол против часовой стрелки. Линейность этого оператора удобно доказать геометрически:

1.A(a+b)=Aa+Ab (см. рис. 2а);

Условия линейности выполнены, следовательно, оператор A линеен.

Пример 3. Докажем линейность оператора проецирования P множества геометрических векторов V3 на координатную плоскость XOY .

2.

Решение.Пусть в базисе I,j,k задан произвольный вектор a = {α1, α2, α3} . Тогда его образ (проекция на координатную плоскость XOY ) есть вектор Pa = {α1,α2, 0} .Для доказательства воспользуемся правилами операций над векторами в координатной форме.Получаем a = {α1, α2, α3}  V3 , b = {β1, β2, β3}  V3 и αR :

1)P(a+b) = {α1 + β1, α2 + β2, 0} = {α1, α2, 0} + {β1, β2, 0} = Pa+Pb;

2)P(αa) = {αα1, αα2, 0} = α{α1, α2, 0} = αPa . Условия линейности выполнены, следовательно, оператор P линеен.


 


<== previous lecture | next lecture ==>
Базисы, согласованные с подпространствами. Теорема о базисе, согласованном с двумя подпространствами, со следствием. | Теорема об изоморфизме алгебры линейных операторов и алгебры матриц.
lektsiopedia.org - 2013 год. | Page generation: 0.707 s.