Zadatak 1.

Neka je V vektorski prostor i M, L

V . Dokaite: z

M L + M K M (L + K). Vrijedi li jednakost? Rjeenje. s Uzmimo x M L+M K. Tada se x oito moe zapisati u obliku x = a+b, c z gdje je a M L, b M K. Sada imamo aM LaM bM K bM x = a + b M,

jer je M (kao potprostor od V ) zatvoren na zbrajanje. Nadalje, aM LaL bM K bK x = a + b, a L, b M

x L + M. Dakle, x M & x L + K x M (L + K). Odavde slijedi M L + M K M (L + K). Jednakost u dokazanoj skupovnoj inkluziji openito ne vrijedi, to dokazuc s jemo protuprimjerom. Neka su u prostoru V 2 (O) zadani potprostori M = [{i + j}], L = [{i}], K = [{j}]. Imamo L + K = V 2 (O) M (L + K) = M V 2 (O) = M, M L = {0} M L = {0} M L + M K = {0},

pa oito slijedi kako jednakost ne vrijedi. c Napomena 1. Nije teko provjeriti da je presjek potprostora M i L, s odnosno M i K iz gornjeg protuprimjera zaista trivijalan. Naime, uzmimo x M L. Vrijedi: x M R x = i + j x M R x = i 1 i + j = i

 ( )i + j = 0, a odavde, budui da je skup {i, j} nezavisan, slijedi = = 0, odnosno c x = 0. Analogno za M K. Napomena 2. Odnosi navedenih potprostora iz gornjeg protuprimjera vrlo se lijepo mogu vidjeti i geometrijskim putem - pokuajte nacrtati pris padnu sliku i geometrijski interpretirati navedene potprostore te njihove sume i presjeke. Kako se u ovom sluaju vidi da je presjek M L trivijalan? c Zadatak 2. Neka je V konanodimenzionalan vektorski prostor, dim V = n, i M, L c 1 dim M = dim L < n.

V,

Dokaite da M i L imaju zajedniki direktan komplement. z c Rjeenje. s Neka je {a1 , . . . , ak } baza za M i {b1 , . . . , bk } baza za L (dim M = dim L = k). Reducirajmo uniju tih baza {a1 , . . . , ak , b1 , . . . , bk } do baze za sumu M + L. Uz pretpostavku dim M L = l (0 l k) bez smanjenja openitosti c moemo pretpostaviti z 1. da smo u redukciji skupa {a1 , . . . , ak , b1 , . . . , bk } do baze za sumu izbacili vektore bkl+1 , . . . , bk 2. da smo u redukciji skupa {b1 , . . . , bk , a1 , . . . , ak } do baze za sumu izbacili vektore akl+1 , . . . , ak Dakle ovim smo redukcijama dobili dva linearno nezavisna skupa {a1 , . . . , ak , b1 , . . . , bkl }, {b1 , . . . , bk , a1 , . . . , akl }, koja oba predstavljaju baze za M + L. Nadalje, denirajmo: cj := aj + bj , j = 1, . . . , k l. Uoimo da je ci M + L, i = 1, . . . , k l. Promotrimo skup c {a1 , . . . , ak , c1 , . . . , ckl }. Lako se vidi da je taj skup linearno nezavisan u V :
k kl

i ai +
i=1 i=1

i ci = 0 2

kl

i=1 kl

i ai +
i=1 k

i (ai + bi ) = 0
kl

i=1

(i + i )ai +
i=kl+1

i ai +
i=1

i bi = 0

1 = . . . = k = 1 = . . . = kl = 0 (jer je skup {a1 , . . . , ak , b1 , . . . , bkl } linearno nezavisan). Dakle, taj je skup takoder baza za M + L. Analogno se pokae za skup {b1 , . . . , bk , c1 , . . . , ckl }. z Kako vrijedi [{a1 , . . . , ak , b1 , . . . , bkl }] = [{b1 , . . . , bk , c1 , . . . , ckl }](= M + L), ti potprostori oito imaju zajedniki direktan komplement u V - neka je to c c linearna ljuska skupa {d1 , . . . , dn2k+l }. Slijedi da je skup {c1 , . . . , ckl , d1 , . . . , dn2k+l } zajedniki direktan komplement za M i L u V . c Napomena 3. Smisao ove konstrukcije je sljedei: najprije smo za potc prostore M i L nali potprostor K = [{c1 , . . . , ckl }] takav da je M K = s L K = M + L (odnosno, nali smo njihov zajedniki direktan komplement s c u M + L), a zatim smo taj potprostor nadopunili do zajednikog direktnog c komplementa u V (naavi direktan komeplement od M + L u V ). s s Napomena 4. Vrijedi sljedea tvrdnja: Neka su P i Q potprostori c konanodimenzionalnog vektorskog prostora V i {p1 , . . . , pm }, {q1 , . . . , qn } c njihove baze (tim redom). Tada je P Q = {0} ako i samo ako je skup {p1 , . . . , pm , q1 , . . . , qn } linearno nezavisan u V . Dokaz ove tvrdnje nije teak - dokaite ju. Naime, ovu smo tvrdnju impliciz z tno koristili u rjeenju prethodnog zadatka (kad smo tvrdili da je neki skup s direktan komplement nekog potprostora). Napomena 5. Vrijedi i obrat tvrdnje prethodnog zadatka: Neka je V konanodimenzionalan vektorski prostor i M, L V takvi da postoji njihov c zajedniki direktan komplement u V . Tada je dim M = dim L. c Obrat tvrdnje slijedi iz odnosa dimenzija sume i presjeka potprostora (dokaite z taj obrat). 3