VII. LINEÁRNI ZOBRAZENI VEKTOROVÝCH PROSTORU ! §1. ZákliHní vlastnosti lineárního zobrazení ; V naSich pfedchozích úvahách o vektorových prostorech jsme vždy vyšetřovali vlastnosti jednoho vektorového prostoru (pro úplnost připomeňme, že vektorovým prostorem rozumíme vždy pouze konečnědimenzionálnť vektorový prostor). V této kapitole se naopak budeme zabývat vzájemnými vztahy mezi dvěma (případné i vice) vektorovými prostory. Tyto "vzájemné vztahy" budeme studovat pomocí zobrazení jednoho vektorového prostoru do druhého. Aby naše úvahy mely praktický smysl bude zřejmě nutné pracovat s takovými zobrazeními, která nějakým způsobem "zachovávají" operace, s nimiž se ve vektorových prostorech setkáváme, tj. zachovávají jednak součet vektorů a jednak násobek čísla s vektorem. Při tom zřejmě druhý požadavek bude moci být splněn jen tehdy, když uvažované vektorové prostory budou nad stejným číselným tělesem. Definice: Nechť V, V jsou vektorové prostory nad týmž Číselným tělesem T. Zobra- \ zení
: V r* V, definované ! ip(v.) - /.u, pro každé u £ V je lineám! zobrazen!. Je-li f i= 0, pak
V, definované: w(ii) = o' , pro každé u £ K ie lineární zobrazení, které budeme nazývat nulové lineární zobrazení. Přiklad 1.2.: Zobrazení f : R3 ■* R2, definované: • x2, x3)) = (2#, + x3, xr- X%~ X3)_ pro ¥ (*,, x2,x3) 6 R3 je lineární zobrazení, které není izomorfizmem. Dále, např. zobrazení ý : R3 -» R2, definované: i//((x,, xt, x3)) = (2xl + 1, Jt,- x2- x3) pro Y (*t. *2. x3) £ R3 není lineární zobrazení (zřejmě neplatí (i) ani (ii)) Příklad 1.3.: Zobrazen! 5 : R„[x] •* Rn [x] , definované: S(f(x)) f /'(*), pro y fíx) 6R,[i|, tj. zobrazení přiřazujíc! polynomu f(x) jeho derivaci f(x), je lineární zobrazen! (při ověřování podmínek (i) a (ii) se využije některých vět o derivování funkcí, známých z analýzy). Zřejmě 5 není bijektivní zobrazení, a tedy není izomorfizmem. Věta I.I.: Nechť
((--l).u) = (-l).^(u) - -tfu), podle V. 1.1.4., kap. III ,3- ui.....ufc jsou lineárne závislá ■» existují f, alespoň jedno je různé od nuly tak, že ŕ.u.t . . . + tkuk = o. Pak ale ^,u, + ...+ f,^)-.- <ŕ(o), tzn. /1.¥»(u1) + . . . + ífc.
(W) = {x' 6 V\ j W 6 W tak, že
(«,).....0ÍU. ) /jou generátory podprostoru ip(W) 3. "[. dim IV > dim ip(H>) [Důkaz: 1. provede se přímým overením definice podprostoru V 2. nechť x' e tfW) libovolný, tzn. existuje w e W tak, žé ■■ x'. Ale podle predpokladu W f f,.-U,+. . . , + f,.u,., a tedy x' = !p(řiBi + • • • + ř*«J = = řj.rtu,) + . .". htk.•••, v(um) generátory a tedy dim rtV) < m = dim IV ] Víta 1.3.: Složením lineárních zobrazení dostaneme opět lineární zobrazení, tj. jsou-li
K','- ijt': K'-»• V" lineární zobrazeni, pak ý o
(x) = x, .vj + Potom
p je výše zkonstruované lineární zobrazení a nechť dále ý : V'-* V je lineární zobrazení takové, že = v,.....jKJB,) ~ Y^. Pak pro libovolný vektor x 6 K (pro níjŽ x = x^^ . . . + xnun) je: *(x) U,+ • • • ■■**,*,) "*i ^ui> + • • ' + xn W *,v', + . . . + xny'n = rfx), což však znamená, že -\p - ] Definice: Nechť
je podprostorem ve V 2. obraz Im
. Dále, nechť u.veKertr. tzn. 166 167 'ääifcí' WĚĚĚĚ m mm je
(v) = o' + o' = o', a tedy u + veKer
se nazývá hodnost lineárního zobrazení v?- • . Věta 1.7.: Nechť ip : V ->■ V je lineární zobrazení. Pak Součet defektu a hodnosti lineárního zobrazení
) + dim (Im
= {o'), pak Ker ip = V a věta zřejmě platí. Nechť je tedy Im
(c, u, + . , . + crur) = c, ^(u,) + ...+. cr¥>(ur) = c,w', + . . . + c,wp' = >r(x) odkud y?(x - u) = o', neboli x — u e Ker y. Potom vSak: i I f x = (x - u) + u G Ker
p + dim tm y?. ] Definice: Nechť V, V jsou vektorové' prostory nad T; nechť existuje izomorfizmus vektorového prostom V na V. Pak říkáme, že V a K' jsou izomorfní vektorové prostory a píšeme V s V'. Věta I.8.: Relace S je relací ekvivalence na množině vSech (koneČnědimenzionálních) vektorových prostorů nad tělesem T. [Důkaz: reflexivita: je zřejmá (neboť iáy je izomorfizmus V na V) symetrie: nechť V a K', tzn. existuje izomorfizmus
1) a nechť u......li- je báze V, resp u',.....u'n je báze V. Nechť dále x £ K libovolný, přičemž x = a^u, + . . . + xfíun (víme, že toto vyjádření existuje, a to jediné). Položme: v5(x) = *lU; + . . . + xn«£ Pak zřejmé
V . u, + . . . + {txn +syn) . u,J = (txj +íy,). uj +...
• • ■ +v*H+syJ ■ K = ' ■ (*,■*, + ■ • • + *X» + í • (y, u; + ... +yy„) - m*) * Mri
Dohromady pak zobrazuje libovolné lineární nezávislé vektory opět na lineární nezávislé vektory.
[D úkaz: "(i) "* (ii)" zřejmé
í
(11) =» (iii)" nechť = {o} (neboť, je-li xí'o libovolný, pak x je lineární nezávislý, a tedy podle (v) je ^>(x) také lineárně nezávislý, neboli o i//)(u) = i a nechť maticí ip (resp. ip) v báli (1) je matice A (resp. B). Potom:
1.
(
maticí lineární transformace = jJ/VV. pro / = 1, . . . , n
Pak, 1: (v + i//)(u,) = vKu,) + ( H/V = 2 fr^ti,) = S b 2 fl n =2(2 a ů ) . u = 2 c .u , odkud plyne, že maticí lineární transformace ip o f v bázi (1) je matice j4.jS.
M íl
3: (t. 1. Pak vektorový
prostor £(V) je izomorfní vektorovému prostoru Mat (T). i
[Důkaz: ríechť (1) je pevná báze V. Definujme zobrazení F : L{V) -* Matn (f) takto: pro libovolné + ý) = A +B = F( 1). Pak platí: A, B jsou maticemi tele lineární transformace prostoru V (ve vhodných bázích) ■» existuje regulární matice S tak, le: B = S~ l.A.S
[D fi k a z: nechť A = (a(/), resp. B = je matice lineární transformace f
v bázi (1), resp. v bázi (ľ) (kde (i) je báze u,.....u„ , resp. (ľ) je báze uj, . . . , u'),
Dále, nechť S = (í(/) je matice.přechodu od báze (1) k bázi (ľ), tzn. S je regulární matice a platí:
Potom však:
= 2 b u; = £ b . u, = £( i>,.*,) . u,
' k=l K> " k*l *' i-l™ ' (=1 k=l'" *' '
a také:
odkud porovnáním pravých stran (na základě jednoznačnosti vyjádření vektoru ir(Uy) pomocí
báze (1)) dostáváme, že
což však znamená, že S.B = AS, neboli 5 = S~l.A.S
J nechť B = S~l.A.S a nechť (1) je pevná báze prostoru V. Pak
(podle důkazu V.2.4.) existuje jediná lineární transformace .A.{S~>), kde S~> je zřejmě regulární. Tedy je B ~ A.
c) transitivita: nechť A ~ B a B - C, tzn. existují regulární matice
S, Q tak, Že B = S~'.A.S a C = Q~ l.B.Q. i Po dosazení dostáváme: C <= Q"'1 .S"1.4.5,2 = = (SQT1 .A\SQ), přičemž matice S.Q je zřejmě regulární. Tedy je A ~ C. ]
Definice: Nechť A - («(/) je Čtvercová matice řádu n (nad T) a nechť X je proměnná. Pak determinant
l/l - X£„ I
aM-X a15
.La -X
se nazývá charakteristický polynom matice A.
Poznámka: provedeme-li výpočet předchozího determinantu (např. užitím V.2.2., kap. IV) dostaneme:
\A - \En | = (-l)".X» + (-l)"-,.(fl„ + a12+ ■ • •+«„„) • • ■ ■ + Ml Je tedy okamžité vidět, že se skutečně jedná o polynom proměnně X, který je stupně n a jeho koeficienty jsou z číselného tělesa T.
Konkrétné, například pro n = 3 dostaneme rozepsáním:
\A ~ \E.\
--^<«„-„-„>x--(|:;;:;;|.|:;;:;;|.|::;;»|)x*MI
Veta 2.1,: Nechť A, B jsou podobné matice: Pak matice A, B mají
1. stejné determinanty, tj. \A \ = \B\
2. stejnou hodnost, tj. h(A) = h(B)
3. stejné charakteristice polynomy, tj. \A - \En \ = \B - \En\
[D ů kaz: nechť A, B e Matmi(D jsou podobné matice, tzh. existuje regulární matice S tak, že B = S"1.A.S. Potom:
1. užitím Cauchyovy věty a V.3.9.3., kap. IV, dostáváme: '
\B\ = \S~-l.A.$\
I S\
\A\.\S\
\A
2. užitím V.4.5.2., kap. IV. je: h(B) = h(S~l.A.S) = h(AJ) = h(A)
3. užitím Cauchyovy věty a zřejmého faktu, Že \.En = S~l.(\.En) . S, dostáváme:
\B - \En | =\S~'AS - S'1 QMn )S | = \jr*{A - Mn)S | =^.\A-\En \ .\S\ = ■ ■ = \A~\En | ]
Poznámka; připomeňme, Ze předchozí větu nelze o.brátit, tzn. rovnost determinantu, rovnost hodností a rovnost charakteristických polynomů dvou matic jsou pouze nutné, nikoliv však dostatečné podmínky pro podobnost těchto matic. Vezmeme-li např. matice
pak zřejmě \E1 | = \B\, híEJGýlift) a \E2-\E2\ = \B-IE1\, ale matice E2 a B nejsou podobné (neboť pro každou regulární matici S řádu 2 je S-'.E2.S = E2, což znamená, že matice E2 je podobná pouze sama sobě).
Jak již bylo řečeno, všechny matice dané lineární transformace p (v jisté bázi prostoru V). Pak charakteristický polynom matice A, tj. \A — 'iJ£\, se nazývá charakteristický polynom lineární transformace r(u) - X.u = ((au- X)x,+ aux2+ . . . + a,,,*,) . u,+
Podle předchozí věty je však u vlastním vektorem transformace : V-V je lineární zobrazení. Pak následující výroky jsou ekvivalentní:
(i) u.v = j platí: 2, u, cjsCý) = v a platí: u.v = o), a tedy musí být X2 = 1 neboli X = ± 1. ]
Každá ortogonální transformace (euklidovského) prostoru V je zřejmě lineární transformací tohoto (vektorového) prostoru V, a tedy můžeme sestrojit její matici v nějaké dané bázi prostoru V, specielně např. v dané ortonormální bázi prostoru V. Ukážeme, Že v takovém případě bude pak mít tato matice jistý specielní tvar.
Definice: Nechť A je čtvercová matice nad R taková, že a je regulární a platí: a"1 5=4* (tj. inverzní matice je rovna matici transponované). Pak matice a se nazývá ortogonální matice.
Věta 4.5.: Nechť a je čtvercová matice řádu n nad R. Pak následující výroky jsou ekvivalentní:
(i) a je ortogonální matice
tu) a:a' = eh
(iii) A'. A = en
[D úkaz: věta plyne bezprostředně z definice ortogonální matice, definice inverzní matice a poznámky za V.3.10, kapitoly IV. ]
Věta 4.6.: Nechť a, b jsou ortogonální matice řádu n. Pak platí:
1. a.b je ortogonální matice
2. a"' je ortogonální matice J. 1/1 I = ± 1
[Důkaz: 1. (a.b) . (a.b)' = a . (b.b') . a' = a.en.a' = a.a' = en, a tedy podle V.4.5. je a.b ortogonální maticí
2. plyne z V.4.5., uvážíme-li, Že (a'Y = a,
3. víme, že \a I = \a'\, tzn. pak z V.4.5. a z Cauchyovy věty dostáváme: 1 = \et ] = \a.a' | = \a:\ • I4'l = Ml2 . odkud \a | = * I. ]
187 -
Důsledek: Množina všech ortogonálních matic řádu n, s operací násobení matic, je
grupou.
(
[Důkaz: tvrzení plyne z předchozí věty, uvědomlme-li si, že násobení matic je asociativní a že jednotková matice en je ortogonální. ]
Věta 4.7.- Nechť V je euklidovský prostor a tp : V -* V je lineární transformace. Pak: ífi je ortogonální transformace t» matice transformace ? v ortonormální bázi prostoru V je ortogonální.
[D ň k a z: nechť
u) ei......V
je ortonormální báze prostoru V a nechť A = (afj) je matice lineární transformace vp: v bázi (1). Dále:
"=>": nechť li.....Jn
jsou baze euklidovského prostoru V a nechť báze (3) je ortonormální. Pak platí: matice prechodu od báze (3j k bázi (4) je ortogonální *> báze (4) je ortonormální,
[D ů kaz: nechť A = (sj.) je matice přechodu od báze (3) k bázi (4), tzn, platí: /,
v. = X a, u. , pro i = 1. . . . , n. Potom však:
v-..v. = ( 2 a, .u, ) . ( 2 a„u,) = a,,a,,+ . . . + a ,a. odkud již (užitím V.4.5.) bezprostředně plyne celé tvrzení vSty. ]