Tải bản đầy đủ (.pdf) (255 trang)

Linearna algebra

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (18.47 MB, 255 trang )


www.pdfgrip.com


www.pdfgrip.com

UDŽBENICI SVEUČILIŠTA U ZAGREBU
MANUALIA UNIVERSITATIS ST UDIORUM ZAGRABIENSIS


www.pdfgrip.com

Izdavač

d .d

Masaryko v a 28, Zagreb
Školska knjiga,

.

Za izdavača

Ante Žužul, prof.
U re d nic a

Štefica Dumančić Poljski, prof.

Recenzenti

dr. se. Ivica Gu si ć



dr. se. Mirko Prime

dr. se. Zoran Vondraček

Naslovnicu dizajnirala
Snježana Grgić
© ŠKOLSKA KNJIGA, d d , Za g reb 2008.

Nijedan dio ove k nj ige ne smije se umnožavati,
fotokopirat i ni na bilo koj i način reproducirati
bez nakladnikova pisanog dopu štenja
.

.

,

.

Sveučilišta u Zagrebu odlukom klase 032-01/07-01/95 i ur.

Objavljivanje ovog sveučilišnog udžbenika odobrio je Senat

broja 380-02/6-08-8 od 8. travnj a 2008. go dine .


www.pdfgrip.com

Damir Bakić


Linearna algebra

Zagreb, 2008.


www.pdfgrip.com

Predgovor
Namjera mi je bila napisati praktičan udžbenik linearne algebre; sadržajno
zaokružen, ali ne predug; rigorozan, ali ne prestrog. Namijenjen je studentima
i nastavnicima kao udžbenik za standardni jednogodišnji kurs linearne algebre
uobičajen na studiju matematike i fizike na preddiplomskoj razini.
Linearna algebra je grana matematike koja proučava vektorske prostore,
linearne operatore i sustave linearnih jednadžbi. Konkretnu realizaciju linearne
algebre nalazimo u analitičkoj geometriji, odnosno u prostorima klasa orijenti­
ranih dužina u dvije i tri dimenzije. Ti prostori predstavlj aju ishodišnu točku u
izgradnji opće teorije vektorskih prostora i linearnih operatora. Svoje poopćenje,
pak, linearna algebra nalazi u teoriji operatora i funkcionalnoj analizi.
Vektorski prostori igraju jednu od centralnih uloga u modernoj matema­
tici. Stoga linearna algebra nalazi široku primjenu u drugim matematičkim
disciplinama. Jednako ekstenzivna primjenjuje se linearna algebra i u drugim
prirodnima te u društvenim znanostima. U svim primjenama slijedi se u osnovi
isti obrazac: dani problem koji nije moguće direktno ili eksplicitno riješiti nastoji
se "linearizirati", tj. aproksimirati nekim linearnim problemom koji se zatim
rješava metodama linearne algebre.
Svrha je ovog udžbenika prikazati glavne rezultate linearne algebre u op­
segu u kojem se ova teorija uobičajeno izlaže studentima prve godine studija
matematike. I po načinu izlaganja i po izboru materijala prepoznat će se da je
udžbenik ponajprije namijenjen matematičarima. Napokon, glavninu materijala

i čine bilješke s predavanja koja sam držao studentima prve godine matematike
i fizike na PMF-u Sveučilišta u Zagrebu tijekom posljednjih desetak godina.
Ipak, od čitatelja se ne zahtijeva nikakavo posebno predznanje; podrazu­
mijeva se tek poznavanje uobičajene matematičke notacije i vladanje osnovnim
elementima naivne teorije skupova i matematičke logike. Stoga vjerujem da će
ovaj udžbenik biti pristupačan i koristan,j .�Jud.entima drugih, posebno priro­
doslovnih, tehničkih i ekonomskih fakulteta.
U sadržajnom smislu udžbenik se gotovo podudara s programom isto­
imenog kolegij a za studente prve godine preddiplomskog studija matematike na
PMF-Matematičkom odjelu Sveučilišta u Zagrebu. Osnovna ideja je i bila oda­
brani materijal organizirati kao praktičan i efikasan udžbenik. Zato sam svjesno
izostavio uvodna izlaganje skupovno-teorijskih činjenica s jedne , i naprednijih
tema s druge strane. Ti i drugi izostavljeni dijelovi ( poput matematičkih i izvan­
matematičkih primjena, povijesnih napomena, komentara vezanih za izgradnju
teorije i individualne doprinose pojedinih matematičara, ekstenzivnog popisa
literature ) detaljno su izloženi u klasičnim sveučilišnim udžbenicima profesora
S. Kurepe i K . Horvatića. Uz to, povijesne činjenice i opis različitih aspekata
nastanka i izgradnje linearne algebre kao moderne matematičke teorije danas
su široko dostupni na mnogobrojnim internetskim stranicama enciklopedijske
orijentacije.
·


vi

Predgovor

www.pdfgrip.com

Materijal je organiziran na s ljedeći način. U vodno p og l av lj e je u izvjesnom

