diszkrét matematika 2
DESCRIPTION
Diszkrét matematika 2 példatárTRANSCRIPT
-
Orosz gota Kaiser Zoltn
Diszkrt Matematika II.
pldatr
mobiDIK knyvtr
-
Orosz gota Kaiser Zoltn
Diszkrt Matematika II. pldatr
-
mobiDIK knyvtr
SOROZATSZERKESZT
Fazekas Istvn
-
Orosz gota
Kaiser Zoltn
Diszkrt Matematika II.
pldatr
egyetemi jegyzet
mobiDIK knyvtr
Debreceni Egyetem Informatikai Intzet
-
Copyright c Orosz gota, Kaiser Zoltn, 2004
Copyright c elektronikus kzls mobiDIK knyvtr, 2004
mobiDIK knyvtrDebreceni EgyetemInformatikai Intzet4010 Debrecen, Pf. 12http://mobidiak.unideb.hu
A m egyni tanulmnyozs cljra szabadon letlthet. Minden egyb fel-hasznls csak a szerz elzetes rsbeli engedlyvel trtnhet.A m a A mobiDIK nszervez mobil portl (IKTA, OMFB-00373/2003)s a GNU Itertor, a legjabb genercis portl szoftver (ITEM, 50/2003)projektek keretben kszlt.
-
Tartalomjegyzk
1. Lineris lekpezsek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91. Vektorterek lineris lekpezsei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92. Bzis- s koordintatranszformci . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193. Lineris transzformcik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2. Euklideszi s unitr terek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471. Lineris, bilineris s kvadratikus formk . . . . . . . . . . . . . . . . . . . . . . . 472. Euklideszi terek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 683. Euklideszi terek lineris opertorai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3. Grfelmlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 911. Grfelmleti alapfogalmak . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 912. Euler-kr, Euler-vonal, Hamilton-kr . . . . . . . . . . . . . . . . . . . . . . . . . . . 1023. Grfok cscsmtrixa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Irodalomjegyzk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
7
-
1. fejezet
Lineris lekpezsek
1. Vektorterek lineris lekpezsei
1.1. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,hogy egy : V1 V2 lekpezs pontosan akkor lineris, ha brmely , Ts x, y V1 esetn(1) (x + y) = (x) + (y),
azaz a lineris lekpezsek defincijban szerepl kt tulajdonsg (additivi-ts s homogenits) az (1) tulajdonsggal egyenrtk!
Megolds.
1. Tegyk fel, hogy lineris. Ekkor az additivits miatt
(x + y) = (x) + (y),
s a homogenits miatt
(x) + (y) = (x) + (y),
teht teljesl az (1) tulajdonsg.2. Tegyk fel, hogy teljesl az (1) tulajdonsg. Ekkor az = = 1
vlasztssal addik az additivits illetve a = 1 s y = 0 vlasztssalmegkapjuk, hogy homogn.
1.2. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,hogy brmely : V1 V2 lineris lekpezs1. a nullvektort nullvektorba kpezi,2. linerisan fgg vektorokat linerisan fgg vektorokba kpez.
Megolds.
1. A lineris lekpezsek additivitsa miatt
(0) = (0 + 0) = (0) + (0) = 2(0),
gy (0) = 0.
9
-
10 1. LINERIS LEKPEZSEK
2. Tegyk fel, hogy az (a) = (a1, . . . , an) vektorrendszer linerisan fgg.Ekkor lteznek olyan 1, . . . , n T nem mind nulla egytthatk, hogy
1a1 + + nan = 0,
gy
0 = (0) = (1a1 + + nan) = 1(a1) + + n(an),
teht a (a1), . . . , (an) vektorrendszer szintn linerisan fgg, mertbellk a nullvektor elllthat nem trivilis lineris kombinciknt.
1.3. Feladat. Ellenrizze a lineris lekpezsek defincija alapjn, hogy azalbbi lekpezsek linerisak-e vagy sem.
1. : R2 R, (x1, x2) = x12. : R2 R2, (x1, x2) = (x1 + 1, x2)3. : R3 R3, (x1, x2, x3) = (x1 + 2x2, x2 x3, x2)4. : R2 R3, (x1, x2) = (x1, x1x2, x2)5. : Rk Rn, (x) = Ax, ahol A Mnk6. : P3 P2, (a3x3 + a2x2 + a1x + a0) = 3a3x2 + a17. : Mnn Mnn, (A) = A>
Megolds.
1. Ellenrizzk kln az additivitst s a homogenitst:
(x + y) = ((x1, x2) + (y1, y2)) = (x1 + y1, x2 + y2) = x1 + y1,
(x) + (y) = (x1, x2) + (y1, y2) = x1 + y1,
teht az additivits teljesl. Mivel
(x) = ((x1, x2)) = (x1, x2) = x1 = (x1, x2) = (x),
gy a homogenits is teljesl s a lekpezs lineris.2. Megvizsgljuk, hogy additv-e a lekpezs:
((x1, x2) + (y1, y2)) = (x1 + y1, x2 + y2)
= (x1 + y1 + 1, x2 + y2),
(x1, x2) + (y1, y2) = (x1 + 1, x2) + (y1 + 1, y2)
= (x1 + y1 + 2, x2 + y2),
teht nem az. Ez egybknt abbl is lthat, hogy (0, 0) = (1, 0) (lsd1.2 feladat).
-
1. VEKTORTEREK LINERIS LEKPEZSEI 11
3. Most a linearits ellenrzsre az 1.1 feladatban szerepl (1) tulajdon-sgot hasznljuk:
((x1, x2, x3) + (y1, y2, y3)) =
(x1 + y1, x2 + y2, x3 + y3) =
((x1 + y1) + 2(x2 + y2), (x2 + y2) (x3 + y3), x2 + y2) =((x1 + 2x2) + (y1 + 2y2), (x2 x3) + (y2 y3), x2 + y2),(x1, x2, x3) + (y1, y2, y3) =
(x1 + 2x2, x2 x3, x2) + (y1 + 2y2, y2 y3, y2) =((x1 + 2x2) + (y1 + 2y2), (x2 x3) + (y2 y3), x2 + y2),teht a lekpezs lineris.
4. Ellenrizzk a homogenitst:
((x1, x2)) = (x1, x2) = (x1, x1x2, x2),
(x1, x2) = (x1, x1x2, x2) = (x1, x1x2, x3),
teht nem lineris a lekpezs.5. A mtrixmveletek tulajdonsgait felhasznlva igazolhat, hogy ez a
lekpezs lineris:
(x + y) = A(x + y) = Ax + Ay = (x) + (y).
6. Ez a lekpezs is lineris, hiszen additv:
(p + q) = (a3x3 + a2x
2 + a1x + a0 + b3x3 + b2x
2 + b1x + b0)
= ((a3 + b3)x3 + (a2 + b2)x
2 + (a1 + b1)x + (a0 + b0))
= 3(a3 + b3)x2 + (a1 + b1) = 3a3x
2 + a1 + 3b3x2 + b1
= (a3x3 + a2x
2 + a1x + a0) + (b3x3 + b2x
2 + b1x + b0)
= (p) + (q)
s homogn:
(p) = ((a3x3 + a2x
2 + a1x + a0))
= (a3x3 + a2x
2 + a1x + a0) = 3a3x2 + a1
= (a3x2 + a1) = (a3x
3 + a2x2 + a1x + a0) = (p).
7. A transzponls tulajdonsgai miatt lineris:
(A + B) = (A + B)> = A> + B> = (A) + (B).
-
12 1. LINERIS LEKPEZSEK
1.4. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,hogy egy : V1 V2 lineris lekpezs esetn Ker altr.
Megolds. A lekpezs nulltere (vagy magtere) azon vektorokat tartalmazza,amelyeket a nullvektorba kpez:
Ker = {x V1|(x) = 0},
s soha sem res halmaz, hiszen 0 Ker (lsd 1.2 feladat). Bizonyta-nunk kell, hogy zrt a vektortr mveletekre nzve, azaz nulltrbeli vektoroksszege s skalrszorosa is nulltrbeli.
Legyen x, y Ker, teht (x) = (y) = 0. Ekkor az additivits miatt
(x + y) = (x) + (y) = 0 + 0 = 0,
teht (x+y) Ker. Ha pedig T tetszleges skalr, akkor a homogenitsmiatt (x) = (x) = 0, gy (x) Ker.1.5. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,hogy egy : V1 V2 lineris lekpezs esetn (V1) altr.
Megolds. A lekpezs kptere azon V2-beli vektorokat tartalmazza, amelyekelllnak valamely V1-beli vektor ltali kpeknt:
(V1) = {y V2|x V1 : (x) = y},
s sohasem res halmaz mert a nullvektor midig eleme (0) = 0 miatt.Beltjuk, hogy zrt az sszeadsra s a skalrszorzsra.
Legyen y1, y
2 (V1). Ekkor lteznek x1, x2 V1 vektorok, hogy (x1) =
y1
s (x2) = y2, gy additivitsa miatt
(x1 + x2) = (x1) + (x2) = y1 + y2,
teht y1
+ y2 (V1). Ha T tetszleges, akkor a homogenits miatt
(x1) = (x1) = y1, azaz y1 (V1).1.6. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,hogy egy : V1 V2 lineris lekpezs akkor s csak akkor injektv, haKer = {0}.
Megolds.
1. Indirekt tegyk fel, hogy a lekpezs injektv (azaz klnbz vektorokkpe klnbz), de Ker tartalmaz a nullvektortl klnbz x elemetis. Ekkor (x) = 0 s (0) = 0, gy az injektivits miatt x = 0 lenne,ami ellentmond annak, hogy x nem nullvektor.
-
1. VEKTORTEREK LINERIS LEKPEZSEI 13
2. Tegyk fel, hogy Ker = {0} de nem injektv, azaz ltezik x1 , x2 V1gy, hogy x1 6= x2 de (x1) = (x2). Ekkor linearitsa miatt
(x1 x2) = (x1) (x2) = 0,teht (x1 x2) Ker s (x1 x2) 6= 0, ami ellentmond annak, hogyker csak a nullvektort tartalmazza.
1.7. Feladat. Legyen : V1 V2 lineris lekpezs. Vlaszoljon a kvetkezkrdsekre a nullits s rangttel alapjn!
1. Ha a V1 vektortr dimenzija 3 s rangja 2, akkor mennyi defektusa?2. Lehet-e szrjektv lekpezs, ha V1 s V2 dimenzija megegyezik s
Ker dimenzija 2?3. Lehet-e injektv, ha V2 dimenzija kisebb, mint V1 dimenzija?4. Ha dimV1 = n s izomorfizmus, akkor mennyi V2,Ker s (V1)
dimenzija?
Megolds.
1. A nullits s rangttel szerint dimV1 = def + rg , ahol def =dimKer a defektusa s rg = dim(V1) a rangja, teht def = 1.
2. Nem, mert szrjektv lekpezs esetn rg = dim(V1) = dimV2, deitt rg = dimV1 2 = dimV2 2.
3. Nem, mert injektv lekpezs esetn az elz feladat alapjn def = 0,a nullits s rangttel szerint gy dimV1 = rg = dim(V1) lenne, amilehetetlen (V1) V2 miatt.
4. Ha izomorfizmus, akkor injektv s szrjektv is, teht dimKer =def = 0 s (V1) = V2 miatt dim(V1) = rg = dimV2 = n.
1.8. Feladat. Hatrozza meg az albbi lineris lekpezsek nulltert skptert illetve a lekpezsek defektust s rangjt.
1. : R3 R2, (x1, x2, x3) = (x1, 0)2. : R2 R2, (x1, x2) = (x1 + x2, x1 x2)3. : R3 R3, (x1, x2, x3) = (x1 + x2, x2 x3,x1 + x2 2x3)4. : R4 R4,
x1x2x3x4
=
x1 + 2x2 + 3x3 x42x1 + x2 x3 + 2x4x1 + x2 + 4x3 3x4x1 x2 4x3 + 3x4
5. : R3 R4, (x1, x2, x3) = (x1, x1, x1, x3)6. : Mnn Mnn, (A) = A A>7. : P2 P3, (a2x2 + a1x + a0) = a1x3 + a1x2 + (a2 + a0)x + a1
-
14 1. LINERIS LEKPEZSEK
Megolds.
1. A lekpezs nulltert azon x R3 vektorok alkotjk, amelyekre(x) = 0, teht keressk azon x = (x1, x2, x3) vektorokat, amikre(x1, x2, x3) = (x1, 0) = (0, 0). Innen x1 = 0 s x2, x3 tetszleges valsszmok, gy
Ker = L((0, 0, 1), (0, 1, 0)), defektusa 2, (R3) = L(1, 0) a lekpezs kptere s rangja 1.
2. Ker meghatrozshoz keressk azon x = (x1, x2) vektorokat, amikre(x) = 0, teht
x1+x2 =0
x1x2 =0homogn lineris egyenletrendszer megoldsait. Mivel ennek az egyen-letrendszernek csak az x = (0, 0) vektor tesz eleget, gy Ker = {0}, adefektus nulla, azaz injektv. A nullits s rangttel szerint rangjakett, teht a kptr megegyezik R2-vel, gy ez a lekpezs egy izomor-fizmus.
3. A lekpezs nulltert a (x) = 0 homogn lineris egyenletrendszermegoldstere adja:
x1+x2 =0 x1+ x2 =0 x1+x2 =0
x2 x3 =0 x2 x3 =0 x2x3 =0x1+x22x3 =0 2x22x3 =0
teht (x1, x2, x3) = (1, 1, 1)t ahol t R tetszleges, gy Ker =L(1, 1, 1) s a lekpezs defektusa 1.
Tetszleges lineris lekpezs kpternek egy genertorrendszert ad-jk a bzisvektorok kpei. Mivel ezek nem szksgkppen linerisanfggetlenek, ki kell bellk vlasztani egy maximlisan linerisan fg-getlen vektorrendszert. Hatrozzuk meg teht a termszetes bzis vek-torainak ltali kpeit: (1, 0, 0) = (1, 0,1), (0, 1, 0) = (1, 1, 1),(0, 0, 1) = (0,1,2). Most vlasszunk ki bellk egy maximlisanlinerisan fggetlen vektorrendszert (a nullits s rangttel szerint ezkt vektorbl fog llni):
(e1)(e2)(e3)
1 0 11 1 10 1 2
1 0 10 1 20 1 2
1 0 10 1 20 0 0
gy teht (R3) = L((e1), (e2)).
-
1. VEKTORTEREK LINERIS LEKPEZSEI 15
4. Az elz feladatokhoz hasonlan, megoldjuk a (x) = 0 egyenletrendsz-ert:
1 2 3 12 1 1 21 1 4 31 1 4 3
1 2 3 10 3 7 40 3 7 40 3 7 4
1 2 3 10 3 7 40 0 0 00 0 0 0
,
innen a megoldsok halmaza
x1x2x3x4
=
5/34/301
t1 +
5/37/3
10
t2
ahol t1, t2 tetszleges vals szmok. Teht
Ker = L((5, 4, 0, 3), (5,7, 3, 0)).A kptr meghatrozshoz szksgnk van a termszetes bzis vek-
torainak kpeire: (1, 0, 0, 0) = (1, 2,1, 1), (0, 1, 0, 0) = (2, 1, 1,1),(0, 0, 1, 0) = (3,1, 4,4), (0, 0, 0, 1) = (1, 2,3, 3). A nullits srangttel szerint a kptr dimenzija 2, gy ki kell vlasztani ebbl a4 vektorbl kett linerisan fggetlen vektort. Lthat, hogy brmelykett fggetlen, gy pldul (R4) = ((e1), (e2)).
5. Mivel (x1, x2, x3) = (x1, x1, x1, x3) = (0, 0, 0, 0) pontosan akkor tel-jesl, ha x1 = 0, x2 = 0 s x3 tetszleges vals szm, gy Ker =L(0, 0, 1). A termszetes bzis elemeinek kpei: (1, 0, 0) = (1, 1, 1, 0),(0, 1, 0) = (0, 0, 0, 0) s (0, 0, 1) = (0, 0, 0, 1), teht
(R3) = L((e1), (e3)).A lekpezs defektusa 1, rangja 2.
6. A magtr meghatrozsnak esetn a krds az, hogy milyen A Mnnmtrixok esetn lesz (A) = O. (A) = A A> = O akkor scsak akkor teljesl, ha A = A> azaz a szimmetrikus mtrixok es-etn. A pldatr els rsznek 4.12 feladata alapjn a szimmetrikusmtrixok alternek dimenzija n(n + 1)/2, (egy lehetsges bzisa pedigazon mtrixokbl ll, amelyekben egy darab 1-es szerepel s a tbbielem nulla, az 1-es a ftlban vagy a felett helyezkedik el). Jellje Eijazt a mtrixot, aminek i. sornak j. eleme 1-es, a tbbi nulla. Ekkorteht
Ker = L({Eij |0 i, j n, j i}).Az Mnn vektortr termszetes bzist az Eij mtrixok alkotjk,
ahol 0 i, j n. Ezen mtrixok ltali kpei (Eij) = Eij Eji
-
16 1. LINERIS LEKPEZSEK
alakak, (Eij) s (Eji) egyms (1)-szeresei, tovbb (Eii) = O.Ezen mtrixok ltal generlt altr a ferdeszimmetrikus mtrixok altere(lsd 4.12 feladat), amelynek dimenzija (n 1)n/2, teht
(Mnn) = L({Eij Eji|0 i, j n, j > i}).Lthat, hogy a nullits s rangttelnek megfelelen a defektus s a rangsszege n2, vagyis ppen az nn-es mtrixok vektorternek dimenzija.
7. Mivela1x
3 + a1x2 + (a2 + a0)x + a1 = 0
akkor s csak akkor teljesl, ha a1 = 0 s a0 = a2, gy a lekpezsnulltert az (ax2 a) alak polinomok alkotjk, ahol a R. TehtKer = L(x2 1), a defektus pedig 1.
A termszetes bzis kpei: (x2) = x, (x) = x3 +x2 +1, (1) = x,amibl az els kett linerisan fggetlen, gy (P2) = L((x2), (x)).A lekpezs rangja 2.
1.9. Feladat. Legyen : Rn Rk lineris lekpezs. Igazoljuk, hogyekkor ltezik olyan A Mkn mtrix, hogy (x) = Ax. Ezt a mtrixot alineris lekpezs termszetes bzisra vonatkoz mtrixnak nevezzk.
Megolds. Jellje (e) = e1, . . . , en a termszetes bzist Rn-ben. Ekkor x =
x1e1 + + xnen, s a linearits miatt(x) = x1(e1) + + xn(en),
ahol (ej) Rk minden 1 j n esetn. Legyen Aij a (ej) vektor i.koordintja. Ekkor
(Ax)i = Ai1x1 + + Ainxn = x1(e1)i + + xn(en)i = (x)i,teht a keresett mtrix j-edik oszlopba a j-edik bzisvektor kpnek ko-ordinti kerlnek.
1.10. Feladat. Hatrozza meg az albbi lineris lekpezsek mtrixt!
1. : R3 R2, (x1, x2, x3) = (x1 + x2 + 2x3, x2 + 3x3),2. : R3 R4, (x1, x2, x3) = (x1 x2, x2 + x3, x2, x1 + x2 x3),3. : R4 R, (x1, x2, x3, x4) = (x1 + x2 x3 + x4),4. az R2-beli origra tkrzs,5. az R3-beli [x, y] skra val merleges vetts.
(Hasonl jelleg feladatokrl bvebben a Lineris transzformcik cm rszbenlesz sz.)
-
1. VEKTORTEREK LINERIS LEKPEZSEI 17
Megolds.
1. A keresett mtrix 23 tpus, els oszlopban az (1, 0, 0) vektor kpnekkoordinti szerepelnek, azaz
(10
)
, msodik oszlopa a (0, 1, 0) vektor
kpe:
(11
)
, hasonlan hatrozhat meg a harmadik oszlop is:
A =
(1 1 20 1 3
)
.
Lthat, hogy ekkor valban teljesl, hogy (x) = Ax :
Ax =
(1 1 20 1 3
)
x1x2x3
=
(x1 + x2 + 2x3
x2 + 3x3
)
= (x).
2. Most a mtrix 4 3 tpus lesz:
A =
1 1 00 1 10 1 01 1 1
.
3. A =(1 1 1 1
).
4. Mivel az origra val tkrzsnl a vektorok minden koordintja ellen-tettjre vltozik a lekpezs utn, gy (x1, x2) = (x1,x2) s
A =
(1 00 1
)
.
5. Az [x, y] skra val merleges vettsnl a vektorok x s y koordintjanem vltozik, mg a harmadik koordinta nulla lesz: (x, y, z) = (x, y, 0),gy a lekpezs mtrixa:
A =
1 0 00 1 00 0 0
.
1.11. Feladat. A homomorfia ttel szerint egy : V1 V2 lineris lekpezsesetn
V1/Ker = (V1).llaptsuk meg, hogy az albbi lekpezsek esetn milyen lekpezs valstjameg a fenti izomorfit!
1. : R2 R2, (x1, x2) = (x1 + x2, x1 x2),2. : R3 R3, (x, y, z) = (x, y, 0).
-
18 1. LINERIS LEKPEZSEK
Megolds.
1. Elszr meg kell hatroznunk a lekpezs nulltert. Mivel az 1.8 feladat-ban lttuk, hogy (x) = 0 akkor s csak akkor, ha x = 0, gy Ker = 0.Ekkor V1/Ker = V1 = R
2, a homomorfia ttel lltsa ebben az es-etben egyszeren a V1 = (V1) kifejezst jelenti, az izomorfizmust a lekpezs valstja meg. Ez minden olyan esetben igaz, ha injektv,mert ekkor : V1 (V1) lekpezs mr egy bijektv lineris lekpezs,azaz izomorfizmus.
2. Ennek a lekpezsnek a nulltert a (0, 0, z) alak vektorok alkotjk, aholz tetszleges vals szm, teht Ker = L(0, 0, 1). Ekkor a V1/Ker faktortr elemei az x+Ker alak lineris sokasgok, azaz a z-tengellyelprhuzamos egyenesek (lsd a pldatr els rsznek 3.25 feladatt). A(V1) altr, azaz a lekpezs kptere itt az [x, y] sk lesz, azaz az (x, y, 0)alak vektorok halmaza. A homomorfia ttel teht azt lltja, hogya z-tengellyel prhuzamos egyeneseknek (mint lineris sokasgoknak) avektortere izomorf az [x, y] sk vektorai ltal alkotott altrrel, s a feladatazt kri, hogy adjuk meg ezt a klcsnsen egyrtelm megfeleltetst.Legyen f : V1/Ker (V1) az a lekpezs, amelynl
f((x, y, z) + Ker) = (x, y, 0).
PSfrag replacements
x
y
z
Ker
(V1)
(x, y, 0) =f((x, y, z) + Ker)
(x, y, z) + Ker
f
Beltjuk, hogy f valban bijekci. A szrjektivits nyilvnval,az injektivits igazolshoz tegyk fel, hogy f((x1, y1, z1) + Ker) =f((x2, y2, z2) + Ker). Ekkor (x1, y1, 0) = (x2, y2, 0), gy a kt linerissokasg megegyezik, mert (x1, y1, z1) (x2, y2, z2) = (0, 0, z1 z2) Ker. Szemlletesen arrl van sz, hogy a kt vektor ugyanarra az-tengellyel prhuzamos egyenesre mutat, hiszen csak a harmadik ko-ordintjuk tr el.
-
2. BZIS- S KOORDINTATRANSZFORMCI 19
Knnyen ellenrizhet, hogy az f lekpezs lineris, ugyanis tet-szleges , , x1, x2, y1, y2, z1, z2 vals szmok esetn
f(
((x1, y1, z1) + Ker) + ((x2, y2, z2) + Ker))
=
f(
(x1, y1, z1) + (x2, y2, z2) + Ker)
=
f(
(x1 + x2, y1 + y2, z1 + z2) + Ker)
=
(x1 + x2, y1 + y2, 0) = (x1, y1, 0) + (x2, y2, 0) =
f(
(x1, y1, z1) + Ker)
+ f(
(x2, y2, z2) + Ker)
,
teht ez a keresett izomorfizmus.
2. Bzis- s koordintatranszformci
1.12. Feladat. Az (a) = (a1, a2, a3) s a (b) = (b1, b2, b3) vektorrendszerekR
3 bzisai. rja fel az (a)(b) bzistranszformci mtrixt.1. a1 = (1, 0, 0), a2 = (0, 1, 0), a3 = (0, 0, 1),
b1 = (3, 4, 5), b2 = (6, 7, 8), b3 = (9, 8, 8),2. a1 = (1, 2, 1), a2 = (1,1, 3), a3 = (0, 1, 2),
b1 = (1,2, 1), b2 = (2,1, 2), b3 = (1, 1, 4),3. a1 = (1, 2, 0), a2 = (1, 2,1), a3 = (2, 1, 1),
b1 = (2, 1, 0), b2 = (1, 3, 1), b3 = (1, 2, 1),4. a1 = (3, 2, 1), a2 = (1, 1, 0), a3 = (0, 1, 1),
b1 = (1, 1, 1), b2 = (1, 2, 2), b3 = (1, 0,1).Megolds.
1. Az (a) (b) bzistranszformci mtrixa oszlopaiban tartalmazzaa (b) vektorainak felrst az (a) bzisban. Mivel ennl a feladatnlaz (a) bzis ppen a termszetes bzis, gy a (b) vektorai eleve az (a)bzisban vannak megadva. Ekkor a mtrix oszlopaiba rendre berjuk
(b) vektorait, teht (a)S (b), ahol
S =
3 6 94 7 85 8 8
.
-
20 1. LINERIS LEKPEZSEK
2. Kt megoldsi mdszert mutatunk meg.a) Ki kell szmolnunk a b1, b2, b3 vektorok (a) bzisra vonatkoz ko-
ordintit. A b1 vektor esetn meg kell oldanunk az x1a1+x2a2+x3a3 =b1 lineris egyenletrendszert, melynek egyrtelmen ltez x1, x2, x3 meg-oldsa adja a bzistranszformci mtrixnak els oszlopt. Hasonlankell eljrnunk b2 s b3 esetn, teht hrom darab egyenletrendszert kellmegoldanunk, melyekhez tartoz mtrixok:
1 1 02 1 11 3 2
121
,
1 1 02 1 11 3 2
212
,
1 1 02 1 11 3 2
114
.
Mivel a hrom egyenletrendszer alapmtrixa megegyezik, szimultn ismegoldhatjuk ket gy, hogy a jobboldalon lv vektorokat egyms mellrjuk, s a
1 1 02 1 11 3 2
1 2 12 1 11 2 4
mtrixot Gauss-elimincival olyan alakra hozzuk, hogy az els rszbenaz egysgmtrix szerepel (hasonlan az inverzmtrix kiszmtsnl al-kalmazott szimultn Gauss-elimincihoz):
1 1 02 1 11 3 2
1 2 12 1 11 2 4
1 1 00 1 10 4 2
1 2 10 3 12 5 3
1 0 10 1 10 0 2
1 1 00 3 12 8 7
1 0 00 1 00 0 1
0 3 7/21 1 5/21 4 7/2
.
Ekkor a mtrix msodik rsznek oszlopaiban az egyes egyenletrend-szerek megoldsai lesznek, hiszen pldul az els oszlop vonatkozsbanez ppen az
x1 = 0x2 = 1
x3 = 1
egyenletrendszernek felel meg. gy teht az (a)S (b) bzistranszfor-
mci mtrixa:
S =
0 3 7/21 1 5/21 4 7/2
-
2. BZIS- S KOORDINTATRANSZFORMCI 21
b.) Az S mtrix kiszmtsnak vlaszthatjuk egy msik mdjt is.Az x1a1 + x2a2 + x3a3 = b1 egyenletrendszer mtrixos felrsa: As1 =b1, ahol s1 a keresett bzistranszformcis mtrix els oszlopa s A azalapmtrix:
A =
1 1 02 1 11 3 2
.
Ez felrhat b2 s b3 esetn is, s mivel A invertlhat, innen
s1 = A1b1, s2 = A
1b2, s3 = A1b3.
Teht most a feladat A inverznek kiszmtsa valamely tanult mdsz-errel:
A1 =
5/2 1 1/23/2 1 1/27/2 2 1/2
,
s a hrom szorzs elvgzse:
s1 = A1b1 =
5/2 1 1/23/2 1 1/27/2 2 1/2
121
=
011
,
s2 = A1b2 =
314
, s3 = A1b3 =
7/25/27/2
,
termszetesen ugyanazt kaptuk mint a msik esetben. (A hrom szorzstegyszerre is elvgezhetjk, ha a b1, b2, b3 vektorokat egy B mtrix os-zlopaiba rjuk, s ekkor S = A1B.)
3. Az elzekben ismertetett mdszerek valamelyikvel:
S =
1 3 41 4/3 7/31 1/3 4/3
.
4. Hasonlan:
S =
1/2 1/2 01/2 1/2 11/2 3/2 1
.
1.13. Feladat. Legyenek (a) s (b) bzisok a V vektortren s (a)S (b).
Ha az x vektor (a) bzisra vonatkoz koordintibl kpzett vektort x(a)jelli s a (b) bzisra vonatkoz koordintibl alkotott vektort pedig x(b) ,akkor
x(b) = S1x(a), illetve x(a) = Sx(b).
-
22 1. LINERIS LEKPEZSEK
Ezek alapjn oldjuk meg a kvetkez feladatokat:
1. Legyen R3-ban (e) a termszetes bzis, s (b) pedig az albbi vek-torokbl ll bzis: b1 = (2, 1,1), b2 = (1, 1, 1), b3 = (1, 0, 1).(a) Ha az x vektor a termszetes bzisban felrva x(e) = (4, 3, 2), akkor
mi lesz az x vektor felrsa a (b) bzisban?(b) Ha az y vektor felrsa a (b) bzisban y
(b)= (2, 3, 4), akkor mik
lesznek az y vektor termszetes bzisra vonatkoz koordinti?
2. Tekintsk R3-ban az (a) s (b) bzisokat, ahol a1 = (3, 2,1), a2 =(3, 2, 0), a3 = (2,3, 1), b1 = (1, 0, 1), b2 = (2, 1, 0), b3 = (0, 1,1).
(a) Ha az x vektor az (a) bzisban felrva x(a) = (1, 1, 1), akkor miklesznek az x vektor koordinti, ha ttrnk a (b) bzisra?
(b) Ha az y vektor felrsa a (b) bzisban y(b)
= (2, 2, 2), akkor mik
voltak az y vektornak az eredeti, (a) bzisra vonatkoz koordinti?
Megolds.
1. (a) Mivel ebben a feladatban a kiindul bzis a termszetes bzis, gy
az (e)S (b) bzistranszformci mtrixt azonnal felrhatjuk:
S =
2 1 11 1 01 1 1
.
Ha a rgi bzisban a vektor koordinti x(e) = (4, 3, 2), akkor azj bzisbeli koordintkat az S mtrix alapjn kiszmthatjuk:
x(b) = S1x(e) =
1 0 11 1 12 1 3
432
=
6311
.
(b) Ha a vektor j bzisbeli koordinti adottak, s mi tudni szeret-nnk az eredeti koordintit, akkor
y(e)
= Sy(b)
=
2 1 11 1 01 1 1
234
=
355
.
2. Elszr a bzistranszformci mtrixt kell meghatroznunk. Mivel az
A =
3 3 22 2 31 0 1
-
2. BZIS- S KOORDINTATRANSZFORMCI 23
mtrix inverze
A1 =
2 3 131 1 52 3 12
,
gy
S =
2 3 131 1 52 3 12
1 2 00 1 11 0 1
=
15 7 106 3 414 7 9
.
(a) Az j koordintk meghatrozshoz ki kell mg szmtani az Sinverzt, s ekkor
x(b) = S1x(a) =
1 7 22 5 00 7 3
111
=
434
.
(b) Vgl
y(a)
= Sy(b)
=
15 7 106 3 414 7 9
222
=
241024
.
1.14. Feladat. 1. R3-ban ttrtnk az (a) bzisrl a (b) bzisra, s min-den vektor koordinti az j bzisban ppen a rgi koordintk hrom-szorosai lettek. Mi volt a bzistranszformci mtrixa?
2. R3-ban olyan bzisra szeretnnk ttrni a termszetes bzisrl, amely-ben egy adott x = (1, 2, 3) vektor felrsa ppen (1, 1, 1) lesz. Mi legyena bzistranszformci mtrixa?
Megolds.
1. Ha minden x vektor esetn igaz, hogy S1x(a) = 3x(a), akkor
(S1 3E)x(a) = 0,teht (S1 3E) a nullmtrix kell legyen. Innen S1 = 3E s
S =
1/3 0 00 1/3 00 0 1/3
.2. Teljeslnie kell, hogy
S1
123
=
111
.
-
24 1. LINERIS LEKPEZSEK
Ha az S-et gy vlasztjuk, hogy
S =
1 0 00 2 00 0 3
, s gy S1 =
1 0 00 1/2 00 0 1/3
,
akkor ez rendelkezik a kvnt tulajdonsggal.
1.15. Feladat. Oldjuk meg az albbi feladatokat bzistranszformci segt-sgvel!
1. Bontsuk fel az R2-beli (5, 6) vektort (1, 2) s (4, 1) irny komponenseksszegre.
2. Hatrozzuk meg az R2-beli (1, 1) koordintj vektornak az y = 3xegyenesre vonatkoz tkrkpt.
Megolds.
1. Keressk az x(e) = (5, 6) vektornak a b1 = (1, 2), b2 = (4, 1) bzisbelifelrst:
x(b) =
(1 42 1
)1x(e) =
1
7
(1 42 1
)(56
)
=
(19/74/7
)
.
Ekkor a felbonts:(
56
)
= (19/7)b1 + (4/7)b2 =
(19/738/7
)
+
(16/74/7
)
.
2. Ezt a feladatot tbbflekppen meg lehet oldani, az egyik lehetsges t abzistranszformci hasznlata. Ekkor a termszetes bzisrl ttrnka b1 = (3, 1), b2 = (1, 3) bzisra, mert ennek vektorai is merlegesekegymsra s a msodik vektor irnya megegyezik az egyenes irnyval.Ebben a bzisban egyszeren elvgezhet a tkrzs, a vektor els ko-ordintjt kell ellenttes eljelre vltoztatni. Vgl az gy kapottvektort visszarjuk az eredeti bzisba. Teht az x(e) = (1, 1) vektorkoordinti a (b) bzisban
x(b) =
(3 11 3
)1x(e) =
1
10
(3 11 3
)(11
)
=
(2/51/5
)
.
Ekkor az x vektornak a (1, 3) irny egyenesre vonatkoz tkrkpe a(b) bzisban x(b) = (2/5, 1/5). Mg vissza kell trnnk a termszetesbzisra, ha egy vektor eredeti bzisra vonatkoz koordintit keressk,akkor az j koordintkat a bzistranszformci mtrixval szorozzuk:
x(e) =
(3 11 3
)
x(b) =
(3 11 3
)(2/51/5
)
=
(7/51/5
)
.
-
3. LINERIS TRANSZFORMCIK 25
3. Lineris transzformcik
1.16. Feladat. rjuk fel a R2-beli lineris transzformci termszetesbzisra vonatkoz mtrixt, ha
(a) az y tengelyre tkrzs;(b) az x tengelyre tkrzs;(c) az origra val tkrzs;(d) az orig krli szg forgats.
Megolds. A transzformci mtrixa oszlopaiban tartalmazza a bzisvek-torok kpnek koordintit. R2-ben a termszetes bzist az (1, 0) s (0, 1)vektorok alkotjk.
(a) Mivel (1, 0) = (1, 0) s (0, 1) = (0, 1), gy a keresett mtrix
A =
(1 00 1
)
.
Ekkor egy (x, y) vektor y-tengelyre val tkrzse ezen mtrixszal valszorzsknt megkaphat:
((xy
))
=
(1 00 1
)(xy
)
=
(xy
)
.
(b) Hasonlan, a keresett mtrix:
A =
(1 00 1
)
.
(c) Az origra val tkrzs mindkt koordintt ellenttes eljelre vl-toztatja: (1, 0) = (1, 0) s (0, 1) = (0,1), gy a transzformcimtrixa
A =
(1 00 1
)
.
(d) Az brrl leolvashat, hogy az e1 bzisvektor (e1) kpnek koordinti(cos , sin ), az e2 bzisvektor (e2) kpnek koordinti ( sin, cos ):
.
.
PSfrag replacements
cos
sin
e1
e2(e1)
(e2) cos
sin
-
26 1. LINERIS LEKPEZSEK
Teht mtrixa
(cos sin sin cos
)
.
1.17. Feladat. Hatrozzuk meg az R3-beli x tengely krli fokkal valforgats mtrixt.
Megolds. Az x tengely krl forgats esetn a vektorok els koordintjanem vltozik, gy (1, 0, 0) = (1, 0, 0). Az |y, z| skban a transzformciegy szg forgatst jelent, teht ott az elz feladatban szerepl skbeliforgats szerint fognak vltozni a koordintk: (0, 1, 0) = (0, cos , sin)s = (0, 0, 1) = (0, sin, cos ), teht a keresett mtrix
A =
1 0 00 cos sin0 sin cos
.
1.18. Feladat. rjuk fel a definci alapjn a : V V lineris transzfor-mci mtrixt az (e) bzisra vonatkozan az albbi esetekben:
1. V = R3, (e) a termszetes bzis s
(x1, x2, x3) = (2x1 + 3x2 x3, x2 + 4x3, x1 + x2),
2. V = P3, az (e) bzist az albbi polinomok alkotjk: x3, x2, x, 1 s
(a3x3 + a2x
2 + a1x + a0) = (a0 a3)x3 + (2a1 + a2)x2
+(a0 + a1 + 3a2),
3. V = M22, (e) =((
1 00 0
)
,
(0 10 0
)
,
(0 01 0
)
,
(0 00 1
))
s
(A) = A>,
4. V = C, (e) = (1, i), (z) = z.
Megolds. Egy lineris transzformci mtrixa valamely (e) bzisra vo-natkozan a j. oszlopban tartalmazza a j. bzisvektor ltali kpnekkoordintit, azaz (ej) koordintit (e)-re vonatkozan.
1. Az (e) = ((1, 0, 0), (0, 1, 0), (0, 0, 1)) termszetes bzis elemeinek ltalikpei:
(1, 0, 0) = (2 1 + 3 0 0, 0 + 4 0, 1 + 0) = (2, 0, 1),(0, 1, 0) = (3, 1, 1),
(0, 0, 1) = (1, 4, 0),
-
3. LINERIS TRANSZFORMCIK 27
teht a transzformci mtrixa:
A =
2 3 10 1 41 1 0
.
Lthatjuk, hogy tetszleges (x1, x2, x3) vektor ltali kpe kiszmthatgy, hogy az A mtrixszal megszorozzuk a vektort:
x1x2x3
=
2x1 + 3x2 x3x2 + 4x3x1 + x2
=
2 3 10 1 41 1 0
x1x2x3
.
2. Elszr a bzist alkot polinomok kpeit kell meghatroznunk:
(x3) = (1 x3 + 0 x2 + 0 x + 0)= (0 1)x3 + (0 + 0)x2 + (0 + 0 + 0) = x3,
(x2) = x2 + 3,
(x) = 2x2 + 1,
(1) = x3 + 1.
A keresett mtrix oszlopaiba ezen polinomoknak az x3, x2, x, 1 bzisravonatkoz koordinti kerlnek, pldul a 2x2+1 = 0x3+2x2+0x+11polinom koordintit az egytthatk adjk: (0, 2, 0, 1). Teht a keresettmtrix:
A =
1 0 0 10 1 2 00 0 0 00 3 1 1
.
3. A bzisvektorok kpei:
((1 00 0
))
=
(1 00 0
)
,
((0 10 0
))
=
(0 01 0
)
,
((0 01 0
))
=
(0 10 0
)
,
((0 00 1
))
=
(0 00 1
)
.
-
28 1. LINERIS LEKPEZSEK
Itt az adott bzisra vonatkoz koordintkat a mtrixok elemei adjk"sorfolytonosan", gy a transzponlsnak mint lineris transzformci-nak a mtrixa:
A =
1 0 0 00 0 1 00 1 0 00 0 0 1
Knnyen lthatjuk, hogy ezen mtrixszal val szorzsknt megvalsthata transzponls:
(1 23 4
)
1234
1 0 0 00 0 1 00 1 0 00 0 0 1
1234
=
1324
(
1 32 4
)
.
4. Mivel (1) = 1 (1, 0) s (i) = i (0,1), gy a konjugls mtrixa:
A =
(1 00 1
)
.
1.19. Feladat. 1. rjuk fel a : R3 R3 lineris transzformci mtrixtaz (a) = (a1, a2, a3) bzisra vonatkozan, ha a1 = (2, 1,1),a2 = (3, 1, 0), a3 = (1,2, 1), s (a1) = (1, 1, 2), (a2) = (1, 1, 1),(a3) = (1, 2, 3)!(a) Ha az x vektor (a) bzisra vonatkoz koordinti (2,1, 2),
akkor mivel egyenlek (x) koordinti az (a) bzisra vonatko-zan?
(b) Mik lesznek (x) koordinti a termszetes bzisra vonatkozan?2. rjuk fel a : R3 R3 lineris transzformci mtrixt az (a) =
((3, 1, 1), (1, 1, 0), (1, 2,1)) bzisra vonatkozan, ha (a1) = (3, 0, 1),(a2) = (2, 1, 2), (a3) = (2,2, 1)!(a) Ha az x vektor (a) bzisra vonatkoz koordinti (3, 1, 3), akkor
mivel egyenlek (x) koordinti az (a) bzisra vonatkozan?(b) Mik (x) koordinti a termszetes bzisra vonatkozan?
Megolds.
1. A lineris lekpezsek msodik alapttele szerint egyrtelmen ltezikolyan lineris transzformci ami az (a) bzis elemeit rendre a megadottvektorokba viszi t. Ezen transzformci mtrixnak felrshoz a (a1),(a2), (a3) vektorokat kell linerisan kombinlni az a1 , a2, a3 vektorok-bl. Szmolhatunk szimultn Gauss-elimincival, amikor gy alaktjuk
-
3. LINERIS TRANSZFORMCIK 29
az (a1, a2, a3|(a1), (a2), (a3)) mtrixot, hogy az els hrom oszlop-ban az egysgmtrix legyen (azaz (E|C) alakra hozzuk, ekkor a keresettmtrix C):
2 3 1 1 1 11 1 2 1 1 21 0 1 2 1 3
1 0 0 9 11/2 140 1 0 4 5/2 60 0 1 7 9/2 11
.
Msik lehetsg a mtrix kiszmtsra (hasonlan mint a bzistran-szformci mtrixnak kiszmtsnl volt), hogy meghatrozzuk azA = (a1, a2, a3) mtrix inverzt, s ezt szorozzuk a ((a1), (a2), (a3))mtrixszal:
A1 =1
2
1 3 71 1 31 3 5
s
A1
1 1 11 1 22 1 3
=1
2
18 11 288 5 1214 9 22
.
(a) A transzformci (a) bzisra vonatkoz mtrixnak segtsgvelazonnal kiszmthatjuk a keresett koordintkat:
(x)(a) =1
2
18 11 288 5 1214 9 22
212
=
9/23/27/2
.
(b) Az imnt kapott vektor az y = (x)-nek az (a) bzisra vonatkozkoordintit tartalmazza. A termszetes bzisra vonatkoz ko-ordintkat megkaphatjuk a bzis s koordinta transzformcinltanultak alapjn:
y(e)
= Sy(a)
ahol (e)S (a)
s azt is ismerjk, hogy az (e) (a) bzistranszformci Smtrixa egyszeren az (a) bzis vektorait tartalmazza oszlopai-ban. Teht
(x)(e) = S(x)(a) =
2 3 11 1 21 0 1
9/23/27/2
=
111
.
-
30 1. LINERIS LEKPEZSEK
2. Teljesen hasonlan addik, hogy a transzformci mtrixa
C =
0 5 12 10 31 3 2
,
(a) (x)(a) = C
313
=
256
,
(b) (x)(e) =
3 1 11 1 21 0 1
256
=
1758
.
1.20. Feladat. 1. Ha a : R3 R3 lineris transzformci mtrixa atermszetes bzisra vonatkozan
A =
1 3 21 2 02 0 1
,
akkor mivel egyenl mtrixa az (a) = ((1,1, 1), (0, 1,1), (0,1, 2))bzisra vonatkozan?(a) Ha x koordinti az (a)-ra vonatkozan x(a) = (2, 0, 1), akkor mik
(x) koordinti az (e)-re vonatkozan?(b) Ha y koordinti az (e)-re vonatkozan y
(e)= (1,1, 1), akkor
mik (y) koordinti az a-ra vonatkozan?
2. Ha a : R3 R3 lineris transzformci mtrixa a termszetes bzisravonatkozan
A =
3 1 12 0 11 1 1
,
akkor mivel egyenl mtrixa az (a) = ((1, 2, 1), (0, 2, 1), (1, 1, 0))bzisra vonatkozan?(a) Ha x koordinti az (a)-ra vonatkozan x(a) = (1, 0, 1), akkor mik
(x) koordinti az (e)-re vonatkozan?(b) Ha y koordinti az (e)-re vonatkozan y
(e)= (0, 1,1), akkor
mik (y) koordinti az a-ra vonatkozan?
Megolds.
1. Jellje transzformci mtrixt az j bzisban B. Ekkor B = S1AS,ahol S az (e) (a) bzistranszformci mtrixa, azaz az (a) vektoraibl
-
3. LINERIS TRANSZFORMCIK 31
ll mtrix:
S =
1 0 01 1 11 1 2
s S1 =
1 0 01 2 10 1 1
,
teht
B = S1AS =
1 0 01 2 10 1 1
1 3 21 2 02 0 1
1 0 01 1 11 1 2
=
0 1 15 6 52 3 4
.
(a) Ha x koordinti az (a)-ra vonatkozan x(a) = (2, 0, 1), akkorkiszmthatjuk (x) koordintit az (a) bzisra vonatkozan, hiszenmr ismerjk a transzformci mtrixt ebben a bzisban is, ez volt aB mtrix. Teht
(x)(a) = Bx(a) =
0 1 15 6 52 3 4
201
=
1158
.
Ezutn a bzistranszformci mtrixnak a segtsgvel kiszmthatjukezen vektor termszetes bzisbeli koordintit:
(x)(e) = S(x)(a) =
1 0 01 1 11 1 2
1158
=
180
.
Megjegyezzk, hogy tbbfle ton is eljuthatunk ehhez az eredmnyhez.Nincs szksg pldul a B mtrixra, ha elszr az x vektort tszmtjukaz (e) bzisba (x(e) = Sx(a)) s ezutn hajtjuk vgre a lekpezst, amia termszetes bzisban az A mtrixszal val szorzst jelenti. Teht
(x)(e) = ASx(a) =
1 3 21 2 02 0 1
1 0 01 1 11 1 2
201
=
180
.
A kt szmts egyenrtk, hiszen SBx(a) = SS1ASx(a) = ASx(a).
-
32 1. LINERIS LEKPEZSEK
(b) Ha y koordinti az (e)-re vonatkozan y(e)
= (1,1, 1), akkor(y)(e) = Ay(e) s ha kiszmtjuk ezen vektor (a)-ra vonatkoz ko-
ordintit, akkor megkapjuk a keresett eredmnyt. Ha az (e) bzisrlaz (a)-ra trnk t, akkor az (e) (a) bzistranszformci mtrixnakinverzvel kell szoroznunk, teht
(y)(a) = S1Ay
(e)=
1 0 01 2 10 1 1
1 3 21 2 02 0 1
111
=
052
.
Termszetesen ugyanezt az eredmnyt kapjuk, ha az y vektort elszrtszmtjuk az (a) bzisba (y
(a)= S1y
(e)) majd ezt a vektort a transz-
formci ezen bzisra vonatkoz mtrixval szorozzuk meg:
(y)(a) = BS1y
(e)=
052
.
2. A transzformci mtrixa az j bzisban:
B = S1AS =
1 1 21 1 30 1 2
3 1 12 0 11 1 1
1 0 12 2 11 1 0
=
10 14 99 15 111 6 7
.
(a) (x)(e) = ASx(a) =
3 1 12 0 11 1 1
1 0 12 2 11 1 0
101
=
412
,
(b) (y)(a) = S1Ay
(e)=
1 1 21 1 30 1 2
3 1 12 0 11 1 1
011
=
575
.
-
3. LINERIS TRANSZFORMCIK 33
1.21. Feladat. Az albbi lltsok kzl melyek igazak s melyek hamisak?
(a) Ha egy lineris transzformci injektv, akkor szrjektv is.(b) Ha egy lineris transzformci automorfizmus, akkor mtrixa invertl-
hat.(c) Ha egy 5-dimenzis vektortren rtelmezett lineris transzformci null-
tere 1-dimenzis, akkor kptere is 1-dimenzis.(d) Ha egy transzformci mtrixa valamely bzisban
A =
1 0 21 2 42 1 2
,
akkor a transzformci automorfizmus.(e) Ha egy transzformci mtrixa valamely bzisban
A =
1 0 21 2 22 1 2
,
akkor defektusa 1 s rangja 2.
Megolds. A nullits s rangttel (dimV = dimker + dim(V )) kvet-kezmnye, hogy lineris transzformcik esetn a nulltr dimenzija egyr-telmen meghatrozza a lekpezs rangjt, azaz a kptr dimenzijt. Eztfelhasznlva lehet megvlaszolni a fenti krdseket.
(a) Igaz, hiszen ha a lekpezs injektv, akkor dimker = 0. Ebbl addik,hogy dim(V ) = dimV teht (V ) = V s a lekpezs szrjektv.Megjegyezzk, hogy az llts megfordtsa is igaz.
(b) Igaz. Ha a lekpezs automorfizmus (azaz bijektv lineris transzfor-mci) akkor nulltere csak a nullvektort tartalmazza, vagyis az Ax = 0homogn lineris egyenletrendszernek csak a 0 a megoldsa. Ekkor azegyenletrendszer hatrozott, s gy mtrixa invertlhat.
(c) Hamis, hiszen kpternek dimenzija dimV dimker = n 1.(d) Igaz, hiszen a mtrix regulris (determinnsa nem nulla).(e) Igaz, hiszen a lekpezs nulltere 1-dimenzis. Ezt az Ax = 0 homogn
lineris egyenletrendszer megoldsbl kapjuk:
x1+ +2x3 = 0x1 2x2 +2x3 = 02x1 +x2 +2x3 = 0
x1+ +2x3 = 0x2 +2x3 = 0 .
-
34 1. LINERIS LEKPEZSEK
1.22. Feladat. Legyen lineris transzformci a T test feletti V vek-tortren. Igazoljuk, hogy ha sajtrtke -nek, akkor a -hoz tartozsajtvektorok
L = {x V | (x) = x}halmaza a nullvektorral kiegsztve invarins alteret alkot, azaz (L) L.
Megolds. Legyen x, y L s , T. Ekkor
(x + y) = (x) + (y) = x + y = (x + y),
teht x + y is sajtvektor, gy L {0} altr.Ha x L, akkor ((x)) = (x) = (x), teht (x) szintn sajtvek-
tor, azaz (x) L, melybl kvetkezik, hogy L invarins.1.23. Feladat. Hatrozzuk meg az R3 beli x tengely krli 60 fokkal valforgats 1 sajtrtkhez tartoz sajtvektorokat.
Megolds. Az 1.17. feladat alapjn a transzformci mtrixa
A =
1 0 00 cos 60 sin 600 sin 60 cos 60
=
1 0 0
0 1/2
3/2
0
3/2 1/2
.
Az 1 sajtrtkhez tartoz sajtvektorok azon v R3 vektorok, melyekreteljesl, hogy (v) = v, azaz
(1) ( id)(v) = 0,
ahol id jelli az identikus transzformcit, amely egy vektorhoz nmagtrendeli. A id transzformci mtrixa A E, teht keressk azon v =(x1, x2, x3) vektorokat, melyek megoldsai az (AE)v = 0 homogn linerisegyenletnek. Gauss elimincival szmolva:
A E =
0 0 0
0 1/2
3/2
0
3/2 1/2
0 0 0
0 1/2
3/20 0 2
,
teht az egyenlet ekvivalens a
12x2
3
2x3 =0
2x3 =0
-
3. LINERIS TRANSZFORMCIK 35
egyenletrendszerrel. Lthat, hogy x1 tetszlegesen megvlaszthat, tovbbx2 = x3 = 0, ezrt
v =
x1x2x3
=
100
(t R),
azaz az 1 sajtrtkhez tartoz sajtvektorok halmaza az (1, 0, 0) vektorltal generlt altr, amely az x tengely.
1.24. Feladat. Adjon pldt olyan lineris transzformcira R2-ben, melynek
(a) nincs sajtvektora.(b) brmely kt sajtvektornak az sszege is sajtvektor.(c) minden nem nulla vektor sajtvektora.
Megolds.
(a) Az orig krli ]0, [ szg forgats olyan lineris transzformci,amelynek nincsen sajtrtke, hiszen ha x sajtvektor, akkor kpe x-nek skalrszorosa, mely itt nyilvn nem teljesl. Az llts az 1.22.feladatbl is kvetkezik, ugyanis a sajtalterek, ha lteznek, legalbb 1dimenzis invarins alterek, de itt csak a 0 dimenzis {0} altr invarins.
(b) Egy R2 feletti lineris transzformcinak legfeljebb 2 klnbz sajt-rtke lehet, hiszen a karakterisztikus polinomja msodfok. Ha ktklnbz sajtrtknk van, akkor a hozzjuk tartoz sajtalterekorign tmen nem egyenl egyenesek:
PSfrag replacementsx
y
x + y
Nyilvn ebben az esetben nem teljesl a kvnt tulajdonsg, hiszenaz x+y vektor nincsen rajta az egyenesek egyikn sem, gy nem sajtvek-tor. Teht a mi esetnkben csak 0 vagy 1 sajtrtk ltezhet, s kny-nyen ellenrizhet, hogy ekkor teljesl a kvnt tulajdonsg. Pldul a-nyjtsok, azaz a : R2 R2, (x) = x tpus transzformcikmegfelelek.
(c) Az elz pont alapjn knnyen belthat, hogy csak a -nyjtsok ren-delkeznek ezzel a tulajdonsggal.
-
36 1. LINERIS LEKPEZSEK
1.25. Feladat. Adjon pldt olyan lineris transzformcira R3-ban, mely-nek
(a) nincs sajtvektora.(b) brmely kt sajtvektornak az sszege is sajtvektor.(c) minden nem nulla vektor sajtvektora.
Megolds.
(a) Az R3-beli transzformcik karakterisztikus egyenlete egy harmadfokegyenlet, melynek mindig van vals megoldsa, amely a transzformcisajtrtke. Teht nincs olyan transzformci R3-ban, amelynek nemltezik sajtrtke.
(b) Az 1.24. feladat (b) rsze alapjn belthat, hogy az ilyen transzfor-mciknak legfeljebb 1 sajtrtke lehet. Mivel azonban az elz pontszerint minden R3-beli transzformciknak van legalbb 1 sajtrtke,ezrt pontosan az 1 sajtrtkkel rendelkez transzformcik a megfelel-ek. Termszetesen a -nyjtsok ilyenek.
(c) Pontosan a -nyjtsok ezek a transzformcik.
1.26. Feladat. Hatrozzuk meg az albbi mtrixokkal adott vals tr felettilineris transzformcik sajtrtkeit s sajtvektorait:
(a)
(2 31 1
)
(b)
2 4 86 8 143 3 5
(c)
5 3 06 4 012 12 2
(d)
1 0 10 1 12 1 0
(e)
1 0 12 1 11 1 0
(f)
1 1 18 1 212 3 6
Megolds. Az A mtrix lineris transzformci sajtrtkeit megkapjuk,ha kiszmoljuk a det(A E) = 0 karakterisztikus egyenlet megoldsait. A sajtrtkhez tartoz sajtvektorok halmaza az (A E)x = 0 linerisegyenletrendszer megoldstervel egyenl.
(a) A transzformci karakterisztikus polinomja:
2 31 1
= (2 )(1 ) + 3 = 2 + + 1.
Teht a transzformci sajtrtkei a 2 + + 1 = 0 karakterisztikusegyenlet megoldsai lennnek, azonban az egyenletnek nincs vals meg-oldsa.
-
3. LINERIS TRANSZFORMCIK 37
(b) A karakterisztikus polinom:
2 4 86 8 143 3 5
= (2 )(8 )(5 ) + 168 + 144
24(8 ) + 42(2 ) + 24(5 ) = 3 + 2 + 4 4,
teht az
3 + 2 + 4 4 = 0egyenletet kell megoldanunk. Harmadfok egyenletre van megoldkp-let, azonban ezzel szmolni igen nehzkes. Lehetleg keressnk 1 gyktprblgatssal (harmadfok egyenletnek mindig van legalbb 1 valsgyke), ezutn mr csak egy msodfok egyenletet kell megoldanunk. Aprblgatst kezdjk a 0-hoz kzeli egsz szmokkal (0, 1,1, 2,2, . . . ).
Knnyen ellenrizhet, hogy a 1 = 1 megoldsa az egyenletnek, gy 1 kiemelhet a polinombl:
3 + 2 + 4 4 = ( 1)(2 + 4).
gy a msik kt megoldst a 2+4 = 0 msodfok egyenletbl kapjuk:2 = 2, 3 = 2. Teht a transzformci sajtrtkei: 2, 1, 2.
A 2 sajtrtkhez tartoz sajtvektorokat a
2 (2) 4 86 8 (2) 143 3 5 (2)
x1x2x3
=
000
homogn egyenlet megoldsval kapjuk meg. Gauss-fle elimincivalszmolva:
0 4 86 10 143 3 3
3 3 36 10 140 4 8
3 3 30 4 80 4 8
3 3 30 4 80 0 0
.
Teht az eredeti egyenletrendszer ekvivalens a
3x1+3x23x3 =04x28x3 =0
-
38 1. LINERIS LEKPEZSEK
egyenletrendszerrel. Az x3 vektort vlasszuk egy tetszleges t valsszmnak. Innen x2 = 2t s x1 = t, teht
x1x2x3
=
121
t (t R),
azaz a 2 sajtrtkhez tartoz sajtvektorok altere az (1, 2, 1) vektorltal generlt altr.
Hasonlan kapjuk, hogy az 1 sajtrtk sajtvektorainak altere azL{(0, 2, 1)}, a 2 sajtrtk sajtvektorainak altere pedig az L{(1, 1, 0)}altr.
(c) A transzformci karakterisztikus egyenlete 3+324 = 0. Knnyenlthat, hogy 1 = 1 megolds, tovbb
3 + 32 4 = ( + 1)(2 42 + 4) = ( + 1)( 2)2,teht a msik sajtrtk a 2 = 2 ktszeres algebrai multiplicitssal. A2 = 2 sajtrtkhez tartoz sajtvektorok megkeressre a
3 3 06 6 012 12 0
x1x2x3
=
000
homogn egyenletrendszert kell megoldani. Gauss-elimincit vgezve:
3 3 06 6 012 12 0
3 3 00 0 00 0 0
(1 1 0
)
Azonnal lthat, hogy az egyenletrendszer megoldsa az
x1x2x3
=
110
t1 +
001
t2 (t1, t2 R),
gy a 2 = 2-hz tartoz sajtvektorok altere a L{(1, 1, 0), (0, 0, 1)} altr.Hasonlan kapjuk, hogy a 1 = 1-hez tartoz sajtvektorok altere aL{(1, 2, 4)} altr.
(d) A transzformci karakterisztikus egyenlete x3 + 2x2 4x + 3 = 0.Lthat, hogy 1 = 1 megolds, tovbb
x3 + 2x2 4x + 3 = (x 1)(x2 x + 3).Az x2 x+ 3 = 0 egyenlet diszkriminnsa negatv, gy nincs megoldsaa vals szmok halmazn. Teht a transzformcinak csak a = 1 a
-
3. LINERIS TRANSZFORMCIK 39
sajtrtke, a sajtvektorok pedig a
0 0 10 0 12 1 1
x1x2x3
=
000
homogn egyenletrendszer megoldsai. Gauss-elimincit alkalmazva:
0 0 10 0 12 1 1
2 1 10 0 10 0 1
(
2 1 10 0 1
)
,
melybl kapjuk, hogy a sajtvektorok altere a L{(1,2, 0)} altr.(e) Karakterisztikus polinom: 3 , sajtrtkek: 1, 0, 1.
1 = 1 sajtvektorainak altere: L{(1, 3, 2)}.2 = 0 sajtvektorainak altere: L{(1, 1, 1)}.3 = 1 sajtvektorainak altere: L{(1, 1, 0)}.
(f) Karakterisztikus polinom: 3 + 62 9, sajtrtkek: 0, 3.1 = 0 sajtvektorainak altere: L{(1, 2, 3)}.2 = 3 sajtvektorainak altere: L{(1, 0, 4), (0, 1, 1)}.
1.27. Feladat. Hatrozzuk meg a kvetkez lineris transzformcik karak-terisztikus polinomjt, sajtrtkeit, sajtaltereit. Vizsgljuk meg a dia-gonalizlhatsgot, s teljeslse esetn adjunk meg sajtvektorokbl llbzist, tovbb azt az S mtrixot, amellyel S1AS diagonlis alak, ahol Ajelli a transzformci termszetes bzisra vonatkoz mtrixt.
(a) : R3 R3, (x, y, z) (4x + y + z, x + 2y + z,3x y);(b) : R3 R3, (x, y, z) (x,6x + 11y + 9z, 6x 12y 10z);(c) : R3 R3, (x, y, z) (3y + 3z,2x + y + 2z, x z);(d) : R3 R3, (x, y, z) (x y + 3z, 3x + 5y 3z, 2z);(e) : R3 R3, (x, y, z) (9x + 14z,7x 2y + 14z,7x + 12z);(f) : R3 R3, (x, y, z) (x + y + 2z, 10x + 2y 10z,6x + y + 9z).
Megolds. Egy lineris transzformci mtrixa akkor s csak akkor diagonal-izlhat, ha ltezik sajtvektorokbl ll bzis. Ebben a sajtvektorokblll bzisban mtrixa olyan, hogy a ftlban a megfelel sajtrtkekllnak. Ha teht a termszetes bzisbl ttrnk a sajtvektorokbl llbzisra, akkor a bzistranszformci mtrixnak oszlopaiban az j bzis ko-ordinti llnak. A feladat elssorban ennek az S mtrixnak a meghatro-zsa, amennyiben ltezik.
-
40 1. LINERIS LEKPEZSEK
(a) (1, 0, 0) = (4, 1,3), (0, 1, 0) = (1, 2,1) s (0, 0, 1) = (1, 1, 0), gya transzformci mtrixa:
A =
4 1 11 2 13 1 0
.
Az 1.26 feladatban lert mdon szmolva kapjuk, hogy a karakterisztikuspolinom a 3 + 62 11 + 6 polinom, melynek zrushelyei, gy atranszformci sajtrtkei az 1, 2, 3 szmok. Az 1 sajtrtkhez tartozsajtvektorok altere az L{(0, 1,1)} altr, a 2 sajtrtkhez tartozsajtvektorok altere az L{(1, 1, 1)} altr s a 3 sajtrtkhez tartozsajtvektorok altere az L{(1, 0, 1)} altr.
Nyilvnvalan a mtrix diagonalizlhat, ugyanis a spektrum tel-jes, tovbb mindhrom sajtrtk algebrai s geometriai multiplicitsaegyarnt 1, teht megegyeznek. Egy sajtvektorokbl ll bzist alkota (0, 1,1), (1, 1, 1), (1, 0, 1) vektorok rendszere, hiszen klnbzsajtrtkekhez tartoz sajtvektorok linerisan fggetlenek. A feladatelejn lertak alapjn teht
S =
0 1 11 1 01 1 1
.
(b) (1, 0, 0) = (1,6, 6), (0, 1, 0) = (0, 11,12) tovbb (0, 0, 1) =(0, 9,10), gy a transzformci mtrixa:
A =
1 0 06 11 96 12 10
.
A transzformci karakterisztikus polinomja a 3 + 3 + 2 polinom.Kt sajtrtke van, a 1 ktszeres algebrai multiplicitssal, tovbba 2 egyszeres algebrai multiplicitssal. A 1 sajtrtkhez tartozsajtvektorok altere az L{(3, 0, 2), (2, 1, 0), } altr, teht a geometriaimultiplicitsa is 2. A 2 sajtrtkhez tartoz sajtvektorok altere aL{(0, 1,1)} altr. A transzformci mtrixa teht diagonalizlhat,hiszen a spektrum teljes s a sajtrtkek geometriai s algebrai multi-plicitsa egyenl. A {(3, 0, 2), (2, 1, 0), (0, 1,1)} vektorrendszer sajt-vektorokbl ll bzis, gy
S =
3 2 00 1 12 0 1
.
-
3. LINERIS TRANSZFORMCIK 41
(c) (1, 0, 0) = (0,2, 1), (0, 1, 0) = (3, 1, 0) s (0, 0, 1) = (3, 2,1), gya transzformci mtrixa:
A =
0 3 32 1 21 0 1
.
A transzformci karakterisztikus polinomja a 3 2 3 polinom,melynek csak egy vals gyke van, a 1. A 1 sajtrtk algebrai mul-tiplicitsa egyszeres, gy a transzformci spektruma nem teljes, ezrtmtrixa nem diagonalizlhat. A sajtvektorok altere a L{(0,1, 1)}altr.
(d) (1, 0, 0) = (1, 3, 0), (0, 1, 0) = (1, 5, 0) s (0, 0, 1) = (3,3, 2), gya transzformci mtrixa:
A =
1 1 33 5 30 0 2
.
A transzformci karakterisztikus polinomja a 3 + 82 20 + 16polinom. Kt sajtrtk van, a 2 ktszeres, a 4 pedig egyszeres al-gebrai multiplicits. A 4 sajtrtkhez tartoz sajtvektorok alterea L{(1,3, 0)} altr. A 2 sajtrtkhez tartoz sajtvektorok altere aL{(1, 1, 0)} altr, teht a geometriai multiplicitsa 1, mely nem egyezikmeg az algebrai multiplicitssal, gy a transzformci mtrixa nem di-agonalizlhat.
(e) A transzformci karakterisztikus polinomja 3 + 2 + 16 + 20,sajtrtke a 2 ktszeres algebrai multiplicitssal, melynek sajtal-tere: L{(0, 1, 0), (2, 0, 1)}, tovbb az 5 egyszeres algebrai multiplicits-sal, melynek sajtaltere: L{(1, 1, 1)}. gy
S =
0 2 11 0 10 1 1
.
(f) A transzformci karakterisztikus polinomja 3 + 122 41 + 42,sajtrtke a 2, melynek sajtaltere: L{(1,1, 1)}, a 3, melynek saj-taltere: L{(1, 0, 1)}, tovbb a 7, melynek sajtaltere: L{(0,2, 1)}.gy
S =
1 1 01 0 21 1 1
.
-
42 1. LINERIS LEKPEZSEK
1.28. Feladat. Vizsgljuk meg, hogy diagonalizlhatak-e az albbi mt-rixok C felett.
(a)
1 1 22 1 01 2 2
(b)
i 1 i 1 + i0 i 00 0 i
Megolds. A komplex szmok teste felett minden n-edfok egyenletnekmultiplicitst is szmolva pontosan n darab gyke van, gy itt a spektrummindig teljes. Ezrt egy mtrix diagonalizlhatsga csak attl fgg, hogy asajtrtkek geometriai s algebrai multiplicitsa megegyezik vagy sem.(a) A mtrix karakterisztikus polinomja:
3 + 42 9 = (2 4 + 9).Lthat, hogy a 1 = 0 a mtrix sajtrtke. A 24+9 = 0 egyenletmegoldsa tovbbi kt sajtrtket ad meg:
2,3 =4 + (
16 36)1,22
= 2 + (5)1,2 =
{
2
5i
2 +
5i
Mivel a mtrixnak 3 darab klnbz sajtrtke van, gy azok algebrais a geometriai multiplicitsa szksgkppen 1, teht egyenlek. Ezrta mtrix diagonalizlhat.
(b) A mtrix karakterisztikus polinomja (i )2(i ), melyrl azonnalleolvashat, hogy kt sajtrtk van, a 1 = i egyszeres, a 2 = i kt-szeres algebrai multiplicitssal. Azt kell csak megvizsglnunk, hogy a 2sajtrtk geometriai multiplicitsa 1 vagy 2. Ehhez meg kell oldanunka
i (i) 1 i 1 + i0 i (i) 00 0 i (i)
z1z2z3
=
000
egyenletrendszert. Azonnal leolvashat a megoldshalmaz:
z1z2z3
=
100
t (t C).
gy a 2 sajtrtk sajtaltere a L{(1, 0, 0)} altr, gy geometriai multi-plicitsa 1, mely nem egyezik meg az algebrai multiplicitssal. Ezrt amtrix nem diagonalizlhat.
-
3. LINERIS TRANSZFORMCIK 43
1.29. Feladat. Milyen esetn diagonalizlhatak az albbi mtrixok Rfelett?
(a) A =
(1
)
(b) B =
1 0 00 0 11 0
Megolds.
(a) Az A mtrix karakterisztikus egyenlete 2 (+1)2 + = 0. Azegyenlet diszkriminnsa [(1 + )]2 4(2 + ) = 52 2 + 1, melymindig pozitv, ezrt minden R esetn kt klnbz sajtrtkevan a mtrixnak, gy szksgkppen azok algebrai s geometriai multi-plicitsa 1, azaz megegyezik. Az A mtrix teht minden R esetndiagonalizlhat.
(b) A B mtrix karakterisztikus polinomja (1 )(2 ). A mtrixspektruma akkor teljes, ha 0. Amennyiben > 0, 3 klnbzsajtrtk van, az 1, a
s a , s ezek algebrai s geometriai
multiplicitsa is 1, gy ebben az esetben a mtrix diagonalizlhat.Ha = 0, akkor kt sajtrtk van, az 1 s a 0. A 0 algebrai multipli-citsa 2, gy meg kell vizsglni, hogy mennyi a geometriai multiplicitsa.Az 1.26 feladatban lert mdon szmolva kapjuk, hogy a 0 sajtrtksajtaltere a L{(0, 1, 0)} altr, teht a geometriai multiplicits csak 1,gy a mtrix = 0 esetn nem diagonalizlhat.sszefoglalva, B diagonalizlhat pontosan akkor, ha > 0.
1.30. Feladat. Legyen A 33-as diagonalizlhat mtrix. Mit mondhatunkA determinnsrl, ha
(a) A-nak a 0 sajtrtke;(b) A-nak kt sajtrtke van, az 1 s a 2.(c) A sajtrtkei: 1, 2, 3.
Megolds. Mivel A diagonalizlhat, ezrt determinnsa egyenl sajtrt-keinek szorzatval minden sajtrtket annyiszor vve, amennyi az algebraimultiplicitsa (diagonalizlhat mtrixnl ez egyenl a geometriai multipli-citssal).
(a) det A = 0;(b) det A = 2 vagy detA = 4.(c) det A = 6.
-
44 1. LINERIS LEKPEZSEK
1.31. Feladat. Legyen n N. Szmtsuk ki az A mtrix n-edik hatvnyt:
(a) A =
11 4 33 0 3
12 4 14
(b) A =
3 2 22 1 22 2 1
Megolds. Ha egy mtrix diagonlis alak, akkor az n-edik hatvnya olyandiagonlis mtrix, melynek diagonlisban az eredeti mtrix megfelel e-lemnek n-edik hatvnya szerepel. Ezrt egy diagonalizlhat A mtrixesetn rdemes a hozz hasonl D diagonlis mtrixot megkeresni, hiszenekkor D = S1AS, gy A = SDS1, ezrt An = SDnS1.
(a) Az 1.26 feladatban lert mdon szmolva kapjuk, hogy az A mtrixsajtrtke az 0, melynek sajtaltere L{(2, 1,2)}, az 1, melynek saj-taltere L{(1, 3, 0)},tovbb a 2, melynek sajtaltere L{(1, 0, 1)}. Tehta mtrix diagonalizlhat, a hozz hasonl diagonlis mtrix tljban a
sajtrtkek szerepelnek, gy D =
0 0 00 1 00 0 2
. Az 1.27 feladat alapjn
S =
2 1 11 3 02 0 1
, melynek inverze S1 =
3 1 31 0 16 2 7
. Teht
An =
2 1 11 3 02 0 1
0 0 00 1 00 0 2n
3 1 31 0 16 2 7
=
0 1 2n
0 3 00 0 2n
3 1 31 0 16 2 7
=
1 6 2n 2n+1 1 + 7 2n3 0 3
6 2n 2 2n 7 2n
.
(b) Az A mtrix sajtrtke az 1, melynek sajtaltere L{(1, 1, 1)}, to-vbb a 1, melynek sajtaltere L{(1, 0, 1), (1, 1, 0)}. Teht a mtrix
diagonalizlhat s D =
1 0 00 1 00 0 1
.
Ha n pros, akkor Dn = E, gy An = SES1 = SS1 = E.Ha n pratlan, akkor Dn = D, ezrt An = SDS1. Az S mtrix
a
1 1 11 0 11 1 0
mtrix, melynek inverze S1 =
1 1 11 1 01 0 1
.
-
3. LINERIS TRANSZFORMCIK 45
Teht, ha n pratlan, akkor
An =
1 1 11 0 11 1 0
1 0 00 1 00 0 1
1 1 11 1 01 0 1
=
1 1 11 0 11 1 0
1 1 11 1 01 0 1
=
3 2 22 1 22 2 1
= A.
1.32. Feladat. Melyek igazak az albbi lltsok kzl?
(a) Ha A + B = E, akkor A-nak s B-nek ugyanazok a sajtvektorai.(b) Ha AB = 0, akkor A-nak s B-nek ugyanazok a sajtvektorai.(c) Ha sajtrtke A-nak, akkor 2 sajtrtke A2-nek.(d) Ha 0 sajtrtke A2-nek, akkor 0 sajtrtke A-nak.
Megolds.
(a) Legyen x sajtvektora A-nak. Ekkor ltezik olyan sajtrtk, melyreAx = x, gy (A + B)x = Ax + Bx = x + Bx. Viszont A + B = E,gy teljesl az (A + B)x = x egyenlsg is, ezrt x = x + Bx, gyBx = (1)x, azaz x a B mtrix 1 sajtrtkhez tartoz sajtrtke.Hasonlan kapjuk, hogy a B mtrix sajtvektorai is sajtvektorai az Amtrixnak, teht az llts igaz.
(b) Az llts nyilvn nem igaz, hiszen pldul ha A a nullmtrix, akkorminden vektor sajtvektora, s az egyenlsg tetszleges B mtrix esetnfennll, gy nyilvn olyannl is, amelynek nem minden vektor sajtvek-tora.
(c) Mivel sajtrtke A-nak, ezrt ltezik olyan x vektor, melyre Ax =x. Ekkor azonban A2x = A Ax = Ax = Ax = x = 2x, azaz2 sajtrtke A2-nek, teht az llts igaz.
(d) Mivel 0 sajtrtke A2-nek, gy ltezik olyan x sajtvektor, melyreA2x = 0x, azaz A(Ax) = 0. Amennyiben az x vektor nem a 0-hoztartoz sajtvektora az A mtrixnak, akkor Ax 6= 0, gy A(Ax) = 0miatt az Ax vektor a 0 sajtrtkhez tartoz sajtvektora A-nak. Tehtvagy az x vektor, vagy az Ax vektor a 0-hoz tartoz sajtvektora az Amtrixnak, ezrt az llts igaz.
1.33. Feladat. Adjunk pldt olyan nem hasonl mtrixokra, melyek karak-terisztikus polinomja megegyezik.
Megolds. Legyen A s B kt mtrix, melyek karakterisztikus polinomjamegegyezik. Ekkor nyilvn a sajtrtkek is megegyeznek. Amennyibenmindkt mtrix diagonalizlhat lenne, akkor mindketten hasonlak voln-nak ugyanazon diagonlis mtrixszal, gy egymssal is. Kzenfekv teht
-
46 1. LINERIS LEKPEZSEK
olyan mtrixokat keresni, amelyek kzl A diagonalizlhat, B pedig nem.Mivel a karakterisztikus polinom kzs, A diagonalizlhatsga miatt aspektrum teljes. B nem diagonalizlhat, ezrt a sajtrtkek valamelyiknekgeometriai multiplicitsa a B mtrix esetn kevesebb, mint az algebrai.
Az egyszersg kedvrt legyenek a mtrixok 22 tpusak. Nyilvnval,hogy a E egysgmtrix sajtrtke az 1, melynek algebrai s geometriaimultiplicitsa is 2. Az egysgmtrixhoz semelyik tle klnbz mtrix semhasonl, hiszen S1ES = E brmely S regulris mtrix esetn. gy pldul
az
(1 01 1
)
nem hasonl hozz, de karakterisztikus polinomja ugyangy a
2 2 +1. (Az 1 sajtrtk itt ugyangy ktszeres algebrai multiplicits,de a geometriai multiplicitsa csak 1.)
-
2. fejezet
Euklideszi s unitr terek
1. Lineris, bilineris s kvadratikus formk
2.1. Feladat. A definci alapjn ellenrizze, hogy az albbi lekpezseklineris formk-e!
1. L : R3 R2, L(x1, x2, x3) = (x1, x3),2. L : R3 R, L(x1, x2, x3) = x2 + 1,3. L : R3 R, L(x1, x2, x3) = x21,4. L : R3 R, L(x1, x2, x3) = x1 + x2 + x3,5. L : R3 R, L(x1, x2, x3) = 2x1 4x3,6. L : R4 R, L(x1, x2, x3, x4) = x1 x2 x3 x4.
Megolds.
1. Egy R feletti vektortr lineris forminak rtkkszlete R, gy ez alekpezs lineris ugyan, de nem lineris forma.
2. Nem lineris forma, nem teljesl pldul a homogenits:
L(x) = x2 + 1 6= L(x) = (x2 + 1).De az additivits sem teljesl, st, a nullvektor kpe sem nulla.
3. Nem lineris, hiszen pldul a homogenits nem teljesl:
L(x) = (x1)2 6= L(x) = (x21).
4. Lineris forma, hiszen egyrszt additv: tetszleges x = (x1, x2, x3),y = (y1, y2, y3) R3 esetn
L(x + y) = x1 + y1 + x2 + y2 + x3 + y3 =
L(x) + L(y) = x1 + x2 + x3 + y1 + y2 + y3,
s homogn: brmely vals szm s brmely x = (x1, x2, x3) R3esetn
L(x) = x1 + x2 + x3 = L(x) = (x1 + x2 + x3).
5. Igen.
47
-
48 2. EUKLIDESZI S UNITR TEREK
6. Igen.
2.2. Feladat. rjuk fel a termszetes bzisra vonatkoz bzis ellltst azelz feladatban szerepl lekpezsek kzl azoknak, amik lineris formkvoltak!
Megolds. Egy lineris forma bzis ellltst a forma bzisvektorokonfelvett rtkei adjk.
1. Az L : R3 R, L(x1, x2, x3) = x1 + x2 + x3 termszetes bzisravonatkoz bzis ellltsa 1,1,1, hiszen
L(1, 0, 0) = 1 + 0 + 0 = 1,
L(0, 1, 0) = 0 + 1 + 0 = 1,
L(0, 0, 1) = 0 + 0 + 1 = 1.
A bzis elllts jelentse hasonl a lekpezs mtrixnak jelentshez,pldul ennek a lineris formnak a hatsa megegyezik az (1 1 1) mtrix-szal val szorzs hatsval:
L(x1, x2, x3) =(
1 1 1)
x1x2x3
= x1 + x2 + x3.
2. Az L : R3 R, L(x1, x2, x3) = 2x1 4x3 forma bzis ellltsa 2,0,-4,hiszen
L(1, 0, 0) = 2 1 4 0 = 2,L(0, 1, 0) = 0,
L(0, 0, 1) = 4.
3. Az L : R4 R, L(x1, x2, x3, x4) = x1x2x3x4 forma termszetesbzisra vonatkoz ellltsa: -1,-1,-1,-1.
2.3. Feladat. Mely lineris formk (termszetes bzisra vonatkoz) bzisellltsait adtuk meg az albbiakban? rjuk fel az x vektornak az adottlineris forma ltali kpt!
1. L1 : R3 R bzis ellltsa 1, 2, 3 s x = (4, 3, 2),
2. L2 : R3 R bzis ellltsa 0, 0,2 s x = (1, 1, 1),
3. L3 : R4 R bzis ellltsa 1, 2, 1, 2 s x = (3, 3, 2, 2).
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 49
Megolds.
1. L1(x1, x2, x3) = L1(x1e1+x2e2+x3e3) = x1 L(e1)
1
+x2 L(e2)
2
+x3 L(e3)
3
=
x1 + 2x2 + 3x3, s
L(4, 3, 2) =(
1 2 3)
432
= 16.
2. L2(x1, x2, x3) = 2x3 s L(1, 1, 1) = 2.3. L3(x1, x2, x3, x4) = x1+2x2+x3+2x4 s L(3, 3, 2, 2) = 3+6+2+4 = 15.
2.4. Feladat. Lineris formk-e az albbi lekpezsek? Ha igen, adjuk megbzis ellltsukat a kanonikus bzisra vonatkozan!
1. L1 : P2 P1, L1(a2x2 + a1x + a0) = a0x,2. L2 : P2 R, L2(a2x2 + a1x + a0) = 2a2 a1 + a0,3. L3 : P2 R, L3(p) = p(2),4. L4 : P2 R, L4(p) =
20 p(x)dx,
5. L5 : M22 R, L5(A) = det(A),6. L6 : M33 R, L5(A) = tr(A) = a11 + a22 + a33.
Megolds.
1. Nem, hiszen a kptr nem R.2. Igen, hiszen additv: tetszleges p(x) = a2x2 + a1x + a0 s q(x) =
b2x2 + b1x + b0 legfeljebb msodfok polinomok esetn
L2(p + q) =((a2x
2 + a1x + a0) + (b2x2 + b1x + b0)
)
= L2((a2 + b2)x
2 + (a1 + b1)x + (a0 + b0))
= 2(a2 + b2) (a1 + b1) + (a0 + b0) =L2(p) + L2(q) = 2a2 a1 + a0 + 2b2 b1 + b0,
s hasonlan igazolhat a homogenits is. Az x2, x, 1 bzisra vonatkozelllts: 2,1, 1, mert L2(x2) = 2, L2(x) = 1, s L2(1) = 1.
3. L3 lineris forma, hiszen additv:
L3(p + q) =((a3x
3 + a2x2 + a1x + a0) + (b3x
3 + b2x2 + b1x + b0)
)
= L3((a3 + b3)x
3 + (a2 + b2)x2 + (a1 + b1)x + (a0 + b0)
)
= 8(a3 + b3) + 4(a2 + b2) + 2(a1 + b1) + (a0 + b0)
L3(p) + L3(q) = p(2) + q(2)
= 8a3 + 4a2 + 2a1 + a0 + 8b3 + 4b2 + 2b1 + b0,
-
50 2. EUKLIDESZI S UNITR TEREK
s homogn:
L3(p) = L3(a3x3 + a2x
2 + a1x + a0)
= 8a3 + 4a2 + 2a1 + a0 =
L3(p) = p(2) = (8a3 + 4a2 + 2a1 + a0).
A bzis elllts: 8, 4, 2, 1.4. Az L4(p) = L4(a2x2 + a1x+ a0) =
20 p(x)dx lekpezs lineris, mely az
integrl ismert tulajdonsgaibl kvetkezik: 2
0p(x) + q(x)dx =
2
0p(x)dx +
2
0q(x)dx
2
0p(x)dx =
2
0p(x)dx
A lekpezs linearitsa onnan is lthat, hogy
L4(p) =
2
0a2x
2 + a1x + a0dx =
[
a2x3
3+ a1
x2
2+ a0x
]2
0
=8
3a2 + 2a1 + 2a0.
Innen a bzis elllts is leolvashat: 83 , 2, 2.5. Nem lineris a lekpezs, hiszen ltalban sem |A + B| = |A| + |B| sem
|A| = |A| nem teljesl.6. Egy ngyzetes mtrix ftljban ll elemek sszegt a mtrix nyom-
nak (trace) nevezzk. Ez a lekpezs lineris, hiszen homogn:
tr(A) = a11 + a22 + a33 = tr(A),
s hasonlan lthat, hogy teljesl az additivits is. A bzis ellltsaz E11, E12, E13, E21, . . . , E33 bzisra vonatkozan (itt Eij jelli azt amtrixot, aminek i. sornak j. eleme 1, a tbbi elem nulla (i, j =1, 2, 3)):
1, 0, 0, 0, 1, 0, 0, 0, 1,
ezek a szmok rendre az E11, E12, . . . , E33 mtrixokon felvett rtkei azL6 lineris formnak, azaz a ftlban lv elemek sszegei.
2.5. Feladat. Adjon pldt R3-nak olyan nem trivilis lineris formjra,amely
1. az (1,2,3) vektorhoz 4-et rendel,2. az (1,1,0) s az (1,0,1) vektorokhoz nullt rendel,3. az (1,1,0) vektorhoz 1-et, az (1,0,1) vektorhoz 2-t rendel!
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 51
Megolds.
1. Az R3 vektortr egy ltalnos lineris formja
(x1, x2, x3) = l1x1 + l2x2 + l3x3
alak. Keresnk teht olyan l1, l2, l3 vals szmokat (a bzis ellltst),hogy l1 + 2l2 + 3l3 = 4. Ha teht pldul a bzis elllts 2, 1, 0,akkor a (x1, x2, x3) = 2x1 + x2 lineris forma rendelkezni fog ezzel atulajdonsggal, de termszetesen vgtelen sok ilyen lekpezs van.
2. Keressk a
(x1, x2, x3) = l1x1 + l2x2 + l3x3
lekpezst gy, hogy
(1, 1, 0) = 0
(1, 0, 1) = 0
teljesljn, ami azt jelenti, hogy l1 + l2 = 0 s l1 + l3 = 0. A lehetsgesmegoldsok teht a (x1, x2, x3) = x1 x2 x3 lekpezs s konstans-szorosai.
3. Az elz feladathoz hasonlan, most
(1, 1, 0) = l1 + l2 = 1
(1, 0, 1) = l1 + l3 = 2
felttelnek kell teljeslnie, teht l2 = 1 l1 s l3 = 2 l1. Pldul l1 = 1vlasztssal a (x1, x2, x3) = x1 + x3 lineris forma addik.
2.6. Feladat. Adjon meg egy bzist a V dulis tren, ha:
1. V = R3,2. V = P2,3. V = M22.
Megolds. A V vals szmtest feletti vektortr V dulis tert az sszesV R lineris formk alkotjk. A dulis tr dimenzija megegyezik Vdimenzijval.
1. R3 lineris formi (x1, x2, x3) = l1x1 + l2x2 + l3x3 alakak, s alineris formk vektortere illetve a szmhrmasok vektortere kztt kl-csnsen egyrtelm megfeleltetst adhatunk meg, ha minden linerisformhoz hozzrendeljk az (l1, l2, l3) bzis ellltst. gy a dulistr egy bzist adjk azok az m1,m2,m3 : R
3 R lineris formk,
-
52 2. EUKLIDESZI S UNITR TEREK
amiknek a bzis ellltsuk rendre (1,0,0), (0,1,0) s (0,0,1), azaz
m1(x1, x2, x3) = x1
m2(x1, x2, x3) = x2
m3(x1, x2, x3) = x3.
Lthat, hogy az sszes lineris forma elllthat mint m1,m2,m3lineris kombincija.
2. P2 lineris formi (a2x2 + a1x + a0) = l1a2 + l2a1 + l3a0 alakak. Adulis ternek egy bzist adjk azok az m1,m2,m3 : P2 R linerisformk, amiknek a bzis ellltsuk rendre (1,0,0), (0,1,0) s (0,0,1),azaz
m1(a2x2 + a1x + a0) = a2
m2(a2x2 + a1x + a0) = a1
m3(a2x2 + a1x + a0) = a0.
3. M22 lineris formi
(A) =
(a11 a12a21 a22
)
= l1a11 + l2a12 + l3a21 + l4a22
alakak, s a dulis tr egy bzist adjk pldul az m1,m2,m3,m4 :M22 R lineris formk, ahol
m1(A) = a11
m2(A) = a12
m3(A) = a21
m4(A) = a22.
2.7. Feladat. Adott egy B : V V R bilineris forma s x, y, z V vektorok. A bilineris formk defincija alapjn bontsuk fel az albbikifejezseket cB(x1, x2) alak kifejezsek sszegre, ahol c vals konstans,x1, x2 pedig az x, y, z vektorok valamelyike.
1. B(3x, y),2. B(3x, 3x),3. B(x + y, x + y),4. B(3x + 2y z, x y + 2z),5. B(2x 2y + 3z, 4x + 2y z).
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 53
Megolds.
1. Mivel B az els vltozjban homogn, gy B(3x, y) = 3B(x, y).2. Mivel B az els s a msodik vltozjban is homogn, gy
B(3x, 3x) = 3B(x, 3x) = 9B(x, x).
3. Mivel B els vltozjban additv:
B(x + y, x + y) = B(x, x + y) + B(y, x + y),
s az gy kapott kt tagot tovbb bonthatjuk, mert a bilineris formka msodik vltozban is additvak:
B(x, x + y) + B(y, x + y) = B(x, x) + B(x, y) + B(y, x) + B(y, y).
4. Alkalmazva a homogenitst s additivitst:B(3x+2yz, xy+2z) = B(3x, xy+2z)+B(2y, xy+2z)+B(z, xy + 2z) = B(3x, x) + B(3x,y) + B(3x, 2z) + B(2y, x) + B(2y,y) +B(2y, 2z)+B(z, x)+B(z,y)+B(z, 2z) = 3B(x, x) 3B(x, y)+6B(x, z)+2B(y, x) 2B(y, y)+4B(y, z)B(z, x)+B(z, y) 2B(z, z).
5. B(2x2y+3z, 4x+2yz) = 8B(x, x)+4B(x, y)2B(x, z)8B(y, x)4B(y, y) + 2B(y, z) + 12B(z, x) + 6B(z, y) 3B(z, z).
2.8. Feladat. Bilineris formk-e az albbi lekpezsek?
1. B1 : R2 R2 R2, B1
((x1, x2), (y1, y2)
)= (x1 + y1, x2 + y2),
2. B2 : R2 R2 R, B2
((x1, x2), (y1, y2)
)= x1 + y1,
3. B3 : R2 R2 R, B3
((x1, x2), (y1, y2)
)= x1y1,
4. B4 : R3 R3 R, B4
((x1, x2, x3), (y1, y2, y3)
)= 5x1y1 + 2x2y3,
5. B5 : R3 R3 R, B5
((x1, x2, x3), (y1, y2, y3)
)= 5x1y1 + 2x2y3 +x3y
21.
Megolds.
1. Nem, egy bilineris forma rtkkszlete nem lehet R2.2. Nem, egyik tulajdonsg sem teljesl. Pldul nem homogn az els
vltozban:
B2((x1, x2), (y1, y2)
)= x1 + y1,
B2((x1, x2), (y1, y2)
)= (x1 + y1).
3. Igen. Els vltozjban additv:
B3(x, y) + B3(z, y) = x1y1 + z1y1,
B3(x + z, y) = B3((x1, x2) + (z1, z2), (y1, y2)
)= (x1 + z1)y1,
-
54 2. EUKLIDESZI S UNITR TEREK
els vltozjban homogn:
B3(x, y) = x1y1,
B3(x, y) = B3((x1, x2), (y1, y2)
)= (x1)y1,
s teljesen hasonlan a msodik vltozjban is additv s homogn.4. Igen. Els vltozjban additv:
B4((x1, x2, x3) + (z1, z2, z3), (y1, y2, y3)
)= 5(x1 + z1)y1 + 2(x2 + z2)y3,
B4(x, y) + B4(z, y) = 5x1y1 + 2x2y3 + 5z1y1 + 2z2y3,
els vltozjban homogn:
B4(x, y) = B4((x1, x2, x3), (y1, y2, y3)
)= 5x1y1 + 2x2y3,
B4(x, y) = B4((x1, x2, x3), (y1, y2, y3)
)= (5x1y1 + 2x2y3).
Az additivitst s a homogenitst most is ellenrizhetjk egyidejleg,pldul a msodik vltozban val linearitst most igazoljuk egyetlenkifejezsben:
B4(x, y + z) = B4((x1, x2, x3), (y1 + z1, y2 + z2, y3 + z3)
= 5x1(y1 + z1) + 2x2(y3 + z3)
= (5x1y1 + 2x2y3) + (5x1z1 + 2x2z3)
= B4(x, y) + B4(x, z).
5. Nem. Pldul nem homogn a msodik vltozban:
B5(x, y) = B5((x1, x2, x3), (y1, y2, y3)
)
= 5x1y1 + 2x2y3 + x3(y1)2,
B5(x, y) = (5x1y1 + 2x2y3 + x3y21).
2.9. Feladat. rja fel a B1, B2 : R3 R3 R bilineris formk mtrixt
a termszetes bzisra vonatkozan, s szmtsa ki az (1, 2, 3), (1, 2,1)vektorpron felvett rtkeiket!
1. B1((x1, x2, x3), (y1, y2, y3)) = 2x1y1 + 3x1y2 + 4x1y3 x2y1 2x2y2 +6x2y3 + x3y3,
2. B2((x1, x2, x3), (y1, y2, y3)) = x1y1 4x1y3 + 3x2y1 + 2x2y2 + x2y3 x3y2 5x3y3.
Megolds. A bilineris forma mtrixa a formnak a bzisvektor-prokonfelvett rtkeit tartalmazza.
1. Itt pldul a mtrix msodik sornak harmadik eleme
B1((0, 1, 0), (0, 0, 1)) = 6x2y3 = 6.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 55
Teht B mtrixa:
B =
2 3 41 2 60 0 1
,
s gy B1(x, y) = x>By miatt
B1((1, 2, 3), (1, 2,1)) =(
1 2 3)
2 3 41 2 60 0 1
121
= 21.Termszetesen ez ugyanazt jelenti, mintha a bilineris formnak a fela-datban szerepl felrsa alapjn szmolnnk: B1((1, 2, 3), (1, 2,1)) =21(1)+312+41(1)2(1)222+62(1)+3(1) = 21.
2. A bilineris forma mtrixa:
B =
1 0 43 2 10 1 5
,
s
B2((1, 2, 3), (1, 2,1)) =(
1 2 3)
1 0 43 2 10 1 5
121
= 12.
2.10. Feladat. rja fel azt a B : R3 R3 R bilineris formt, aminekmtrixa a termszetes bzisban
1 1 21 2 02 0 3
,
s szmtsa ki B((1, 1, 1), (4, 2, 1)) s B((4, 2, 1), (1, 1, 1)) rtkt!
Megolds. B((x1, x2, x3), (y1, y2, y3)) = x1y1x1y2 +2x1y3x2y1 +2x2y2 +2x3y1 + 3x3y3, s
B((1, 1, 1), (4, 2, 1)) =(
1 1 1)
1 1 21 2 02 0 3
421
= 15.
Mivel ez egy szimmetrikus bilineris forma, gy B((4, 2, 1), (1, 1, 1)) = 15.
2.11. Feladat. Igaz-e, hogy ha egy bilineris forma mtrixa szimmetrikusvalamely bzisra vonatkozan, akkor minden bzisban szimmetrikus lesz?
-
56 2. EUKLIDESZI S UNITR TEREK
Megolds. Igen, hiszen ha a forma mtrixa valamely bzisban B = B>,akkor tetszleges S bzistranszformcis mtrix esetn a bilineris formamtrixa az j bzisban S>BS, ami szintn szimmetrikus mtrix:
(S>BS)> = S>B>(S>)> = S>BS.
2.12. Feladat. Kvadratikus formk-e az albbi lekpezsek? Ha igen, adjameg azt a szimmetrikus bilineris formt, amibl a kvadratikus forma szr-mazik, azaz a polris formjt!
1. Q1 : R2 R2, Q1(x1, x2) = (x2, x1),
2. Q2 : R2 R, Q2(x1, x2) = x1 + x2,
3. Q3 : R2 R, Q3(x1, x2) = 2x1x2,
4. Q4 : R2 R, Q4(x1, x2) = x21,
5. Q5 : R3 R, Q5(x1, x2, x3) = x21 + 2x22 + x23 x1x2 + 6x2x3 2x1x3.
6. Q6 : R3 R, Q6(x1, x2, x3) = 4x22 x23 + 4x1x2 3x2x3 + 2x1x3.
Megolds. A feladat megvlaszolsnl vegyk figyelembe, hogy valamelyB szimmetrikus bilineris formbl szrmaz kvadratikus forma: Q(x) =B(x, x). Ha pldul a B : R2 R2 R szimmetrikus bilineris formaesetn B((x1, x2), (y1, y2)) felrsban az x1y2 egytthatja 2, akkor x2y1egytthatja is 2, s gy a B-bl szrmaz Q kvadratikus forma ( tehtQ((x1, x2)) = B((x1, x2), (x1, x2)) ) felrsban x1x2 egytthatja 4 lesz.
1. Nem, hiszen az rtkkszlet nem egy szmtest.2. Nem.3. Igen, a szimmetrikus bilineris forma amibl Q3 szrmazik megkaphat
az albbi mdon:
B(x, y) =1
2(Q3(x + y) Q3(x) Q3(y)),
de szksgtelen ezt kiszmolnunk, hiszen vilgos, hogy
B((x1, x2), (y1, y2)) = x1y2 + x2y1.
Valban, ebben y helyre is x-et rva Q3 addik.4. Igen, s Q4 polris formja:
B((x1, x2), (y1, y2)) = x1y1.
5. Igen, s Q5 polris formja:
B((x1, x2, x3), (y1, y2, y3)) = x1y1 + 2x2y2 + x3y3 1
2x1y2
1
2x2y1 +
3x2y3 + 3x3y2 x1y3 x3y1.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 57
6. Igen, s Q6 polris formja:
B((x1, x2, x3), (y1, y2, y3)) = 4x2y2 x3y3 + 2x1y2 + 2x2y1 +
32x2y3
3
2x3y2 + x1y3 + x3y1.
2.13. Feladat. rjuk fel az elz feladatban szerepl kvadratikus formkmtrixt, s szmtsuk ki az (1, 2), illetve az (1, 2, 3) vektoron felvett rt-kket.
Megolds. A Q kvadratikus forma C mtrixa megegyezik a polris formj-nak mtrixval. Ha a forma az Rn vektortren van rtelmezve, akkor Q(x)kiszmthat az albbi mdon is: Q(x) = x>Cx.
1. A Q3 : R2 R, Q3(x1, x2) = 2x1x2 kvadratikus forma mtrixa s
Q3((1, 2)) kiszmtsa:
C =
(0 11 0
)
, Q((1, 2)) =(
1 2)(
0 11 0
)(12
)
= 4.
2. A Q4 : R2 R, Q3(x1, x2) = x21 kvadratikus forma mtrixa
C =
(1 00 0
)
,
s Q4((1, 2)) = 12 = 1.3. A Q5(x1, x2, x3) = x21 +2x
22 +x
23x1x2 +6x2x3 2x1x3 forma mtrixa:
1 1/2 11/2 2 31 3 1
,
s
Q5((1, 2, 3)) =(
1 2 3)
1 1/2 11/2 2 31 3 1
123
= 46,
vagy kzvetlenl is szmolhatunk:
Q5((1, 2, 3)) = 12 + 2 22 + 32 2 + 6 6 6 = 46.
4. A Q6(x1, x2, x3) = 4x22 x23 + 4x1x2 3x2x3 + 2x1x3 forma mtrixa:
0 2 12 4 3/21 3/2 1
,
s Q6((1, 2, 3)) = 3.
-
58 2. EUKLIDESZI S UNITR TEREK
2.14. Feladat. Mit mondhatunk az albbi kvadratikus formkrl definitsgszempontjbl a fminor-determinnsok alapjn?
1. Q(x1, x2, x3) = x21 + x23,
2. Q(x1, x2, x3) = x21 + 2x22 + 4x
23,
3. Q(x1, x2, x3) = x21 x22 + x23,4. Q(x1, x2, x3) = x21 + 2x
22 + 6x
23 + 2x1x2 4x1x3 2x2x3,
5. Q(x1, x2, x3) = x21 3x22 3x23 + 2x1x2 + 2x1x3,6. Q(x1, x2, x3) = x21 2x22 + 3x23 + 2x1x2 4x1x3 + 6x2x3,7. Q(x1, x2, x3) = x21 + 4x
22 + 4x1x2 + 2x1x3.
Megolds. Q pozitv definit, ha minden nem nulla vektoron felvett rtkepozitv, s Q pozitv szemidefinit, ha minden vektoron nemnegatv rtketvesz fel, de van nem nulla vektor, amit a nullba kpez. Hasonlan definil-hat a negatv eset, s ha pozitv s negatv rtket is felvesz a forma, akkorindefinit. Egy Jacobitl szrmaz ttel szerint, ha a kvadratikus formamtrixban a fminor-determinnsokat 41, . . . ,4n jelli, s ezek egyike semnulla, akkor ltezik bzis, amelyben a kvadratikus forma az albbi ngyzet-sszeg alak:
Q(x) =411
x21 +4241
x22 . . .4n4n1
x2n.
Ennek kvetkezmnye, hogy a forma pontosan akkor lesz pozitv definit,ha ezek a hnyadosok mind pozitvak, s akkor negatv definit, ha mindnegatvok.
1. Ez a kvadratikus forma elve norml alak. Vilgos, hogy pozitv szemi-definit, hiszen Q(x) 0 minden x R3 esetn, de van olyan nem nullavektor, amihez a nullt rendeli hozz, pldul Q(0, 1, 0) = 0.
2. Ez a kvadratikus forma eleve kanonikus alak, s pozitv definit, mertx21 + 2x
22 + 4x
23 0, s x21 + 2x22 + 4x23 = 0 csak akkor, ha x = 0.
3. Ez a norml alak kvadratikus forma indefinit, hiszen pozitv s negatvrtkeket is felvehet, pldul Q(1, 0, 0) = 1 s Q(0, 1, 0) = 1.
4. rjuk fel a forma C mtrixt, s vizsgljuk meg a fminor-determinn-sokat:
C =
1 1 21 2 12 1 6
,
41 = |1| = 1, 42 =
1 11 2
= 1, 43 = |C| =
1 1 21 2 12 1 6
= 1.
Mivel 41,42,43 mind pozitv, gy Q pozitv definit.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 59
5. rjuk fel a fminor-determinnsokat:
41 = | 1| = 1, 42 =
1 11 3
= 2, 43 =
1 1 11 3 01 0 3
= 3.
Mivel 41 = 1,4241
= 12,4342
= 23
mind negatv, gy Q negatv
definit.6. A fminor-determinnsok:
41 = |1| = 1, 42 =
1 11 2
= 3, 43 =
1 1 21 2 32 3 3
= 22.
Mivel 41 = 1,4241
= 3, 4342= 22
3, gy a forma indefinit.
7. Mivel a msodik fminor-determinns:
42 =
1 22 4
= 0,
gy ez a mdszer itt nem mkdik. A definitsg eldnthet pldul aforma kanonikus alakra hozsval (lsd kvetkez feladat).
2.15. Feladat. Hozzuk kanonikus alakra az albbi kvadratikus formkat!(Adjuk meg a bzist is, amiben ez a kanonikus alak elll, s dntsk el,hogy milyen definit a kvadratikus forma!)
1. Q(x1, x2, x3) = x21 2x22 4x23 + 2x1x2 4x1x3 + 8x2x3,2. Q(x1, x2, x3) = x22 + x
23 2x1x2 + 4x1x3 + 2x2x3,
3. Q(x1, x2, x3) = 2x21 + x22 + 2x
23 x1x2 + 2x1x3,
4. Q(x1, x2, x3) = x21 + 2x22 + 6x
23 + 2x1x2 4x1x3 2x2x3,
5. Q(x1, x2, x3) = x21 3x22 3x23 + 2x1x2 + 2x1x3,6. Q(x1, x2, x3) = x21 + x
22 + 4x
23 + 2x1x2,
7. Q(x1, x2, x3) = x1x2 + x1x3 + x2x3,8. Q(x1, x2, x3) = 2x1x2.9. Q(x1, x2, x3, x4) = x21 + x
24 + 2x1x3 + 2x2x4.
Megolds. A feladat megoldshoz a Lagrange mdszert hasznljuk.
1. Az els lpsben a Q kvadratikus formt felbontjuk kt msik sszegregy, hogy az els ngyzetes alak, a msodik pedig egy ktvltozskvadratikus forma, amiben az x1 vltoz mr nem szerepel. Gyjt-sk teht ssze a Q azon tagjait, amikben szerepel x1, s ezt a kifejezstalaktsuk teljes ngyzett:
x21 + 2x1x2 4x1x3 = (x1 + x2 2x3)2 x22 4x23 + 4x2x3.
-
60 2. EUKLIDESZI S UNITR TEREK
Teht
Q(x) = x21 + 2x1x2 4x1x3 2x22 4x23 + 8x2x3= (x1 + x2 2x3)2 x22 4x23 + 4x2x3 2x22 4x23 + 8x2x3= (x1 + x2 2x3)2 3x22 8x23 + 12x2x3,
s itt a ngyzetes alakon kvl lv tagokban valban nem szerepel x1.Most ezekre a tagokra vonatkozan megismteljk az elz eljrst x2-vel:
Q(x) = (x1 + x2 2x3)2 3x22 8x23 + 12x2x3= (x1 + x2 2x3
y1
)2 3(x2 2x3
y2
)2 + 4 x23
y3
= y21 3y22 + 4y23.
Ezzel elrtk, hogy a kvadratikus forma ngyzetsszeg alak (azaz kanon-ikus alak), ha a rgi (x1, x2, x3) koordintkrl ttrnk az (y1, y2, y3)j koordintkra, ahol
y1 = x1 +x2 2x3y2 = x2 2x3y3 = x3
a koordintatranszformci egyenletrendszere, aminek mtrixos alakjaa kvetkez:
y =
1 1 20 1 20 0 1
x.
Keressk teht azt a (b) bzist, amire ha ttrnk az (e) termszetesbzisrl, akkor a vektorok koordinti a fenti mdon vltoznak meg.A koordintatranszformci s a bzistranszformci kapcsolatrl ta-nultak alapjn, a fenti egyenletben szerepl mtrix nem ms, mint az(e) (b) bzistranszformci S mtrixnak az inverze, gy
S =
1 1 20 1 20 0 1
1
=
1 1 00 1 20 0 1
.
A feladat ezzel ksz: az j bzis vektorai S oszlopvektorai, ebben abzisban Q kanonikus alak, a kanonikus alakban szerepl egytthatk1,-3,4, teht a forma indefinit.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 61
Szmtsaink helyessgt leellenrizhetjk gy, hogy kiszmtjuk azS>CS mtrixot, ahol C jelli a Q mtrixt a termszetes bzisban:
1 0 01 1 00 2 1
1 1 21 2 42 4 4
1 1 00 1 20 0 1
=
1 0 00 3 00 0 4
,
teht megkaptuk Q mtrixt az j bzisban, ami valban diagonlisalak.
2. Hozzuk a kvadratikus formt ngyzetsszeg alakra. Elszr elrjk,hogy x2 ne szerepeljen ngyzetes alakon kvl, majd a msodik lps-ben elrjk, hogy x1 is csak ngyzetes alakokban szerepeljen (a kiindulalakban nincs x21, ezrt kezdnk x2-vel):
Q(x) = x22 + x23 2x1x2 + 2x2x3 + 4x1x3
= (x2 x1 + x3)2 x21 + 6x1x3= (x2 x1 + x3)2 (x1 3x3)2 + 9x23 = y21 y22 + 9y23 .
Lthat, hogy a kvadratikus forma indefinit, s a bzistranszformcimtrixa meghatrozhat az
y =
1 1 11 0 30 0 1
x = S1x.
egyenlet alapjn:
S =
0 1 31 1 20 0 1
.
Teht a (0, 1, 0), (1, 1, 0), (3, 2, 1) vektorokbl ll bzisban a kvadratikusforma kanonikus alak, azaz mtrixa diagonlis, a ftlban az 1,-1,9szmok szerepelnek.
3. Hasonlan,
Q(x) = 2x21 x1x2 + 2x1x3 + x22 + 2x23
= 2
(
x1 1
4x2 +
1
2x3
)2
+7
8x22 +
3
2x23 +
1
2x2x3
= 2
(
x1 1
4x2 +
1
2x3
)2
+7
8
(
x2 +2
7x3
)2
+10
7x23
= 2y21 +7
8y22 +
10
7y23.
-
62 2. EUKLIDESZI S UNITR TEREK
A bzistranszformci mtrixa:
S =
1 1/4 1/20 1 2/70 0 1
1
=
1 1/4 4/70 1 2/70 0 1
,
ennek oszlopvektorai adjk az j bzis vektorait, s a kvadratikus formapozitv definit, mert a kanonikus alakban szerepl egytthatk mindpozitvak.
4. rjuk fel Q-t ngyzetsszeg alakban:
Q(x) = x21 + 2x22 + 6x
23 + 2x1x2 4x1x3 2x2x3
= (x1 + x2 2x3)2 + x22 + 2x23 + 2x2x3= (x1 + x2 2x3)2 + (x2 + x3)2 + x23 = y21 + y22 + y23.
A bzistranszformci mtrixa:
S =
1 1 20 1 10 0 1
1
=
1 1 30 1 10 0 1
,
ennek oszlopvektorai adjk az j bzis vektorait. Itt a kanonikus alakegyben norml alak is, s az ebben szerepl egytthatk mind pozitvak,gy a kvadratikus forma pozitv definit.
5. Az elzekhez hasonlan:
Q(x) = x21 3x22 3x23 + 2x1x2 + 2x1x3= (x1 x2 x3)2 2x22 2x23 + 2x2x3
= (x1 x2 x3)2 2(
x2 1
2x3
)2
32x23 = y21 2y22
3
2y23.
A bzistranszformci mtrixa:
S =
1 1 10 1 1/20 0 1
1
=
1 1 3/20 1 1/20 0 1
,
ennek oszlopvektorai adjk az j bzis vektorait. Itt a kanonikus alak-ban minden egytthat negatv, gy a kvadratikus forma negatv definit.
6. Most egy lps utn ngyzetsszeg alakot kapunk:
Q(x) = x21 + x22 + 4x
23 + 2x1x2
= (x1 + x2)2 + 4x23 = y
21 + 4y
23 .
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 63
Itt a koordintatranszformciban y2 = x2, s y2 egytthatja a kano-nikus alakban nulla. A bzistranszformci mtrixa:
S =
1 1 00 1 00 0 1
1
=
1 1 00 1 00 0 1
,
s a kvadratikus forma pozitv szemidefinit, mert a kanonikus alakbanszerepl egytthatk: 1,0,4.
7. Ebben az esetben gy kell ngyzetsszeg alakra hoznunk Q-t, hogyegyetlen ngyzetes tag sem szerepel eredetileg benne, azaz mtrixnakftljban csak nullk llnak. Ekkor vgrehajtunk egy olyan koordin-tatranszformcit, aminek eredmnyeknt az x1x2 tagbl ngyzetes ta-gok keletkeznek, s ezutn alkalmazhatjuk az elzekben mr lert md-szert. Trjnk teht t azon y1, y2, y3 koordintkra, amikre teljesl,hogy
x1 = y1 + y2x2 = y1 y2x3 = y3.
Ekkor
Q(x) = x1x2 + x1x3 + x2x3
= (y1 + y2)(y1 y2) + (y1 + y2)y3 + (y1 y2)y3= y21 y22 + 2y1y3 = (y1 + y3)2 y22 y23= z21 z22 z23 .
Megkaptuk teht a ngyzetsszeg alakot (ami most norml alak is egy-ben), de hogyan hatrozzuk meg a bzist, amiben a kvadratikus formailyen alak lesz? Elszr x-koordintkrl y-okra trtnk t, majd azy-okrl z-kre. Az albbi sszefggseket ismerjk:
x =
1 1 01 1 00 0 1
y = Py s z =
1 0 10 1 00 0 1
y = Ry.
Innen x = Py = PR1z, s itt a rgi koordintkat fejeztk ki azjakkal, gy a bzistranszformci mtrixa:
S = PR1 =
1 1 01 1 00 0 1
1 0 10 1 00 0 1
=
1 1 11 1 10 0 1
.
-
64 2. EUKLIDESZI S UNITR TEREK
Ellenrzs cljbl szmtsuk ki az S>CS mtrixot:
1 1 01 1 01 1 1
0 1212
12 0
12
12
12 0
1 1 11 1 10 0 1
=
1 0 00 1 00 0 1
,
teht eredmnyeink helyesek, a kapott diagonlis mtrix a kvadratikusforma j bzisbeli mtrixa.
8. Alkalmazzuk most is azt a koordintatranszformcit, aminek egyenle-trendszere
x1 = y1 + y2x2 = y1 y2x3 = y3.
Ekkor Q(x) = 2x1x2 = 2y21 2y22 , s a bzistranszformci mtrixa:
S =
1 1 01 1 00 0 1
.
Valban, ha kiszmoljuk az S>CS mtrixot:
1 1 01 1 00 0 1
0 1 01 0 00 0 0
1 1 01 1 00 0 1
=
2 0 00 2 00 0 0
.
9. Az els lpsben az x1-es tagokat gyjtjk ssze, majd az x4-es tagokat:
Q(x) = x21 + x24 + 2x1x3 + 2x2x4
= (x1 + x3)2 x23 + x24 + 2x2x4
= (x1 + x3)2 + (x4 + x2)
2 x22 x23 = y21 y22 y23 + y24,ahol
y1 = x1 +x3y2 = x2y3 = x3y4 = x2 +x4.
Ebben az egyenletrendszerben az j koordintk vannak kifejezve argiekkel, gy a bzistranszformci mtrixt az alapmtrix inverzekntkapjuk meg:
S =
1 0 1 00 1 0 00 0 1 00 1 0 1
1
=
1 0 1 00 1 0 00 0 1 00 1 0 1
.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 65
2.16. Feladat. Mdostsuk gy az elz feladat 1. 2. s 8. pontjbanszerepl kvadratikus formk kanonikus alakra hozsnak eljrst gy, hogynorml alakot kapjunk.
Megolds. A kvadratikus forma norml alakja olyan kanonikus alak, amely-ben csak +1,1 s 0 egytthatk szerepelhetnek.1. A kanonikus alakra hozs sorn az albbi ngyzetsszeg alakot kaptuk:
Q(x) = (x1 + x2 2x3)2 3(x2 2x3)2 + 4x23Vigyk be a zrjelek eltt szerepl 3 s 4 egytthatkat a zrjelekenbellre:
Q(x) = (x1 + x2 2x3)2 (
3x2 2
3x3)2 + (2x3)
2 = y21 y22 + y23,ahol
y1 = x1 +x2 2x3y2 =
3x2 2
3x3
y3 = 2x3
,
gy a bzistranszformci mtrixa:
S =
1 1 20
3 2
3
0 0 2
1
=
1 1/
3 0
0 1/
3 10 0 1/2
.
2. Hasonlan:
Q(x) = (x2 x1 + x3)2 (x1 3x3)2 + 9x23 = y21 y22 + y23,ahol a bzistranszformci mtrixa:
S =
1 1 11 0 30 0 3
1 =
0 1 11 1 2/30 0 1/3
.
3. Koordintacsere utn az albbi alakot kaptuk:
Q(x) = 2x1x2 = 2y21 2y22.
Ha azt a transzformcit hajtjuk vgre, ahol
x1 =12y1 +
12y2
x2 =12y1 12y2
x3 = y3,
akkorQ(x) = (y1 + y2)(y1 y2) = y21 y22 .
-
66 2. EUKLIDESZI S UNITR TEREK
Ekkor a bzistranszformci mtrixa:
S =
1/
2 1/
2 0
1/
2 1/
2 00 0 1
.
2.17. Feladat. Hogyan vltozik meg egy kvadratikus forma mtrixa, havgrehajtunk egy olyan bzistranszformcit, aminek a mtrixa egy elemioszloptalaktshoz tartoz elemi mtrix?
Megolds. A kvadratikus forma mtrixn is vgrehajtdik az elemi oszlop-talakts, s egy ugyanilyen tpus sortalakts is. Lssunk elszr egypldt! Legyen Q mtrixa valamely bzisban
C =
1 0 20 2 12 1 1
.
Tekintsk pldul azt az elemi talaktst, mikor egy mtrix msodik oszlop-hoz hozzadjuk az els oszlop ktszerest. Az ehhez tartoz elemi mtrix:
=
1 2 00 1 00 0 1
.
Ha vgrehajtjuk azt a bzistranszformcit, aminek mtrixa , akkor Qmtrixa az j bzisban >C, azaz
1 0 02 1 00 0 1
1 0 20 2 12 1 1
1 2 00 1 00 0 1
=
1 2 22 6 32 3 1
,
teht az eredeti C mtrixon vgrehajtdik kt elemi talakts: az els oszlopktszeresnek hozzadsa a msodik oszlophoz, s az els sor ktszeresnekhozzadsa a msodik sorhoz. Ennek oka az, hogy az mtrixszal valjobbrl szorzs a megfelel oszlop talakts vgrehajtst jelenti, mg az> mtrixszal val balrl szorzs azon sortalakts vgrehajtst jelenti,aminek mtrixa >. Ez termszetesen tetszleges esetn is igaz.
2.18. Feladat. Hozzuk kanonikus alakra az albbi kvadratikus formkatelimincival, az elz feladat alapjn! Adjuk meg az j bzist is!
1. Q(x1, x2, x3) = x21 2x22 4x23 + 2x1x2 4x1x3 + 8x2x3,2. Q(x1, x2, x3) = x22 + x
23 2x1x2 + 4x1x3 + 2x2x3,
3. Q(x1, x2, x3) = x1x2 + x1x3 + x2x3.
-
1. LINERIS, BILINERIS S KVADRATIKUS FORMK 67
Megolds. Ha a kvadratikus forma mtrixa a termszetes bzisra vonatko-zan C, s egyms utn vgrehajtjuk azon bzistranszformcikat, amiknekmtrixai az 1, . . . , n elemi mtrixok, akkor az j bzisban Q mtrixa:
>n . . . >1 C1 . . . n = (1 . . . n)
>C1 . . . n.
Ha teht elrjk, hogy ez a mtrix diagonlis legyen, akkor abban a bzis-ban aminek elemei az 1 . . . n mtrix oszlopaiban tallhatk, a Q kanonikusalak lesz. Kiindulunk teht a (C|E) mtrixbl, s gy eliminlunk, hogyC-n sor-oszlop talaktsokat vgznk (pldul ha a msodik sorhoz hoz-zadjuk az els sor ktszerest, akkor a msodik oszlophoz is hozzadjukaz els oszlop ktszerest), de E-n csak a sortalaktst hajtjuk vgre. HaC helyn diagonlis mtrix alakul ki, akkor E helyn a bzistranszformcimtrixnak transzponltja fog szerepelni:
(C|E) (D|S>).
1. Az els lpsben elrjk, hogy az alhzott rtkek helyn nulla legyen.Kivonjuk C els sort a msodikbl, s az els sor ktszerest hozzad-juk a harmadik sorhoz, ugyangy, ahogy az inverzszmtsos szimultnGauss elimincinl csinltuk, teht ezeket az talaktsokat E-n is vg-rehajtjuk. Ezutn oszlopokra is vgre kell ugyanezt hajtani (csak C-n),
de mivel az els oszlop mr
100
alak, gy ez csak annyit jelent, hogy
az els sor is (1, 0, 0) lesz. A szimmetria miatt mindig ilyen knny dol-gunk lesz:
1 1 21 2 42 4 4
1 0 00 1 00 0 1
1 0 00 3 60 6 8
1 0 01 1 02 0 1
1 0 00 3 00 0 4
1 0 01 1 00 2 1
.
Azt kaptuk, hogy a