Diszkrét Matematika 2

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
c Orosz gota, Kaiser Zoltn, 2004

Copyright
c elektronikus kzls mobiDIK knyvtr, 2004
Copyright
mobiDIK knyvtr
Debreceni Egyetem
Informatikai Intzet
4010 Debrecen, Pf. 12
http://mobidiak.unideb.hu
A m egyni tanulmnyozs cljra szabadon letlthet. Minden egyb felhasznls 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1. Vektorterek lineris lekpezsei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2. Bzis- s koordintatranszformci . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3. Lineris transzformcik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2. Euklideszi s unitr terek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Lineris, bilineris s kvadratikus formk . . . . . . . . . . . . . . . . . . . . . . .
2. Euklideszi terek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Euklideszi terek lineris opertorai . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
47
68
83
3. Grfelmlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
1. Grfelmleti alapfogalmak . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
2. Euler-kr, Euler-vonal, Hamilton-kr . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3. Grfok cscsmtrixa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Irodalomjegyzk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
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 , T
s x, y V1 esetn
(1)
(x + y) = (x) + (y),
azaz a lineris lekpezsek defincijban szerepl kt tulajdonsg (additivits 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 vlasztssal
megkapjuk, hogy homogn.
hogy brmely : V1 V2 lineris lekpezs
1. 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
1 a1 + + n an = 0,
gy
0 = (0) = (1 a1 + + n an ) = 1 (a1 ) + + n (an ),
teht a (a1 ), . . . , (an ) vektorrendszer szintn linerisan fgg, mert
bellk a nullvektor elllthat nem trivilis lineris kombinciknt.
1.3. Feladat. Ellenrizze a lineris lekpezsek defincija alapjn, hogy az
albbi lekpezsek linerisak-e vagy sem.
1.
2.
3.
4.
5.
6.
7.
: R2 R, (x1 , x2 ) = x1
: R2 R2 , (x1 , x2 ) = (x1 + 1, x2 )
: R3 R3 , (x1 , x2 , x3 ) = (x1 + 2x2 , x2 x3 , x2 )
: R2 R3 , (x1 , x2 ) = (x1 , x1 x2 , x2 )
: Rk Rn , (x) = Ax, ahol A Mnk
: P3 P2 , (a3 x3 + a2 x2 + a1 x + a0 ) = 3a3 x2 + a1
: 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 , x2 ) + (y1 , y2 ) =
=
(x1 + y1 , x2 + y2 )
(x1 + y1 + 1, x2 + 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) (lsd
1.2 feladat).
1. VEKTORTEREK LINERIS LEKPEZSEI
11
3. Most a linearits ellenrzsre az 1.1 feladatban szerepl (1) tulajdonsgot 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 , x1 x2 , x2 ),

(x1 , x2 ) = (x1 , x1 x2 , x2 ) = (x1 , x1 x2 , 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) = (a3 x3 + a2 x2 + a1 x + a0 + b3 x3 + b2 x2 + b1 x + b0 )
= ((a3 + b3 )x3 + (a2 + b2 )x2 + (a1 + b1 )x + (a0 + b0 ))
= 3(a3 + b3 )x2 + (a1 + b1 ) = 3a3 x2 + a1 + 3b3 x2 + b1
= (a3 x3 + a2 x2 + a1 x + a0 ) + (b3 x3 + b2 x2 + b1 x + b0 )
= (p) + (q)
s homogn:
(p) = ((a3 x3 + a2 x2 + a1 x + a0 ))
= (a3 x3 + a2 x2 + a1 x + a0 ) = 3a3 x2 + a1
= (a3 x2 + a1 ) = (a3 x3 + a2 x2 + a1 x + a0 ) = (p).
7. A transzponls tulajdonsgai miatt lineris:
(A + B) = (A + B)> = A> + B > = (A) + (B).
12

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). Bizonytanunk kell, hogy zrt a vektortr mveletekre nzve, azaz nulltrbeli vektorok
sszege 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 homogenits
miatt (x) = (x) = 0, gy (x) Ker .

hogy egy : V1 V2 lineris lekpezs esetn (V1 ) altr.
Megolds. A lekpezs kptere azon V 2 -beli vektorokat tartalmazza, amelyek

elllnak 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 y 1 , y 2 (V1 ). Ekkor lteznek x1 , x2 V1 vektorok, hogy (x1 ) =
y 1 s (x2 ) = y 2 , gy additivitsa miatt
(x1 + x2 ) = (x1 ) + (x2 ) = y 1 + y 2 ,
teht y1 + y 2 (V1 ). Ha T tetszleges, akkor a homogenits miatt
(x1 ) = (x1 ) = y 1 , azaz y 1 (V1 ).

hogy egy : V1 V2 lineris lekpezs akkor s csak akkor injektv, ha
Ker = {0}.
Megolds.
1. Indirekt tegyk fel, hogy a lekpezs injektv (azaz klnbz vektorok
kpe klnbz), de Ker tartalmaz a nullvektortl klnbz x elemet
is. Ekkor (x) = 0 s (0) = 0, gy az injektivits miatt x = 0 lenne,
ami ellentmond annak, hogy x nem nullvektor.
13
2. Tegyk fel, hogy Ker = {0} de nem injektv, azaz ltezik x1 , x2 V1

gy, 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, hogy

ker csak a nullvektort tartalmazza.
1.7. Feladat. Legyen : V1 V2 lineris lekpezs. Vlaszoljon a kvetkez
krdsekre a nullits s rangttel alapjn!
1. Ha a V1 vektortr dimenzija 3 s rangja 2, akkor mennyi defektusa?
2. Lehet-e szrjektv lekpezs, ha V 1 s V2 dimenzija megegyezik s
Ker dimenzija 2?
3. Lehet-e injektv, ha V2 dimenzija kisebb, mint V1 dimenzija?
4. Ha dim V1 = n s izomorfizmus, akkor mennyi V2 ,Ker s (V1 )
dimenzija?
Megolds.
1. A nullits s rangttel szerint dim V 1 = def + rg , ahol def =
dim Ker a defektusa s rg = dim (V1 ) a rangja, teht def = 1.
2. Nem, mert szrjektv lekpezs esetn rg = dim (V 1 ) = dim V2 , de
itt rg = dim V1 2 = dim V2 2.
3. Nem, mert injektv lekpezs esetn az elz feladat alapjn def = 0,
a nullits s rangttel szerint gy dim V 1 = rg = dim (V1 ) lenne, ami
lehetetlen (V1 ) V2 miatt.
4. Ha izomorfizmus, akkor injektv s szrjektv is, teht dim Ker =
def = 0 s (V1 ) = V2 miatt dim (V1 ) = rg = dim V2 = n.
1.8. Feladat. Hatrozza meg az albbi lineris lekpezsek nulltert s
kptert 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 ,

x1 + 2x2 + 3x3 x4
x1
x2 2x1 + x2 x3 + 2x4

x3 = x1 + x2 + 4x3 3x4
x4
x1 x2 4x3 + 3x4
5. : R3 R4 , (x1 , x2 , x3 ) = (x1 , x1 , x1 , x3 )
6. : Mnn Mnn , (A) = A A>
7. : P2 P3 , (a2 x2 + a1 x + a0 ) = a1 x3 + a1 x2 + (a2 + a0 )x + a1
14
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 vals
szmok, 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 = (x 1 , x2 ) vektorokat, amikre
(x) = 0, teht
x1 +x2 =0
x1 x2 =0
homogn lineris egyenletrendszer megoldsait. Mivel ennek az egyenletrendszernek csak az x = (0, 0) vektor tesz eleget, gy Ker = {0}, a
defektus nulla, azaz injektv. A nullits s rangttel szerint rangja
kett, teht a kptr megegyezik R2 -vel, gy ez a lekpezs egy izomorfizmus.
3. A lekpezs nulltert a (x) = 0 homogn lineris egyenletrendszer
megoldstere adja:
x1 +x2
=0
x2 x3 =0
x1 +x2 2x3 =0
x 1 + x2
=0
x2 x3 =0
2x2 2x3 =0
x1 +x2
=0
x2 x3 =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 adjk a bzisvektorok kpei. Mivel ezek nem szksgkppen linerisan
fggetlenek, ki kell bellk vlasztani egy maximlisan linerisan fggetlen vektorrendszert. Hatrozzuk meg teht a termszetes bzis vektorainak 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 maximlisan
linerisan fggetlen vektorrendszert (a nullits s rangttel szerint ez
kt vektorbl fog llni):
(e1 ) 1 0 1
1 0 1
1 0 1
(e2 ) 1 1
1 0 1
2 0 1 2
(e3 ) 0 1 2
0 1 2
0 0 0
gy teht (R3 ) = L((e1 ), (e2 )).
4. Az elz feladatokhoz hasonlan,

ert:

1
2
3 1
1 2
2
0 3
1
1
2
1 1
4 3 0 3
1 1 4 3
0 3
15
megoldjuk a (x) = 0 egyenletrendsz
3 1
1 2
3 1
7 4
0 3 7 4 ,
7 4 0 0
0
0
7 4
0 0
0
0
innen a megoldsok halmaza

x1
5/3
5/3
x2 4/3
7/3
=
x3 0 t1 + 1 t2
x4
1
0
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 vektorainak 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 s
rangttel szerint a kptr dimenzija 2, gy ki kell vlasztani ebbl a
4 vektorbl kett linerisan fggetlen vektort. Lthat, hogy brmely
kett fggetlen, gy pldul (R 4 ) = ((e1 ), (e2 )).
5. Mivel (x1 , x2 , x3 ) = (x1 , x1 , x1 , x3 ) = (0, 0, 0, 0) pontosan akkor teljesl, 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 M nn
mtrixok esetn lesz (A) = O. (A) = A A > = O akkor s
csak akkor teljesl, ha A = A> azaz a szimmetrikus mtrixok esetn. A pldatr els rsznek 4.12 feladata alapjn a szimmetrikus
mtrixok alternek dimenzija n(n + 1)/2, (egy lehetsges bzisa pedig
azon mtrixokbl ll, amelyekben egy darab 1-es szerepel s a tbbi
elem nulla, az 1-es a ftlban vagy a felett helyezkedik el). Jellje E ij
azt a mtrixot, aminek i. sornak j. eleme 1-es, a tbbi nulla. Ekkor
teht
Ker = L({Eij |0 i, j n, j i}).
Az Mnn vektortr termszetes bzist az E ij mtrixok alkotjk,
ahol 0 i, j n. Ezen mtrixok ltali kpei (E ij ) = Eij Eji
16
alakak, (Eij ) s (Eji ) egyms (1)-szeresei, tovbb (E ii ) = 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 rang

sszege n2 , vagyis ppen az nn-es mtrixok vektorternek dimenzija.
7. Mivel
a1 x3 + a1 x2 + (a2 + a0 )x + a1 = 0
akkor s csak akkor teljesl, ha a1 = 0 s a0 = a2 , gy a lekpezs
nulltert az (ax2 a) alak polinomok alkotjk, ahol a R. Teht
Ker = 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 (P 2 ) = L((x2 ), (x)).
A lekpezs rangja 2.
1.9. Feladat. Legyen : Rn Rk lineris lekpezs. Igazoljuk, hogy
ekkor ltezik olyan A Mkn mtrix, hogy (x) = Ax. Ezt a mtrixot a
lineris lekpezs termszetes bzisra vonatkoz mtrixnak nevezzk.
Megolds. Jellje (e) = e1 , . . . , en a termszetes bzist Rn -ben. Ekkor x =
x1 e1 + + xn en , s a linearits miatt
k
(x) = x1 (e1 ) + + xn (en ),
ahol (ej ) R minden 1 j n esetn. Legyen Aij a (ej ) vektor i.

koordintja. Ekkor
(Ax)i = Ai1 x1 + + Ain xn = x1 (e1 )i + + xn (en )i = (x)i ,
teht a keresett mtrix j-edik oszlopba a j-edik bzisvektor kpnek koordinti 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 rszben
lesz sz.)
17
Megolds.
1. A keresett mtrix 23 tpus, els
oszlopban az (1, 0, 0) vektor kpnek
1
koordinti szerepelnek, azaz
, msodik oszlopa a (0, 1, 0) vektor
0

1
kpe:
, hasonlan hatrozhat meg a harmadik oszlop is:
1

1 1 2
A=
.
0 1 3
Lthat, hogy ekkor valban teljesl, hogy (x) = Ax :

x1

1 1 2
x1 + x2 + 2x3
x2 =
Ax =
= (x).
x2 + 3x3
0 1 3
x3
2. Most a mtrix 4 3 tpus lesz:
1 1 0
0 1
1
.
A=
0 1
0
1 1 1

3. A = 1 1 1 1 .
4. Mivel az origra val tkrzsnl a vektorok minden koordintja ellentettjre vltozik a lekpezs utn, gy (x 1 , x2 ) = (x1 , x2 ) s

1 0
A=
.
0 1
5. Az [x, y] skra val merleges vettsnl a vektorok x s y koordintja

nem vltozik, mg a harmadik koordinta nulla lesz: (x, y, z) = (x, y, 0),
gy a lekpezs mtrixa:
1 0 0
A = 0 1 0 .
0 0 0
1.11. Feladat. A homomorfia ttel szerint egy : V 1 V2 lineris lekpezs

esetn
V1 / Ker
= (V1 ).
llaptsuk meg, hogy az albbi lekpezsek esetn milyen lekpezs valstja
meg a fenti izomorfit!
1. : R2 R2 , (x1 , x2 ) = (x1 + x2 , x1 x2 ),
2. : R3 R3 , (x, y, z) = (x, y, 0).
18
Megolds.
1. Elszr meg kell hatroznunk a lekpezs nulltert. Mivel az 1.8 feladatban lttuk, hogy (x) = 0 akkor s csak akkor, ha x = 0, gy Ker = 0.
Ekkor V1 / Ker = V1 = R2 , a homomorfia ttel lltsa ebben az esetben 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, ahol
z tetszleges vals szm, teht Ker = L(0, 0, 1). Ekkor a V 1 / Ker
faktortr elemei az x+Ker alak lineris sokasgok, azaz a z-tengellyel
prhuzamos 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, hogy
a z-tengellyel prhuzamos egyeneseknek (mint lineris sokasgoknak) a
vektortere izomorf az [x, y] sk vektorai ltal alkotott altrrel, s a feladat
azt 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 Ker
z
(x, y, z) + Ker
f
y
x
(x, y, 0) =
f ((x, y, z) + Ker )
(V1 )
Beltjuk, hogy f valban bijekci. A szrjektivits nyilvnval,

az injektivits igazolshoz tegyk fel, hogy f ((x 1 , y1 , z1 ) + Ker ) =
f ((x2 , y2 , z2 ) + Ker ). Ekkor (x1 , y1 , 0) = (x2 , y2 , 0), gy a kt lineris
sokasg megegyezik, mert (x1 , y1 , z1 ) (x2 , y2 , z2 ) = (0, 0, z1 z2 )
Ker . Szemlletesen arrl van sz, hogy a kt vektor ugyanarra a
z-tengellyel prhuzamos egyenesre mutat, hiszen csak a harmadik koordintjuk tr el.
2. BZIS- S KOORDINTATRANSZFORMCI
19
Knnyen ellenrizhet, hogy az f lekpezs lineris, ugyanis tetszleges , , 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 ) vektorrendszerek
R3 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 tartalmazza
a (b) vektorainak felrst az (a) bzisban. Mivel ennl a feladatnl
az (a) bzis ppen a termszetes bzis, gy a (b) vektorai eleve az (a)
bzisban vannak megadva. Ekkor a mtrix oszlopaiba rendre berjuk
S
(b) vektorait, teht (a) (b), ahol
3 6 9
S = 4 7 8 .
5 8 8
20
2. Kt megoldsi mdszert mutatunk meg.

a) Ki kell szmolnunk a b1 , b2 , b3 vektorok (a) bzisra vonatkoz koordintit. A b1 vektor esetn meg kell oldanunk az x 1 a1 +x2 a2 +x3 a3 =
b1 lineris egyenletrendszert, melynek egyrtelmen ltez x 1 , x2 , x3 megoldsa adja a bzistranszformci mtrixnak els oszlopt. Hasonlan
kell eljrnunk b2 s b3 esetn, teht hrom darab egyenletrendszert kell
megoldanunk, melyekhez tartoz mtrixok:

1 1 0 1
1 1 0 2
1 1 0 1
2 1 1 2 , 2 1 1 1 , 2 1 1 1 .

1
3 2 1
1
3 2 2
1
3 2 4
Mivel a hrom egyenletrendszer alapmtrixa megegyezik, szimultn is
megoldhatjuk ket gy, hogy a jobboldalon lv vektorokat egyms mell
rjuk, s a

1 1 0 1
2 1
2 1 1 2 1 1

1
3 2 1
2
4
mtrixot Gauss-elimincival olyan alakra hozzuk, hogy az els rszben
az egysgmtrix szerepel (hasonlan az inverzmtrix kiszmtsnl alkalmazott szimultn Gauss-elimincihoz):

1 1 0 1
2 1
1 1 0 1 2 1
2 1 1 2 1 1 0 1 1 0 3 1

2
4
0 4 2 2 5 3
1
3 2 1

1 0 0 0 3 7/2
1 0 1 1 1 0
0 1 1 0 3 1 0 1 0 1 1 5/2 .

0 0 1 1 4 7/2
0 0 2 2 8 7
Ekkor a mtrix msodik rsznek oszlopaiban az egyes egyenletrendszerek megoldsai lesznek, hiszen pldul az els oszlop vonatkozsban
ez ppen az
x1
= 0
x2
= 1
x3 = 1
S
egyenletrendszernek felel meg. gy teht az (a) (b) bzistranszformci mtrixa:
0 3 7/2
S = 1 1 5/2
1 4 7/2
21
b.) Az S mtrix kiszmtsnak vlaszthatjuk egy msik mdjt is.

Az x1 a1 + x2 a2 + x3 a3 = b1 egyenletrendszer mtrixos felrsa: As1 =
b1 , ahol s1 a keresett bzistranszformcis mtrix els oszlopa s A az
alapmtrix:
1 1 0
A = 2 1 1 .
1
3 2
Ez felrhat b2 s b3 esetn is, s mivel A invertlhat, innen
s1 = A1 b1 ,
s2 = A1 b2 ,
s3 = A1 b3 .
Teht most a feladat A inverznek kiszmtsa valamely tanult mdszerrel:
5/2 1 1/2
A1 = 3/2 1 1/2 ,
7/2
2 1/2
s a hrom szorzs elvgzse:

5/2 1 1/2
1
0
s1 = A1 b1 = 3/2 1 1/2 2 = 1 ,
7/2
2 1/2
1
1

3
7/2
s2 = A1 b2 = 1 , s3 = A1 b3 = 5/2 ,
4
7/2
termszetesen ugyanazt kaptuk mint a msik esetben. (A hrom szorzst
egyszerre is elvgezhetjk, ha a b1 , b2 , b3 vektorokat egy B mtrix oszlopaiba rjuk, s ekkor S = A1 B.)
3. Az elzekben ismertetett mdszerek valamelyikvel:
1
3
4
S = 1 4/3 7/3 .
1 1/3 4/3
4. Hasonlan:
1/2
1/2
0
S = 1/2 1/2 1 .
1/2
3/2 1
1.13. Feladat. Legyenek (a) s (b) bzisok a V vektortren s (a) (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) = S 1 x(a) , illetve
x(a) = Sx(b) .
22
Ezek alapjn oldjuk meg a kvetkez feladatokat:

1. Legyen R3 -ban (e) a termszetes bzis, s (b) pedig az albbi vektorokbl 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)
(b)
Ha az x vektor az (a) bzisban felrva x(a) = (1, 1, 1), akkor mik

lesznek az x vektor koordinti, ha ttrnk a (b) bzisra?
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

S
az (e) (b) bzistranszformci mtrixt azonnal felrhatjuk:
2 1 1
1
0 .
S= 1
1 1
1
(b)
Ha a rgi bzisban a vektor koordinti x(e) = (4, 3, 2), akkor az

j bzisbeli koordintkat az S mtrix alapjn kiszmthatjuk:

1
0
1
4
6
x(b) = S 1 x(e) = 1 1 1 3 = 3 .
2 1 3
2
11
Ha a vektor j bzisbeli koordinti adottak, s mi tudni szeretnnk az eredeti koordintit, akkor

2 1 1
2
3
1
1
0
3 =
5 .
y (e) = Sy (b) =
1 1
1
4
5
2. Elszr a bzistranszformci mtrixt kell meghatroznunk. Mivel az
3 3 2
2 3
A= 2
1 0
1
mtrix inverze
A1
gy
23
2 3 13
= 1 1 5 ,
2 3 12
(a)
(b)
2 3 13
1 2 0
15 7 10
S = 1 1 5 0 1 1 = 6 3 4 .
2 3 12
1 0 1
14 7 9
Az j koordintk meghatrozshoz ki kell mg szmtani az S

inverzt, s ekkor

1 7 2
1
4
x(b) = S 1 x(a) = 2 5 0 1 = 3 .
0
7 3
1
4
Vgl
y (a) = Sy (b)
15 7 10
2
24
= 6 3 4 2 = 10 .
14 7 9
2
24
1.14. Feladat. 1. R3 -ban ttrtnk az (a) bzisrl a (b) bzisra, s minden vektor koordinti az j bzisban ppen a rgi koordintk hromszorosai lettek. Mi volt a bzistranszformci mtrixa?
2. R3 -ban olyan bzisra szeretnnk ttrni a termszetes bzisrl, amelyben egy adott x = (1, 2, 3) vektor felrsa ppen (1, 1, 1) lesz. Mi legyen
a bzistranszformci mtrixa?
Megolds.
1. Ha minden x vektor esetn igaz, hogy S 1 x(a) = 3x(a) , akkor
(S 1 3E)x(a) = 0,
teht (S 1 3E) a nullmtrix kell legyen. Innen S 1 = 3E s
1/3 0
0
S = 0 1/3 0
0
0 1/3
.
2. Teljeslnie kell, hogy

1
1
S 1 2 = 1 .
3
1
24
Ha az S-et gy
1
S = 0
0
vlasztjuk, hogy
0 0
2 0 , s gy
0 3
S 1
1 0
0
= 0 1/2 0 ,
0 0 1/3
akkor ez rendelkezik a kvnt tulajdonsggal.

1.15. Feladat. Oldjuk meg az albbi feladatokat bzistranszformci segtsgvel!
1. Bontsuk fel az R2 -beli (5, 6) vektort (1, 2) s (4, 1) irny komponensek
sszegre.
2. Hatrozzuk meg az R2 -beli (1, 1) koordintj vektornak az y = 3x
egyenesre vonatkoz tkrkpt.
Megolds.
1. Keressk az x(e)
felrst:

1
x(b) =
2
= (5, 6) vektornak a b1 = (1, 2), b2 = (4, 1) bzisbeli

4
1
1
x(e)
1
=
7
1 4
2 1

5
19/7
=
.
6
4/7
Ekkor a felbonts:

5
19/7
16/7
= (19/7)b 1 + (4/7)b2 =
+
.
6
38/7
4/7
2. Ezt a feladatot tbbflekppen meg lehet oldani, az egyik lehetsges t a

bzistranszformci hasznlata. Ekkor a termszetes bzisrl ttrnk
a b1 = (3, 1), b2 = (1, 3) bzisra, mert ennek vektorai is merlegesek
egymsra s a msodik vektor irnya megegyezik az egyenes irnyval.
Ebben a bzisban egyszeren elvgezhet a tkrzs, a vektor els koordintjt kell ellenttes eljelre vltoztatni. Vgl az gy kapott
vektort visszarjuk az eredeti bzisba. Teht az x(e) = (1, 1) vektor
koordinti a (b) bzisban

1

1
3 1
3 1
1
2/5
x(e) =
=
.
x(b) =
1 3
1
1/5
10 1 3
Ekkor az x vektornak a (1, 3) irny egyenesre vonatkoz tkrkpe a
(b) bzisban x0(b) = (2/5, 1/5). Mg vissza kell trnnk a termszetes
bzisra, ha egy vektor eredeti bzisra vonatkoz koordintit keressk,
akkor az j koordintkat a bzistranszformci mtrixval szorozzuk:

3 1 0
3 1
2/5
7/5
0
x(e) =
x(b) =
=
.
1 3
1 3
1/5
1/5
3. LINERIS TRANSZFORMCIK
25
3. Lineris transzformcik
1.16. Feladat. rjuk fel a R2 -beli lineris transzformci termszetes
bzisra 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 bzisvektorok 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