prolog : u njemu se prikazuje prostor radijve ktor a s namj erom da se pre­
p ozna i usvoji kon cept vektorskog prostora. Naglasak zato nije na potpunosti
izlaganja, već na strukturnim s vo jst v i ma prostora V2(0) i V3(0). Upravo
radi la kš eg uvida u strukturu odlučio sam za ogledni primj er v ektor s kog pros­
tora uzeti p ros t or r adij vek tora, a ne mnogo sofi sticir anij i i koris nij i (ali tehnički
z amršeniji ) prostor klasa orij entiran ih dužina V3. "Dug" prema prostoru V3
vraćen je u Dod at ku na k raju drugog pogl av lj a .
U drugom pogl av lju uveden je pojam vektorskog prostora na apstrakt noj
razini te su obrađe ne standardne teme poput baze, dimenzije, potprostora.
Treće poglavlje je pos već e no matricama. U njemu su navedeni i dokazani
klasični teoremi o matricama i determinantama.
Č et vrto p ogl avlj e se izravno n adovezuj e na p retho dno i sadrži cjelovitu
dis ku s ij u o sustavima lin earnih j ed n adžbi . Sustavi linearnih j ed nadžbi nisu
samo univerzalna zadaća koja se prirodno j av lja unu tar li nearn e algeb re i u
njez inim primjenama; oni su u i z vjesnom smislu i s adrž a jna jez gra te orije . Na
primjer, tek u proučavanju sustava pri r o d no se nameće potreba za uvođenjem
i proučavanjem višedimenzionalnih vektorskih prostora (Dok je relativno lako
akceptirati potrebu za proučavanj em v e k t orskog pros tor a dimenz ij e 4, u vo đ enj e
prostora proizvoljne dimenzije je kr ajnj e neint uiti v n o . ) . Slič no , tek pri prouča­
vanju sustava linearn ih jednadžbi imamo pr il iku v idjeti teorem o r an gu i defektu
na dj elu . U tom s mislu, pozi c ioni ranj e poglavlja o sus tavima linearnih jednadžbi
(pa ond a, p oslj edičn a, i p oglav lj a o m atr icama i determinantama) u izlaganju
linearne alge bre uvij e k je delikatno pitanje. Ovdje smo izgradnju teorije započeli
proučavanjem apstraktnih vektorskih prostora te razvojem potrebnog t ehni čkog
aparata. Tek tada su obrađeni sustavi linearnih jednadžbi, a u nj ihovo m tret­
manu su bitno korišt e ni rezultati iz pret ho dn ih dvaj u p o glavlj a . Dosljedna
provedba ovak vog pristupa vjeroj atno bi podrazumijevala da se prije sustava
izlože i uvodna p oglavlja teorije operatora; time bi se svi rezultati o rješivosti
i rješavanju s us t ava linearnih jednadžbi dobil i još el egantnij e. Takav bi izbor,
m eđutim, teoriji dao još naglašeniju ap st r akt nu ( moguće i preapstraktnu) notu.

Zbog toga, a i zato što je pogodno radi vježbi i rj ešavanja prak tič n ih pr obl e­
ma sustave lin earn ih j edn adžbi obraditi čim prij e , poglavlj e o sustavima ipak
prethodi dis k us iji o op eratorima.
Peto p ogl avlje je u c ijelost i pos v eć en o linearnim operatorima i p r e dstavlj a
centr aln i dio izl oženog m at erij al a. P oglavlj e završava relativno opširnim izla­
ganjem o sp ek tru, svojstvenim i inva rijantni m potprostorima te svojstvenom
p olinomu .
Posljednje, šesto pogl avlje sadržava pregled standardnog materijala o ko­
načnodimenzionalnim unitarnim prostori m a. Osobito je n ag l ašena ul o ga Gram­
Schmidtova postupka ortogonalizacije. Uvršteno j e i nekoliko tip ičnih pri mj ena ,
poput QR fakt or izacije matrice, problema najbolje aproksimacij e te približnog
rj ešavanja sustava linearnih jednadžbi .
smislu


www.pdfgrip.com

Predgovor

Svako poglavlje završava odgovarajućim skupom zadataka različite priro­
de . Neki su od njih sasvim tehnički , drugi služe kao vježba apstrakt nog rezoni­
r anj a , u trećima se uvode novi p ojmovi ili navode nove činjenice . Svi su zadaci
odabrani iz obilne neformalne arhive zadataka prikupljene na PMF-Matema­
tičkom odj elu Sveučilišta u Zagrebu. Ona se sastoji od mnoštva primjera s
auditornih vj ež bi te ispitnih i kol okvij skih zadataka, a nastala je dugogodišnj im
radom brojnih s adašnj i h i bivših asistenata koji su pr ot eklih desetljeća vodili
vježbe iz kolegija Lin e ar na algeb r a .
Nemoguće je matematičku teoriju u potpunosti svladati bez testiranja
našeg raz umij evanj a kroz rješavanj e zadataka. Zato savjetujem čitateljima da
pokušaju samostalno riješiti navedene zadatke. Uvrštene zadatke treba shvatiti

kao integralni dio teksta.
Ovaj je udžbenik nastao uz potporu mojih kolega i studenata i na izravan
poticaj ure dnice u Školskoj knj izi, gđe Štefice D umanč ić Poljski. U različitim
fazama nastanka dij e l ove rukopi s a čitali su i dali korisne opaske i prijedloge moji
kolege s PMF-Matemtičkog odjela Sveučilišta u Zagrebu na čemu im srdačno
zahvalj ujem. Posebno zahvaljujem doc. dr. Lj ilj an i Arambašić kao i recenzen­
tima, prof . dr. Ivici Gusić u , prof. dr. Mirku Primcu i prof. dr. Zoranu Von­
dračeku na brojnim korisnim primjedbama i sugestijama. Unaprijed z ahvalj u­
jem i svima koji će me upozoriti na greške ili dati primjedbe i komentare.

Damir Bakić
U Z agre bu , ožujak 2008.

vii


www.pdfgrip.com

Sadržaj
1

Popis oznaka

1. Uvod

1.1. Radijvektori u ravnini . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Vektorski prostor V3(0) . . . . . . . . . . . . . . . . . . . . . . .
1.3. Vektorska interpretacija sustava linearnih jednadžbi s dvije i tri
nepoznanice .
1.4. Zadaci . . . .


2. Vektorski prostori

Operacije s matricama
Determinanta
Rang
Zadaci . . . .
.

4.1. Rj e ši vo st i st rukt ura skupa rješenj a .
4.2. Gaussova metoda eliminacije
4.3. Zadaci . . . . . . . . . . . . .

5. Linearni operatori

5.2.
5.3.
5.4.
5.5.

5.6.

Osnovna svojstva linearnih operatora .
Prostor linearnih operatora
. . .
Dualni prostor . . . . . . . . . . .
Matrični zapis linearnog operatora
Spektar
Zadaci . . . . . . . . . . . . . . .
.


.

24

73
80
101
117

4. Sustavi linearnih jednadžbi

5.1.

19
23

73

Matrice

3.1.
3.2.
3.3.
3.4.

3
15

24

33
49
67
71

