Д) Інваріантні підпростори

Нехай V₁ – підпростір векторного простору V, А – деяке лінійне перетворення простору V. Образ Ах вектора х із V₁ не обов’язково належить V₁.

Розглянемо такі підпростори, вектори яких не виводяться із них перетворенням А.

Підпростір V₁ простору V називається інваріантним відносно лінійного перетворення А, якщо образ Ах кожного вектора х із V₁ належить V₁.

Приклади.

1. Для лінійного перетворення А – повороту навколо осі Оz звичайного тривимірного простору - інваріантними підпросторами будуть, наприклад, площина хОу і вісь Оz.

2. Для лінійного перетворення А – ортогонального проектування того ж простору на площину хОу - інваріантними підпросторами будуть: площина хОу; всі площини, що проходять через вісь Оz; сама вісь Оz; всі прямі площини хОу, що проходять через початок координат.

3. В довільному просторі кожний підпростір інваріантний відносно тотожнього і нульового перетворень.

4. В довільному просторі при довільному лінійному перетворенні сам простір і його підпростір, що складається із одного нульового вектора, є інваріантними.

Теорема 1. Перетин і сума підпросторів, інваріантних відносно лінійного оператора А, інваріантні відносно А.

Доведення.

а) Якщо підпростори V₁ і V₂ інваріантні відносно А і , то і , значить, і , тобто .

б) Якщо , то x= v₁+v₂, де , . Тоді і , звідки Ах =А ( v₁+v₂)=Аv₁+Аv₂ ▲

Теорема 2. Якщо А – невироджене лінійне перетворення і V₁ – підпростір, інваріантний відносно А, то V₁ інваріантний і відносно А^-1.

Доведення.

Нехай е₁, е₂, …, е_r – базис підпростору V₁. Тоді вектори Ае₁, Ае₂, …, Ае_r, які із інваріантності V₁ теж належать V₁, теж лінійно незалежні і, значить, теж утворюють базис V₁, тобто довільний вектор можна через цей базис виразити:

Але тоді і

,

тобто

Е) Власні вектори і власні значення лінійного перетворення

Розглянемо одновимірні інваріантні підпростори. Якщо V₁ – такий підпростір і , то і , і, значить, Ах=λх. Якщо у – будь-який інший вектор із V₁, то

у=αх і Ау=А(αх)=α(λх)=λ(αх)=λу.

Вектор називається власним вектором лінійного перетворення А, якщо існує таке число λ, що Ах=λх. Число λ називається власним значенням перетворення А, яке відповідає власному вектору х.

Очевидно, що якщо V₁ – одновимірний інваріантний підпростір простору V, то кожний вектор із V₁ є власним вектором перетворення А, причому з одним і тим же власним значенням. Навпаки, якщо х – власний вектор перетворення А, то породжений ним одновимірний підпростір V₁ (що складається із всіх векторів вигляду αх) буде інваріантним відносно А.

Припустимо, що лінійне перетворення А має п лінійно незалежних власних векторів е₁, е₂, …, е_п із відповідними власними значеннями λ₁, λ₂,…, λ_п. Якщо власні вектори е₁, е₂, …, е_п прийняти за базисні, то із рівностей Ае₁=λ₁е₁, Ае₂=λ₂е₂,…, Ае_п=λ_пе_п матриця перетворення А матиме вигляд:

(така матриця називається діагональною). Ясно, що правильне і зворотне: якщо матриця перетворення А в деякому базисі є діагональною, то всі векто-ри цього базису будуть власними векторами перетворення А.

Теорема1. Власні вектори лінійного перетворення А, що відповідають попарно

різним власним значенням, лінійно незалежні.

Доведення.

Доведення проведемо індукцією за кількістю власних векторів. Для одного вектора х це ясно, оскільки, за означенням власного вектора, він відмінний від нуля і, значить, із рівності αх=0 випливає, що α=0.

Нехай твердження теореми справедливе для k-1 векторів х₁,х₂,…,х_k-1. Припустимо, що k власних векторів х₁,х₂,…,х_k, які відповідають попарно різним власним значенням λ₁,λ₂,…,λ_k, є лінійно залежними:

α₁х₁+α₂х₂+…+α_kx_k=0, ( )

де не всі α_і (і=1, 2,…, k) рівні нулю. Застосувавши до обох частин рівності перетворення А, отримаємо

α₁Ах₁+α₂Ах₂+…+α_kАx_k=α₁λ₁х₁+α₂λ₂х₂+…+α_kλ_kx_k=0.

З другого боку, помноживши передостанню рівність на λ_k, матимемо

α₁λ_kх₁ + α₂λ_kх₂ +…+ α_kλ_kx_k = 0.

Віднявши дві останні рівності, отримаємо

α₁(λ₁-λ_k)x₁+α₂(λ₂-λ_k)x₂+…+α_k-1(λ_k-1-λ_k)x_k-1=0,

звідки із припущення лінійної незалежності х₁,х₂,…,х_k-1 випливає

α₁=α₂=…=α_k-1=0.

Тоді із рівності ( ) матимемо α_kx_k=0 і α_k=0. Отже, припущення невірне.▲

Розглянемо питання знаходження власних значень і власних векторів лінійного перетворення.

Припустимо, що х – власний вектор, а λ – відповідне йому власне значення лінійного перетворення А. Тоді Ах=λх. Виберемо в просторі V довільний базис е={e₁,e₂,…,e_n}, і нехай х=х₁е₁+х₂е₂+...+х_пе_п, а матриця лінійного перетворення А у вибраному базисі має вигляд

Тоді із пункту а) випливає:

Ах=(а₁₁х₁+а₁₂х₂+…+а_1пх_п)е₁+(а₂₁х₁+а₂₂х₂+…+а_2пх_п)е₂+…+(а_п1х₁+а_п2х₂+…+а_ппх_п)е_п=

=λх=λ(х₁е₁+х₂е₂+...+х_пе_п)= λ х₁е₁+ λ х₂е₂+...+ λ х_пе_п .