1 0
A=
.
0 1
Ekkor egy (x, y) vektor y-tengelyre val tkrzse ezen mtrixszal val
szorzsknt megkaphat:

x
1 0
x
x
=
=
.
y
0 1
y
y
(b) Hasonlan, a keresett mtrix:

1 0
A=
.
0 1
(c) Az origra val tkrzs mindkt koordintt ellenttes eljelre vltoztatja: (1, 0) = (1, 0) s (0, 1) = (0, 1), gy a transzformci
mtrixa

1 0
A=
.
0 1
PSfrag
replacements
(d) Az
brrl
leolvashat, hogy az e1 bzisvektor (e1 ) kpnek koordinti
(cos , sin ), az e2 bzisvektor (e2 ) kpnek koordinti ( sin , cos ):
e2
(e2 )
sin
cos

sin
(e1 )
cos
e1
26
Teht mtrixa

cos sin
.
sin cos
1.17. Feladat. Hatrozzuk meg az R3 -beli x tengely krli fokkal val

forgats mtrixt.
Megolds. Az x tengely krl forgats esetn a vektorok els koordintja
nem vltozik, gy (1, 0, 0) = (1, 0, 0). Az |y, z| skban a transzformci
egy szg forgatst jelent, teht ott az elz feladatban szerepl skbeli
forgats szerint fognak vltozni a koordintk: (0, 1, 0) = (0, cos , sin )
s = (0, 0, 1) = (0, sin , cos ), teht a keresett mtrix
1
0
0
A = 0 cos sin .
0 sin cos
1.18. Feladat. rjuk fel a definci alapjn a : V V lineris transzformci 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: x 3 , x2 , x, 1 s
(a3 x3 + a2 x2 + a1 x + a0 ) = (a0 a3 )x3 + (2a1 + a2 )x2
+(a0 + a1 + 3a2 ),

1 0
0 1
0 0
0 0
3. V = M22 , (e) =
,
,
,
s
0 0
0 0
1 0
0 1
(A) = A> ,
4. V = C, (e) = (1, i), (z) = z.
Megolds. Egy lineris transzformci mtrixa valamely (e) bzisra vonatkozan a j. oszlopban tartalmazza a j. bzisvektor ltali kpnek
koordintit, azaz (e j ) koordintit (e)-re vonatkozan.
1. Az (e) = ((1, 0, 0), (0, 1, 0), (0, 0, 1)) termszetes bzis elemeinek ltali
kpei:
(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),
27
teht a transzformci mtrixa:
2 3 1
A = 0 1 4 .
1 1 0
Lthatjuk, hogy tetszleges (x1 , x2 , x3 ) vektor ltali kpe kiszmthat

gy, hogy az A mtrixszal megszorozzuk a vektort:

x1
2x1 + 3x2 x3
2 3 1
x1
x2 = x2 + 4x3 = 0 1 4 x2 .
x3
x1 + x 2
1 1 0
x3
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 x 3 , x2 , x, 1 bzisra
vonatkoz koordinti kerlnek, pldul a 2x 2 +1 = 0x3 +2x2 +0x+11
polinom koordintit az egytthatk adjk: (0, 2, 0, 1). Teht a keresett
mtrix:
1 0 0 1
0 1 2 0
A=
0 0 0 0 .
0 3 1 1
3. A bzisvektorok kpei:

1 0
0 0
0 1
0 0
0 0
1 0
0 0
0 1

=
=
=
=

1 0
0 0
0 0
1 0
0 1
0 0
0 0
0 1

,
,
,
.
28
Itt az adott bzisra vonatkoz koordintkat a mtrixok elemei adjk

"sorfolytonosan", gy a transzponlsnak mint lineris transzformcinak a mtrixa:
1 0 0 0
0 0 1 0
A=
0 1 0 0
0 0 0 1
Knnyen lthatjuk, hogy ezen mtrixszal val szorzsknt megvalsthat

a transzponls:

1
1
1
1 0 0 0

2 0 0 1 0 2 3
1 2
1 3
.
3 4
3
0 1 0 0 3 2
2 4
4
4
0 0 0 1
4
4. Mivel (1) = 1 (1, 0) s (i) = i (0, 1), gy a konjugls mtrixa:

1 0
A=
.
0 1
1.19. Feladat. 1. rjuk fel a : R3 R3 lineris transzformci mtrixt

az (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 vonatkozan?
(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 (a 1 ) = (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 ltezik
olyan lineris transzformci ami az (a) bzis elemeit rendre a megadott
vektorokba viszi t. Ezen transzformci mtrixnak felrshoz a (a 1 ),
(a2 ), (a3 ) vektorokat kell linerisan kombinlni az a1 , a2 , a3 vektorokbl. Szmolhatunk szimultn Gauss-elimincival, amikor gy alaktjuk
29
az (a1 , a2 , a3 |(a1 ), (a2 ), (a3 )) mtrixot, hogy az els hrom oszlopban az egysgmtrix legyen (azaz (E|C) alakra hozzuk, ekkor a keresett
mtrix C):
2 3 1 1 1 1
1 0 0 9 11/2 14
1
1 2 1 1 2 0 1 0 4 5/2 6 .
1 0
1 2 1 3
0 0 1 7 9/2 11
Msik lehetsg a mtrix kiszmtsra (hasonlan mint a bzistranszformci mtrixnak kiszmtsnl volt), hogy meghatrozzuk az
A = (a1 , a2 , a3 ) mtrix inverzt, s ezt szorozzuk a ((a 1 ), (a2 ), (a3 ))
mtrixszal:
1 3 7
1
1 1 3
A1 =
2
1 3 5
s
(a)
(b)
1 1 1
18 11 28
1
8 5 12 .
A1 1 1 2 =
2
14 9 22
2 1 3
A transzformci (a) bzisra vonatkoz mtrixnak segtsgvel

azonnal kiszmthatjuk a keresett koordintkat:
18 11 28
2
9/2
1
8 5 12 1 = 3/2 .
(x)(a) =
2
14 9 22
2
7/2
Az imnt kapott vektor az y = (x)-nek az (a) bzisra vonatkoz

koordintit tartalmazza. A termszetes bzisra vonatkoz koordintkat megkaphatjuk a bzis s koordinta transzformcinl
tanultak alapjn:
y (e) = Sy (a)
ahol
s azt is ismerjk, hogy az (e)

mtrixa egyszeren az (a) bzis
ban. Teht
2 3
1
(x)(e) = S(x)(a) = 1
1 0
(e) (a)
(a) bzistranszformci S
vektorait tartalmazza oszlopai

1
9/2
1
2 3/2 = 1 .
1
7/2
1
30
2. Teljesen hasonlan addik, hogy a transzformci mtrixa
0
5
1
C = 2 10 3 ,
1
3
2

3
2
(a) (x)(a) = C 1 = 5 ,
3
6
3 1 1
2
17
(b) (x)(e) = 1 1 2 5 = 5 .
1 0 1
6
8
1.20. Feladat. 1. Ha a : R3
termszetes bzisra vonatkozan
1
A = 1
2
R3 lineris transzformci mtrixa a
3 2
2 0 ,
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 bzisra
vonatkozan
3 1 1
A = 2 0 1 ,
1 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?
mik (y) koordinti az a-ra vonatkozan?
Megolds.
1. Jellje transzformci mtrixt az j bzisban B. Ekkor B = S 1 AS,
ahol S az (e) (a) bzistranszformci mtrixa, azaz az (a) vektoraibl
31
ll mtrix:
teht
1
0
0
S = 1 1 1 s
1 1 2
S 1
1 0 0
= 1 2 1 ,
0 1 1
1 0 0
1 3 2
1
0
0
B = S 1 AS = 1 2 1 1 2 0 1 1 1
0 1 1
2 0 1
1 1 2
0 1 1
5
6 5 .
=
2 3 4
(a) Ha x koordinti az (a)-ra vonatkozan x(a) = (2, 0, 1), akkor

kiszmthatjuk (x) koordintit az (a) bzisra vonatkozan, hiszen
mr ismerjk a transzformci mtrixt ebben a bzisban is, ez volt a
B mtrix. Teht
0 1 1
2
1
(x)(a) = Bx(a) = 5 6 5 0 = 15 .
2 3 4
1
8
Ezutn a bzistranszformci mtrixnak a segtsgvel kiszmthatjuk
ezen vektor termszetes bzisbeli koordintit:
1
0
0
1
1
(x)(e) = S(x)(a) = 1 1 1 15 = 8 .
1 1 2
8
0
Megjegyezzk, hogy tbbfle ton is eljuthatunk ehhez az eredmnyhez.

Nincs szksg pldul a B mtrixra, ha elszr az x vektort tszmtjuk
az (e) bzisba (x(e) = Sx(a) ) s ezutn hajtjuk vgre a lekpezst, ami
a termszetes bzisban az A mtrixszal val szorzst jelenti. Teht

1 3 2
1
0
0
2
1 2 0
1 1 1
0
(x)(e) = ASx(a) =
2 0 1
1 1 2
1
1
= 8 .
0
A kt szmts egyenrtk, hiszen SBx(a) = SS 1 ASx(a) = ASx(a) .
32

(y)(e) = Ay (e) s ha kiszmtjuk ezen vektor (a)-ra vonatkoz koordintit, akkor megkapjuk a keresett eredmnyt. Ha az (e) bzisrl
az (a)-ra trnk t, akkor az (e) (a) bzistranszformci mtrixnak
inverzvel kell szoroznunk, teht
1 0 0
1 3 2
1
(y)(a) = S 1 Ay (e) = 1 2 1 1 2 0 1
0 1 1
2 0 1
1
.
5
=
2
Termszetesen ugyanezt az eredmnyt kapjuk, ha az y vektort elszr
tszmtjuk az (a) bzisba (y (a) = S 1 y (e) ) majd ezt a vektort a transzformci ezen bzisra vonatkoz mtrixval szorozzuk meg:
0
(y)(a) = BS 1 y(e) = 5 .
2
2. A transzformci mtrixa az j bzisban:
1
1 2
3 1 1
1 0 1
B = S 1 AS = 1 1 3 2 0 1 2 2 1
0
1 2
1 1 1
1 1 0
10 14
9
= 9 15 11 .
1
6
7
(a)
(b)
(x)(e) = ASx(a) =

3 1 1
1 0 1
1
4
2 0 1 2 2 1 0 = 1 ,
1 1 1
1 1 0
1
2
(y)(a) = S 1 Ay (e) =
1
1 2
3 1 1
0
5
1 1 3 2 0 1 1 = 7 .
0
1 2
1 1 1
1
5
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 invertlhat.
(c) Ha egy 5-dimenzis vektortren rtelmezett lineris transzformci nulltere 1-dimenzis, akkor kptere is 1-dimenzis.
(d) Ha egy transzformci mtrixa valamely bzisban
1 0 2
A = 1 2 4 ,
2 1 2
akkor a transzformci automorfizmus.
(e) Ha egy transzformci mtrixa valamely bzisban
1
0 2
A = 1 2 2 ,
2
1 2
akkor defektusa 1 s rangja 2.
Megolds. A nullits s rangttel (dim V = dim ker + dim (V )) kvetkezmnye, hogy lineris transzformcik esetn a nulltr dimenzija egyrtelmen meghatrozza a lekpezs rangjt, azaz a kptr dimenzijt. Ezt
felhasznlva lehet megvlaszolni a fenti krdseket.
(a) Igaz, hiszen ha a lekpezs injektv, akkor dim ker = 0. Ebbl addik,
hogy dim (V ) = dim V teht (V ) = V s a lekpezs szrjektv.
Megjegyezzk, hogy az llts megfordtsa is igaz.
(b) Igaz. Ha a lekpezs automorfizmus (azaz bijektv lineris transzformci) akkor nulltere csak a nullvektort tartalmazza, vagyis az Ax = 0
homogn lineris egyenletrendszernek csak a 0 a megoldsa. Ekkor az
egyenletrendszer hatrozott, s gy mtrixa invertlhat.
(c) Hamis, hiszen kpternek dimenzija dim V dim ker = 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 = 0
x1 2x2 +2x3 = 0
2x1 +x2 +2x3 = 0
x1 +
+2x3 = 0
.
x2 +2x3 = 0
34
1.22. Feladat. Legyen lineris transzformci a T test feletti V vektortren. Igazoljuk, hogy ha sajtrtke -nek, akkor a -hoz tartoz
sajtvektorok
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 sajtvektor, azaz (x) L , melybl kvetkezik, hogy L invarins.
1.23. Feladat. Hatrozzuk meg az R3 beli x tengely krli 60 fokkal val

forgats 1 sajtrtkhez tartoz sajtvektorokat.
Megolds. Az 1.17. feladat alapjn a transzformci mtrixa

1
0
0
1
0
0
A = 0 cos 60 sin 60 = 0 1/2 3/2 .

0 sin 60 cos 60
0
3/2
1/2
Az 1 sajtrtkhez tartoz sajtvektorok azon v R 3 vektorok, melyekre

teljesl, hogy (v) = v, azaz
(1)
( id)(v) = 0,
ahol id jelli az identikus transzformcit, amely egy vektorhoz nmagt

rendeli. A id transzformci mtrixa A E, teht keressk azon v =
(x1 , x2 , x3 ) vektorokat, melyek megoldsai az (AE)v = 0 homogn lineris
egyenletnek. Gauss elimincival szmolva:
0
0
0
0
0
0
1/2 3/2 0 1/2 3/2 ,
A E = 0
0
0
2
0
3/2 1/2
teht az egyenlet ekvivalens a
1
3
x2
x3 =0
2
2
2x3 =0
35
egyenletrendszerrel. Lthat, hogy x 1 tetszlegesen megvlaszthat, tovbb

x2 = x3 = 0, ezrt

x1
1
v = x2 = 0
(t R),
0
x3
azaz az 1 sajtrtkhez tartoz sajtvektorok halmaza az (1, 0, 0) vektor
ltal generlt altr, amely az x tengely.
1.24. Feladat. Adjon pldt olyan lineris transzformcira R 2 -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 xnek skalrszorosa, mely itt nyilvn nem teljesl. Az llts az 1.22.
feladatbl is kvetkezik, ugyanis a sajtalterek, ha lteznek, legalbb 1
dimenzis invarins alterek, de itt csak a 0 dimenzis {0} altr invarins.
(b) Egy R2 feletti lineris transzformcinak legfeljebb 2 klnbz sajtrtke lehet, hiszen a karakterisztikus polinomja msodfok. Ha kt
klnbz sajtrtknk van, akkor a hozzjuk tartoz sajtalterek
orign tmen nem egyenl egyenesek:
x+y
x
PSfrag replacements
Nyilvn ebben az esetben nem teljesl a kvnt tulajdonsg, hiszen

az x+y vektor nincsen rajta az egyenesek egyikn sem, gy nem sajtvektor. Teht a mi esetnkben csak 0 vagy 1 sajtrtk ltezhet, s knynyen ellenrizhet, hogy ekkor teljesl a kvnt tulajdonsg. Pldul a
-nyjtsok, azaz a : R2 R2 , (x) = x tpus transzformcik
megfelelek.
(c) Az elz pont alapjn knnyen belthat, hogy csak a -nyjtsok rendelkeznek ezzel a tulajdonsggal.
36
1.25. Feladat. Adjon pldt olyan lineris transzformcira R 3 -ban, melynek

(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 harmadfok
egyenlet, melynek mindig van vals megoldsa, amely a transzformci
sajtrtke. Teht nincs olyan transzformci R 3 -ban, amelynek nem
ltezik sajtrtke.
(b) Az 1.24. feladat (b) rsze alapjn belthat, hogy az ilyen transzformciknak legfeljebb 1 sajtrtke lehet. Mivel azonban az elz pont
szerint minden R3 -beli transzformciknak van legalbb 1 sajtrtke,
ezrt pontosan az 1 sajtrtkkel rendelkez transzformcik a megfelelek. Termszetesen a -nyjtsok ilyenek.
(c) Pontosan a -nyjtsok ezek a transzformcik.
1.26. Feladat. Hatrozzuk meg az albbi mtrixokkal adott vals tr feletti
lineris transzformcik sajtrtkeit s sajtvektorait:

2 4 8
5 3 0
2 3
(a)
(b) 6 8 14 (c) 6 4 0
1
1
3 3 5
12 12 2
(d)
1 0 1
0 1 1 (e)
2 1 0
1 0 1
2 1 1
1 1 0
(f )
1 1 1
8
1 2
12 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 lineris
egyenletrendszer megoldstervel egyenl.
(a) A transzformci karakterisztikus polinomja:

2 3

= (2 )(1 ) + 3 = 2 + + 1.
1
1
Teht a transzformci sajtrtkei a 2 + + 1 = 0 karakterisztikus

egyenlet megoldsai lennnek, azonban az egyenletnek nincs vals megoldsa.
37
(b) A karakterisztikus polinom:

2
4
8

6
8
14 = (2 )(8 )(5 ) + 168 + 144

3
3
5
24(8 ) + 42(2 ) + 24(5 ) = 3 + 2 + 4 4,
teht az
3 + 2 + 4 4 = 0
egyenletet kell megoldanunk. Harmadfok egyenletre van megoldkplet, azonban ezzel szmolni igen nehzkes. Lehetleg keressnk 1 gykt
prblgatssal (harmadfok egyenletnek mindig van legalbb 1 vals
gyke), ezutn mr csak egy msodfok egyenletet kell megoldanunk. A
prblgatst 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
8
x1
0
6
8 (2)
14 x2 = 0
x3
3
3
5 (2)
0
homogn egyenlet megoldsval

szmolva:
0
4 8
3
6 10 14 6
3 3 3
0
3
0
0
kapjuk meg. Gauss-fle elimincival

3 3
3 3 3
10 14 0 4 8
4 8
0 4 8
3 3
4 8 .
0 0
Teht az eredeti egyenletrendszer ekvivalens a

3x1 +3x2 3x3 =0
4x2 8x3 =0
38
egyenletrendszerrel. Az x3 vektort vlasszuk egy tetszleges t vals

szmnak. Innen x2 = 2t s x1 = t, teht

1
x1
x2 = 2 t
(t R),
1
x3
azaz a 2 sajtrtkhez tartoz sajtvektorok altere az (1, 2, 1) vektor

ltal generlt altr.
Hasonlan kapjuk, hogy az 1 sajtrtk sajtvektorainak altere az
L{(0, 2, 1)}, a 2 sajtrtk sajtvektorainak altere pedig az L{(1, 1, 0)}
altr.
(c) A transzformci karakterisztikus egyenlete 3 +32 4 = 0. Knnyen
lthat, 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. A

2 = 2 sajtrtkhez tartoz sajtvektorok megkeressre a

0
3 3 0
x1
6 6 0 x2 = 0
0
12 12 0
x3
homogn egyenletrendszert kell megoldani. Gauss-elimincit vgezve:
3 3 0
3 3 0

6 6 0 0 0 0 1 1 0
12 12 0
0 0 0
Azonnal lthat, hogy az egyenletrendszer megoldsa az

x1
1
0
x2 = 1 t1 + 0 t2
(t1 , t2 R),
1
x3
0
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 a
L{(1, 2, 4)} altr.
(d) A transzformci karakterisztikus egyenlete x 3 + 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 megoldsa

a vals szmok halmazn. Teht a transzformcinak csak a = 1 a
39
sajtrtke, a sajtvektorok pedig a

0 0 1
x1
0
0 0 1 x2 = 0
2 1 1
x3
0
homogn egyenletrendszer megoldsai. Gauss-elimincit alkalmazva:

0 0 1
2 1 1
0 0 1 0 0 1 2 1 1 ,
0 0 1
2 1 1
0 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)}.
(f) Karakterisztikus polinom: 3 + 62 9, sajtrtkek: 0, 3.
2 = 3 sajtvektorainak altere: L{(1, 0, 4), (0, 1, 1)}.
1.27. Feladat. Hatrozzuk meg a kvetkez lineris transzformcik karakterisztikus polinomjt, sajtrtkeit, sajtaltereit. Vizsgljuk meg a diagonalizlhatsgot, s teljeslse esetn adjunk meg sajtvektorokbl ll
bzist, tovbb azt az S mtrixot, amellyel S 1 AS diagonlis alak, ahol A
jelli 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 diagonalizlhat, ha ltezik sajtvektorokbl ll bzis. Ebben a sajtvektorokbl
ll bzisban mtrixa olyan, hogy a ftlban a megfelel sajtrtkek
llnak. Ha teht a termszetes bzisbl ttrnk a sajtvektorokbl ll
bzisra, akkor a bzistranszformci mtrixnak oszlopaiban az j bzis koordinti llnak. A feladat elssorban ennek az S mtrixnak a meghatrozsa, amennyiben ltezik.
40
(a) (1, 0, 0) = (4, 1, 3), (0, 1, 0) = (1, 2, 1) s (0, 0, 1) = (1, 1, 0), gy

a transzformci mtrixa:
4
1 1
2 1 .
A= 1
3 1 0
Az 1.26 feladatban lert mdon szmolva kapjuk, hogy a karakterisztikus

polinom a 3 + 62 11 + 6 polinom, melynek zrushelyei, gy a
transzformci sajtrtkei az 1, 2, 3 szmok. Az 1 sajtrtkhez tartoz
sajtvektorok altere az L{(0, 1, 1)} altr, a 2 sajtrtkhez tartoz
sajtvektorok altere az L{(1, 1, 1)} altr s a 3 sajtrtkhez tartoz
sajtvektorok altere az L{(1, 0, 1)} altr.
Nyilvnvalan a mtrix diagonalizlhat, ugyanis a spektrum teljes, tovbb mindhrom sajtrtk algebrai s geometriai multiplicitsa
egyarnt 1, teht megegyeznek. Egy sajtvektorokbl ll bzist alkot
a (0, 1, 1), (1, 1, 1), (1, 0, 1) vektorok rendszere, hiszen klnbz
sajtrtkekhez tartoz sajtvektorok linerisan fggetlenek. A feladat
elejn lertak alapjn teht
0 1 1
1
0 .
S= 1
1 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:
1
0
0
9 .
A = 6 11
6 12 10
A transzformci karakterisztikus polinomja a 3 + 3 + 2 polinom.

Kt sajtrtke van, a 1 ktszeres algebrai multiplicitssal, tovbb
a 2 egyszeres algebrai multiplicitssal. A 1 sajtrtkhez tartoz
sajtvektorok altere az L{(3, 0, 2), (2, 1, 0), } altr, teht a geometriai
multiplicitsa is 2. A 2 sajtrtkhez tartoz sajtvektorok altere a
L{(0, 1, 1)} altr. A transzformci mtrixa teht diagonalizlhat,
hiszen a spektrum teljes s a sajtrtkek geometriai s algebrai multiplicitsa egyenl. A {(3, 0, 2), (2, 1, 0), (0, 1, 1)} vektorrendszer sajtvektorokbl ll bzis, gy
3 2 0
S = 0 1 1 .
2 0 1
41
(c) (1, 0, 0) = (0, 2, 1), (0, 1, 0) = (3, 1, 0) s (0, 0, 1) = (3, 2, 1), gy

0 3 3
A = 2 1 2 .
1 0 1
A transzformci karakterisztikus polinomja a 3 2 3 polinom,

melynek csak egy vals gyke van, a 1. A 1 sajtrtk algebrai multiplicitsa egyszeres, gy a transzformci spektruma nem teljes, ezrt
mtrixa 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), gy
1 1 3
A = 3 5 3 .
0 0
2
A transzformci karakterisztikus polinomja a 3 + 82 20 + 16

polinom. Kt sajtrtk van, a 2 ktszeres, a 4 pedig egyszeres algebrai multiplicits. A 4 sajtrtkhez tartoz sajtvektorok altere
a L{(1, 3, 0)} altr. A 2 sajtrtkhez tartoz sajtvektorok altere a
L{(1, 1, 0)} altr, teht a geometriai multiplicitsa 1, mely nem egyezik
meg az algebrai multiplicitssal, gy a transzformci mtrixa nem diagonalizlhat.
(e) A transzformci karakterisztikus polinomja 3 + 2 + 16 + 20,
sajtrtke a 2 ktszeres algebrai multiplicitssal, melynek sajtaltere: L{(0, 1, 0), (2, 0, 1)}, tovbb az 5 egyszeres algebrai multiplicitssal, melynek sajtaltere: L{(1, 1, 1)}. gy
0 2 1
S = 1 0 1 .
0 1 1
(f) A transzformci karakterisztikus polinomja 3 + 122 41 + 42,

sajtrtke a 2, melynek sajtaltere: L{(1, 1, 1)}, a 3, melynek sajtaltere: L{(1, 0, 1)}, tovbb a 7, melynek sajtaltere: L{(0, 2, 1)}.
gy
1 1 0
S = 1 0 2 .
1 1 1
42
1.28. Feladat. Vizsgljuk meg, hogy diagonalizlhatak-e az albbi mtrixok C felett.
1 1 2
i 1 i 1 + i
0 (b) 0
i
0
(a) 2 1
1 2
2
0
0
i
Megolds. A komplex szmok teste felett minden n-edfok egyenletnek

multiplicitst is szmolva pontosan n darab gyke van, gy itt a spektrum
mindig teljes. Ezrt egy mtrix diagonalizlhatsga csak attl fgg, hogy a
sajtrtkek 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 2 4 + 9 = 0 egyenlet

megoldsa tovbbi kt sajtrtket ad meg:
(
4 + ( 16 36)1,2
2 5i
= 2 + ( 5)1,2 =
2,3 =
2
2 + 5i
Mivel a mtrixnak 3 darab klnbz sajtrtke van, gy azok algebrai
s a geometriai multiplicitsa szksgkppen 1, teht egyenlek. Ezrt
a mtrix diagonalizlhat.
(b) A mtrix karakterisztikus polinomja (i ) 2 (i ), melyrl azonnal
leolvashat, hogy kt sajtrtk van, a 1 = i egyszeres, a 2 = i ktszeres algebrai multiplicitssal. Azt kell csak megvizsglnunk, hogy a 2
sajtrtk geometriai multiplicitsa 1 vagy 2. Ehhez meg kell oldanunk
a

i (i)
1i
1+i
z1
0
0
i (i)
0
z2 = 0
0
0
i (i)
z3
0
egyenletrendszert. Azonnal leolvashat a megoldshalmaz:

1
z1
z2 = 0 t
(t C).
z3
0
gy a 2 sajtrtk sajtaltere a L{(1, 0, 0)} altr, gy geometriai multiplicitsa 1, mely nem egyezik meg az algebrai multiplicitssal. Ezrt a
mtrix nem diagonalizlhat.
1.29. Feladat. Milyen esetn diagonalizlhatak

felett?

1
1
(a) A =
(b) B = 0

1
43
az albbi mtrixok R
0 0
0 1
0
Megolds.
(a) Az A mtrix karakterisztikus egyenlete 2 ( + 1) 2 + = 0. Az
egyenlet diszkriminnsa [(1 + )]2 4(2 + ) = 52 2 + 1, mely
mindig pozitv, ezrt minden R esetn kt klnbz sajtrtke
van a mtrixnak, gy szksgkppen azok algebrai s geometriai multiplicitsa 1, azaz megegyezik. Az A mtrix teht minden R esetn
diagonalizlhat.
(b) A B mtrix karakterisztikus polinomja (1 )( 2 ). A mtrix
spektruma akkor teljes,
ha 0. Amennyiben > 0, 3 klnbz
sajtrtk 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 multiplicitsa 2, gy meg kell vizsglni, hogy mennyi a geometriai multiplicitsa.
Az 1.26 feladatban lert mdon szmolva kapjuk, hogy a 0 sajtrtk
sajtaltere 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 mondhatunk
A 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 sajtrtkeinek szorzatval minden sajtrtket annyiszor vve, amennyi az algebrai
multiplicitsa (diagonalizlhat mtrixnl ez egyenl a geometriai multiplicitssal).
(a) det A = 0;
(b) det A = 2 vagy det A = 4.
(c) det A = 6.
44
1.31. Feladat. Legyen n N.
11 4
0
(a) A = 3
12 4
Szmtsuk ki az A mtrix n-edik hatvnyt:
3
3 2 2
3 (b) A = 2
1
2
14
2
2
1
Megolds. Ha egy mtrix diagonlis alak, akkor az n-edik hatvnya olyan

diagonlis mtrix, melynek diagonlisban az eredeti mtrix megfelel elemnek n-edik hatvnya szerepel. Ezrt egy diagonalizlhat A mtrix
esetn rdemes a hozz hasonl D diagonlis mtrixot megkeresni, hiszen
ekkor D = S 1 AS, gy A = SDS 1 , ezrt An = SD n S 1 .
(a) Az 1.26 feladatban lert mdon szmolva kapjuk, hogy az A mtrix
sajtrtke az 0, melynek sajtaltere L{(2, 1, 2)}, az 1, melynek sajtaltere L{(1, 3, 0)},tovbb a 2, melynek sajtaltere L{(1, 0, 1)}. Teht
a mtrix diagonalizlhat, a hozz hasonl
diagonlis
mtrix tljban a
0 0 0
sajtrtkek szerepelnek, gy D = 0 1 0. Az 1.27 feladat alapjn
0 0 2
3 1 3
2 1 1
S = 1 3 0 , melynek inverze S 1 = 1 0 1. Teht
2 0 1
6 2 7
An
2 1 1
0
1 3 0
0
=
2 0 1
0
n
0 1 2
3
0 3 0
1
=
0 0 2n
6
3 1 3
0 0
1 0 1 0 1
6 2 7
0 2n

1 3
1 6 2n 2n+1 1 + 7 2n
.
0 1 =
3
0
3
n
n
n
6 2
22
72
2 7
(b) Az A mtrix sajtrtke az 1, melynek sajtaltere L{(1, 1, 1)}, tovbb a 1, melynek sajtaltere
L{(1,0, 1), (1, 1, 0)}. Teht a mtrix
1 0
0
diagonalizlhat s D = 0 1 0 .
0 0 1
n
Ha n pros, akkor D = E, gy An = SES 1 = SS 1 = E.
Han pratlan, akkor
D n = D, ezrt An = SDS 1
. Az S mtrix
1 1 1
1
1
1
0
1 mtrix, melynek inverze S 1 = 1 1 0 .
a 1
1
1
0
1 0 1
45
Teht, ha n pratlan, akkor
1 1 1
1 0
0
1
1
1
0
1 0 1 0 1 1 0
An = 1
1
1
0
0 0 1
1 0 1
1 1
1
1
1
1
3 2 2
0 1 1 1 0 = 2
1
2 = A.
= 1
1 1 0
1 0 1
2
2
1
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, melyre
Ax = 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, gy
Bx = (1)x, azaz x a B mtrix 1 sajtrtkhez tartoz sajtrtke.
Hasonlan kapjuk, hogy a B mtrix sajtvektorai is sajtvektorai az A
mtrixnak, teht az llts igaz.
(b) Az llts nyilvn nem igaz, hiszen pldul ha A a nullmtrix, akkor
minden vektor sajtvektora, s az egyenlsg tetszleges B mtrix esetn
fennll, gy nyilvn olyannl is, amelynek nem minden vektor sajtvektora.
(c) Mivel sajtrtke A-nak, ezrt ltezik olyan x vektor, melyre Ax =
x. Ekkor azonban A2 x = A Ax = Ax = Ax = x = 2 x, azaz
2 sajtrtke A2 -nek, teht az llts igaz.
(d) Mivel 0 sajtrtke A2 -nek, gy ltezik olyan x sajtvektor, melyre
A2 x = 0x, azaz A(Ax) = 0. Amennyiben az x vektor nem a 0-hoz
tartoz sajtvektora az A mtrixnak, akkor Ax 6= 0, gy A(Ax) = 0
miatt az Ax vektor a 0 sajtrtkhez tartoz sajtvektora A-nak. Teht
vagy az x vektor, vagy az Ax vektor a 0-hoz tartoz sajtvektora az A
mtrixnak, ezrt az llts igaz.
1.33. Feladat. Adjunk pldt olyan nem hasonl mtrixokra, melyek karakterisztikus polinomja megegyezik.
Megolds. Legyen A s B kt mtrix, melyek karakterisztikus polinomja
megegyezik. Ekkor nyilvn a sajtrtkek is megegyeznek. Amennyiben
mindkt mtrix diagonalizlhat lenne, akkor mindketten hasonlak volnnak ugyanazon diagonlis mtrixszal, gy egymssal is. Kzenfekv teht
46
olyan mtrixokat keresni, amelyek kzl A diagonalizlhat, B pedig nem.

Mivel a karakterisztikus polinom kzs, A diagonalizlhatsga miatt a
spektrum teljes. B nem diagonalizlhat, ezrt a sajtrtkek valamelyiknek
geometriai multiplicitsa a B mtrix esetn kevesebb, mint az algebrai.
Az egyszersg kedvrt legyenek a mtrixok 2 2 tpusak. Nyilvnval,
hogy a E egysgmtrix sajtrtke az 1, melynek algebrai s geometriai
multiplicitsa is 2. Az egysgmtrixhoz semelyik tle klnbz mtrix sem
hasonl,
hiszen
S 1 ES = E brmely S regulris mtrix esetn. gy pldul

1 0
az
nem hasonl hozz, de karakterisztikus polinomja ugyangy a
1 1
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 lekpezsek
lineris 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 a
lekpezs 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 = (x 1 , 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 = (x 1 , x2 , x3 ) R3
esetn
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 az
elz feladatban szerepl lekpezsek kzl azoknak, amik lineris formk
voltak!
Megolds. Egy lineris forma bzis ellltst a forma bzisvektorokon
felvett rtkei adjk.
1. Az L : R3 R, L(x1 , x2 , x3 ) = x1 + x2 + x3 termszetes bzisra
vonatkoz 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) mtrixszal val szorzs hatsval:
x1
L(x1 , x2 , x3 ) = 1 1 1 x2 = x1 + x2 + x3 .
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 ) = x1 x2 x3 x4 forma termszetes
bzisra vonatkoz ellltsa: -1,-1,-1,-1.
2.3. Feladat. Mely lineris formk (termszetes bzisra vonatkoz) bzis
ellltsait adtuk meg az albbiakban? rjuk fel az x vektornak az adott
lineris 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 (x1 e1 +x2 e2 +x3 e3 ) = x1 L(e1 ) +x2 L(e2 ) +x3 L(e3 ) =
| {z }
| {z }
| {z }
1
x1 + 2x2 + 3x3 , s
L(4, 3, 2) =
4

1 2 3 3 = 16.
2
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 meg
bzis ellltsukat a kanonikus bzisra vonatkozan!
1.
2.
3.
4.
5.
6.
L1
L2
L3
L4
L5
L6
: P2 P1 , L1 (a2 x2 + a1 x + a0 ) = a0 x,
: P2 R, L2 (a2 x2 + a1 x + a0 ) = 2a2 a1 + a0 ,
: P2 R, L3 (p) = p(2),
R2
: P2 R, L4 (p) = 0 p(x)dx,
: M22 R, L5 (A) = det(A),
: M33 R, L5 (A) = tr(A) = a11 + a22 + a33 .
Megolds.
1. Nem, hiszen a kptr nem R.
2. Igen, hiszen additv: tetszleges p(x) = a 2 x2 + a1 x + a0 s q(x) =
b2 x2 + b1 x + b0 legfeljebb msodfok polinomok esetn

L2 (p + q) = (a2 x2 + a1 x + a0 ) + (b2 x2 + b1 x + b0 )

= L2 (a2 + b2 )x2 + (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 x 2 , x, 1 bzisra vonatkoz
elllts: 2, 1, 1, mert L2 (x2 ) = 2, L2 (x) = 1, s L2 (1) = 1.
3. L3 lineris forma, hiszen additv:

L3 (p + q) = (a3 x3 + a2 x2 + a1 x + a0 ) + (b3 x3 + b2 x2 + b1 x + b0 )

= L3 (a3 + b3 )x3 + (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
s homogn:
L3 (p) = L3 (a3 x3 + a2 x2 + a1 x + a0 )
= 8a3 + 4a2 + 2a1 + a0 =
L3 (p) = p(2) = (8a3 + 4a2 + 2a1 + a0 ).
A bzis elllts: 8, 4, 2, 1.
R2
4. Az L4 (p) = L4 (a2 x2 + a1 x + a0 ) = 0 p(x)dx lekpezs lineris, mely az
integrl ismert tulajdonsgaibl kvetkezik:
Z 2
Z 2
Z 2
p(x) + q(x)dx =
p(x)dx +
q(x)dx
0
0
0
Z 2
Z 2
p(x)dx =
p(x)dx
0
A lekpezs linearitsa onnan is lthat, hogy

2
Z 2
x3
x2
L4 (p) =
a2 x2 + a1 x + a0 dx = a2 + a1 + a0 x
3
2
0
0
8
=
a2 + 2a1 + 2a0 .
3
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 nyomnak (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 elllts

az E11 , E12 , E13 , E21 , . . . , E33 bzisra vonatkozan (itt Eij jelli azt a
mtrixot, 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 az
L6 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!
51
Megolds.
1. Az R3 vektortr egy ltalnos lineris formja
(x1 , x2 , x3 ) = l1 x1 + l2 x2 + l3 x3
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 a
tulajdonsggal, de termszetesen vgtelen sok ilyen lekpezs van.
2. Keressk a
(x1 , x2 , x3 ) = l1 x1 + l2 x2 + l3 x3
lekpezst gy, hogy
(1, 1, 0) = 0
(1, 0, 1) = 0
teljesljn, ami azt jelenti, hogy l 1 + l2 = 0 s l1 + l3 = 0. A lehetsges
megoldsok teht a (x1 , x2 , x3 ) = x1 x2 x3 lekpezs s konstansszorosai.
3. Az elz feladathoz hasonlan, most
(1, 1, 0) = l1 + l2 = 1
(1, 0, 1) = l1 + l3 = 2
felttelnek kell teljeslnie, teht l 2 = 1 l1 s l3 = 2 l1 . Pldul l1 = 1
vlasztssal 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 sszes
V R lineris formk alkotjk. A dulis tr dimenzija megegyezik V
dimenzijval.
1. R3 lineris formi (x1 , x2 , x3 ) = l1 x1 + l2 x2 + l3 x3 alakak, s a
lineris formk vektortere illetve a szmhrmasok vektortere kztt klcsnsen egyrtelm megfeleltetst adhatunk meg, ha minden lineris
formhoz hozzrendeljk az (l1 , l2 , l3 ) bzis ellltst. gy a dulis
tr egy bzist adjk azok az m1 , m2 , m3 : R3 R lineris formk,
52
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 m 1 , m2 , m3
lineris kombincija.
2. P2 lineris formi (a2 x2 + a1 x + a0 ) = l1 a2 + l2 a1 + l3 a0 alakak. A
dulis ternek egy bzist adjk azok az m 1 , m2 , m3 : P2 R lineris
formk, amiknek a bzis ellltsuk rendre (1,0,0), (0,1,0) s (0,0,1),
azaz
m1 (a2 x2 + a1 x + a0 ) = a2
m2 (a2 x2 + a1 x + a0 ) = a1
m3 (a2 x2 + a1 x + a0 ) = a0 .
3. M22 lineris formi

a11 a12
(A) =
= l1 a11 + l2 a12 + l3 a21 + l4 a22
a21 a22
alakak, s a dulis tr egy bzist adjk pldul az m 1 , m2 , m3 , m4 :
M22 R lineris formk, ahol
m1 (A)
m2 (A)
m3 (A)
m4 (A)
=
=
=
=
a11
a12
a21
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 albbi
kifejezseket cB(x1 , x2 ) alak kifejezsek sszegre, ahol c vals konstans,
x1 , x2 pedig az x, y, z vektorok valamelyike.
1.
2.
3.
4.
5.
B(3x, y),
B(3x, 3x),
B(x + y, x + y),
B(3x + 2y z, x y + 2z),
B(2x 2y + 3z, 4x + 2y z).
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 formk
a 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, x
y + 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+2y z) = 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 ) = x1 y1 ,

4. B4 : R3 R3 R, B4 (x1 , x2 , x3 ), (y1 , y2 , y3 ) = 5x1 y1 + 2x2 y3 ,

5. B5 : R3 R3 R, B5 (x1 , x2 , x3 ), (y1 , y2 , y3 ) = 5x1 y1 + 2x2 y3 + x3 y12 .
Megolds.
1. Nem, egy bilineris forma rtkkszlete nem lehet R 2 .

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) = x1 y1 + z1 y1 ,

B3 (x + z, y) = B3 (x1 , x2 ) + (z1 , z2 ), (y1 , y2 ) = (x1 + z1 )y1 ,
54
els vltozjban homogn:

B3 (x, y) = x1 y1 ,

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) = 5x1 y1 + 2x2 y3 + 5z1 y1 + 2z2 y3 ,
els vltozjban homogn:

B4 (x, y) = B4 (x1 , x2 , x3 ), (y1 , y2 , y3 ) = 5x1 y1 + 2x2 y3 ,

B4 (x, y) = B4 (x1 , x2 , x3 ), (y1 , y2 , y3 ) = (5x1 y1 + 2x2 y3 ).
Az additivitst s a homogenitst most is ellenrizhetjk egyidejleg,

pldul a msodik vltozban val linearitst most igazoljuk egyetlen
kifejezsben:
B4 (x, y + z) = B4 ((x1 , x2 , x3 ), (y1 + z1 , y2 + z2 , y3 + z3 )
= 5x1 (y1 + z1 ) + 2x2 (y3 + z3 )
= (5x1 y1 + 2x2 y3 ) + (5x1 z1 + 2x2 z3 )
= B4 (x, y) + B4 (x, z).
5. Nem. Pldul nem homogn a msodik vltozban:
B5 (x, y) = B5 (x1 , x2 , x3 ), (y1 , y2 , y3 )
= 5x1 y1 + 2x2 y3 + x3 (y1 )2 ,
B5 (x, y) = (5x1 y1 + 2x2 y3 + x3 y12 ).

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 )) = 2x1 y1 + 3x1 y2 + 4x1 y3 x2 y1 2x2 y2 +
6x2 y3 + x3 y3 ,
2. B2 ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y1 4x1 y3 + 3x2 y1 + 2x2 y2 + x2 y3
x3 y2 5x3 y3 .
Megolds. A bilineris forma mtrixa a formnak a bzisvektor-prokon