2.1. Pojam vektorskog prostora
2.2. Baza i dimenzija
2.3. Potprostor . . . . . . . . .
2.4. Zadaci . . . . . . . . . . .
Dodatak: vektorski prostor V3
3.

3

122

122

126
132

135

136
149
152
159
170
188



x

www.pdfgrip.com

Predgovor
6. Unitarni prostori

6.1. Ortogonalnost . . . . . . . . . . . .
6.2. Operatori na unitarnim prostorima
6.3. Zadaci . . . .
. . .
.

Literatura
Kazalo pojmova
Životopis

.

.

.

.

.

.


.

.

195

198
218

236

241

243

247


www.pdfgrip.com

Popis oznaka
( ·, ·) - univerzalna oznaka za skalarni produkt, 198
A - adjunkta matrice A, 95
[A]! - matrični zapis operatora A u paru baza (e, !), 160
A
B - matrica A je e k vi vale nt na matrici B, 105
A* - hermitski adjungirana matrica matrici A, 118
A* - hermitski adju n g i ran i operator operatoru A, 225
rv


t r an sp onirana

t
A -

A-1
Aij

m atri ca , 51

- inverzna matrica, 79

Ap - proširena

matrica sustava

linearnih jednadžbi, 1 2 2

- algebarski komplement (kofaktor), 91


B(S) - grupa bijekcija na skupu S, 68

- polje komp leksnih brojeva, 24
- vektorski prostor uređenih n-torki kompleksnih brojeva,
Dr - kanonska matrica ranga r, 106

cn


29

d(A) - defekt op erat ora A, 142
Oij

-

Kroneckerov simbol, 75

dim V - dimenzija vek t ors kog prostora V,
*
- dualna b aza, 1 5 2

det A - determinanta matrice A, 84
e

E2

- skup

E

- s ku p

3

Ei,j, Ei,>.. ,

44


točaka u r avnini , 3
točaka u ( tr o dimen zionalnom) prostoru,
Ei,j,>. - elementarne matrice, 109

15

- univerzalna oznaka polja, 24
IF'N - vektorski prostor nizova realnih, odnosno kompleksnih brojeva, 30
GL(n,IF') - grupa regularnih matrica n-tog reda s koeficijentima iz p olj a IF',
IF'

I - jedi nična

matrica,

75

I - jedinični operator, 139
I(p)

- broj

inverzija u permutaciji p, 82

rt, J} - kanonska baza prostora V2(0),

Im A

- slika operatora A, 142


Ker A

- jezgra

operatora A, 142

14

kA(>..) - svo jst ven i (kar akterist ič ni) polinom, 173
L + M - suma potprostora L i M, 5 5
L(V, W) - prostor linearnih operatora s V u W , 149
L + M - direktna suma potprostora Li M, 57

79


www.pdfgrip.com

Popis oznaka

2

M :::; V - skup M je potprostor vektorskog prostora V, 50
M EB M.l. - ortogonalna suma, 210
M0 - anihilator potprostora M, 156
M.l. - ortogonalni komplement potprostora M, 209
Mmn(lF), Mrnn - vektorski prostor matr ica s m redaka i n stupaca, 29
Mn(lF), Mn - vektorski prostor kvadratnih matrica s n redaka i stupaca,
n - prostor rješenja homogenog sustava linearnih jednadžbi, 124
P - vektorski prost or svih polinoma, 31

Pn - vektorski prostor svih polinoma čiji stupanj nije veći od

p(i <--+ j) - transpozicij a, 83
lR - p olje realnih brojeva, 8

n,

29

31

IR.2 - vektorski prostor uređenih parova realnih brojeva, 28
IR.3 - vektorski prostor uređenih trojki realnih brojeva, 28

IRn

- vektorski

prostor uređenih n-torki realnih brojeva, 28

R'P - operator rotacije za kut tp, 135

r(A)
r(T)

[S] -

- rang

oper at ora


A, 142

- rang matrice T, 101
linearna ljuska skupa

S,

37

(simetrična
SL(n, F) - specijalna l i nearna grupa reda n, 119
signp - predznak (signum ) permutacije p, 82
u(A) - spektar operatora A, 171
tr ( A ) - trag matrice A, 118
V/M - kvocijentni prostor, 63
Sn - grupa permutacija od n elemenata

V� W

- prostor

V

grupa stupnja

80

je izomorfan prostoru W, 147


V - univerzalna oznaka vektorskog prostora, 25
V* - dualni prostor prostora V, 152
V2 (o) - prostor radijvektora u ravnini, 3
V3 - vektorski prostor klasa orijentirani h dužina, 71
V3 (O) - trodimenzionalni prostor radij vektora, 15
V** - bidual prostora V, 154
VA (>.) - svojstveni potprostor operatora A pridružen
llxJI - norma vektora x, 202
[x]e - matrični zapis vektora x u baz i e, 159
x l_ y - vektor x je okomit na vektor y, 204

x

)

n ,

+ M - linearna mnogostrukost , 63

svojstvenoj vrijednosti >., 172


1.

www.pdfgrip.com

Uvod

U ovom poglavlju uvodimo pojam vektorskog prostora na neformalnoj ,
intuitivnoj razini. Željeli bismo ilustrirati osnovne idej e te pokazati pozadinu,

odnosno temelje nekih apstraktnih koncepata koji će kasnije biti uvedeni. To
ćemo učiniti proučavajući radijvektore u ravnini i prostoru. Nije nam pritom
namjera iznijeti kompletan pregled klasične algebre vektora. Primarni nam je
cilj uočiti i istaknuti strukturna svojstva prostora radijvektora u dvije, odnosno
tri dimenzije. Ti će nam prostori kasnije poslužiti kao prototip u izgradnji opće
teorije vektorskih prostora.
Naša razmatranja ovdje neće biti aksiomatski zasnovana. Osnovne poj­
move poput, primjerice, pravca i ravnine ćemo shvaćati intuitivno.

1.1.

Rad ijvektori

u

ravnini

Označimo s E2 ravninu koju shvaćamo kao skup točaka. Neka je u E2
dan pravokutni koordinatni sustav s ishodištem u točk i O. Svakoj točki A E E2
---t
možemo pridružiti radijvektor OA, tj . strelicu s početkom u točki O i završetkom
u točki A.
y

