Professional Documents
Culture Documents
Httpsis Muni czelfipodzim2012MB201ummI-6a PDF
Httpsis Muni czelfipodzim2012MB201ummI-6a PDF
A · (x + y ) = A · x + A · y = 0
a · (v + w ) = a · v + a · w (V1)
(a + b) · v = a · v + b · v (V2)
a · (b · v ) = (a · b) · v (V3)
1·v =v (V4)
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
a1 · v 1 + · · · + a k · v k = 0 =) a1 = a2 = · · · = ak = 0.
8a, b 2 K, 8v , w 2 M, a · v + b · w 2 M.
Theorem
Pro každou podmnožinu M ⇢ V platí
1 hMi = {a1 · u1 + · · · + ak · uk ; k 2 N, ai 2 K, uj 2 M, j =
1, . . . , k}
2 M = hMi právě když M je vektorový podprostor
3 jestliže N ⇢ M pak hNi ⇢ hMi je vektorový podprostor
4 h;i = {0} ⇢ V , triviální podprostor.
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
V1 + · · · + Vk = hV1 [ V2 [ · · · [ Vk i.
V1 + V2 + · · · + Vk = {v1 + · · · + vk ; vi 2 Vi , i = 1, . . . , k}.
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
w = v1 + · · · + vk ,
1
Všimněme si, že triviální podprostor je generován prázdnou množinou,
která je "prázdnou"bazí. Má tedy triviální podprostor dimenzi nulovou.
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
Zapamatujme si:
Vlastnosti bazí
1 Každé dvě báze konečněrozměrného vektorového prostoru mají
Theorem
Nechť W , W1 , W2 ⇢ V jsou podprostory v prostoru konečné
dimenze. Pak platí
1 dim W dim V
2 V = W právě když dim V = dim W
3 dim W1 + dim W2 = dim(W1 + W2 ) + dim(W1 \ W2 ).
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
v = a1 v1 + · · · + an vn = b1 v1 + · · · + bn vn .
Potom ale
0 = (a1 b1 ) · v1 + · · · + (an bn ) · vn
2
Všimněme si, že operace na levých a pravých stranách těchto rovnic nejsou
totožné, naopak, jde o operace na různých vektorových prostorech! Při této
příležitosti se také můžeme zamyslet nad obecným případem báze M (možná
nekonečněrozměrného) prostoru V . Báze pak nemusí být spočetná, pořád ale
ještě můžeme definovat zobrazení M : V ! KM (tj. souřadnice vektoru jsou
zobrazení z M do K).
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
f
V /W
u ' ' v
✏ fu,v ✏
Kn / Km
idV
V /V
u ' ' v
✏ (idV )u,v ✏
Kn / Kn
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
Theorem
Matici T přechodu (od báze u k bázi v ) získáme tak, že souřadnice
vektorů báze u v bázi v napíšeme do sloupců matice T .
Definition
Skalární součin na vektorovém prostoru V nad reálnými čísly je
bilineární symetrická forma h , i : V ⇥ V ! R taková, že
hv , v i 0 a je roven nule pouze při v = 0.
Definition
Vektory v a w 2 V se nazývají ortogonální, jestliže hv , w i = 0.
Vektor v se nazývá normovaný, jestliže kv k = 1. Báze prostoru V
složená z ortogonálních vektorů se nazývá ortogonální báze.
Jsou-li bázové vektory navíc i normované, je to ortonormální báze.
hv , w i
cos ' = .
kv kkw k
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
Theorem
Skalární součin je v každé ortonormální bázi dán výrazem
hx, y i = x T · y .
hx, y i = x T · S · y .
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
hu`+1 , vi i
v`+1 = u`+1 + a1 v1 + · · · + a` v` , ai =
kvi k2
Vektorové prostory Báze a souřadnice Transformace souřadnic Velikost vektorů a ortonormální báze
hei , v i = hei , x1 e1 + · · · + xn en i = xi
Pro kolmou projekci nám tedy stačí znát jen ortonormání bázi
podprostoru W , na nejž promítáme.
Povšimněme si také, že obecně jsou projekce f na podprostor W
podél U a projekce g na U podél W svázány vztahem g = idV f .
Je tedy u kolmých projekcí na daný podprostor W vždy výhodnější
počítat ortonormální bázi toho z dvojice W , W ? , který má menší
dimenzi.