felvett rtkeit tartalmazza.
1. Itt pldul a mtrix msodik sornak harmadik eleme
B1 ((0, 1, 0), (0, 0, 1)) = 6x2 y3 = 6.
55
Teht B mtrixa:
2
3 4
B = 1 2 6 ,
0
0 1
s gy B1 (x, y) = x> By miatt
2
3
4
1

1 2 3 1 2 6 2
B1 ((1, 2, 3), (1, 2, 1)) =
0
0 1
1
= 21.
Termszetesen ez ugyanazt jelenti, mintha a bilineris formnak a feladatban szerepl felrsa alapjn szmolnnk: B 1 ((1, 2, 3), (1, 2, 1)) =
21(1)+312+41(1)2(1)222+62(1)+3(1) = 21.
2. A bilineris forma mtrixa:
1 0 4
1 ,
B= 3 2
0 1 5
s
B2 ((1, 2, 3), (1, 2, 1)) =
1
0
4
1

1 2 3 3 2
1 2 = 12.
0 1 5
1
2.10. Feladat. rja fel azt a B : R3 R3 R bilineris formt, aminek

mtrixa a termszetes bzisban
1 1 2
1 2 0 ,
2
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 )) = x1 y1 x1 y2 + 2x1 y3 x2 y1 + 2x2 y2 +

2x3 y1 + 3x3 y3 , s

1 1 2
4

B((1, 1, 1), (4, 2, 1)) = 1 1 1 1 2 0 2 = 15.
2
0 3
1
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 szimmetrikus
valamely bzisra vonatkozan, akkor minden bzisban szimmetrikus lesz?
56
Megolds. Igen, hiszen ha a forma mtrixa valamely bzisban B = B > ,