A
o

X

Skup svih radijvektora u ravnini označavamo s V2(0), naglašavajući time da je

ishodište početna točka svih radijvektora koje promatramo. Kad god nam ne
bude važno specificirati završne točke, radijvektore ćemo označavati simbolima
--+

--+
d:, b , ti . . . Radijvektor 00 zovemo nulvektorom i označavamo s O .
---t
Modul radijvektora OA definiramo kao duljinu dužine OA i označavamo s
---t
--+
IOAI. Uočimo da je O jedini radijvektor čiji modul iznosi O. Smjer radijvektora
---t
--+
OA i- O definiramo kao pravac OA. Smjer nulvektora se ne de�nira. Nadalje,
---t

kažemo da su radij vektori O A i OB kolinearni ako točke O, A, B leže na istom
pravcu. Primijetimo da je, prema definiciji, nulvektor kolinearan sa svakim
radij vektorom.
---t

--+
Neka su OA i OB kolinearni i netrivijalni (tj . različiti od O) radijvektori.

---t
Kažemo da su OA i OB jednako orijentirani ako točke A i B leže s iste strane


1. Uvod


4

www.pdfgrip.com

točke O na pravcu O AB. Ako se točke A i B nalaze s razli čitih strana točke O
--------t
na pravcu O AB, kažemo da su OA i OB suprotno orijentirani.
Primijetimo da je orij ent acij a samo r elat ivan poj am; niti jedan radijvektor
s am po s ebi nema orij entaciju.

A

y

o

A

y

X

Jednaka orijentacija

X

B
Suprotna

orijentacija


Iz prethodnih je definicija očito da je svaki netrivijalan radijvekt or j ednoznačna
određen s vojim modulom, smj e rom i orijentacijom. Iskažimo ovaj zaključak i
formalnom napomenom:
Napomena 1.1.1. Neka su zadani realan broj m > O i radijvektor OT-=/= O.
-Tada postoji jedinstven radij vektor OA čiji modul iznosim, čiji je smjer pravac
--O
OT i koji je orijentiran jednako kao OT.
---

--+

Za r ad ijvektor d =J. O d efin i r amo suprotan radijvektor - d kao radijvektor
ko ji i ma je dn ak modul i smjer kao d, a orijentiran je su p ro t no u odnosu na d.
Uočimo da je pojam suprotnog radijvektora dobro (tj. jednoznačna) definiran
--+

na temelju pret h o dn e

Nakon što smo uveli

napomene.

zb r aj anj e

osnovne pojmove, sada možemo definirati

Nekolinearne radijvektore zbrajamo prema zakonu paralelograma: OA +
------t
B

definiramo
kao radij vektor OC pri čemu je C jedinstvena to čka ravnine E2
O
sa svojstvom da je četverokut OACB p ar alelo gram .
r ad ij vektora.

--­

------t

y

c

o

X

Zakon paralelograma: zbrajanje nekolinearnih radijvektora
Da bismo definiciju
--+

d i b kolinearni.

kompletirali, potrebno je

još

defini r at i


zbroj

d + b i kad su
--+


www.pdfgrip.com 1 . 1.

Radijvektori

u

5

ravnini

Najprije uzimamo da je
-+

-+

-+

-+

-+

a+ O = O+a= a,

te


-+

Va

a + ( - a ) =-a+a=O,

-+

-+

-+

-+

-+

E

V2 (O),
-+

-+

Va#-0.

-+

Ako s u di b kolinearni, netrivij alni, i nisu jedan drugome suprotni, zbroj
d+ b de fi nirat ćemo tako da mu propišemo modul, smjer i orijentaciju. Prema

-+
napomeni 1.1.1, time će radijvektor d + b biti j ednoz načna određen. Ako su
-+
-+
di b jednako orijentiran,i d+ b defin iramo kao radij vektor čiji modul iznosi
-+
-+
-+
Idi+ I b I, koji je koline a ran sd i b, a orijentiran je jednako kao di b.
-+

-+

-+

-+

Ako su d i b suprotne orijentacije te ako je Idi > I b I, onda d + b
-+
-+
definiramo kao radij vektor čij i modul iznosi Idi- I b I, koji je kolinearan s di b,
-+
a orijentiran je jednako kao d . Konačno, ako j e Idi < I b I, defi ni cij a je analogna
-+
-+
(pa je, posebno, d + b ori jent i ran kao b ) .

y

A


X

B

Zbrajanje kolinearnih radij vek tor a
Sada je zbroj d + b de finiran za svaka dva radijvektora i pritom je, za zadane
-+
-+
d i b, ni
j hov zbroj d+ b j ed noz načn a određen radij vektor. Dobili smo, dakle,
preslikavanje
-+

U tom smislu kažemo da je zbrajanje binarna op er acij a na skupu V2(0).
Sad bismo želj eli istražiti svojstva ovako uvedene o per ac ij e zbraj an ja radij ­
vektora. Uočimo prvo da pravokutni koordinatni sustav kojeg smo na početku
fiksirali nije i gr ao nikakvu ulogu ni u našem poimanju radijvektora, ni u prethod­
nim definicij ama. Važno je tek bilo fiksirati ishodišnu točku O. Koordinatizacija
će, međut i m , biti vrlo koristan alat u našim razmatranj ima.
Svakoj točki A E E2 možemo pridr uži ti uređen par njezinih koordinata

u odabranom pravokutnom sustavu. Zelimo li s pecificirati neki r adij vekto r OA
( što se z ap r avo svodi na specifikaciju završne točke A) , dovoljno je poznavati
V


1. Uvod

6


www.pdfgrip.com

uređen par koordinata točke A.

y

A

Sada je priro dno zapitati se: ako su dani radijvektori OA i OB, možemo li iz koordinata točaka A i B "iščitati" koordinate završne točke radijvektora OA+OB?
Propozicija 1 . 1.2. Neka je A= (a11 a2) i B (b1, b2)· Tada je
----?

_____,

____..

_____,

=

_____,

----?

_____,