akkor tetszleges S bzistranszformcis mtrix esetn a bilineris forma
mtrixa 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, adja
meg azt a szimmetrikus bilineris formt, amibl a kvadratikus forma szrmazik, 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 ) = 2x1 x2 ,
4. Q4 : R2 R, Q4 (x1 , x2 ) = x21 ,
5. Q5 : R3 R, Q5 (x1 , x2 , x3 ) = x21 + 2x22 + x23 x1 x2 + 6x2 x3 2x1 x3 .
6. Q6 : R3 R, Q6 (x1 , x2 , x3 ) = 4x22 x23 + 4x1 x2 3x2 x3 + 2x1 x3 .
Megolds. A feladat megvlaszolsnl vegyk figyelembe, hogy valamely
B szimmetrikus bilineris formbl szrmaz kvadratikus forma: Q(x) =
B(x, x). Ha pldul a B : R2 R2 R szimmetrikus bilineris forma
esetn B((x1 , x2 ), (y1 , y2 )) felrsban az x1 y2 egytthatja 2, akkor x2 y1
egytthatja is 2, s gy a B-bl szrmaz Q kvadratikus forma ( teht
Q((x1 , x2 )) = B((x1 , x2 ), (x1 , x2 )) ) felrsban x1 x2 egytthatja 4 lesz.
1. Nem, hiszen az rtkkszlet nem egy szmtest.
2. Nem.
3. Igen, a szimmetrikus bilineris forma amibl Q 3 szrmazik megkaphat
az albbi mdon:
1
B(x, y) = (Q3 (x + y) Q3 (x) Q3 (y)),
2
de szksgtelen ezt kiszmolnunk, hiszen vilgos, hogy
B((x1 , x2 ), (y1 , y2 )) = x1 y2 + x2 y1 .
Valban, ebben y helyre is x-et rva Q 3 addik.
4. Igen, s Q4 polris formja:
B((x1 , x2 ), (y1 , y2 )) = x1 y1 .
1
1
B((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y1 + 2x2 y2 + x3 y3 x1 y2 x2 y1 +
2
2
3x2 y3 + 3x3 y2 x1 y3 x3 y1 .
57

B((x1 , x2 , x3 ), (y1 , y2 , y3 )) = 4x2 y2 x3 y3 + 2x1 y2 + 2x2 y1 +
3
3
x2 y3 x3 y2 + x 1 y3 + x 3 y1 .
2
2
2.13. Feladat. rjuk fel az elz feladatban szerepl kvadratikus formk
mtrixt, s szmtsuk ki az (1, 2), illetve az (1, 2, 3) vektoron felvett rtkket.
Megolds. A Q kvadratikus forma C mtrixa megegyezik a polris formjnak 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 ) = 2x1 x2 kvadratikus forma mtrixa s
Q3 ((1, 2)) kiszmtsa:

0 1
0 1
1
C=
, Q((1, 2)) = 1 2
= 4.
1 0
1 0
2
2. A Q4 : R2 R, Q3 (x1 , x2 ) = x21 kvadratikus forma mtrixa

1 0
C=
,
0 0
s Q4 ((1, 2)) = 12 = 1.
3. A Q5 (x1 , x2 , x3 ) = x21 + 2x22 + x23 x1 x2 + 6x2 x3 2x1 x3 forma mtrixa:
1
1/2 1
1/2
2
3 ,
1
3
1
s
Q5 ((1, 2, 3)) =

1
1/2
1
1

2
3 2 = 46,
1 2 3 1/2
1
3
1
3
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 + 4x1 x2 3x2 x3 + 2x1 x3 forma mtrixa:
0
2
1
2
4
3/2 ,
1 3/2 1
s Q6 ((1, 2, 3)) = 3.
58
2.14. Feladat. Mit mondhatunk az albbi kvadratikus formkrl definitsg

szempontjbl a fminor-determinnsok alapjn?
1. Q(x1 , x2 , x3 ) = x21 + x23 ,
2. Q(x1 , x2 , x3 ) = x21 + 2x22 + 4x23 ,
3. Q(x1 , x2 , x3 ) = x21 x22 + x23 ,
4. Q(x1 , x2 , x3 ) = x21 + 2x22 + 6x23 + 2x1 x2 4x1 x3 2x2 x3 ,
5. Q(x1 , x2 , x3 ) = x21 3x22 3x23 + 2x1 x2 + 2x1 x3 ,
6. Q(x1 , x2 , x3 ) = x21 2x22 + 3x23 + 2x1 x2 4x1 x3 + 6x2 x3 ,
7. Q(x1 , x2 , x3 ) = x21 + 4x22 + 4x1 x2 + 2x1 x3 .
Megolds. Q pozitv definit, ha minden nem nulla vektoron felvett rtke
pozitv, s Q pozitv szemidefinit, ha minden vektoron nemnegatv rtket
vesz fel, de van nem nulla vektor, amit a nullba kpez. Hasonlan definilhat a negatv eset, s ha pozitv s negatv rtket is felvesz a forma, akkor
indefinit. Egy Jacobitl szrmaz ttel szerint, ha a kvadratikus forma
mtrixban a fminor-determinnsokat 4 1 , . . . , 4n jelli, s ezek egyike sem
nulla, akkor ltezik bzis, amelyben a kvadratikus forma az albbi ngyzetsszeg alak:
41 2 42 2
4n 2
Q(x) =
x1 +
x2 . . .
x .
1
41
4n1 n
Ennek kvetkezmnye, hogy a forma pontosan akkor lesz pozitv definit,
ha ezek a hnyadosok mind pozitvak, s akkor negatv definit, ha mind
negatvok.
1. Ez a kvadratikus forma elve norml alak. Vilgos, hogy pozitv szemidefinit, hiszen Q(x) 0 minden x R3 esetn, de van olyan nem nulla
vektor, amihez a nullt rendeli hozz, pldul Q(0, 1, 0) = 0.
2. Ez a kvadratikus forma eleve kanonikus alak, s pozitv definit, mert
x21 + 2x22 + 4x23 0, s x21 + 2x22 + 4x23 = 0 csak akkor, ha x = 0.
3. Ez a norml alak kvadratikus forma indefinit, hiszen pozitv s negatv
rtkeket 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-determinnsokat:
1
1 2
2 1 ,
C= 1
2 1 6

1

1
2
1 1

2 1 = 1.
41 = |1| = 1, 42 =
= 1, 43 = |C| = 1

1 2
2 1 6
Mivel 41 , 42 , 43 mind pozitv, gy Q pozitv definit.
5. rjuk fel a fminor-determinnsokat:

1 1
= 2,
41 = | 1| = 1, 42 =
1 3
Mivel 41 = 1,

1 1
1

43 = 1 3 0
1
0 3
59

= 3.

42
1 43
2
= ,
= mind negatv, gy Q negatv
41
2 42
3
definit.
6. A fminor-determinnsok:

1 1
41 = |1| = 1, 42 =
1 2

= 3,

1
1 2

43 = 1 2 3 = 22.
2 3
3
42
43
22
= 3,
= , gy a forma indefinit.
41
42
3
7. Mivel a msodik fminor-determinns:

1 2

= 0,
42 =
2 4
Mivel 41 = 1,
gy ez a mdszer itt nem mkdik. A definitsg eldnthet pldul a

forma 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 + 2x1 x2 4x1 x3 + 8x2 x3 ,
2. Q(x1 , x2 , x3 ) = x22 + x23 2x1 x2 + 4x1 x3 + 2x2 x3 ,
3. Q(x1 , x2 , x3 ) = 2x21 + x22 + 2x23 x1 x2 + 2x1 x3 ,
4. Q(x1 , x2 , x3 ) = x21 + 2x22 + 6x23 + 2x1 x2 4x1 x3 2x2 x3 ,
5. Q(x1 , x2 , x3 ) = x21 3x22 3x23 + 2x1 x2 + 2x1 x3 ,
6. Q(x1 , x2 , x3 ) = x21 + x22 + 4x23 + 2x1 x2 ,
7. Q(x1 , x2 , x3 ) = x1 x2 + x1 x3 + x2 x3 ,
8. Q(x1 , x2 , x3 ) = 2x1 x2 .
9. Q(x1 , x2 , x3 , x4 ) = x21 + x24 + 2x1 x3 + 2x2 x4 .
Megolds. A feladat megoldshoz a Lagrange mdszert hasznljuk.
1. Az els lpsben a Q kvadratikus formt felbontjuk kt msik sszegre
gy, hogy az els ngyzetes alak, a msodik pedig egy ktvltozs
kvadratikus forma, amiben az x1 vltoz mr nem szerepel. Gyjtsk teht ssze a Q azon tagjait, amikben szerepel x 1 , s ezt a kifejezst
alaktsuk teljes ngyzett:
x21 + 2x1 x2 4x1 x3 = (x1 + x2 2x3 )2 x22 4x23 + 4x2 x3 .
60
Teht
Q(x) = x21 + 2x1 x2 4x1 x3 2x22 4x23 + 8x2 x3
= (x1 + x2 2x3 )2 x22 4x23 + 4x2 x3 2x22 4x23 + 8x2 x3

= (x1 + x2 2x3 )2 3x22 8x23 + 12x2 x3 ,
s itt a ngyzetes alakon kvl lv tagokban valban nem szerepel x 1 .

Most ezekre a tagokra vonatkozan megismteljk az elz eljrst x 2 vel:
Q(x) = (x1 + x2 2x3 )2 3x22 8x23 + 12x2 x3
= (x1 + x2 2x3 )2 3(x2 2x3 )2 + 4 x23 = y12 3y22 + 4y32 .

|
{z
}
| {z }
|{z}
y1
y2
y3
Ezzel elrtk, hogy a kvadratikus forma ngyzetsszeg alak (azaz kanonikus alak), ha a rgi (x1 , x2 , x3 ) koordintkrl ttrnk az (y1 , y2 , y3 )
j koordintkra, ahol
y1 = x1 +x2 2x3
y2 =
x2 2x3
y3 =
x3
a koordintatranszformci egyenletrendszere, aminek mtrixos alakja
a kvetkez:
1 1 2
y = 0 1 2 x.
0 0 1
Keressk teht azt a (b) bzist, amire ha ttrnk az (e) termszetes

bzisrl, akkor a vektorok koordinti a fenti mdon vltoznak meg.
A koordintatranszformci s a bzistranszformci kapcsolatrl tanultak alapjn, a fenti egyenletben szerepl mtrix nem ms, mint az
(e) (b) bzistranszformci S mtrixnak az inverze, gy
1 1 2
1 1 0
S = 0 1 2 = 0 1 2 .
0 0 1
0 0 1
A feladat ezzel ksz: az j bzis vektorai S oszlopvektorai, ebben a

bzisban Q kanonikus alak, a kanonikus alakban szerepl egytthatk
1,-3,4, teht a forma indefinit.
61
Szmtsaink helyessgt leellenrizhetjk gy, hogy kiszmtjuk az

S > CS mtrixot, ahol C jelli a Q mtrixt a termszetes bzisban:
1 0 0
1
1 2
1 1 0
1 0 0
1 1 0 1 2 4 0 1 2 = 0 3 0 ,
0 2 1
2 4 4
0 0 1
0 0 4
teht megkaptuk Q mtrixt az j bzisban, ami valban diagonlis

alak.
2. Hozzuk a kvadratikus formt ngyzetsszeg alakra. Elszr elrjk,
hogy x2 ne szerepeljen ngyzetes alakon kvl, majd a msodik lpsben elrjk, hogy x1 is csak ngyzetes alakokban szerepeljen (a kiindul
alakban nincs x21 , ezrt kezdnk x2 -vel):
Q(x) = x22 + x23 2x1 x2 + 2x2 x3 + 4x1 x3
= (x2 x1 + x3 )2 x21 + 6x1 x3
= (x2 x1 + x3 )2 (x1 3x3 )2 + 9x23 = y12 y22 + 9y32 .

Lthat, hogy a kvadratikus
mtrixa meghatrozhat az
1
y= 1
0
egyenlet alapjn:
forma indefinit, s a bzistranszformci
1 1
0 3 x = S 1 x.
0 1
0 1 3
S = 1 1 2 .
0 0 1
Teht a (0, 1, 0), (1, 1, 0), (3, 2, 1) vektorokbl ll bzisban a kvadratikus

forma kanonikus alak, azaz mtrixa diagonlis, a ftlban az 1,-1,9
szmok szerepelnek.
3. Hasonlan,
Q(x) = 2x21 x1 x2 + 2x1 x3 + x22 + 2x23

2
1
1
7
3
1
= 2 x1 x2 + x3 + x22 + x23 + x2 x3
4
2
8
2
2

2

2
1
1
7
2
10
= 2 x1 x2 + x3 +
x2 + x3 + x23
4
2
8
7
7
7
10
= 2y12 + y22 + y32 .
8
7
62
A bzistranszformci mtrixa:
1 1/4 1/2
1 1/4 4/7
1
2/7 = 0 1 2/7 ,
S= 0
0
0
1
0 0
1
ennek oszlopvektorai adjk az j bzis vektorait, s a kvadratikus forma

pozitv definit, mert a kanonikus alakban szerepl egytthatk mind
pozitvak.
4. rjuk fel Q-t ngyzetsszeg alakban:
Q(x) = x21 + 2x22 + 6x23 + 2x1 x2 4x1 x3 2x2 x3
= (x1 + x2 2x3 )2 + x22 + 2x23 + 2x2 x3
= (x1 + x2 2x3 )2 + (x2 + x3 )2 + x23 = y12 + y22 + y32 .

1
1 1 3
1 1 2
S = 0 1 1 = 0 1 1 ,
0 0
1
0 0 1
ennek oszlopvektorai adjk az j bzis vektorait. Itt a kanonikus alak

egyben 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 + 2x1 x2 + 2x1 x3
= (x1 x2 x3 )2 2x22 2x23 + 2x2 x3

2
1
3
3
2
= (x1 x2 x3 ) 2 x2 x3 x23 = y12 2y22 y32 .
2
2
2
1 1 1
1 1 3/2
S = 0 1 1/2 = 0 1 1/2 ,
0 0
1
0 0 1
ennek oszlopvektorai adjk az j bzis vektorait. Itt a kanonikus alakban minden egytthat negatv, gy a kvadratikus forma negatv definit.
6. Most egy lps utn ngyzetsszeg alakot kapunk:
Q(x) = x21 + x22 + 4x23 + 2x1 x2
= (x1 + x2 )2 + 4x23 = y12 + 4y32 .
63
Itt a koordintatranszformciban y 2 = x2 , s y2 egytthatja a kanonikus alakban nulla. A bzistranszformci mtrixa:
1 1 0
1 1 0
S = 0 1 0 = 0 1 0 ,
0 0 1
0 0 1
s a kvadratikus forma pozitv szemidefinit, mert a kanonikus alakban

szerepl egytthatk: 1,0,4.
7. Ebben az esetben gy kell ngyzetsszeg alakra hoznunk Q-t, hogy
egyetlen ngyzetes tag sem szerepel eredetileg benne, azaz mtrixnak
ftljban csak nullk llnak. Ekkor vgrehajtunk egy olyan koordintatranszformcit, aminek eredmnyeknt az x 1 x2 tagbl ngyzetes tagok keletkeznek, s ezutn alkalmazhatjuk az elzekben mr lert mdszert. Trjnk teht t azon y1 , y2 , y3 koordintkra, amikre teljesl,
hogy
x1 = y 1 + y 2
x2 = y 1 y 2
x3 =
y3 .
Ekkor
Q(x) = x1 x2 + x1 x3 + x2 x3
= (y1 + y2 )(y1 y2 ) + (y1 + y2 )y3 + (y1 y2 )y3
= y12 y22 + 2y1 y3 = (y1 + y3 )2 y22 y32
= z12 z22 z32 .
Megkaptuk teht a ngyzetsszeg alakot (ami most norml alak is egyben), de hogyan hatrozzuk meg a bzist, amiben a kvadratikus forma
ilyen alak lesz? Elszr x-koordintkrl y-okra trtnk t, majd az
y-okrl z-kre. Az albbi sszefggseket ismerjk:
1 1 0
1 0 1
x = 1 1 0 y = P y s z = 0 1 0 y = Ry.
0 0 1
0 0 1
Innen x = P y = P R1 z, s itt a rgi koordintkat fejeztk ki az

jakkal, gy a bzistranszformci mtrixa:
1 1 0
1 0 1
1 1 1
S = P R1 = 1 1 0 0 1 0 = 1 1 1 .
0 0 1
0 0 1
0 0
1
64
Ellenrzs cljbl szmtsuk ki az S > CS mtrixot:
0 12 12
1
1 0
1 1 1
1 0
0
1 1 0 1 0 1 1 1 1 = 0 1 0 ,
2
2
1
1
1 1 1
0 0
1
0 0 1
0
2
2
teht eredmnyeink helyesek, a kapott diagonlis mtrix a kvadratikus

forma j bzisbeli mtrixa.
8. Alkalmazzuk most is azt a koordintatranszformcit, aminek egyenletrendszere
x1 = y 1 + y 2
x2 = y 1 y 2
x3 =
y3 .
Ekkor Q(x) = 2x1 x2 = 2y12 2y22 , s a bzistranszformci mtrixa:
1 1 0
S = 1 1 0 .
0 0 1
Valban, ha kiszmoljuk
1 1 0
0 1
1 1 0 1 0
0 0 1
0 0
az S > CS mtrixot:
0
1 1 0
2 0 0
0 1 1 0 = 0 2 0 .
0
0 0 1
0 0 0
9. Az els lpsben az x1 -es tagokat gyjtjk ssze, majd az x 4 -es tagokat:

Q(x) = x21 + x24 + 2x1 x3 + 2x2 x4
= (x1 + x3 )2 x23 + x24 + 2x2 x4
ahol
= (x1 + x3 )2 + (x4 + x2 )2 x22 x23 = y12 y22 y32 + y42 ,
y1 = x 1
+x3
y2 =
x2
y3 =
x3
y4 =
x2
+x4 .
Ebben az egyenletrendszerben az j koordintk vannak kifejezve a
rgiekkel, gy a bzistranszformci mtrixt az alapmtrix inverzeknt
kapjuk meg:
1 0 1 0
1 0 1 0
0 1 0 0
0 0
= 0 1
.
S=
0 0 1 0
0 0
1 0
0 1 0 1
0 1 0 1
65
2.16. Feladat. Mdostsuk gy az elz feladat 1. 2. s 8. pontjban

szerepl kvadratikus formk kanonikus alakra hozsnak eljrst gy, hogy
norml alakot kapjunk.
Megolds. A kvadratikus forma norml alakja olyan kanonikus alak, amelyben 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 + 4x23
Vigyk be a zrjelek eltt szerepl 3 s 4 egytthatkat a zrjeleken

bellre:
Q(x) = (x1 + x2 2x3 )2 ( 3x2 2 3x3 )2 + (2x3 )2 = y12 y22 + y32 ,

ahol
y1 = x 1
+x2
2x
3
y2 =
3x2 2 3x3 ,
y3 =
2x3
gy a bzistranszformci mtrixa:
1
1 1
2
1 1/ 3 0
S= 0
3 2 3 = 0 1/ 3
1 .
0 0
2
0
0
1/2
2. Hasonlan:
Q(x) = (x2 x1 + x3 )2 (x1 3x3 )2 + 9x23 = y12 y22 + y32 ,
ahol a bzistranszformci mtrixa:
1 1 1
0 1 1
S = 1 0 3 1 = 1 1 2/3 .
0 0 3
0 0 1/3
3. Koordintacsere utn az albbi alakot kaptuk:
Q(x) = 2x1 x2 = 2y12 2y22 .
Ha azt a transzformcit hajtjuk vgre, ahol

x1 =
x2 =
x3 =
1 y1
2
1 y1
2
1 y2
2
1 y2
2
y3 ,
akkor
Q(x) = (y1 + y2 )(y1 y2 ) = y12 y22 .
66
Ekkor a bzistranszformci mtrixa:
1/2 1/ 2 0
S = 1/ 2 1/ 2 0 .
0
0
1
2.17. Feladat. Hogyan vltozik meg egy kvadratikus forma mtrixa, ha

vgrehajtunk egy olyan bzistranszformcit, aminek a mtrixa egy elemi
oszloptalaktshoz tartoz elemi mtrix?
Megolds. A kvadratikus forma mtrixn is vgrehajtdik az elemi oszloptalakts, s egy ugyanilyen tpus sortalakts is. Lssunk elszr egy
pldt! Legyen Q mtrixa valamely bzisban
1 0 2
C = 0 2 1 .
2 1 1
Tekintsk pldul azt az elemi talaktst, mikor egy mtrix msodik oszlophoz hozzadjuk az els oszlop ktszerest. Az ehhez tartoz elemi mtrix:
1 2 0
= 0 1 0 .
0 0 1
Ha vgrehajtjuk azt a bzistranszformcit, aminek mtrixa
mtrixa az j bzisban > C, azaz

1 0 0
1 0 2
1 2 0
1
2
2 1 0 0 2 1 0 1 0 = 2
6
0 0 1
2 1 1
0 0 1
2 3
, akkor Q
2
3 ,
1
teht az eredeti C mtrixon vgrehajtdik kt elemi talakts: az els oszlop

ktszeresnek hozzadsa a msodik oszlophoz, s az els sor ktszeresnek
hozzadsa a msodik sorhoz. Ennek oka az, hogy az mtrixszal val
jobbrl 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 formkat

elimincival, az elz feladat alapjn! Adjuk meg az j bzist is!
1. Q(x1 , x2 , x3 ) = x21 2x22 4x23 + 2x1 x2 4x1 x3 + 8x2 x3 ,
2. Q(x1 , x2 , x3 ) = x22 + x23 2x1 x2 + 4x1 x3 + 2x2 x3 ,
3. Q(x1 , x2 , x3 ) = x1 x2 + x1 x3 + x2 x3 .
67
Megolds. Ha a kvadratikus forma mtrixa a termszetes bzisra vonatkozan C, s egyms utn vgrehajtjuk azon bzistranszformcikat, amiknek
mtrixai 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 bzisban aminek elemei az 1 . . . n mtrix oszlopaiban tallhatk, a Q kanonikus
alak lesz. Kiindulunk teht a (C|E) mtrixbl, s gy eliminlunk, hogy
C-n sor-oszlop talaktsokat vgznk (pldul ha a msodik sorhoz hozzadjuk az els sor ktszerest, akkor a msodik oszlophoz is hozzadjuk
az els oszlop ktszerest), de E-n csak a sortalaktst hajtjuk vgre. Ha
C helyn diagonlis mtrix alakul ki, akkor E helyn a bzistranszformci
mtrixnak 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 hozzadjuk a harmadik sorhoz, ugyangy, ahogy az inverzszmtsos szimultn
Gauss elimincinl csinltuk, teht ezeket az talaktsokat E-n is vgrehajtjuk. Ezutn oszlopokra
kell ugyanezt hajtani (csak C-n),
is vgre
1
de mivel az els oszlop mr 0 alak, gy ez csak annyit jelent, hogy
0
az els sor is (1, 0, 0) lesz. A szimmetria miatt mindig ilyen knny dolgunk lesz:

1
1 2 1 0 0
1 0
0 1 0 0
1 2 4 0 1 0 0 3 6 1 1 0

2 4 4 0 0 1
0 6 8 2 0 1

1 0 0 1 0 0
0 3 0 1 1 0 .

0 0 4 0 2 1

1
1
0
Azt kaptuk, hogy az 0 , 1 , 2 bzisban Q kanonikus
0
0
1
2
2
2
alak: Q(y) = y1 3y2 + 4y3 . Ugyanazt az eredmnyt kaptuk, mint a
2.15 feladatnl, ez azonban nem szksgszer. Hangslyozzuk azonban,
hogy brhogyan is hozzuk kanonikus alakra a kvadratikus formt, a
pozitv, negatv s nulla egytthatk szma mindig ugyanannyi.
68
2. Most C-ben az els sort a msodik sorral, majd az els oszlopot a msodikkal megcserljk, E-ben pedig csak a sorokat cserljk. Ezutn az
elzekhez hasonlan folytatjuk az elimincit:

0 1 2 1 0 0
1 1 1 0 1 0
1 1 1 0 1 0 1 0 2 1 0 0

2
1 1 0 0 1
1
2 1 0 0 1
1 0 0
0 1 3
0 3 0

0 1 0
1 0 0

1 1 0 0 1 0

0 1 1
0 0 9
0 1 0

1 1 0 .

3 2 1
3. Itt a sor-oszlop csere nem vezetne eredmnyre, az els sorhoz hozzadjuk

a msodik sort, s az els oszlophoz a msodikat:

0 1/2 1/2 1 0 0
1 1/2 1 1 1 0
1/2 0 1/2 0 1 0 1/2 0 1/2 0 1 0 ,

1 1/2 0 0 0 1
1/2 1/2 0 0 0 1
megszorozhatjuk 2-vel

1 1 1 1 1
1 0 1 0 2

1 1 0 0 0
a msodik

0
0
1
sort s oszlopot:

1 0
0 1
1 0
0 1 0 1 1 0 .
0 0 1 1 1 1
2. Euklideszi terek
2.19. Feladat. Definilhatnak-e bels szorzst R 3 -ban az albbi bilineris

formk? Ha igen, akkor szmtsuk ki az x = (1, 2, 3) vektor ||x|| B normjt!

1. B (x1 , x2 , x3 ), (y1 , y2 , y3 ) = x1 y1 + x2 y2 + x3 y3 ,
2. B (x1 , x2 , x3 ), (y1 , y2 , y3 ) = 2x1 y1 2x1 y2 + x1 y3 2x2 y1 + x3 y1 + x3 y3 ,
3. B (x1 , x2 , x3 ), (y1 , y2 , y3 ) = 6x1 y1 +x1 y2 +2x1 y3 +x2 y1 +x2 y2 +2x3 y1 +
x3 y3 .
Megolds. Egy bilineris forma akkor definilhat bels szorzst egy vektortren, ha szimmetrikus, s a belle szrmaz kvadratikus forma pozitv
definit.
1. Ennek a bilineris formnak a mtrixa az egysgmtrix, ami szimmetrikus
s valamennyi fminor-determinnsa pozitv, gy ez bels szorzs. (Az
Rn vektortren alaprtelemben ezt a bilineris formt tekintjk bels
2. EUKLIDESZI TEREK
69
szorzsnak, s ekkor (x, y) = x> y = x1 y1 + + xn yn .) Az x = (1, 2, 3)

vektor normja:
q
p
p
||x|| = B(x, x) = x21 + x22 + x23 = 12 + 22 + 32 = 14.
2. Ennek a bilineris formnak is szimmetrikus a mtrixa:
2 2 1
C = 2 0 0 ,
1
0 1
de a B-bl szrmaz kvadratikus forma nem pozitv definit, mert ennek

a mtrixnak a msodik sarokminor-determinnsa negatv:

2 2

= 4.
41 = 2, 42 =
2 0
3. Ezen bilineris forma mtrixa szimmetrikus, s a fminor-determinnsok

mind pozitvak:

6 1 2
6 1
= 5, 43 = 1 1 0 = 1,
41 = 6, 42 =
1 1
2 0 1
gy B segtsgvel definilhatunk
6
||x||2B = (1 2 3) 1
2
bels szorzst, s ekkor

1 2
1
1 0 2 = 35.
0 1
3
2.20. Feladat. Hatrozzuk meg az R3 -beli x s y vektorok normjt, tvolsgt s az ltaluk bezrt szget, ha
1. x = (2, 1, 2), y = (1, 2, 0),
2. x = (3, 1, 1), y = (1, 1, 1),
3. x = (0, 2, 0), y = (2, 1, 4).
p
Megolds. Egy x vektor normja (x, x), kt vektor tvolsga a klnbsgk normja, s kt vektor ltal bezrt szg cosinust megkapjuk, ha a
bels szorzatukat elosztjuk a normikkal.
p
1. ||x|| = 22 + 12 + 22 = 3, ||y|| = (1)2 + 22 = 5,
d(x, y) = ||x y|| = ||(3, 1, 2)|| = 14,

(x, y)
2(1) + 1 2 + 2 0
cos =
=
= 0, teht a kt vektor merle||x||||y||
3 5
ges.
70
2. ||(3, 1, 1)|| = 11, ||(1, 1, 1)||

=
3,
||x y|| = ||(2, 2, 0)|| = 2 2,

r
(x, y)
31+1
3
cos =
=
=
.
||x||||y||
11
33
3. ||(0, 2, 0)|| = 2, ||(2, 1, 4)||

= 21,
||x y|| = ||(2, 3, 4)|| = 29,
(x, y)
2
1
cos =
= = .
||x||||y||
2 21
21
2.21. Feladat. Mit mondhatunk kt adott vektor ltal bezrt szgrl, ha
tudjuk, hogy bels szorzatuk
1. nulla,
2. pozitv,
3. negatv?
Megolds.
1. Kt vektor pontosan akkor merleges, ha bels szorzatuk nulla.
2. Ha a vektor bels szorzata pozitv, akkor az ltaluk bezrt szg cosinusa
is pozitv, gy ez hegyesszg.
3. Ekkor tompaszget zrnak be.
2.22. Feladat. Mi (x, e) geometriai jelentse az R n tren, ha ||e|| = 1?
Megolds. Ha jelli az x s e ltal bezrt szget, akkor
cos =
(x, e)
,
||x||
gy (x, e) = ||x|| cos , teht az x vektor e irny egyenesre vett merleges

vetletnek hossza. (Magt a merleges vetletet az (x, e)e vektor adja.)
x
PSfrag replacements
e
cos ||x||
2.23. Feladat. Hatrozzuk meg az x vektor e irnyba es merleges vetlett,

ha
1. x = (3, 1, 2), e = 13 (1, 1, 1),
2. x = (5, 5, 3), e = (1, 2, 1),
3. x = (6, 2, 6, 2), e = (1, 1, 1, 1).
2. EUKLIDESZI TEREK
71
Megolds.
1. Mivel e egysgvektor, gy a vetletet x0 = (x, e)e adja:
+

*
3
1
1
1
1
1
3
1
+
2
1
1 , 1 1 =
1
x0 =
3
3 1
3 1
2
1

4/3
= 4/3 .
4/3
(A jobb ttekinthetsg rdekben most < > zrjellel jelltk a skalris

szorzatot. Emlkezznk, hogy a bels szorzs
bilineris, gy a skalr
kiemelhet mindkt vltozjbl, itt az 1/ 3 szmot kihoztuk a zrjel

el!) Ellenrizhetjk is, hogy helyesen szmoltunk-e. Ha a vetletet x0
jelli, akkor x00 := xx0 merleges x0 -re. Valban, x00 = (5/3, 7/3, 2/3)
s x0 bels szorzata nulla.
2. (a) Most e nem egysghossz, gy elszr lenormljuk. Ez azt jeleni,
hogy elosztjuk a hosszval, hogy egy vele egyez irny de mr 1 normj vektort kapjuk:

1
e
1
e0 :=
= 2 .
||e||
6 1
Most mr e0 segtsgvel megkaphatjuk a vetletet:

* +
5
1
1
1
3
1
18
5 , 2 2 =
2 = 6 .
(x, e0 )e0 =
6
6 1
3
1
1
3
(b) Mskpp is szmolhatunk: tudjuk, hogy a vetlet e konstansszorosa.

PSfrag replacements
x = x0 + x00
x00
e
x0 = e
Keressk teht azt az 6= 0 vals szmot, amire igaz, hogy ha x0 = e,

s x00 = x x0 , akkor x0 s x00 merlegesek, azaz a bels szorzatuk nulla:
0 = (x0 , x00 ) = (e, x e) = (e, x) 2 (e, e) =
72
+
* +
1
5
1
1
2 , 5 2 2 , 2 = 18 62 .
1
1
3
1
{z
}
|
||e||2
Innen = 3 s a merleges vetlet: x0 = 3e.

3. Keressk azt az 6= 0 vals szmot, amire x0 = x s x00 = x x0
ortogonlisak, teht
0 = (e, x e) = (e, x) 2 ||e||2 = 16 42 .
Innen = 4, s a merleges vetlet (4, 4, 4, 4).
2.24. Feladat. Ha tudjuk, hogy ||x|| = 3, ||y|| = 5, s (x, y) = 1, akkor
mivel egyenl ||x + y||?
Megolds. Mivel
||x + y||2 = (x + y, x + y) = (x, x) + 2(x, y) + (y, y)
= ||x||2 + 2(x, y) + ||y||2 = 9 + 2 + 25 = 36,
gy ||x + y|| = 6.
2.25. Feladat. Milyen szm esetn lesz az x y vektor minimlis normj, ha x = (1, 10, 7), y = (1, 2, 3)?
Megolds. (a) Akkor lesz minimlis normj, ha y ppen az x vektor y
irnyban vett merleges vetlete,
x
PSfrag replacements
x y
y
y
teht ha 0 = (x y, y) = (x, y) ||y|| 2 = 42 14. Innen = 3.

(b) Ugyanezt az eredmnyt kapjuk, ha kiszmoljuk, hogy mennyi ||xy|| 2 :
||(1 + , 10 2, 7 3)||2 = (1 + )2 + (10 2)2 + (7 3)2
= 142 84 + 150
= 14( 3)2 + 24.
Lthat, hogy ez a kifejezs = 3 esetn minimlis.

2.26. Feladat. Milyen szget zrnak be az x s y egysgvektorok, ha tudjuk,
hogy x + 2y s 5x 4y merlegesek egymsra?
2. EUKLIDESZI TEREK
73
(x,y)
Megolds. Mivel cos = ||x||||y|| s x, y hossza 1, gy csak (x, y)-t kell

kiszmolnunk. Tudjuk, hogy
0 = (x + 2y, 5x 4y) = 5(x, x) + 10(y, x) 4(x, y) 8(y, y)
= 5||x||2 + 6(x, y) 8||y||2 = 6(x, y) 3.
Innen cos = (x, y) = 1/2, teht 60 -os szget zrnak be.

2.27. Feladat. Mely vektorok lesznek merlegesek az n vektorra a megadott
Euklideszi terekben? Milyen geometriai alakzatot alkotnak ezek a vektorok?
1. n = (1, 2) R2 ,
2. n = (0, 0, 1) R3 ,
3. n = (1, 2, 1) R3 ,
4. n = (1, 1, 2, 1) R4 .
Megolds. Ha egy vektor merleges n-re, akkor a vektor tetszleges skalrszorosai is azok lesznek, illetve kt n-re merleges vektor sszege is merleges
lesz n-re, gy az ilyen vektorok egy alteret fognak alkotni.
1. Keressk azon x = (x1 , x2 ) vektorokat, amelyekre (n, x) = 0, azaz
n1 x1 + n2 x2 = x1 + 2x2 = 0.
Ez egy homogn lineris egyenletrendszer, ami egy egyenletbl ll, s
megoldsai az albbi vektorok:

x1
2
=
t, t R,
x2
1
teht a (2, 1) irny orign tmen egyenes pontjai. A fenti egyenlet

az (1, 2) normlvektor, 0-n tmen egyenes normlvektoros egyenlete.
2. Keressk azon x = (x1 , x2 , x3 ) vektorokat, amelyekre (n, x) = 0, azaz
n1 x1 + n2 x2 + n3 x3 = x3 = 0.
Ezen homogn lineris egyenlet megoldsai az albbi vektorok:

0
x1
1
x2 = 0 t1 + 1 t2 , t1 , t2 R,
x3
0
0
teht az [x, y] sk pontjai. A fenti egyenlet a (0, 0, 1) normlvektor, 0-n

tmen sk normlvektoros egyenlete.
3. A keresett vektorokat az albbi egyenlet adja meg:
n1 x1 + n2 x2 + n3 x3 = x1 + 2x2 x3 = 0.
74
Ezen homogn lineris egyenlet megoldsai az albbi vektorok:

x1
2
1
x2 = 0 t1 + 1 t2 , t1 , t2 R,
x3
1
0
teht az (1, 0, 1), (2, 1, 0) vektorok ltal generlt altr, ami egy orign
tmen sk.
4. Keressk azon x = (x1 , x2 , x3 , x4 ) vektorokat, amelyekre
(n, x) = n1 x1 + n2 x2 + n3 x3 + n4 x4 = x1 x2 2x3 + x4 = 0,
Innen

x1
1
2
1
x2 0
0
1
= t1 + t2 + t3 ,
x3 0
1
0
1
0
0
x4
t 1 , t 2 , t 3 R,
teht egy hrom dimenzis altr.
ltalnossgban elmondhat, hogy egy n-dimenzis Euklideszi trben adott

vektorra merleges vektorok egy (n1)-dimenzis alteret alkotnak, azaz egy
orign tmen hiperskot.
2.28. Feladat. rjuk fel az n normlvektor, r-re illeszked sk egyenlett
R3 -ban!
1. n = (1, 2, 3), r = (1, 1, 1),
2. n = (2, 1, 4), r = (2, 3, 1),
3. n = (1, 1, 1), r = (1, 1, 1).
llaptsuk meg, hogy a z = (2, 1, 2) vektor eleme-e a skok valamelyiknek!
Megolds. Egy x = (x1 , x2 , x3 ) vektor pontosan akkor lesz eleme az n normlvektor s r-re illeszked sknak, ha az x r vektor merleges az n
normlvektorra, azaz ha teljesl, hogy (x r, n) = 0. trendezs utn
(x, n) = (r, n)
addik, ami koordintkkal rva:
x1 n1 + x 2 n2 + x 3 n3 = r 1 n1 + r 2 n2 + r 3 n3 .
(A kzpiskols tananyagban szerepelt az egyenes normlvektoros egyenlete,
ami analg a fenti egyenlettel: x1 n1 + x2 n2 = r1 n1 + r2 n2 .)
2. EUKLIDESZI TEREK
75
PSfrag replacements
xr
1. Helyettestsk be a megfelel koordintkat a fenti egyenletbe:

x1 + 2x2 + 3x3 = 6.
Mivel a (2, 1, 2) vektor koordinti teljestik az egyenletet, gy z eleme
a sknak.
2. A keresett egyenlet: 2x1 + x2 + 4x3 = 5, s z nem eleme a sknak.
3. Az egyenlet: x1 + x2 + x3 = 3, s z eleme a sknak.
2.29. Feladat. rjuk fel annak a sknak az egyenlett, ami illeszkedik az
albbi hrom pontra!
1. a = (3, 2, 1), b = (2, 1, 2), c = (0, 0, 5),
2. a = (1, 1, 1), b = (2, 2, 0), c = (3, 1, 1),
3. a = (5, 1, 1), b = (0, 2, 0), c = (2, 1, 4).
Megolds.
1. Keresnk egy olyan n vektort, ami merleges a skra, gy merleges a
b a = (1, 1, 1) s a c a = (3, 2, 4) vektorra is, teht
n1 n2 + n3 = 0
3n1 2n2 + 4n3 = 0.
Ha ezt az egyenletrendszert megoldjuk, akkor azt kapjuk, hogy n =

(2, 1, 1)t, t R. Vlasszuk t-t 1-nek, ekkor a sk normlvektora
(2, 1, 1), s a keresett egyenlet (x, n) = (a, n), azaz
2x1 x2 + x3 = 5.
2. Hasonlan, ba = (3, 1, 1), ca = (2, 0, 2), s a sk normlvektora

megkaphat az
3n1 + n2 n3 = 0
2n1
2n3 = 0
egyenletrendszerbl: n := (1, 4, 1). A sk egyenlete

x1 + 4x2 + x3 = 6.
76
3. Most b a = (5, 3, 1), c a = (3, 0, 3), az egyenletrendszerre pedig

5n1 3n2 n3 = 0
3n1
+ 3n3 = 0
addik. Legyen n = (1, 2, 1), gy a sk egyenlete: x 1 2x2 +x3 = 4.
2.30. Feladat. rjuk fel az R3 -beli r pontra illeszked s v irnyvektor

egyenes egyenletrendszert!
1. r = (1, 2, 1), v = (1, 3, 1),
2. r = (1, 0, 4), v = (1, 2, 3),
3. r = (1, 3, 4), v = (2, 1, 0),
4. r = (1, 0, 0), v = (1, 0, 0).
Megolds. R3 -ban egy egyenest nem egy, hanem kt egyenlettel lehet jellemezni. Egy x = (x1 , x2 , x3 ) pont akkor s csak akkor lesz eleme az egyenesnek, ha x = r + tv valamely t vals szm esetn. Ez a hrom koordintra
egy-egy egyenletet jelent:
x1 = r1 + tv1
x2 = r2 + tv2
x3 = r3 + tv3 .
Ezekbl t-t kifejezve azt kapjuk, hogy
x1 r 1
x2 r 2
x3 r 3
=
=
,
v1
v2
v3
ha v-nek nincs nulla koordintja, ez az egyenes kanonikus egyenletrendszere.
1. Az egyenes egyenletrendszere:
x2 2
= x3 + 1,
3
ami egy kt egyenletbl ll lineris egyenletrendszerrel egyenrtk.
Ugyanez az egyenes teht megadhat pldul az albbi egyenletrendszerrel is:
3x1 x2
= 1
x1
x3 = 2.
x1 1 =
2. Az egyenes egyenletrendszere:
x1 + 1
x2
x3 4
=
=
,
1
2
3
2. EUKLIDESZI TEREK
77
s ebbl pldul az albbi egyenletrendszer rhat fel:

2x1 x2
= 2
3x2 2x3 = 8
(A kt egyenlet egy-egy skot ad meg, az egyenes teht ezen kt sk

metszete. Termszetesen ms egyenletrendszer is jellemezheti ugyanezen
egyenest.)
3. Most v-nek van nulla koordintja, ezrt tekintsk elszr a paramteres
alakot:
x1 = 1 + 2t
x2 = 3 t
x3 = 4,
teht az egyenes egyenletrendszere
x2 3
x1 + 1
=
, x3 = 4.
2
1
4. Ez az egyenes az gynevezett x-tengely. A paramteres egyenletrendszer:
x1 = 1 + t
x2 = 0
x3 = 0,
teht x1 tetszleges lehet, s az egyenest meghatroz kt egyenlet:
x2 = 0, x3 = 0.
2.31. Feladat. Gram-Schmidt ortogonalizcis eljrssal ortonormljuk az
albbi vektorrendszereket!
1. b1 = (1, 2, 1), b2 = (1, 2, 0), b3 = (2, 1, 1),
2. b1 = (1, 1, 1), b2 = (0, 1, 2), b3 = (2, 3, 1),
3. b1 = (1, 1, 1), b2 = (1, 1, 2), b3 = (1, 2, 3),
4. b1 = (1, 2, 1), b2 = (2, 1, 2), b3 = (1, 1, 1),
5. b1 = (0, 1, 0, 1), b2 = (1, 2, 0, 1), b3 = (2, 1, 1, 0).
Megolds. Az ortonormlt vektorrendszer els elme e1 =
elemet pedig az els k 1 elem ismertben e k =
e0k
||e0k ||
b1
||b1 || ,
adja, ahol
e0k = bk (bk , e1 )e1 (bk , ek1 )ek1 .
a k-adik
78
1. Helyettestsk be a megfelel vektorokat a kpletbe:

1
b1
1
2 ,
e1 =
=
||b1 ||
6 1
*
+

1
1
1
1
1 1
0
2
2 ,
2
2
e2 = b2 (b2 , e1 )e1 =
6 1
6 1
0
0

* +
1
1
1
1
1
1
3/2
1 3
2 , 2
2 =
2
2 =
1 ,
= 2
6
6
0
0
1
1
0
1
1/2

3
1
e2 = 2 ,
14 1
e02 = b3 (b3 , e1 )e1 (b3 , e2 )e2

* +
* +
2
1
1
2
3
3
2
1
1
1 , 2 2
1 , 2 2
= 1
6
14
1
1
1
1
1
1
1

2
1
3
2
1
9
1
2
1 ,
= 1 2
=
6 1
14 1
21
1
4

2
1
e3 = 1 .
21
4

1
1
1
1
1
1
0 , e3 = 6
2 .
2. e1 = 3 1 , e2 = 2
1
1
1

1
1
1
1
1
1
1 .
3. e1 = 3 1 , e2 = 6 1 , e3 = 2
1
2
0

1
1
1
4. e1 = 16 2 , e2 = 13 1 , e3 = 12 0 .
1
1
1

0
2
1
1
1
1
1
1
1

5. e1 = 2
0 , e2 = 6 0 , e3 = 2 3 3 .
1
1
1
2. EUKLIDESZI TEREK
79
2.32. Feladat. Adjunk meg R3 -ban egy olyan ortogonlis bzist, amelynek
egyik vektora b1 , ahol
1. b1 = (2, 1, 1),
2. b1 = (0, 1, 1)!
Megolds. Hrom linerisan fggetlen vektorbl Gram-Schmidt ortogonalizcis eljrssal tudunk ortogonlis bzist kszteni. Az adott b1 vektorhoz
kell teht tallnunk mg kt vektort gy, hogy egytt R 3 egy bzist adjk.
1. Vlasszunk ki a b1 , e1 , e2 , e3 vektorrendszerbl egy bzist gy, hogy b1
benne maradjon. Vilgos, hogy b1 , e2 , e3 linerisan fggetlenek, alkalmazzuk teht az ortogonalizcis eljrst:

0
2
2
b
b1
1 1
1 =
5 ,
b02 = e2 e2 , 1
= 1
||b1 || ||b1 ||
6
6 1
0
1

b1
b1
b2
b2
0
b3 = e3 e3 ,
e3 ,
||b1 || ||b1 ||
||b2 || ||b2 ||

0
2
2
2
1
1 1
5 =
0 ,
= 0 1
6
30
5
1
1
1
4
mivel itt a vektorokat nem kell normlnunk, egy megfelel ortogonlis

bzist alkotnak a b1 = (2, 1, 1), (2, 5, 1), (1, 0, 2) vektorok.
2. Hasonlan, most b1 , e1 , e2 bzis R3 -ban, s ebbl Gram-Schmidt ortogonalizcis eljrssal kszthet ortogonlis bzis: (0, 1, 1), (1, 0, 0),
(0, 1, 1).
2.33. Feladat. Adjunk meg ortonormlt bzist az albbi alterekben:
1. H1 = L((1, 2, 1), (1, 0, 3)),
2. H2 = L((1, 1, 2), (2, 1, 0), (0, 3, 4)),
3. H3 = L((1, 1, 0, 1), (1, 3, 4, 3), (0, 2, 0, 2), (2, 4, 4, 4)).
Megolds. Elszr az alteret generl vektorrendszerbl ki kell vlasztani egy
bzist, majd alkalmazhat a Gram-Schmidt ortogonalizcis eljrs.
1. Mivel ez a kt vektor linerisan fggetlen, gy az ortonormlt bzis e 1
s e2 ahol:

1
1
1
4
2
1
2
1
1
2 , e02 = 0 2 = 2 , e2 = 1 .
e1 =
6
3
6
21
1
3
1
8
4
80
2. Elimincival vlasszunk ki egy linerisan fggetlen vektorrendszert:
1 1 2
1 1 2
2 1 0 0 3 4 ,
0 3 4
0 3 4
teht az els kt vektor H2 egy bzist adja. Alkalmazzuk a GramSchmidt eljrst, s a kapott ortonormlt bzist az 16 (1, 1, 2) s az
1 (11, 7, 2)akat
174
vektorok adjk.
3. Elimincival azt kapjuk, hogy az els hrom vektor a H 3 altr egy
bzist adja, ezen vektorokra alkalmazva az ortogonalizcis eljrst az
albbiakat kapjuk: 13 (1, 1, 0, 1), 142 (2, 1, 6, 1), 12 (0, 1, 0, 1).
2.34. Feladat. Az E 9-dimenzis Euklideszi trben H egy 4-dimenzis altr. Mennyi H ortogonlis komplementernek a dimenzija?
Megolds. Mivel H H > = E, gy dim H > = 5.
2.35. Feladat. Adjuk meg egy-egy bzist az albbi alterek ortogonlis
komplementernek!
1. H1 = L(2, 1, 3),
2. H2 = L((1, 3, 2), (4, 1, 0)),
3. H3 = L((0, 1, 1, 0), (1, 2, 1, 1), (1, 0, 0, 1), (1, 1, 1, 1)).
Megolds. Egy x vektor pontosan akkor lesz eleme az altr ortogonlis komplementernek, ha az alteret generl vektorok mindegyikre merleges.
1. Itt x H1> , ha ((x1 , x2 , x3 ), (2, 1, 3)) = 0, teht a
2x1 x2 + 3x3 = 0
egy egyenletbl ll homogn lineris egyenletrendszert kell megoldani,

ennek megoldstere lesz az ortogonlis komplementer.

x1
3/2
1/2
x2 = 0 t1 + 1 t2 , t1 , t2 R.
x3
1
0
Teht a H1> altr egy bzist adjk a (3, 0, 2), (1, 2, 0) vektorok. (Ellenrizhetjk, hogy az eredmnyknt kapott vektoroknak s a H 1 alteret
generl vektornak a bels szorzata valban nulla.)
2. A H2> altr elemei azok a vektorok lesznek, amelyek mindkt H 2 -t generl vektorra merlegesek, teht ezekkel vett bels szorzatuk nulla:
x1 3x2 + 2x3 = 0
4x1 + x2
= 0.
2. EUKLIDESZI TEREK
81
Innen (x1 , x2 , x3 ) = (2/13, 8/13, 1)t, ahol t R, teht az (2, 8, 13)

vektor bzis H2> -ben.
3. Hasonlan, az
x2 x 3
x1 + 2x2 + x3 x4
x1
x4
x1 + x2 x3 + x4
=
=
=
=
0
0
0
0
egyenletrendszer megoldsa utn azt kapjuk, hogy H 3> = L(1, 0, 0, 1).
2.36. Feladat. Adjunk meg ortogonlis bzist az albbi alterek ortogonlis

komplementerben!
1. H1 = L(1, 2, 1),
2. H2 = L((1, 2, 0, 1), (1, 2, 1, 0)),
3. H3 = L((1, 1, 2, 0), (2, 1, 0, 1), (0, 1, 4, 1)).
Megolds. Az elz feladathoz hasonlan kell eljrnunk, de a kapott vektorokat mg ortonogonalizlnunk kell a Gram-Schmidt eljrssal.
1. Az x1 +2x2 x3 = 0 egyenlet megoldstert a (2, 1, 0), (1, 0, 1) vektorok
generljk, ezekre alkalmazva az ortogonalizcis eljrst azt kapjuk,
hogy

1
1
>
H1 = L (2, 1, 0), (1, 2, 5) .
5
30
Ez egyben ortonormlt bzis is.
2. A kt egyenletbl ll egyenletrendszer megoldsa utn
H2> = L((2, 1, 4, 0), (2, 1, 0, 4)),
s ezen kt vektor ortonogonalizlsa utn azt kapjuk, hogy
H2> = L ((2, 1, 4, 0), (12, 8, 4, 28)) .
3. Els lpsben (2, 4, 1, 0), (1, 1, 0, 1) addik, majd ortogonalizls utn
(2, 4, 1, 0), (3, 1, 2, 7).
2.37. Feladat. Adjuk meg az x vektor merleges vetlett a H = L(b 1 , b2 )

altrre, ahol
1. x = (3, 7, 2), H = L((1, 2, 1), (1, 0, 2)),
2. x = (3, 7, 6), H = L((1, 1, 1), (2, 0, 3),
3. x = (2, 5, 3, 3), H = L((5, 4, 1, 2), (3, 1, 2, 1)).
82
Megolds. Az x0 vektor akkor lesz az x merleges vetlete, ha egyrszt

x0 H (teht elll a H-t generl vektorok lineris kombincijaknt),
msrszt az x00 := x x0 vektor merleges H-ra (azaz merleges a H-t
generl
b1 , b2 vektorokra).
PSfrag
replacements
x
x00
H
b1
b2
x0
Keressk teht azokat az 1 , 2 konstansokat, amelyekre teljesl, hogy ha

x0 = 1 b1 + 2 b2 , akkor az x x0 vektor merleges b1 -re s b2 -re is. Ekkor
0 = (x 1 b1 2 b2 , b1 ) = (x, b1 ) 1 (b1 , b1 ) 2 (b2 , b1 ),
s hasonl egyenlet teljesl b2 -re is. Innen a keresett konstansok meghatrozhatak.

1. Helyettestsk teht be a megfelel vektorokat az
1 (b1 , b1 ) + 2 (b2 , b1 ) = (x, b1 )
1 (b1 , b2 ) + 2 (b2 , b2 ) = (x, b2 )
egyenletrendszerbe:
61 + 2 = 13
1 + 52 = 7.
Innen 1 = 2, 2 = 1, s gy a merleges vetlet: x0 = 2b1 +b2 = (1, 4, 4).
2. Hasonlan, most
31 2 = 4
1 + 132 = 24,
innen 1 = 2 = 2, s gy a merleges vetlet: x0 = 2b1 + 2b2 = (6, 2, 4).

3. Az egyenletrendszer most
461 + 72 = 39
71 + 152 = 8,
1 = 1, 2 = 1, s a merleges vetlet: x0 = b1 b2 = (2, 5, 3, 3).

2.38. Feladat. Szmtsuk ki az x vektor tvolsgt a H altrtl az elz
feladat adataival! Hogyan hatrozhat meg az x vektornak a H altrrel
bezrt szge?
3. EUKLIDESZI TEREK LINERIS OPERTORAI
83
Megolds. Az elz feladat megoldsnak jellseivel a tvolsgot az x00 =

x x0 vektor normja adja, a keresett szg pedig az x s az x0 ltal bezrt
szg.
1. x00 = (3, 7, 2) (1, 4, 4) = (4, 3, 2) s ||x 00 || = 29. Az altrrel

bezrt szg:
(x, x0 )
33
= ,
= arccos
0
||x||||x ||
62 33
vagy mskppen a derkszg hromszg segtsgvel
||x0 ||
33
= .
= arccos
||x||
62
2. x00 = (3, 5, 2) s ||x00 || = 38, cos = 56/ 94.

3. x00 = (0, 0, 0, 0) s ||x00 || = 0, mert az x vektor eleme az altrnek. Termszetesen = 0.
2.39. Feladat. Mennyi az x = (4, 3, 8) vektor tvolsga attl a sktl,
amelynek egyenlete x1 2x2 + 3x3 = 6?
Megolds.
1. A sk normlvektora n = (1, 2, 3). Keressk azon x 0 = (x1 , x2 , x3 )
pontjt a sknak, amire teljesl, hogy x0 + n = x valamilyen vals
szm esetn (teht szemlletesen x0 az x pontbl a skra lltott merleges
egyenes metszspontja a skkal.) Teht
(x1 , x2 , x3 ) + (1, 2, 3) = (4, 3, 8),
0
innen x1 = 4 , x2 = 3 + 2, x3 = 8 3. Mivel x
teljesti a sk
egyenlett = 2 addik, s a keresett tvolsg ||2n|| = 56.
2. Msik lehetsg, hogy visszavezetjk a feladatot egy altrtl vett tvolsg meghatrozsra. A sk egy reprezentnsvektora pldul az r =
(0, 0, 2) vektor. A keresett tvolsg megegyezik az x r vektornak a
x1 2x2 + 3x3 = 0 egyenlet sktl vett tvolsgval, ez pedig mr
altr.
3. Euklideszi terek lineris opertorai

2.40. Feladat. A : R3 R3 lineris opertor mtrixa a termszetes
bzisra vonatkozan A. Mi a adjunglt opertor mtrixa?
Megolds. mtrixa A> , hiszen
.
(Ax, y) = ((x), y) = (x, (y)) = (x, A y)
84
teljesl minden x, y R3 esetn. A kanonikus bels szorzat esetn (a, b) =

a> b, gy
(Ax)> y = x> A> y = x> A y,
azaz A = A> . (Ez az sszefggs tetszleges ortonormlt bzis esetn teljesl, ekkor ugyanis a bels szorzs mtrixa az E egysgmtrix.)
2.41. Feladat. A 1 , 2 : Rn Rn lineris opertorok mtrixa a termszetes bzisra vonatkozan A illetve B, s 1 nadjunglt opertor, 2
pedig ortogonlis opertor. Az albbi lltsok kzl melyek igazak, s
melyek hamisak?
1. A szimmetrikus.
2. B szimmetrikus.
3. B 1 = B > .
4. det B = 1.
5. A nem lehet ortogonlis mtrix.
6. 1 minden sajtrtke vals.
7. 2 -nek van vals sajtrtke.
8. 1 sajtvektorai egymsra merlegesek.
9. B oszlopvektorai egymsra merlegesek.
10. A diagonalizlhat mtrix.
11. B diagonalizlhat mtrix.
12. x s Bx normja megegyezik.
Megolds.
1. Igaz.
2. Nem felttlenl igaz, pldul az R 2 -beli orig krli forgats mtrixa:

cos sin
.
sin cos
3. Igaz.
4. Nem igaz. Az llts helyesen: det B = +1 vagy 1.
5. De lehet. Pldul az identikus transzformci mtrixa (az egysgmtrix)
szimmetrikus s ortogonlis is.
6. Igaz.
7. Nem igaz. Pldul az R2 -beli orig krli forgatsnak nincs vals sajtrtke.
8. Nem igaz. Helyesen: 1 klnbz sajtrtkeihez tartoz sajtvektorai
merlegesek egymsra.
9. Igaz. St, egysghosszak is, s ugyanez igaz sorvektoraira is.
10. Igaz.
11. Nem felttlenl igaz.
85
12. Igaz.
2.42. Feladat. rjuk fel a lineris opertor termszetes bzisra vonatkoz
mtrixt. llaptsuk meg, hogy nadjunglt illetve ortogonlis opertore!
1. az R2 -beli y tengelyre tkrzs,
2. az R3 -beli origra tkrzs,
3. az R3 -beli [x, y]-skra val merleges vetts,
4. az R2 -beli orig krli szg forgats,
5. az R2 -beli orig kzppont hromszoros nagyts.
Megolds. Az nadjunglt opertorok mtrixa ortonormlt bzisban szimmetrikus, az ortogonlis opertorok mtrixa pedig ortogonlis mtrix, azaz
sorai (oszlopai) egymsra merleges egysgvektorok.
1. A transzformci mtrixa oszlopaiban tartalmazza a bzisvektorok kpnek koordintit: Mivel (1, 0) = (1, 0) s (0, 1) = (0, 1), gy a
keresett mtrix

1 0
A=
.
0 1
Ez az opertor nadjunglt is s ortogonlis is. A mtrix diagonlis, a
termszetes bzis itt sajtvektorokbl ll orotonormlt bzis is egyben.
2. Az opertor mtrixa:
1 0
0
A = 0 1 0 ,
0
0 1
nadjunglt s ortogonlis is.
3. Az opertor mtrixa:
1 0 0
A = 0 1 0 ,
0 0 0
teht nadjunglt opertor, de nem ortogonlis.

4. Most mtrixa

cos sin
A=
,
sin cos
ez ortogonlis mtrix. Valban, sorvektorai egysghosszak cos 2 +

sin2 = 1 miatt, s merlegesek egymsra, mert bels szorzatuk nulla.
5. Mivel az opertor mtrixa

3 0
A=
,
0 3
86
gy ez szimmetrikus, de nem ortogonlis transzformci.

2.43. Feladat. rjuk fel a : R3 R3 lineris opertor mtrixt, ha
az x1 + 2x2 + x3 = 0 egyenlet skra val tkrzs. nadjunglt illetve
ortogonlis-e ez az opertor?
Megolds. Az ortogonlis felbonts szerint x = x0 +x00 , ahol x0 az x merleges
vetlete a skra, x00 pedig az x merleges vetlete az n irny egyenesre,
ahol n = 16 (1, 2, 1) a sk norml-egysgvektora. A 2.23 feladat alapjn
x00 = (x, n)n, gy
(x) = x 2x00 = x 2(x, n)n.
x
PSfrag replacements
x00
n
0
x0
(x)
Innen
1 1
(1, 0, 0) = (1, 0, 0) 2 (1, 2, 1) = (2/3, 2/3, 1/3),
6 6
2
(0, 1, 0) = (0, 1, 0) (1, 2, 1) = (2/3, 1/3, 2/3),
3
1
(0, 0, 1) = (0, 0, 1) (1, 2, 1) = (1/3, 2/3, 2/3),
3
gy az opertor mtrixa:
2/3 2/3 1/3

2/3 1/3 2/3 ,
1/3 2/3 2/3
teht ez egy szimmetrikus s ortogonlis opertor.
2.44. Feladat. rjuk fel a : R3 R3 lineris opertor mtrixt, ha az

x1 + x2 3x3 = 0 egyenlet skra val merleges vetts. nadjunglt illetve
ortogonlis-e ez az opertor?
Megolds. Az elz feladat jellseivel:
(x) = x0 = x x00 = x (x, n)n,
ahol n =
1 (1, 1, 3).
11
87
Ekkor
1
(1, 1, 3) = (10/11, 1/11, 3/11),
11
1
(0, 1, 0) = (0, 1, 0) (1, 1, 3) = (1/11, 10/11, 3/11),
11
(0, 0, 1) = (0, 0, 1) 11(1, 1, 3) = (3/11, 3/11, 2/11),

3
s a keresett mtrix
10 1 3
1
1 10 3 .
11
3
3 2
Ez egy nadjunglt opertor.
2.45. Feladat. Diagonalizljuk a nadjunglt opertor mtrixt, s adjuk
meg azt az ortonormlt bzist, amelyben mtrixa diagonlis alak, ha
mtrixa a termszetes bzisra vonatkozan

2 1 0
1 0 3
3 1
(1)
(2) 1 2 0 (3) 0 2 0
1 3
0 0 2
3 0 1
(1, 0, 0) = (1, 0, 0)
(4)
2
1 1
1
2 1 (5)
1 1 2
1 1 1
1 1 1 (6)
1 1 1
1 0 1
0 7 0
1 0 1
Megolds. Elszr a lineris transzformciknl tanult mdon meghatrozzuk a lekpezs karakterisztikus egyenlett. Ebbl megkapjuk a sajtrtkeket, majd meghatrozzuk a sajtrtkekhez tartoz sajtaltereket. Mivel
nadjunglt opertorokrl van sz, minden sajtrtk vals, mindig ltezik
sajtvektorokbl ll bzis, st, sajtvektorokbl ll ortonormlt bzis
is. Ennek megadshoz a kapott sajtvektorokat normljuk, illetve tbbdimenzis sajtaltr esetn Gram-Schmidt ortogonalizcis eljrst alkalmazunk.
1. Hatrozzuk meg a sajtrtkeket:

3

1

= (3 )2 1 = 2 6 + 8 = ( 4)( 2),
1
3
teht a sajtrtkek a 2 s a 4. A = 2 sajtrtkhez tartoz sajtvektorok az albbi egyenletrendszerbl hatrozhatak meg:

x1 + x 2 = 0
,
x1 + x 2 = 0
88
teht L2 = L(1, 1). A = 4 esetben

x1 + x2 = 0
,
x1 x 2 = 0
teht L4 = L(1, 1). Lthat, hogy a kt altr vektorai merlegesek
egymsra, ezen alterekbl kell kivlasztani egysghossz vektorokat. A
keresett sajtvektorokbl ll ortonormlt bzis: 12 (1, 1), 12 (1, 1). A
bzistranszformci S mtrixa ekkor ortogonlis mtrix, s S 1 AS =
S > AS diagonlis:

1 1 1
3 1 1 1 1
2 0
=
.
1 3
0 4
2 1 1
2 1 1
2. A karakterisztikus polinom x3 6x2 + 11x 6, s hrom klnbz
sajtrtk van: 1,2,3. A sajtrtkekhez tartoz sajtalterek egymsra
ortogonlisak:
L1 = L(1, 1, 0), L2 = L(0, 0, 1), L3 = L(1, 1, 0),
teht a bzistranszformci ortogonlis mtrixa (ennek oszlopaiban szerepelnek a sajtvektorokbl ll ortonormlt bzis vektorai):
1/ 2 0 1/2
S = 1/ 2 0 1/ 2 .
0
1
0
3. A karakterisztikus polinom x3 12x + 16, a sajtrtkek: -4,2,2. A

sajtrtkekhez tartoz sajtalterek:
L4 = L(1, 0, 1), L2 = L((1, 0, 1), (0, 1, 0)).
Mivel itt az L2 altr generl vektorai ortogonlisak, rgtn felrhatjuk
a sajtvektorokbl ll ortonormlt bzist:
(1/ 2, 0, 1/ 2), (1/ 2, 0, 1/ 2), (0, 1, 0).

4. A karakterisztikus polinom x3 6x2 + 9x 4, a sajtrtkek: 4,1,1. A
sajtrtkekhez tartoz sajtalterek:
L4 = L(1, 1, 1), L1 = L((1, 1, 0), (1, 0, 1)).
89
Mivel itt az L1 altr generl vektorai nem ortogonlisak, gy GramSchmidt ortogonalizcis eljrssal meghatrozunk egy ortonormlt bzist ebben az altrben: 12 (1, 1, 0), 16 (1, 1, 2). Teht
1/3 1/ 2 1/6
S = 1/ 3 1/ 2 1/6 .
1/ 3
0
2/ 6
5. A karakterisztikus polinom x3 3x2 , a sajtrtkek: 3,0,0, a sajtalterek:

L3 = L(1, 1, 1), L0 = L((1, 0, 1), (1, 1, 0)).
Mivel itt az L0 altr generl vektorai nem ortogonlisak, gy GramSchmidt ortogonalizcis eljrssal meghatrozunk egy ortonormlt bzist ebben az altrben: 12 (1, 0, 1), 16 (1, 2, 1). Teht

1/3 1/ 2 1/ 6
S = 1/3
0
2/ 6 .
1/ 3 1/ 2 1/ 6
6. A karakterisztikus polinom x3 9x2 + 14x, a sajtrtkek: 0,7,2. A

keresett ortonormlt bzis:
1
1
(1, 0, 1), (0, 1, 0), (1, 0, 1).
2
2
2.46. Feladat. Mi a geometriai jelentse annak a : R 3 R3 ortogonlis
opertornak, amelynek vals sajtrtkei pontosan:
(1) 1, 1, 1, (2) 1, 1, 1, (3) 1, 1, 1, (4) 1, 1, 1,
(5) 1,
(6) 1
Megolds. Ha hrom vals sajtrtk van, akkor ltezik ortonormlt bzis,
melyben mtrixa diagonlis, ftlban ezen sajtrtkekkel.
1. Identikus lekpezs.
2. Skra tkrzs (A bzis hrom egymsra merleges sajtvektora kzl
kett fix marad, egy ellenttes irny lesz hatsra).
3. Egyenesre tkrzs.
4. Origra tkrzs.
5. Csak egy vals sajtrtk van (s az 1), gy ez egy tengely krli forgats.
6. Forgatva tkrzs.
2.47. Feladat. Mi a geometria jelentse a ortogonlis opertornak, ha a
termszetes bzisra vonatkoz mtrixa:
90
(1)
(3)

1/2 3/2
(2)
3/2
1/2
2/3 1/3 2/3

2/3
2/3 1/3 (4)
1/3 2/3
2/3
2/3
2/3
1/3
1 0
0 0
0 1
2/3 1/3
1/3 2/3
2/3 2/3
0
1
0
Megolds.

cos sin
alak, ahol = 60 , teht ez egy orig
sin cos
krli szg forgats.
2. Hatrozzuk meg a mtrix karakterisztikus polinomjt s a sajtrtkeket:
x3 x2 x+1, illetve 1, 1, 1. Ez teht egy skra tkrzs. Megkaphatjuk
a sk normlvektort, ha meghatrozzuk a 1-hez tartoz sajtvektorokat: L1 = (1, 2, 1), teht az x1 2x2 + x3 = 0 egyenlet
skra tkrzs. (Az 1-hez tartoz sajtalteret ppen ennek a sknak a
vektorai adjk, ezek fixpontjai.)
3. A karakterisztikus polinom x3 2x2 + 2x 1 = (x 1)(x2 x + 1), teht
csak egy vals sajtrtk van, ez teht egy tengely krli forgats, a
tengely vektorait (ezek fixen maradnak) az 1-hez tartoz sajtvektorok
adjk: L1 = (1, 1, 1). Eszerint az invarins sk egyenlete x 1 +x2 +x3 = 0,
ebben a skban orig krli forgatsknt hat. Mi a forgats szge? Az
egyszersg kedvrt vegynk egy vektort az invarins skbl, pldul
az x = (0, 1, 1)-et, s nzzk meg mi lesz a ltali kpe:

2/3 1/3 2/3
0
1
2/3 1/3 1 = 0 .
(x) = 2/3
1/3 2/3
2/3
1
1
1. Ez a mtrix
A forgats szge az x s (x) ltal bezrt szg: cos = 212 = 12 , teht

= 60 .
4. A karakterisztikus polinom x3 + x2 + x + 1 = (x + 1)(x2 + 1), teht az
egyetlen vals sajtrtk 1. A lekpezs forgatva tkrzs, az invarins
sk normlvektora (1, 0, 0), mert L1 = L(1, 0, 0). Teht az [y, z]-skban
forgatsknt hat , enne szge 90 , hiszen pldul x = (0, 1, 0) esetn
(x) = (0, 0, 1). Ha azeredetimtrixot megfigyeljk, felfedezhetjk
0 1
benne a 90 -os forgats
mtrixt. A lekpezs teht az [y, z]1 0
skra val tkrzs, s az x-tengely krli 90 -os forgats egyttese.
3. fejezet
Grfelmlet
1. Grfelmleti alapfogalmak
3.1. Feladat. Rajzolja fel a G = (E, , C) irnytott grfot, ha
PSfrag replacements
1. E = {e1 , e2 , e3 , e4 }, C = {c1 , c2 , c3 , c4 }, (e1 ) = (c4 , c1 ), (e2 ) =
(c1 , c4 ), (e3 ) = (c2 , c1 ), (e4 ) = (c4 , c2 ), (e5 ) = (c3 , c3 ).
2. E = {e1 , e2 , e3 , e4 , e5 , e6 , e7 , e8 , e9 , e10 }, C = {c1 , c2 , c3 , c4 , c5 , c6 },
(e1 ) = (c5 , c1 ), (e2 ) = (c5 , c4 ), (e3 ) = (c4 , c3 ), (e4 ) = (c3 , c2 ),
(e5 ) = (c2 , c5 ), (e6 ) = (c3 , c3 ), (e7 ) = (c2 , c1 ), (e8 ) = (c6 , c1 ),
(e9 ) = (c1 , c6 ), (e10 ) = (c6 , c6 ).
3. E = {e1 , e2 , e3 , e4 , e5 , e6 }, C = {c1 , c2 , c3 , c4 , }, (e1 ) = (c2 , c1 ), (e2 ) =
(c1 , c3 ), (e3 ) = (c3 , c2 ), (e4 ) = (c1 , c3 ), (e5 ) = (c4 , c4 ), (e6 ) =
(c4 , c4 ).
Megolds.
e5
e6
c3
c4
e1
e2
e4
c1
1.
c2
e3
c4
e2
c5
c3
e3
c3
e5
e7
e4
e10
c2
c6
e1
e8
c1
e9
2.
e3
e5
c4
e6
c2
e2
e1
e4
c1
3.
3.2. Feladat. Adja meg a 3.1. feladatban szerepl grfok cscsainak kifokt s be-fokt.
Megolds. Egy irnytott grf c cscsnak ki-foka azon lek szma, amelyeknek c a kezdpontja, be-foka pedig a cscsba irnyul lek szma. A
ki-fok jele ki (c), a be-fok jele be (c).
1. ki (c1 ) = 1, ki (c2 ) = 1, ki (c3 ) = 2, ki (c4 ) = 3, be (c1 ) = 2, be (c2 ) =
2, be (c3 ) = 2, be (c4 ) = 1.
91
92
3. GRFELMLET
2. ki (c1 ) = 1, ki (c2 ) = 2, ki (c3 ) = 2, ki (c4 ) = 1, ki (c5 ) = 2, ki (c6 ) =

2. be (c1 ) = 3, be (c2 ) = 1, be (c3 ) = 2, be (c4 ) = 1, be (c5 ) = 1,
be (c6 ) = 2.
3. ki (c1 ) = 2, ki (c2 ) = 1, ki (c3 ) = 1, ki (c4 ) = 2, be (c1 ) = 1, be (c2 ) =
1, be (c3 ) = 2, be (c4 ) = 2.
3.3. Feladat. Rajzolja fel a G = (E, , C) irnytatlan grfot, ha
PSfrag replacements
1. E = {e1 , e2 , e3 , e4 , e5 , e6 , e7 , e8 , e9 , e10 , e11 }, C = {c1 , c2 , c3 , c4 , c5 , c6 },
(e1 ) = (c1 , c2 ), (e2 ) = (c1 , c4 ), (e3 ) = (c4 , c6 ), (e4 ) = (c3 , c4 ),
(e5 ) = (c2 , c4 ), (e6 ) = (c2 , c3 ), (e7 ) = (c3 , c2 ), (e8 ) = (c2 , c3 ),
(e9 ) = (c4 , c5 ), (e10 ) = (c5 , c6 ), (e11 ) = (c5 , c5 ).
2. E = {e1 , e2 , e3 , e4 , e5 , e6 , e7 , e8 , e9 }, C = {c1 , c2 , c3 , c4 , c5 , c6 }, (e1 ) =
(c1 , c2 ), (e2 ) = (c2 , c3 ), (e3 ) = (c3 , c4 ), (e4 ) = (c4 , c5 ), (e5 ) =
(c5 , c6 ), (e6 ) = (c2 , c6 ), (e7 ) = (c2 , c5 ), (e8 ) = (c2 , c4 ), (e9 ) =
(c1 , c5 ).
3. E = {e1 , e2 , e3 , e4 }, C = {c1 , c2 , c3 , c4 , c5 }, (e1 ) = (c2 , c3 ), (e2 ) =
(c3 , c4 ), (e3 ) = (c3 , c5 ), (e4 ) = (c2 , c2 ).
Megolds.
e11
PSfrag replacements
c5
e10
c4 e2 c3 e3 c5
e9
c6
e3
e2
c5
c6
e5
e4
c4
e1
c1
c3
e5 e6 e7 e8
e9
e4
e7 e8
e6
c1 e1
c2
c2 e2
1.
c4
e1
c1
e3
c2
e4
c3
2.
3.
3.4. Feladat. llaptsa meg az albbi grfok cscsainak fokt, tovbb a

grf tmrjt:
c8
c1
c9
c10
c5
c6
c2
c3
1.
c7
c4
c8
c4
c1
c9
c5 c6
c2
c3
2.
c10
c7
c8
c4
c9
c5
c1
c10 c11 c12

c6
c2
c7
c3
3.
Megolds. Egy G grf c cscsnak fokn a cscsra illeszked lek szmt

rtjk. Jele (c). Egy G grf tmrje a cscsok tvolsgnak maximuma,
melyet diam(G)-vel jellnk.
1. GRFELMLETI ALAPFOGALMAK
93
1. (c4 ) = (c8 ) = 1, (c1 ) = (c2 ) = (c3 ) = (c5 ) = 2, (c6 ) = (c7 ) =

(c9 ) = (c10 ) = 3. diam(G) = d(c2 , c8 ) = 5.
2. (c1 ) = (c2 ) = (c3 ) = (c4 ) = 1, (c7 ) = 2, (c8 ) = (c9 ) = (c10 ) = 3,
(c5 ) = (c6 ) = 5. diam(G) = d(c1 , c3 ) = d(c2 , c3 ) = d(c4 , c3 ) = 4.
3. (c1 2) = 0, (c4 ) = (c8 ) = 1, (c2 ) = (c5 ) = (c7 ) = (c10 ) = 2,
(c1 ) = (c3 ) = (c9 ) = (c11 ) = 3, (c5 ) = 4. diam(G) = , hiszen
pldul c1 s c5 kztt nincsen t, gy tvolsguk vgtelen.
3.5. Feladat. Igazoljuk, hogy egy G grf akkor s csak akkor pros, ha nem
tartalmaz pratlan hosszsg krt. (Egy grf pros grf, ha cscsait kt
rszre oszthatjuk gy, hogy a grf minden le az egyik rszbl a msikba
vezet, azaz fehr s fekete sznnel kisznezhetek a cscsai gy, hogy minden
l kt klnbz szn cscsot kt ssze.)
Megolds. Az, hogy pros grf nem tartalmazhat pratlan hosszsg krt,
nyilvnval, hiszen a grf brmely krnek bejrsakor felvltva fordulnak
el a fehr illetve fekete szn cscsok.
Azt, hogy pratlan hosszsg krt nem tartalmaz grf pros, a cscsok szma szerinti teljes indukcival igazoljuk. Az llts nyilvnvalan
igaz n = 1 cscspont grfra. Tegyk fel, hogy igaz az llts minden n = k
cscspont grfra (k N), ebbl ltjuk be, hogy teljesl minden k +1 cscspont grfra is. Legyen teht G egy k + 1 cscspontbl ll grf, amelyben
nincsen pratlan hosszsg kr. Trljk G-nek egy tetszlegesen vlasztott c cscst a hozz illeszked lekkel egytt. Az gy keletkezett G 0 grfnak
k cscsa van, tovbb szintn nem tartalmaz pratlan hosszsg krt, gy
az indukcis feltevs szerint pros grf.
Sznezzk ki G0 cscsait fehrekre s feketkre a megfelel mdon. Beltjuk, hogy c-nek G0 ugyanazon K komponensbe es szomszdai azonos
sznek. Indirekt tegyk fel ugyanis, hogy c-nek kt szomszdja, s 1 s s2
a K komponensben vannak, s s1 fehr, s2 pedig fekete. A K komponens
sszefgg, gy van benne s1 -et s2 -vel sszekt L t, melynek hossza pratlan, hiszen vgpontjai klnbz sznek, s G 0 prossga miatt minden
szomszd klnbz szn. Azonban a (c, s 1 ) s (c, s2 ) leket az L thoz
csatolva G-nek egy pratlan hosszsg krt kapjuk, ez pedig lehetetlen.
Teht a komponenseket kisznezhetjk gy, hogy c minden szomszdja
fehr legyen, gy c-t feketnek tekintve a G grf prossgt kifejez sznezst
kaptunk. Ezzel az lltst belttuk.
3.6. Feladat. Pros grfok-e az albbi grfok? Ha igen, adjuk meg a cscsok egy diszjunkt felosztst.
94
3. GRFELMLET
c9
c5
c11 c1
c12
c10
c7
c6
c2
c3
c8
c8
c4
c4
c9
c5
c1
c10
c7
c6
c2
1.
c6
c4
c3
c7
c8
c5
c1
2.
c2
c3
3.
PSfrag replacements
Megolds. A megoldsban felhasznljuk
a 3.5. feladatot.
1.
2.
1. Knnyen lthat, hogy a grf

3. krei csak 4, 8 vagy 12 lbl llhatnak,
gy a grf pros. A cscsok egy felosztsa: C 1 = {c1 , c3 , c6 , c8 , c10 },
C2 = {c2 , c4 , c5 , c7 , c9 }.
2. Knnyen lthat, hogy a grf krei csak 2, 4 vagy 6 lbl llhatnak,
gy a grf pros. A cscsok egy felosztsa: C 1 = {c1 , c3 , c6 , c8 , c9 },
C2 = {c2 , c4 , c5 , c7 , c10 }.
3. Az brn lthat, hogy a grfnak van pratlan hosszsg kre:
c6
c9
c10c4
c11
c12 c1
c7
c8
c5
c2
c3
Teht a grf nem pros.

3.7. Feladat. Izomorfak-e az albbi grfok? Ha igen, rjuk fel a cscsok s
lek kztti megfeleltetst.
PSfrag replacements
1.
2.
PSfrag replacements
3.
4.
95
PSfrag replacements
5.
6.
Megolds. A G = (E, , C) s a G0 = (E 0 , 0 , C 0 ) grf izomorfak, ha lteznek

olyan : E E 0 s : C C 0 bijektv lekpezsek, melyekre teljesl, hogy
tetszleges, a c1 s c2 cscsokat sszekt e l (e) kpe a (c 1 ) s (c2 )
cscsokat kti ssze (irnytott grf esetn az irnytottsgot is megrizve,
teht ha az e l a c1 cscsba mutat, akkor az (e) l a (c 1 ) cscsba mutat).
Kt grf
izomorfija szemlletesen azt jelenti, hogy az egyik grfbl a cscsok
PSfrag
replacements
elmozgatsval (az leket tetszlegesen hajltva s nyjtva) el tudom lltani
a msikat.
1. A kt grf nem izomorf, hiszen az els grfnak tbb cscspontja van
mint a msodiknak, gy a cscspontok kztt nem adhat meg bijektv
lekpezs.
2. Nyilvnval, hogy egy grf egy n hosszsg krnek az s lekpezsek ltal megfeleltetett, gynevezett izomorf kpe szintn egy n hosszsg kr. Mivel az els grfban van 3 hosszsg kr, csak olyan grffal
lehet izomorf, amiben van 3 hosszsg kr. Teht a kt grf nem
izomorf.
3. A kt grf izomorf. A cscsok s lek kztti megfeleltets felrshoz
jelljk el a grfok cscsait s leit:
c04
c4
c5
c05
e4
e5
c1
e2
c2
e03 c0
3
e05
e3
e1
e04
c3
c01
e01 ,
e01
e03 ,
e02
c02
Az lek megfeleltetse: (e1 ) =

(e2 ) =
(e3 ) = e05 , (e4 ) = e02 ,
(e5 ) = e04 . A cscsok megfeleltetse: (c1 ) = c01 , (c2 ) = c03 , (c3 ) =
c05 , (c4 ) = c02 , (c5 ) = c04 .
PSfrag replacements
96
3. GRFELMLET
c4
e3
e2
c1
c05
e8
e7
e04
c5
e5
e6
c3
e4
c2
e06
e08 e07 0 0
c e
c03 0 4 2
e5
e03
e01 c02
e1
c01
e01 ,
e02 ,
Az lek megfeleltetse: (e1 ) =

(e2 ) =
(e3 ) = e03 , (e4 ) = e04 ,
(e5 ) = e07 , (e6 ) = e08 , (e7 ) = e05 , (e8 ) = e06 . A cscsok megfeleltetse: (c1 ) = c01 , (c2 ) = c05 , (c3 ) = c03 , (c4 ) = c04 , (c5 ) = c02 .
5. A kt grf nem izomorf, hiszen az els grfnak van olyan cscsa, amely
irnyba nem mutat l, mg a msodiknak nincs ilyen cscsa.
c05
e2
c4
c3
e6
e7
c5
e1
e5
e05
c04
e3
0
e01 e6
e8
c1
c2
c01
e4
e08
e04
c03
e07
e02
e03
c02
Az lek megfeleltetse: (e1 ) = e01 , (e2 ) = e02 , (e3 ) = e03 , (e4 ) = e04 ,
(e5 ) = e05 , (e6 ) = e06 , (e7 ) = e07 , (e8 ) = e08 . A cscsok megfeleltetse: (c1 ) = c04 , (c2 ) = c03 , (c3 ) = c02 , (c4 ) = c01 , (c5 ) = c05 .
3.8. Feladat. Adja meg az albbi grfok egy fesztfjt:
PSfrag replacements
1.
Megolds.
2.
3.
PSfrag replacements
97
PSfrag replacements
1.
2.
A harmadik grf nem sszefgg, gy nincs fesztfja.

3.9. Feladat. Adja meg az albbi irnytott grfok gykereit:
c8
c7
c3
c1
c4 c5
c7
c10
c3
c6
1.
c5
c4
c1
c2
c13
c11
c8 c9
c9
c6
c9
c10
c5
c6
c1
c2
2.
c2
c14
c12
c11
c7
c3
c8
c4
3.
Megolds.
1. A c6 cscsba nem vezet irnytott t, gy csak lehet gykr. Knny
leellenrizni, hogy belle mindenhova el lehet jutni, teht a c 6 cscs az
egyetlen gykr.
2. A grfnak nincs gykere.
3. A grf gykerei a c1 , c2 , c3 , c5 , c6 , c7 , c11 , c12 cscsok.
3.10. Feladat. Adjuk meg az albbi egyszer grfok komplementerfit:
PSfrag replacements
1.
2.
3.
4.
Megolds. A grfokbl alkothat teljes grfok:

PSfrag replacements
1.
2.
gy a komplementer grfok:
3.
4.
98
3. GRFELMLET
PSfrag replacements
1.
2.
3.
4.
3.11. Feladat. Hny olyan 6 cscspont egyszer grf van (izomorfitl

eltekintve), amelyben minden pont foka legalbb 4?
Megolds. A feladatnak megfelel grfok ttekinthetetlenl sok lt tartalmaznak, azonban komplementereik keveset. gy ttrnk a komplementerek
vizsglatra, s felhasznljuk azt, hogy a keresett grfok szma nyilvnvalan megegyezik a komplementereik szmval. A teljes 6-grfban minden
pont foka 5, gy a keresett grfok komplementereiben minden cscs fokszma
maximum 1. Izomorfitl eltekintve a kvetkez lehetsgek vannak:
PSfrag replacements
1.
2.
3.
4.
Teht sszesen 4 fle grf van, amely a kvnt tulajdonsggal rendelkezik.

3.12. Feladat. Igazoljuk, hogy
(a) legalbb kt cscsot tartalmaz egyszer grfnak van kt azonos fok
cscsa.
(b) legalbb kt cscsot tartalmaz sszefgg grfnak kevesebb le van,
mint cscsa, akkor van a grfnak elsfok cscsa.
n(n 1)
(c) n cscspont teljes grf leinek szma
.
2
(d) amennyiben egy legfeljebb 2n cscspont egyszer grf minden pontjnak foka legalbb n, akkor a grf sszefgg.
(e) ha egy n cscs grfnak legalbb n + 1 le van, akkor van a grfnak
legalbb 3-adfok pontja.
(f) ha egy sszefgg grf minden cscsnak foka 2, akkor a grf kr.
(g) egy n cscspont sszefgg grfnak legalbb n 1 le van.
(h) ha egy n cscspont grfnak legalbb n le van, akkor van a grfban
kr.
(i) egy sszefgg n cscspont grf pontosan akkor fagrf, ha leinek
szma n 1.
(j) egy n cscspont n l sszefgg grf pontosan 1 krt tartalmaz.
Megolds.
99
(a) Legyen az n cscs G grf egyszer. Mivel egyszer grfban nincsen

hurokl s prhuzamos lek, ezrt brmely cscsot csak a tbbi n 1
csccsal kthet ssze maximum egy l, gy a cscs fokszma n 1.
Teht a fokszmok a kvetkezek lehetnek:
0, 1, 2, . . . , n 1.
Azonban, ha G-ben van izollt pont, akkor nem lehet n 1-edfok pont,
hiszen ez az sszes tbbi ponttal, gy az izollt ponttal is szomszdos
lenne, amely nem lehetsges. Teht a kvetkez fokszmok fordulhatnak
el G-ben:
0, 1, 2, . . . , n 2 vagy 1, 2, 3, . . . n 1.
Mindkt esetben legfeljebb n1 klnbz fokszm lehetsges, gy a grf

n darab cscsa kzl szksgkppen lesz legalbb 2, amelyek fokszma
megegyezik. (Ezt az gynevezett skatulyaelv alapjn mondhatjuk: Ha
n 1-nl tbb trgyak n 1 dobozba rakunk be, akkor legalbb 1
dobozba egynl tbb trgyat raktunk.)
(b) Legyen az n cscs G grf sszefgg. Indirekt tegyk fel, hogy G-nek
nincs elsfok cscsa. Mivel G-nek nincsen izollt pontja sem, minden
pont foka legalbb 2, gy a fokszmok sszege 2n. Ekkor azonban a
fokszmok sszege legalbb n, hiszen az lek szma ppen a fokszmok
sszegnek fele. Teht ellentmondsra jutottunk, melynek oka az indirekt feltevs volt.
(c) A teljes n-grf minden cscsnak foka n 1, gy a fokszmok sszege
n(n 1). A kzfogsi ttel alapjn az lek szma ppen a fokszmok
sszegnek fele, melybl kvetkezik az llts.
(d) Indirekt tegyk fel, hogy a kvnt tulajdonsgokkal rendelkez G grf
tbb komponensbl ll. Ekkor van olyan komponens, amelynek nincsen n-nl tbb pontja. Mivel a grf egyszer, ebben a komponensben
egy cscs fokszma maximum n 1 lehet, amely ellentmond a feladat
fokszm kiktsnek.
(e) Ha az n cscs G grf minden pontjnak foka legfeljebb 2, akkor Gben a fokszmok sszege legfeljebb 2n, gy az lek szma legfeljebb n,
ellenttben a feladat feltevsvel.
(f) A feladat az sszefggsg felhasznlsval az lek bejrsbl addik.
(g) Az lltst n-szerinti teljes indukcival igazoljuk. Az llts n = 1-re
nyilvnval. Tegyk fel, valamely k N esetn az llts igaz, azaz
minden k cscs sszefgg grfnak van k 1 le.
Legyen G egy k + 1 cscspont sszefgg grf. Ha G-nek nincsen
k + 1 le, akkor a feladat (b) rsze alapjn van elsfok pontja. Egy
100
3. GRFELMLET
ilyen pontot a hozz illeszked llel trlve egy k cscspont sszefgg

grfot kapunk, amelynek indukcis feltevsnk szerint van k 1 le,
ami a trlt llel egytt adja, hogy G-nek van k le. Ezzel az lltst
belttuk.
(h) Az lltst n-szerinti teljes indukcival igazoljuk. n = 1-re az llts
nyilvnvalan teljesl. Tegyk fel, hogy valamely k N esetn az llts
igaz, azaz minden k pont s legalbb k l grfban van kr.
Legyen G egy k +1 l grf, melyben legalbb k +1 l van. A feladat
igazolshoz azt kell teht beltni, hogy G tartalmaz krt. Tekintsnk
G-ben egy L leghosszabb utat (olyan utat, amelyben az lek szma
maximlis).
Ha az L t valamely c1 vgpontja G-nek nem elsfok tja, akkor
mris addik, hogy G-ben van kr. Ugyanis ha vesznk egy olyan c 1
vgpont e lt, amely nincs benne az L tban, annak msik, c 2 vgpontja
szksgkppen olyan cscs, amelyen az L t thalad, hiszen ellenkez
esetben az L utat nvelni tudnnk az e llel, amely ellentmondana L
maximalitsnak. gy az L t c1 -bl c2 -be vezet rsze kiegsztve az e
llel egy krt alkot.
Ha L vgpontjai elsfokak, akkor trljk G-nek valamely elsfok
cscst a hozz tartoz llel egytt. Az gy kapott grfnak k pontja van
s legalbb k le, amely az indukcis llts szerint tartamaz krt. Ez a
kr azonban benne van G-ben is, mellyel az lltst belttuk.
(i) Az llts a feladat (g) s (h) rsznek kvetkezmnye.
(j) A feladat (h) rsze szerint a grfunk tartalmaz krt. Jelljnk el egy
krt K-val. Nyilvnval, hogy ha a grfbl kivesznk egy olyan lt,
mely benne van K-ban, az sszefggsget nem rontjuk el. Teht az
gy kapott sszefgg n cscs grfnak n 1 le van, amely a feladat
(i) rsze alapjn fa, azaz nem tartalmaz krt. A fentiekbl mr addik,
hogy a grfnak csak egy kre van, K.
3.13. Feladat. Egy trsasg bizonyos tagjai kzfogssal kszntttk egymst. Bizonytsuk be, hogy pros azoknak a szma, akik pratlan sok emberrel fogtak kezet.
Megolds. Kpezznk egy grfot, amelynek pontjai a trsasg tagjainak
felelnek meg, a grf egy le pedig jelentse azt, hogy a vgpontjainak megfelel
emberek kezet fogtak egymssal. Nyilvn egy ember annyi emberrel fogott kezet, ahny l illeszkedik a neki megfelel cscsra, ami nem ms,
mint a cscs fokszma. Azt kell teht bizonytanunk a feladat lltsnak
beltshoz, hogy a grf pratlan fokszm cscsainak szma pros, amely
a kzfogsi ttel kvetkezmnye.
101
3.14. Feladat. Bizonytsuk be, hogy nincs olyan 7 tag trsasg, ahol rendre 5, 5, 5, 4, 3, 1, 1 ismerse van az embereknek.
Megolds. A feladatnak megfelel grf cscsai jelljk a trsasg tagjait. Kt
cscs akkor legyen sszektve, ha a megfelel tagok ismerik egymst. Teht
azt kell bebizonytanunk, hogy nincs olyan egyszer grf, amely cscsainak
fokszma rendre 5, 5, 5, 4, 3, 1, 1. Beltjuk, hogy az olyan 7 cscspontbl
ll grfokban, melyekben 5 fokszm cscsokbl 3 van, maximum 1 darab
elsfok cscs lehetsges. Legyenek ugyanis az 5 fokszm cscsok c 1 , c2 s
c3 . Ezen cscsok mindegyike a grfnak csak 1 cscsval nem szomszdos.
Indirekt tegyk fel, hogy kt darab els fok cscs van, s 1 s s2 . Mivel
(c1 ) = 5, ezrt c1 az s1 s s2 cscsok valamelyikvel szomszdos. Legyen ez
a cscs az s1 . c2 szintn szomszdos s1 s s2 valamelyikvel, de ez csak s2
lehet, hiszen (s1 ) = 1 s s1 szomszdos c1 -gyel. Viszont c3 is szomszdos
s1 s s2 valamelyikvel, amely lehetetlen. Ezzel az lltst belttuk.
3.15. Feladat. Egy sakkversenyen brmely kt jtkos legfeljebb egyszer
jtszott egymssal. Bizonytsuk be, hogy a verseny brmely pillanatban
volt kt versenyz, akik addig ugyanannyi mrkzst jtszottak le.
Megolds. A feladatnak megfelel grf cscsai jelljk a jtkosokat. Kt
cscs akkor legyen sszektve, ha a megfelel jtkosok jtszottak egymssal.
Lthat, hogy a feladat a 3.12. feladat (a) rszvel azonos.
3.16. Feladat. Egy futball bajnoksgon n csapat vett rszt, s mindenki
jtszott mindenkivel. Hny mrkzs volt sszesen?
Megolds. A feladatnak megfelel grf cscsai jelljk a csapatokat, kt cscs
akkor legyen sszektve, ha a megfelel csapatok jtszottak egymssal. A
krds teht az, hogy az n cscspont teljes grfunknak hny le van, amely
n(n 1)
a 3.12. feladat (c) rsze alapjn
.
2
3.17. Feladat. Egy futball bajnoksgban 18 csapat vesz rszt. Minden
htvgn lezajlik egy fordul, amelyben valamilyen prostsban kilenc mrkzst rendeznek. Igazoljuk, hogy 8 fordul utn van legalbb 3 olyan csapat,
amelyek egyltaln nem jtszottak mg egymssal.
Megolds. Rendeljk azt a grfot a feladathoz, melynek cscsai a csapatokat
reprezentljk, tovbb kt cscs akkor van sszektve, ha a csapatok mr
jtszottak egymssal. A feladat teht hrom olyan cscs keresse, amelyek
egyike sem szomszdos a msik kettvel. Legyen c egy tetszleges cscs, s
legyenek c1 , c2 , . . . , c9 azok a cscsok, amelyekkel nem szomszdos.
Beltjuk, hogy ezen kilenc cscs kztt van 2 olyan, amelyeket egymssal
nem kt ssze l, teht a c cscs s ezen kt cscs a kvnt tulajdonsgak.
102
3. GRFELMLET
Indirekt tegyk fel, hogy nincs kt olyan cscs a c 1 , c2 , . . . , c9 pontok

kztt, amelyek egymssal nem szomszdosak, teht a grfban ez a 9 cscs
egy klnll, 9-szgpont teljes grfot alkot. (Azrt mondhatjuk, hogy
klnll, mert tudjuk, hogy a grfban minden cscs foka pontosan 8.) Ez
azt jelenti, hogy ez a 9 csapat nem jtszott meccset a tbbi csapattal, ami
lehetetlen, hiszen egy adott fordulban mindenki plyra lp, s a 9 csapatot
lehetetlen egyms kztt prostani. Ezzel az lltst belttuk.
3.18. Feladat. Bizonytsuk be, hogy ha 2n szm telefonkzpont mindegyiknek van a tbbiek kzl legalbb n-nel kzvetlen sszekttetse, akkor
brmely kt kzpont kztt ltesthet telefonkapcsolat.
Megolds. Legyen G olyan grf, melynek cscsai a telefonkzpontoknak felelnek meg, kt cscs pedig akkor van sszektve, ha a megfelel kzpontoknak
van egymssal kzvetlen kapcsolata. gy megfogalmazva, a feladat a 3.12.
feladat (d) rszvel azonos.
3.19. Feladat. Egy kosrlabda bajnoksgra n csapat nevezett be. Eddig
n + 1 mrkzs zajlott le. Igazoljuk, hogy van olyan csapat, amely legalbb
3 mrkzst jtszott.
Megolds. A feladat a 3.12. feladat (e) rsznek kvetkezmnye.
2. Euler-kr, Euler-vonal, Hamilton-kr

3.20. Feladat. Euler grfok-e az albbi grfok? Ha igen, adjuk meg egy
zrt Euler-vonalukat.
PSfrag replacements
4.
1.
2.
3.
Megolds. Felhasznljuk azt a ttelt, miszerint egy grf akkor s csak akkor
Euler-grf, ha sszefgg, s minden cscsnak foka pros.
1. A grf nem sszefgg, gy nem Euler-grf.
2. A grf sszefgg, tovbb minden cscsnak foka pros, gy Euler-grf.
Egy zrt Euler-vonal megadshoz jelljk el a grf leit:
PSfrag replacements
2. EULER-KR, EULER-VONAL, HAMILTON-KR
e11
e9
e3
PSfrag replacements
e4
103
e10
e5
e7
e6
e1
e8
e2
A grf egy zrt Euler-vonala: {e1 , e2 , e8 , e10 , e7 , e6 , e5 , e4 , e9 , e11 , e3 }.

3. A grf nem Euler-grf, hiszen van pratlan fokszm cscsa.
3.21. Feladat. rja fel az albbi grfok egy Euler-vonalt. Hny Eulervonala van a grfoknak?
e9
e10
e
e6 8
e2 e3
e7
e4 e5
e1
1.
e9
e3
e4
e6
e5
e2
e1
2.
e9
e8
e8
e7
e5 e6 e7
e4
e3
e2
e1
3.
Megolds. A feladatban felhasznljuk, hogy amennyiben egy grfnak van

Euler-vonala, akkor csak az Euler-vonalban szerepl els s az utols cscs
fokszma lehet pratlan, hiszen a tbbi cscs esetn, ha oda "bemegy" a
vonal, akkor onnan tovbb is kell mennie.
1. A grfnak 4 darab pratlan fokszm cscsa van, gy nem ltezik Eulervonala.
2. A grf egy Euler-vonalnak els s utols cscsa csak a grf bal fels
vagy jobb fels cscsa lehet, hiszen ezek fokszma pratlan. Nyilvnvalan irnytatlan grf esetn, ha egy Euler-vonal leinek sorrendjt megfordtjuk, akkor ismt Euler-vonalat kapunk, gy ha felrjuk az
sszes jobb fels cscsbl kiindult, azok leinek sorrendjt megfordtva
megkapjuk a bal fels cscsbl kiindulkat is. A jobb fels cscsbl a
bal fels cscsba 16 Euler-vonal hzhat, teht a grfnak sszesen 32
darab Euler-vonala van. Pr plda: {e 9 , e8 , e7 , e3 , e1 , e2 , e6 , e5 , e4 },
{e9 , e8 , e5 , e2 , e6 , e7 , e4 , e1 , e3 }, {e9 , e8 , e6 , e2 , e4 , e3 , e1 , e5 , e7 }.
3. Termszetesen definilhat irnytott grfok esetn is az Euler-vonal,
ekkor az lek irnytottsga nyilvn korltozza a lehetsgeket. A grf
Euler-vonalainak kezd cscsa a jobb fels cscs, hiszen oda nem vezet
l. Befejez cscsa pedig szksgkppen az e 9 l vgpontja, mivel annak fokszma pratlan. A grfnak 8 darab Euler-vonala van, pldul:
{e9 , e8 , e4 , e2 , e6 , e5 , e1 , e3 , e7 }, {e9 , e5 , e1 , e3 , e7 , e8 , e4 , e2 , e6 }.
104
3. GRFELMLET
3.22. Feladat. Bizonytsuk be, hogy a nevezetes knigsbergi ht hd mindegyikn pontosan egyszer thalad stat nem ltezik.
Megolds. A feladathoz elksztnk egy grfot a kvetkezkppen: feleltessnk meg a foly kt partjnak s a szigeteknek a grf egy-egy cscst, s
legyenek az sszekt lek az egyes hidaknak megfelelek:
A
PSfrag replacements
B
B
A feladat teht egyenrtk a grfunk egy Euler-vonalnak megkeressvel.
PSfrag replacements
Azonban a grfnak mind a ngy cscsa pratlan fokszm, gy az elz
feladatban lertak miatt nincsen Euler-vonala.
3.23. Feladat. rja fel az albbi grfok Hamilton-tjait s Hamilton-kreit:
e6
e5
e4
e3
e2
e1
1.
e2
e3
e5
e4
e4
e2
e3
e7
e1
e1
2.
3.
e6
Megolds.
1. A grf Hamilton-tjai: {e2 , e4 , e1 }, {e2 , e3 , e1 },{e1 , e4 , e2 }, {e1 , e3 , e2 }.
Hamilton-kre nem ltezik a grfnak, hiszen a jobb als cscs fokszma
1, gy nem lehet tagja egy krnek sem.
2. Irnytott grfok esetn a Hamilton-t s Hamilton-kr defincija analg
az irnytatlan grfos defincival, azonban az lek irnytottsga miatt
az utak s krk szma kevesebb. A grf bal als cscsba nem mutat
l, gy a Hamilton-utak csak onnan indulhatnak. Kt Hamilton-t van:
{e1 , e2 , e5 }, {e4 , e3 , e2 }. Hamilton-kre viszont nincs a grfnak, hiszen a
jobb als cscsba nem vezet l, gy ez a cscs nem szerepelhet krben.
3. A grf Hamilton-tjai: {e5 , e4 , e2 , e7 }, {e4 , e2 , e7 , e6 }, {e2 , e7 , e6 , e5 },
{e7 , e6 , e5 , e4 }, {e6 , e5 , e4 , e2 }.
A grfnak van Hamilton-kre is, az {e 5 , e4 , e2 , e7 , e6 } lsorozat:
PSfrag replacements
2.
1.
2.
EULER-KR,3.EULER-VONAL,
e4
HAMILTON-KR
105
e5
e7
e2
e3
e6
e1
3.24. Feladat. Igazoljuk, hogy

(a) ha a G sszefgg grfbl k szm pontjnak a hozzjuk illeszked
lekkel egytt val trlse rvn keletkezett k-nl tbb komponens,
akkor G-nek nincs Hamilton kre. Tovbb, ha e trls rvn k + 1-nl
tbb komponensbl ll grfot nyernk, akkor G-nek nincsen Hamiltontja sem.
(b) ha egy G egyszer grfban minden cscspont foka legalbb k 2, akkor
van a grfban egy legalbb k + 1 hosszsg kr.
(c) ha a G sszefgg grf G0 rszgrfja nem tartalmazza G minden pontjt,
akkor van G-nek olyan G0 -be nem tartoz le, amelynek egyik vgpontja
G0 -beli, a msik nem.
(d) ha egy G sszefgg grf K krbl egy lt trlve, a grf egy L
leghosszabb tjt kapjuk, akkor K Hamilton-kre a grfnak.
(e) ha egy n cscs G egyszer grf egy L leghosszabb tja kt vgpontjnak fokszm sszege legalbb n, akkor van a grf leghosszabb tjai
kztt olyan, amelynek vgpontjai szomszdosak.
(f) ha egy n cscspont (n 3) G egyszer grf brmely kt nem szomszdos pontjnak fokszm sszege legalbb n, akkor van a grfnak Hamiltonkre (Ore ttele).
(g) ha egy n cscspont (n 3) G egyszer grf minden cscsnak foka
n
legalbb , akkor van a grfnak Hamilton-kre (Dirac ttele).
2
Megolds.
(a) Egy sszefgg grf k szm cscst trlve a grf brmely kre legfeljebb k komponensre, tjai pedig legfeljebb k + 1 komponensre esnek
szt. Mivel a Hamilton-kr illetve Hamilton-t tartalmazza a grf minden pontjt, addik az llts.
(b) Legyen L egy leghosszabb t G-ben. Jelljk L cscsait sorrendben
c1 , c2 , . . . , cl -lel. A c1 cscs minden szomszdja L-ben van, hiszen L
leghosszabb t. De c1 -nek legalbb k szomszdja van, gy van olyan c j
szomszdja is, melyre j k + 1. Ekkor azonban L-nek a c 1 s cj kztti
rsztja a (c1 , cj ) llel kiegsztve egy k-nl hosszabb krt alkot.
106
3. GRFELMLET
(c) Legyen c1 G-nek egy G0 -beli, c2 pedig egy nem G0 -beli pontja. c1 bl vezet egy L t c2 -be, hiszen G sszefgg. A c1 pontbl kiindulva
haladjunk L lein addig, amg G0 -be kerlnk. Nyilvn az utoljra bejrt
l a kvnt tulajdonsg.
(d) Amennyiben K nem tartalmazza G minden pontjt, akkor a feladat
(c) lltsa szerint van olyan e = (c 1 , c2 ) l, amelynl c1 K-beli, c2 pedig
nem K-beli. Ha a K lei kzl elhagyunk egy c 1 -hez illeszkedt s
hozzvesszk e-t, akkor egy olyan utat kapunk, amely az L t hossznl
nagyobb, amely ellentmond annak, hogy L leghosszabb t. gy K thalad G minden pontjn, azaz Hamilton-kr.
(e) Jelljk L cscsait sorrendben c 1 , c2 , . . . , cl -lel. Legyen
A := {c | c a G olyan cscsa, mely nem szomszdos c l -el}

B := ck | ck+1 szomszdja c1 -nek (k {1, 2, . . . l 1}) .
A feladat felttele szerint (c1 ) + (cl ) n, azaz (cl ) n (c1 ).

Teht cl G-nek legfeljebb (c1 ) szm cscsval nem szomszdos, azaz
|A| (c1 ), tovbb cl A.
A c1 cscs minden szomszdja L-ben van, hiszen L leghosszabb t.
Ezrt |B| = (c1 ) s cl 6 B, hiszen cl az utols cscs a sorozatban, gy
nem lehet c1 egy szomszdja eltt.
A fentiek alapjn van olyan eleme B-nek, amely nincs benne Aban. Legyen ez a cscs a ci cscs (ci {1, 2, . . . l 1}). Teht ci olyan
szomszdja cl -nek, amelynek az L tban lv ci+1 szomszdja a c1 -nek
PSfrag replacements
is szomszdja. Ezrt, ha az L tbl elhagyjuk a (c i , ci+1 ) lt s hozzvesszk a (ci , cl ) lt, akkor a kvnt utat lltottuk el, azaz olyan
l hosszsg (gy leghosszabb) L0 utat, amelynek vgpontjai szomszdosak. Az elmondottakat a kvetkez bra szemllteti:
c1
c2
ci
c1
ci+1
L
cl1 cl
c2
ci
ci+1
L
cl1 cl
(f) Ha G nem volna sszefgg, akkor klnbz komponensbe tartoz kt

pontja nem lenne szomszdos s nem lenne olyan cscs sem, amelybe
mindkt cscsbl l vezet, gy az ilyenek fokszm sszege legfeljebb n2
lenne, amely ellent mondana a feltevsnknek. Teht G sszefgg.
Jelljk L-lel G egy leghosszabb tjt. Ha L vgpontjai szomszdosak,
akkor a feladat (d) rsze szerint van G-nek Hamilton-kre (az L t s az
t vgpontjait sszekt l). Ha L vgpontjai nem szomszdosak, akkor
2. EULER-KR, EULER-VONAL, HAMILTON-KR
107
ezek fokszm sszege legalbb n, gy a feladat (e) rsze szerint van olyan
leghosszabb t G-ben, amelynek vgpontjai szomszdosak, amibl a (d)
rsz miatt ismt addik, hogy van a grfnak Hamilton-kre.
(g) Az llts a feladat (f ) rszbl azonnal addik.
PSfrag replacements
3.25. Feladat. llaptsuk meg, teljestik-e az albbi grfok Ore s Dirac
ttelt, tovbb amennyiben ltezik, adjuk meg egy Hamilton-krket:
c5
c4
c1
c2
c5
c7
c6
c5
c7
c4
c3
c1
c3
1.
c7
c4
c3
c1
c2
2.
c2
3.
PSfrag
1. A grf rendje
7, replacements
ezrt Dirac ttelt nem teljesti, hiszen az csak pros
1.
cscsszm grfokra alkalmazhat.
Nem teljesl Ore ttele sem, ugyanis
pldul a c3 s c7 egymssal2.nem szomszdos cscsok foknak sszege
3.
csak 4. A grfnak viszont ltezik
Hamilton-kre:
c5
c7
c6
c4
c1
c2
c3
PSfrag
replacements
2. A grf
rendje
6, viszont a c4 cscs foka csak 2, gy Dirac ttele nem
teljesl. Azonban minden
1. ms cscs foka 4, gy Ore ttele teljesl, teht
a grfnak van Hamilton-kre.
Pldul:
2.
3.
c5
c7
c4
c3
c6
c1
c2
3. A grf rendje 6, s minden cscsnak foka 3, gy Dirac s Ore ttele

egyarnt teljesl, azaz a grfnak van Hamilton-kre. Pldul:
PSfrag replacements
108
1.
2.
3.
3. GRFELMLET
c5
c7
c3
c4
c6
c1
c2
3.26. Feladat. Bizonytsuk be, hogy ha egy trsasg minden tagja ismeri
a trsasgnak legalbb k tagjt (k 2), akkor leltethet kzlk legalbb
k + 1 egyetlen kerek asztal krl gy, hogy mindenkinek ismerse legyen a
szomszdja.
Megolds. Legyen G egy olyan grf, melynek cscsai a trsasg tagjainak
felelnek meg. Kt cscs akkor van sszektve, ha a kt tag ismeri egymst.
A feladat teht megmutatni, hogy ebben a grfban van egy k + 1 hosszsg
kr, amely a 3.24. feladat (b) rszbl kvetkezik.
3.27. Feladat. Bizonytsuk be, hogy ha egy 8 tag trsasg minden tagja
ismeri a trsasgnak legalbb 4 tagjt, akkor valamennyien leltethetk egy
kerek asztal kr gy, hogy mindenkinek ismerse legyen a szomszdja.
Megolds. Az elz feladatban lert grffal dolgozva azt kell beltnunk, hogy
a grfnak van Hamilton-kre, amely a 3.24. feladat (g) rszbl kvetkezik.
3.28. Feladat. Legyen n egy pratlan szm s legyen adott egy n n-es
"sakktbla". Igazoljuk, hogy egy lval lugrsokban nem tudjuk bejrni
a sakktblt gy, hogy a kiindulsi helyre rkezznk a vgn, s kzben
minden mezt csak egyszer rintnk.
Megolds. Legyenek a G grf cscspontjai a sakktbla mezinek megfelelek.
Kt cscs akkor legyen sszektve, ha a megfelel mezkrl el lehet jutni 1
llpsben egymsra. A feladat a tekintett grfrl beltni, hogy nincsen
Hamilton-kre. Azt kell csak szreveni, hogy fehr mezrl csak feketre
tudunk eljutni lugrsban, s viszont. gy a G grf egy Hamilton-krt bejrva fekete meznek megfelel cscsot fehrnek megfelel kvet, s viszont,
ezrt pros sok cscsnak kellene lennie. Azonban ez nem teljesl, hiszen a
G grfnak n2 szm cscsa van, ami pratlan.
3. GRFOK CSCSMTRIXA
109
3. Grfok cscsmtrixa
3.29. Feladat. rjuk fel az albbi grfok cscsmtrixt:
PSfrag replacements
c3
c5
c4
c3
c3
c4
c2
c1
c1
c2
1.
c2
c1
2.
3.
Megolds. Az n cscs irnytott grf cscsmtrixa azon A = (a ij ) Mnn

mtrix, melynek aij ltalnos eleme egyenl a ci cscsbl a cj cscsba vezet
lek szmval.
1. A grf cscsmtrixa
0 2 1
0 0 0 .
1 1 1
2. A grf cscsmtrixa
3. A grf cscsmtrixa
0
1
1
1
0
0
1
0
0
0
0
1
1
1
1
0
1
0
0
.
1
0
1
1
0
1
0
0
0
0
0
0
0
1
0
1
1
0
0
.
0
0
3.30. Feladat. brzoljuk az albbi cscsmtrix grfokat:
0 1 0 1
0 2 0
0 1 0 0
0
1
3.
1. 1 0 0
2.
1 1 1 1
1
1 0 2
1 0 0 1
0
Megolds.
1
0
1
0
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
110
3. GRFELMLET
PSfrag replacements
c5
c3
c4
c3
c4
c3
c2
c1
c1
1.
c2
2.
c2
c1
3.
3.31. Feladat. Hny 2, 3 illetve 4 hosszsg trttvonal rajzolhat az

albbi cscsmtrix grfok c2 cscsbl a c3 cscsba, illetve a c3 cscsbl
a c2 cscsba?
1 1 1 1
1 1 2
0 1 1
0 0 1 0
(a) A = 1 0 3 (b) B = 0 0 2 (c) C =

0 0 0 2
0 1 1
1 1 0
0 1 1 0
Megolds. Az A Mnn cscsmtrix grf (Al )ij eleme megadja a ci
cscsbl a cj cscsba vezet l hosszsg trttvonalak szmt.
2 3 7
5 9 20
14 25 57
(a) A2 = 1 4 5, A3 = 5 6 19 s A4 = 11 24 47, teht a
1 1 4
2 5 9
7 11 28
c2 -bl c3 -ba vezet 2, 3 illetve 4 hosszsg trttvonalak szma rendre
5, 19 s 47, a c3 -bl c2 -be vezetk szma pedig 1, 5 s 11.
(b)
1 1 2
2 3 3
3 5 8
(c) B 2 = 2 2 0, B 3 = 0 2 6 s B 4 = 6 6 4, teht a
0 1 3
3 3 2
2 5 9
c2 -bl c3 -ba vezet 2, 3 illetve 4 hosszsg trttvonalak szma rendre
0, 6 s
4, a c3 -bl c2
-be vezetk
szma pedig
1, 3 s 5.
1 2 3 3
1 4 6 7
1 8 12 13
0 0 0 2 3 0 2 2 0
, C =
s C 4 = 0 0 2 4 ,
(d) C 2 =
0 2 2 0
0 0 2 4
0 4 4 4
0 0 1 2
0 2 2 2
0 2 4 4
teht a c2 -bl c3 -ba vezet 2, 3 illetve 4 hosszsg trttvonalak szma
rendre 0, 2 s 2, a c3 -bl c2 -be vezetk szma pedig 2, 0 s 4.
3.32. Feladat. Tartalmaznak-e az albbi cscsmtrix grfok irnytott
krt?
3. GRFOK CSCSMTRIXA
(a)
0 1 0
1 0 1
0 1 0
(b)
0
2
1
0
0
0
0
0
0
1
0
0
1
0
1
0
(c)
0
0
0
0
111
1
0
0
0
0
1
1
0
0
0
1
1
1
0
0
1
1
1
0
Megolds. Felhasznljuk azt a ttelt, miszerint egy n cscspont irnytott

grf pontosan akkor tartalmaz krt, ha cscsmtrixnak n-edik hatvnya
nem azonosan nulla.
(a) A grf tartalmaz
irnytott
krt, ugyanis cscsmtrixnak harmadik
0 2 0
hatvnya 2 0 2 , teht nem az azonosan nulla mtrix.
0 2 0
(b) Knnyen kiszmolhat, hogy a mtrix negyedik hatvnya az azonosan
nulla mtrix, gy a grf nem tartalmaz irnytott krt.
(c) A grf nem tartalmaz irnytott krt, ugyanis cscsmtrixnak tdik
hatvnya az azonosan nulla mtrix.
3.33. Feladat. Hatrozzuk meg az albbi cscsmtrix grfok klnbz
cscsai kztti legrvidebb irnytott t hosszt, s az ilyen
utak szmt.
1 0 2 0
1 0 1
0 0 1
0 0 0 1
(a) A = 1 0 0 (b) B = 0 2 1 (c) C =

0 1 0 0
0 1 1
0 1 1
1 1 1 1
Megolds. Felhasznljuk, hogy egy A cscsmtrix n cscspont grf c i
cscsbl a cj cscsba (i 6= j) vezet legrvidebb t hossza az a legkisebb k
pozitv egsz szm, amelyre (Ak )ij 6= 0, s ekkor az ilyen hosszsg utak
szma ppen (Ak )ij . Nyilvnval, hogy ez a k szm nem lehet nagyobb,
mint n 1, hiszen az n 1-nl nagyobb lszm trttvonal mr legalbb 1
cscson tbbszr is tmegy, gy az nem lehet t. Ebbl kvetkezik, hogy ha
egy cscsbl egy msikba nem tudok eljutni n1 len keresztl, akkor sehogy
sem, azaz a legrvidebb t hossza vgtelen. A c i cscsbl a cj cscsba vezet
legrvidebb t hosszt d(ci , cj )-vel jelljk, s nevezhetjk a ci cscs cj cscstl val tvolsgnak, de fontos megjegyezni, hogy irnytott grfok esetn ez
a tvolsg nem metrika, hiszen nem biztos, hogy teljesl a d(c i , cj ) = d(cj , ci )
egyenlsg.
112
3. GRFELMLET
0 0 1
(a) A1 = 1 0 0, azaz d(c1 , c3 ) = d(c2 , c1 ) = d(c3 , c2 ) = 1.
0 1 1
0 1 1
A2 = 0 0 1, teht kt len keresztl mr el tudok jutni c 1 -bl c2 1 1 1
be, c2 -bl c3 -ba s c3 -bl c1 -be, gy d(c1 , c2 ) = d(c2 , c3 ) = d(c3 , c1 ) = 2.
Mivel a mtrixokban a nem nulla elemek mind 1-esek voltak, gy brmely
kt cscs
esetn alegrvidebb utak szma 1.
1 0 1
(b) B 1 = 0 2 1, teht d(c1 , c3 ) = d(c2 , c3 ) = d(c3 , c2 ) = 1. A c2 -bl
0 1 1
c3 -ba vezet legrvidebb utak szma 2, a c 1 -bl c3 -ba s a c3 -bl c2 -be
vezetk
pedig 1.
1 1 2
B 2 = 0 5 3, teht d(c1 , c2 ) = 2 s a c1 -bl c2 -be vezet legrvidebb
0 3 2
utak szma 1. Mivel c2 -bl s c3 -bl nem tudunk eljutni kett hosszsg
ton a c1 -be s a grfnak 3 cscsa van, ezrt c 1 -be a c2 s c3 cscsokbl
nem vezet
(irnytott)
t, gy d(c2 , c1 ) = d(c3 , c1 ) = .
1 0 2 0
0 0 0 1
(c) C 1 =
0 1 0 0, teht d(c1 , c3 ) = d(c2 , c4 ) = d(c3 , c2 ) = d(c4 , c1 ) =
1 1 1 1
d(c4 , c2 ) = d(c4 , c3 ) = 1. c1 -bl c3 -ba 2 legrvidebb t van, a tbbi 5
esetbenpedig 1.
1 2 2 0
1 1 1 1
C2 =
0 0 0 1, ennlfogva d(c1 , c2 ) = d(c2 , c1 ) = d(c2 , c3 ) =
2 2 3 2
d(c3 , c4
) = 2. c1 -blc2 -be 2 legrvidebb t van, a msik 3 esetben 1.
1 2 2 2
2 2 3 2
C3 =
1 1 1 1, gy d(c1 , c4 ) = d(c3 , c1 ) = 3. c1 s c4 kztt 2
4 5 6 4
legrvidebb t van, c3 s c1 kztt pedig 1.
Irodalomjegyzk
[1] Andrsfalvi Bla: Ismerkeds a grfelmlettel, Budapest, Tanknyvkiad (1971).
[2] Feladatlapok II. matematikbl (kzgazdsz hallgatk szmra), Debrecen, Matematika Intzet (2004).
[3] Kovcs Zoltn: Feladatgyjtemny lineris algebra gyakorlatokhoz,
Debrecen, Kossuth Egyetemi Kiad (1998).
[4] Solt Gyrgy: Valsznsgszmts, Budapest, Mszaki knyvkiad
(1995).
113

Diszkrét Matematika 2

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Diszkrét Matematika 2

Uploaded by

Copyright:

Available Formats

Orosz gota Kaiser Zoltn

Diszkrt Matematika II.

Orosz gota Kaiser Zoltn

Diszkrt Matematika II. pldatr

Diszkrt Matematika II.

c Orosz gota, Kaiser Zoltn, 2004

2. Tegyk fel, hogy az (a) = (a1 , . . . , an ) vektorrendszer linerisan fgg.

1. VEKTORTEREK LINERIS LEKPEZSEI

3. Most a linearits ellenrzsre az 1.1 feladatban szerepl (1) tulajdonsgot hasznljuk:

teht a lekpezs lineris.

((x1 , x2 )) = (x1 , x2 ) = (x1 , x1 x2 , x2 ),

1.4. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,

1.5. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,

Megolds. A lekpezs kptere azon V 2 -beli vektorokat tartalmazza, amelyek

1.6. Feladat. Legyenek V1 s V2 vektorterek a T test felett. Bizonytsa be,

1. VEKTORTEREK LINERIS LEKPEZSEI

2. Tegyk fel, hogy Ker = {0} de nem injektv, azaz ltezik x1 , x2 V1

teht (x1 x2 ) Ker s (x1 x2 ) 6= 0, ami ellentmond annak, hogy

defektusa 2, (R3 ) = L(1, 0) a lekpezs kptere s rangja 1.

teht (x1 , x2 , x3 ) = (1, 1, 1)t ahol t R tetszleges, gy Ker =

1. VEKTORTEREK LINERIS LEKPEZSEI

4. Az elz feladatokhoz hasonlan,

megoldjuk a (x) = 0 egyenletrendsz

innen a megoldsok halmaza

ahol t1 , t2 tetszleges vals szmok. Teht

Ker = L((5, 4, 0, 3), (5, 7, 3, 0)).

A lekpezs defektusa 1, rangja 2.

alakak, (Eij ) s (Eji ) egyms (1)-szeresei, tovbb (E ii ) = O.

Lthat, hogy a nullits s rangttelnek megfelelen a defektus s a rang

(x) = x1 (e1 ) + + xn (en ),

ahol (ej ) R minden 1 j n esetn. Legyen Aij a (ej ) vektor i.

1. VEKTORTEREK LINERIS LEKPEZSEI

2. Most a mtrix 4 3 tpus lesz:

5. Az [x, y] skra val merleges vettsnl a vektorok x s y koordintja

1.11. Feladat. A homomorfia ttel szerint egy : V 1 V2 lineris lekpezs

Beltjuk, hogy f valban bijekci. A szrjektivits nyilvnval,

(x1 + x2 , y1 + y2 , 0) = (x1 , y1 , 0) + (x2 , y2 , 0) =

teht ez a keresett izomorfizmus.

2. Kt megoldsi mdszert mutatunk meg.

egyenletrendszernek felel meg. gy teht az (a) (b) bzistranszformci mtrixa:

b.) Az S mtrix kiszmtsnak vlaszthatjuk egy msik mdjt is.

Teht most a feladat A inverznek kiszmtsa valamely tanult mdszerrel:

1.13. Feladat. Legyenek (a) s (b) bzisok a V vektortren s (a) (b).

Ezek alapjn oldjuk meg a kvetkez feladatokat:

Ha az x vektor az (a) bzisban felrva x(a) = (1, 1, 1), akkor mik

Mivel ebben a feladatban a kiindul bzis a termszetes bzis, gy

az (e) (b) bzistranszformci mtrixt azonnal felrhatjuk:

Ha a rgi bzisban a vektor koordinti x(e) = (4, 3, 2), akkor az

Ha a vektor j bzisbeli koordinti adottak, s mi tudni szeretnnk az eredeti koordintit, akkor

2. Elszr a bzistranszformci mtrixt kell meghatroznunk. Mivel az

Az j koordintk meghatrozshoz ki kell mg szmtani az S

teht (S 1 3E) a nullmtrix kell legyen. Innen S 1 = 3E s

akkor ez rendelkezik a kvnt tulajdonsggal.

= (5, 6) vektornak a b1 = (1, 2), b2 = (4, 1) bzisbeli

2. Ezt a feladatot tbbflekppen meg lehet oldani, az egyik lehetsges t a

(b) Hasonlan, a keresett mtrix:

1.17. Feladat. Hatrozzuk meg az R3 -beli x tengely krli fokkal val

teht a transzformci mtrixa:

Lthatjuk, hogy tetszleges (x1 , x2 , x3 ) vektor ltali kpe kiszmthat

2. Elszr a bzist alkot polinomok kpeit kell meghatroznunk:

Itt az adott bzisra vonatkoz koordintkat a mtrixok elemei adjk

Knnyen lthatjuk, hogy ezen mtrixszal val szorzsknt megvalsthat

1.19. Feladat. 1. rjuk fel a : R3 R3 lineris transzformci mtrixt