OA+OB=OC,
gdje je
Dokaz.


Uzmimo najprije da su vektori OA i OB nekolinearni. Tad a je, ako smo
_____,
----?
_____,
označili OA + OB OC, točka C sjecište pravaca p i q pr i čemu je p p aral el an
s OB i prolazi točkom A, dok je q par al elan s OA i prolazi točkom B. Sada
se dokaz naše tvrdnje da točka C ima koordinate (a1 + b1, a2 + b2 ) svodi na
rj ešavanj e elementarne zadaće iz analitičke geo met rij e .
----?
_____,
Kad su OA i OB kolinearni, provjera je još j ednostavnija pa detalje
O
izostavljamo.
----?

_____,

=

Uz po mo ć prethodne propozicije lako je odrediti sva algebarska svojstva
op e rac ije zbrajanja.

Propozicija 1.1. 3. Binarna operacija zbrajanja+: V2(0)
ima sljedeća svojstva:

( 1)

·


a + (b + c ) = ( a +b) + c ,

-7

-7

-7

-7

(2) za nulvektor -7
O

E

-7

-7

-7

-7

-7

-7

-7
b , c E V2 ( 0);


-7

V 2 (O) vrijedi _,
a+ -7
O=-7
O+ _,
a

E V2(0)
(3) za svaki d -7
-7
-7
-a+a=O;

(4) a+b=b+a,

Va ,

-7

i
-7

njemu suprotan -dE
-7

Va,bEV2(0).

Dokaz. (1) Odaberimo proizvoljne d
a+


-7

-7

(a

----?
=

(b + c)

+

-7

-7

OA, b

-7

----?

=

OT

b) + -7c =OS.
-7


----';

-7

V2(0) � V2(0)

Va

-7

E V 2 (O) ;

V2(0) vrijedi d + (-d)

OB i
_____,

=

= a,

x

c

OC te označimo
_____,

=


=


www.pdfgrip.com

1 . 1 . Radijvektori

u

ravnini

Treba dokazati da je T =S, a za to je dovolj no utvrditi da su koordinate točaka
(a1,a2 ) , B = (b1, b2) i C = (c1, c2). Sada je,
S identične. Neka j e A

Ti

prema propoziciji

1.1. 2,

=

- - OB+ OC =OD

pri čemu j e
Kako je

--t


OT

= a+ ( b

--t

--t

p onovnom primj enom propozicije

+ c)
--t

=

--t

-

O A + OD,

b a

1.1.2 do i v mo da je

Potpuno analogno nalazimo da v rijedi i
Jer je zbrajanje realnih brojeva asocijativna, koordinate točaka T i S su u
parovima jednake, pa slijedi T =S.
Tvrdnje (2) i (3) su zapravo dijelovi definicije zbrajanja radijvektora pa


se ovdj e nema što dokazivati. Tvrdnja ( 4) je pak očita poslj edica definicij e
zbrajanja r adij v ekt o ra . Alter nati v no, i ovu tvrdnj u možemo dokazati kao i
D
tvrdnj u (1) služeći se propozicijom 1.1.2.

Svojstvo (1) iz prethodne propozicije se zove asocij ativnost (zbrajanj a

radijvektora) . Svojstvo (2) opisna izričemo tako da kažemo da je O neutralni
element za zbrajanje. Svojstvo (3) opisuje algebarsku narav suprotnog vektora:
--t

kad se bilo koj i radijvektor zbroji sa sebi suprotnim, rezultat je neutralni element
za zbrajanj e (tj . nulvektor). Striktno govoreći, pojam suprotnog radij vektora
definirali smo samo za netrivijalne radij vektore, no jednakost O + O = O (koja
--t

--t

--t

je dio naše definicije zbraj anja) pokazuj e da O igra ulogu suprotnog radijvektora samome sebi. Konačno, svojstvo (4) se n aziva komutativnost (zbraj anja
--t

radijvektora).

Primijetimo da operacij e
imaju identična svoj stva.

zbrajanja realnih, odnosno kompleksnih broj eva


pri računanju s broj evima, i ovdj e je običaj izraz 71 + ( - b) zapi s ivati
u j ed n o s t avnij e m obliku 71- b . K o l ok vij aln a govorimo da se radi o oduzimanju,
no treba uočiti da oduzimanje adij vektora nije nova operacija, nego tek naziv
Kao i

--t

--t

r

za zbroj radijvektora 71 i radijvektora suprotnog radijvektoru b. Isti dogovor
podrazumijevamo i kod oduzimanja broj eva.
--t

Osim zbrajanj a radijvektora važna će nam biti još j edna operacija: mno­
ženj e radijvektora realnim brojevima. Običaj je da se u ovom kontekstu realni

7


1. Uvod

8

www.pdfgrip.com

broj evi nazivaju skalarima i da se označavaju malim grčkim slovima. P r ij e
nego što defi n iciju navedemo, uočimo bitnu strukturnu razliku u odnosu na

zbraj anje: dok je zbrajanje + : V2(0) X V2(Q) --+ V2(Q) binarna operacija
na skupu V2(0) ( što znači d a se zbraj aju dva radijvektora, a rezultat j e opet
r adijve ktor) , množenje radijvektora skalarima je preslikavanje
operandi su ovdje raznorodni ( jedan skalar i j edan radijvektor ) , a rezultat je
opet radijvektor.
Neka je a E lR i a E V2(0). Umnožak a· a d efinir a se kao radij vekto r čiji:
( i ) modul iznosi la.I lal;
( ii ) smjer j e isti kao smj er od a;
(iii) orij entacij a j e ista kao orijentacij a od a ako je a > o, odnosno suprotna
orijentaciji od a ako j e a < o.
Kao i kod množenj a broj eva i ovdje j e običaj pisati a.a umj esto a· a.
Operacij a množenj a radijvektora skalarima iskazana je uz prešutnu pri­
mjenu napomene 1.1.1: a.a je definiran tako što smo mu propisali modul, smjer
--+
i orijentaciju. Pritom, odrednice (ii ) i (iii) nemaju smisla ako je a= O. No, već
iz ( i ) neposredno vidimo da j e a · O=O, Va E IR, kao i O· a= O, \fa E V2(0).
Očito je iz defini cij e da vrijed i sljedeće pravilo:
Propozicija 1.1.4. Neka je a E lR i a E V2(0). Ako je a = DA i A= (a1, a2),
te ako stavimo
·

---t

--+

a.a=OT,
onda je
T

=


(aa 1 , aa ).
2

Teorem 1.1.5. Operacije zbrajanja+ : V2(0) X V2(0) --+ V2(0) i množenja
--+ --+ V2(0) imaju sljedeća svojstva:
skalarima · : JR X V2(0)--+ V2(0) na skupu
--+

b + --+
(1) a+( --+
c)
--+

=

(2) za nulvektor --+
O

--+

--+

--+ + b
(a
)+ c,

E

Va, b,


c E

V2 (O) vrijedi --+
a+ --+
O = --+
O + --+
a= --+
a,

(3) za s vaki a E V2(0) i njemu suprotan -a
--+
--+
-a+--+
a=O;
--+
--+
--+ --+
--+
(4) --+
a+ b
=b
+a,
b E V2 (O);
Va,
(6) (a+ f3)a

(5) a(f3a)=(af3)a,

(s)


(7)

a (a

1.

--+

=

aa

\fa, f3

+ {3a,

+b)=a a + a b,
--+

a= a,

--+

V2 ( O);

--+

E


\fa,{3
\;/a

va E v2(0).

\fa

IR,
E

E

IR,

IR,

E

E

E

V2 (O);

V2(0) vrijedi a + (-a)=

V2(0);

\fa E V2(0);
va, b E v2(0);

--+

--+
\;/a


www.pdfgrip.com 1.1.

Radijvektori

u

Dokaz. Prve četiri tvrdnj e već su izrečene i dokazane1upropoziciji1.1.3.
--+
žimo tvrdnju (5) . Neka je <1 = OA i A= (a1, a2)· Stavimo
--;

9

ravn i n i

Doka­

---t

a((3a)=OB
--;

---t


(af3) a =OC.

Uzastopnom primj enom prethodne propozicije d obivamo

množenje realnih brojeva asocij ativna, očito slijedi B = C.
Analogno se d okazuj u i preostale tri tvrdnje. Uočimo da će u dokazi­
ma tvrdnj i (6) i (7) završni dio argumentacij e biti pozivanje na distributivnost
množenj a realnih broj eva prema zbrajanju .
D
Kako j e

Prethodni teorem sadrži popis osnovnih svojstava zbraj anja i množenj a
skalari ma u skupu V2(0). S vojstva (5), (6) i (7) nazivaju se, redom, kvaz iaso­
cijativnost, distrib utivnost množenja prema zb raj anj u skalara i di stribut ivnost
množenja prema zbrajanj u radijvektora.
Ovih osam svojstava igra fundamentalnu ulogu u iz gradnj i pojma ap­
straktnog ve k t o rs kog prost ora . U tom smislu ćemo , prej udicirajući terminologi­
ju i pojmove koji će biti uvede ni u slj e deće m p og lavlj u, od sada na dalje govoriti
da j e V2(0) vektorski prostor.
Iz navedenih svojstava (ili iz samih defini cij a) lako se izvode i druga pravila
za računanje s ra dij vektorima poput

(-1)<1 = -<1,

--;
--;
--;
( a-(3a=aa-(3a
)
--;

--; --;
--;
a(a-b)=aa-ab.

Dokazi ovih tvrdnji su posve jednostavni pa ih st oga izostavljamo. No
oprez j e p otreban kako bi se ispravno shvatila i int er pret ira la prva o d navedenih
jednakosti. Tu nije riječ o mehaničkom ispuštanj u zagrade (na kakvo smo navi kli
pri računanju s broj ev ima ) jer izrazi na lijevoj i desnoj strani jednakosti potj e č u
iz različitih de fi ni cij a : dok se na l ijevoj stran i j ed nakost i radi o množenj u radij ­
vektora <1 s kalarom -1, na desnoj s e str ani p ojavljuje supr otan r adij vektor 1 Nije o iča u tvr n u nekog teorema uključivati iskaze prethodno dokazanih propozicija
ili teorema. Ovdje smo učinili iznimku kako bismo objedinili sva svojstva i dobili kompletnu

b j

sliku.

dj


10

1.

www.pdfgrip.com

Uvod

p ojamkoji je definiran ranije. Nije st og an či im a priori osigurano da su iz r azi s
različitih strana navedene jed nakost iidentični. Nasreću, ti su radijvektori zaista
jednaki, a provjeraje jednostavna.

Teorem 1. 1. 5 pr edstavl ja polaznu točku u p r oučav anj u strukturnih svoj­
stava vektorskog prostora V2( 0). Veliku važnost ima okolnost da su definicije
obiju operacija s radijvektorima ge om etrijs ke prirode. To nam omoguć uj e da
razne g eometrijsk e či njenice ( koje možemo v iz ualiz i rat i , pa stoga i intuitivno
prih vać ati) prepoznamo ili iskažemou terminim aalgebarskih op eracija .

Propozicija 1.1.6. Nek a su ft, b E V2(0) kolinearni te n e ka je ft#- O. Tada
postoji jedinstveni skalar a takav da je
-+

-+

-7

b

Obratno, ako za neke
kolinearni.
-+

Dokaz. Ako je b

-+

-+

a,

b


E

-+

aa.
-+

E

V2(0) i a

lR vrijedi b

=

ad ,

onda su d i

b

-+

O , onda je očito b = O d. Ako je b i- O , uzmimo

-+
=

=


-+

-+

-+

·

štoje dobro definirano zbog d i- O . Sada j e jasnoda vrijedi ili
-+

-+

b

-+

= aa

-+

il i b

=

( -a) a
-+

-+


ovisno o tome jesuli d i b j ed nak e il i suprotne orijentacije.
Dr uga tvrd nja propozicije je izravna p os lj e di c a definicije množenjaradijvektora skala ri m a.
O
-+

Dakle, jednakošću b = adka rakterizir a se kolinearnost radij vektora d
-+
i b . Pr m
i jiet imo da smo u pr voj t vrd nji pr ethod ne propozicije morali izuzeti
-7
-7
-7
sl učaj ft = O . Zaista, akoje d
O , o nda je, po definiciji, svaki r adi jve ktor b
-+
-+
-+
kolinearan s ft, no jed nakost b
ad je m og u
ć a jedi no ako je i b = O .
Ovoj maloj t ehnič ko j smetnji možemo jednostavno doskočiti. Uzmimo
-+
proizvoljne d, b E V2(0) i p otr až im oskalare a i /3 z akoje bi vrijedilo
=

=

-7

-+


-7

aa+/3b =O .
-7

Neovisno o izboru radijvektora d i b , ova će jed nak ost očito biti zadovol jena
uzmemo li
a= /3 =O.


www.pdfgrip.com 1.1.

Radijvektori

u

ravnini

Ima li i dr ugi h, netrivijalnih izbora a, {3 E R koji zadovoljavaju ad + {3b= O?
--t
--t
Ako su d i b kolinearni, takva mogućnost očito postoji. Zaista, ako je d = O ,
onda vrijedi
--t
--t
--t
l·a +O·b=O.
--t


--t

Ako je pak d =I- O , onda, prema prethodnoj propoz ic iji , postoji a E R takav da
je b = a d, a odatle odmah slijedi
--t

--t

--t

--t

Vrijedi i obrat: Ako postoje skalari a, {3 E R od kojih je bar jedan različit
--t
--t
--t
od O , a koji zadovoljavaju j ed nakost ad + {3b
O , radijvektori d i b su
kolinearni. Kako bismo to pokazali, pretpostavimo da je a =I- O . Tada j e dnakost
--t
--t
--t
aa + {3b= O odmah povlači

( -a) · a + 1 · b= O .

=

--t


--t
a= --b

{3
a

pa su, prema drugom dijelu tvrdnje prethodne propozicije, d i b kolinearni.
Ako je a = O, onda je_prema pretpostavci {3 =I- O i potpuno analogno opet
zaključujemo da su d i b kolinearni.
Korisno je ovo zapažanj e formulirati i na sljedeći, ekvivalentan način:
--t

Korolar 1.1.7. Radijvektori d, b E V2(0) su nekolinearni ako i samo ako
vrijedi
--t
--t
--t
aa+f3b=O ===* a=f3=0.
(1.1)
--t

Korolar 1.1. 7 j e od fundamentalne važnosti za naša d aljnj a razmatranja.
Smisao je u tome da smo nekolinearnost ( a time a posteriori i kolinearnost )
--t
dvaj u r ad ijvekt o ra us pj eli iskazati na algebarski način. Radijvektori d i b su
--t
--t
nekolinearni ako i samo ako jednakost ad + {3b = O može biti zadovoljena
samo za t rivij al an izbor skalara: a = {3 O .
--t

S p o m eni m o j o š da se izraz oblika ad + {3b naz i va linearna kombinacija
--t
radijvektora d i b s koeficijentima a i (3. Općenito, izraz
=

zovemo linearnom kombinacijom vektora d1, ... , dn s koeficijentima a1, ... , an.
Slj edeći teorem ot kriva ulogu k oju u prostoru V2(0) i m aj u skupovi koji
se sast oje od ( bilo koj a) dva nekolinearna radijvektora.

Teorem 1.1. 8 . Neka sud, b E V2(0) neko lin earni . Tada za s v aki ti
postoje jedinstveni skalari a i {3 takvi da vrijedi
--t

--t

--t

--t

v=aa + f3b.

E

V2(0)

11


12


l. Uvod

www.pdfgrip.com

Dokaz. Uzmimo pro izvolj an 11 i prvo dokažimo egz istenci ju prikaza






v=crn +f3b.



Uočimo n ajp rij eda su idib netrivijalnizbog pretpostavljene nekolinearnosti.
Ako je 11 ko linearan s d , onda prema propoziciji 1.1. 6 imamo 11 = ad za
neki a E R O d av de odmah slijedi

v=aa+O· b.







U s učaju
l
kad bi 11 bio kolinearan s b, zaključivali bismo ana ol gno.


--7
Pretpostavimo da11 nije kolinearan niti sd,nitis b. Označimo d OA,
b =DB, 11 = oT. Nekaje točka A' paralelna projekcija točke T n apravac OA
u smjeru pravca OB. Analogno, neka je točkaB' paralelna proj e kcij a točke T
na pravac OB u smjeru pravca OA.


=

y

B

A
o

X

Kako je četverokut OA'TB' paralelogram, vrijedi
---t

---t

--7

OT

=


OA' + OB'.

N ad alj e, dvostrukom primj enom propozicije
da vrijed i
---t

OA'

---t

OB'

1.1.6

nalazimo skalare a i /3, t akv e

--7

=

aOA

=

(30B.

-----t

Uvrštavanjem ov ih dviju j ednakosti u prethodnu dobivamo







v=aa +f3b.

Preostalo je pokazati j edinstvenost ovakvog z api s a sv akog radijvektora 11.
U tu svrhu pretpostavimo da za neki 11 vrijedi


www.pdfgrip.com 1.1.

I zj e d n ačavanj em dob ivamo

Radijvektori

u

13

ravnini

što mo že mo zapisati u obliku

Kako su prema pretp ostavci d i b nekolinearni, korolar 1.1. 1 p okazuj e da je
O
sada nuž no a1 - a2 O i /31 /32 O tj . a 1
a2 i /31 = /32.
---+


=

-

=

,

=

Imamo li, dakle, bilo koja dva nekolinearna r adijvekt o r a d i b, svaki se
radijvektor 1J može prikazati kao nj i hova linearna kombinacij a, i to na j edin­
stven način. Istaknimo da je riječ o ekskl uz i vnom svojstvu dvočlanih skupova
radijvektora (a pritom je nužno i da su promatrani radij vektori ne koli n e arni)
Jedan, ma kako odabran radijvektor nije dovoljan da se, množeći ga skala­
rima, preko njega izraze svi elementi prostora V2(0). Uzmemo li pak t ri ili više
radijvektora d1, d2,
, dn, n � 3, od kojih su bar dva ne ko l in e arn a svaki će se
2
1J E V (0) moći p r ikazati u obliku
---+

.

. . .

,

(dakle , kao nj i hova linearna kombinacija), no ne više na je d ins t ven n ačin .

Da bismo to pokazali, pretpostavimo npr. da je dan skup {d1, d2, d3}, pri
čemu neka d1 i d2 nisu kolinearni. Prema prethodnom teoremu, d3 možemo
pr ikaz ati u obliku
__,
__,
---+
a3 = >-1 a 1 + >- 2 a2
s jedinstveno određenim skalarima>. , >-2- Uzmimo sada proizvoljan 1J E V2(0).
Ponovnom pr imj enom teorema 1 . 1.8 dobivamo i j ed inst vena određene a, /3
z a koj e vrij edi

1

E



što možemo pisati i kao

S

druge strane, očito vrijedi i

Tako je ti prikazan na dva različita načina kao li n earn a kombinacij a r ad ij vek
tora d1, d2, d3. Štoviše, jasno je da takvih prikaza radij vektora 1J zapravo ima
beskonačno mnogo.
Analogno bis mo rezonirali i kad bismo, umjesto s tri, radili općenito s
n � 3 r ad ij vekt o r a
­


.


14

l.

www.pdfgrip.com
Uvod

Definicija 1.1.9. Svaki dvočlani skup {Ci, b } čiji su član o vi nekolinearni naziva
se baza vektorskog prostora V2(0).
--+

--+

Ako je {Ci, b} proizvoljno odabrana baza prostora V2 (0), teorem 1.1.8
j amči da se svaki član prostora V2(0) može na jedinstven način prikazati kao
linearna kombinacij a elemenata baze.
--+
---+
--+

--+
---+
U praksi, ako je a = OA, b
OB, v = OT i A= ( a 1 , a2), B = (b1, b2),
T = (ti, t2), koeficijente a i (3 za koj e vrijedi
=


--+

v=aa+ f3 b

--+

--+

možemo odrediti slijedeći dokaz teorema 1.1. 8. Alternativno, primjenom pro­
pozicija 1.1. 2 i 1.1.4, problem se svodi na rješavanje sustava od dvije linearne
jednadžbe s dvije nepoznanice. Očito je da će konkretan račun biti tim jednos­
tavniji čim je baza zgodnije odabrana.
U tom smislu posebno mjesto zauzima baza {i,)} koj a se sastoji od je­
diničnih ( tj. modula 1) radijvektora u smjeru pozitivnih dijelova koordinatnih osi
našeg odabranog koordinatnog sustava. Tada, za proizvoljan ti = OT E V2(0),
pri čemu je T = (t1, t2), očito vrijedi

y
--+

J

t

X

Baza {i,)} zove se kanonska ili standardna baza prostora V2(0) ( no trebamo
biti svj esni da ta baza ovisi o našem prethodnom izboru koordinatnog sustava u
ravnini ) . Iako je u konkretnim zadaćama često najjednostavnije operirati upravo
s kanonskom bazom, bitno je imati na umu da bazu prostora predstavlj a svaki

skup od dva nekolinearna vektora. U teoriji, tj . u smislu tvrdnje teorema 1.1. 8,
sve su baze ravnopravne.
Istaknimo na kraju da se sve baze prostora sastoje od točno dva radijvek­
tora. Točno dva nekolinearna radijvektora ( i to bilo koja dva ) imaju moć da
pomoću njih, i to na jedinstven način, izrazimo svaki drugi element prostora
V2(0). Ova opaska j e u skladu s našom intuicijom prema kojoj prostor V2(0)
zamišljamo dvodimenzionalnim.


www.pdfgrip.com
1 . 2 . Vektorski prostor

1.2.

V 3 (O)

15

Vektorski prostor V3 (0)

Prethodna razmatranja možemo proširiti i na r adij ve kt o re u prostoru.
Označimo s E3 intuitivno shvaćen trodimenzionalni prostor koj i takođ er shva­
ćamo kao s kup točaka. I ovdje ćemo fiksirati pr avokutn i koordinatni s ust av
s ishodištem u O. Neka V3 (0) označava skup svih r adij vekt or a s p o četnom
točkom O. Modul, smj er i orijentacija, kao i pojam sup r ot no g r ad ij ve kto r a
definirani su identično kao u V2 (0). J edn ako su defini rane i binarna oper acij a
zbraj anja
i operacija mn oženj a r adij ve kt or a s kal arima
I ovdj e je korisno n aj prij e utvrditi kako se ove op erac ij e r e al izir aj u u
minima koordinata završnih točaka radij vekt o ra .


ter­

Propozicija 1 . 2 . 1 . Neka je A = (a1, a2 , a3 ) , B = (b1 , b2, b3 ) i
---t

Tada je
Nadalje, označimo li za a

--7

--7

OA + OB = OC.

E IR,

---t

aOA

vrijedi
---t

--7

Dokaz. Pretpostavimo da OA i OB
---t

= OD,


nisu
--7

-----7

kolinearni.

Uočimo da s e sada zbroj

--7

OA + OB = OC

dob iva pr avilo m paralelograma u r avni ni OAB. Pr et p ost avi mo , konkretnosti
radi, da se ravnina OAB ne podudara niti s j ednom od koordinatnih ravnina.

Označimo C = (c1 , c2 , c3) .
Neka su A' , B', C' , redom, ortogonalne proj ekcij e točaka A, B , C na x y­
r av ninu . Tada je A' = ( a1 , a2, O) , B' = (b1, b2 , O) i C' = (c1 , c2 ,O). Kako je
OACB par ale lo gr am , i njegova ort ogon alna p roj ekcija na xy-ravninu OA'C' B'
j e paralelogram. Zato je
----+


OA' + OB' = OC' .
Iz propozicije 1.1. 2 ( pri m ij enj ene u x y -r avnini ) s ad a do bivam o



Tài liệu bạn tìm kiếm đã sẵn sàng tải về

Tải bản đầy đủ ngay
×