Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév

Lineáris algebra
Lineáris függvények, lineáris függvény mátrixa

1. Igazoljuk, hogy a következő f : R2 → R2 függvények lineárisak (vagyis f ∈ EndR (R2 )):

(a) f (x, y) = (x + 2y, −x + y);
Megoldás. Egy f : R2 → R2 függvény pontosan akkor lineáris, ha minden k1 , k2 ∈ R és
minden v1 = (x1 , y1 ), v2 = (x2 , y2 ) ∈ R2 esetén
(1.1) f (k1 v1 + k2 v2 ) = k1 f (v1 ) + k2 f (v2 ).
A megadott f függvényre kiszámoljuk mindkét oldalt:
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 ) = (x + 2y, −x + y)
| {z } | {z }
x y

= ((k1 x1 + k2 x2 ) + 2(k1 y1 + k2 y2 ), −(k1 x1 + k2 x2 ) + (k1 y1 + k2 y2 ))

(1.2) = (k1 (x1 + 2y1 + k2 (x2 + 2y2 ), k1 (−x1 + y1 ) + k2 (−x2 + y2 ))
k1 f (v1 ) + k2 f (v2 ) = k1 f (x1 , y1 ) + k2 f (x2 , y2 )
= k1 (x1 + 2y1 , −x1 + y1 ) + k2 (x2 + 2y2 , −x2 + y2 )
(1.3) = (k1 (x1 + 2y1 ) + k2 (x2 + 2y2 ), k1 (−x1 + y1 ) + k2 (−x2 + y2 )).
Mivel a (2.4) és (2.5) megegyeznek, ezért teljesül a (2.1) egyenlőség, tehát a megadott f
függvény lineáris. 
(b) f (x, y) = (−3x − y, 2x − 4y);
Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 ), v2 = (x2 , y2 ) ∈ R2 esetén a
megadott f függvényre kiszámoljuk, hogy
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 k1 y1 + k2 y2 )



= − 3(k1 x1 + k2 x2 − k1 y1 + k2 y2 ), 2(k1 x1 + k2 x2 ) − 4(k1 y1 + k2 y2 )


(1.4) = k1 (−3x1 − y1 ) + k2 (−3x2 − y2 ), k1 (2x1 − 4y1 ) + k2 (2x2 − 4y2 )
k1 f (v1 ) + k2 f (v2 ) = k1 f (x1 , y1 ) + k2 f (x2 , y2 )



= k1 − 3x1 − y1 , 2x1 − 4y1 + k2 − 3x2 − y2 , 2x2 − 4y2


(1.5) = k1 (−3x1 − y1 ) + k2 (−3x2 − y2 ), k1 (2x1 − 4y1 ) + k2 (2x2 − 4y2 ) .
A (2.4) és (2.5) megegyeznek, vagyis
f (k1 v1 + k2 v2 ) = k1 f (v1 ) + k2 f (v2 ), ∀ k1 , k2 ∈ R, ∀ v1 , v2 ∈ R2 ,
ezért a megadott f függvény lineáris. 
(c) f (x, y) = (3x − 2y, 5x + 7y);
Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 ), v2 = (x2 , y2 ) ∈ R2 esetén
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 ) = (3x − 2y, 5x + 7y)
| {z } | {z }
x y


= 3(k1 x1 + k2 x2 ) − 2(k1 y1 + k2 y2 ), 5(k1 x1 + k2 x2 ) + 7(k1 y1 + k2 y2 )


= k1 (3x1 − 2y1 ) + k2 (3x2 − 2y2 ), k1 (5x1 + 7y1 ) + k2 (5x2 + 7y2 )



= k1 3x1 − 2y1 , 5x1 + 7y1 + k2 3x2 − 2y2 , 5x2 + 7y2
= k1 f (x1 , y1 ) + k2 f (x2 , y2 )
= k1 f (v1 ) + k2 f (v2 ),

1
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév

ezért a megadott f függvény lineáris. 

(d) f (x, y) = (−6x + y, x + y).
Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 ), v2 = (x2 , y2 ) ∈ R2 esetén
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 )


= − 6(k1 x1 + k2 x2 ) + (k1 y1 + k2 y2 ), (k1 x1 + k2 x2 ) + (k1 y1 + k2 y2 )


= k1 (−6x1 + y1 ) + k2 (−6x2 + y2 ), k1 (x1 + y1 ) + k2 (x2 + y2 )



= k1 − 6x1 + y1 , x1 + y1 + k2 − 6x2 + y2 , x2 + y2
= k1 f (x1 , y1 ) + k2 f (x2 , y2 )
= k1 f (v1 ) + k2 f (v2 ),
ezért a megadott f függvény lineáris. 

2. Igazoljuk, hogy a következő f : R3 → R2 függvények lineárisak (vagyis f ∈ HomR (R3 , R2 )):

(a) f (x, y, z) = (x + z, −2x + y + 3z);
Megoldás. Egy f : R3 → R2 függvény pontosan akkor lineáris, ha minden k1 , k2 ∈ R és
minden v1 = (x1 , y1 , z1 ), v2 = (x2 , y2 , z2 ) ∈ R3 esetén
(2.1) f (k1 v1 + k2 v2 ) = k1 f (v1 ) + k2 f (v2 ).
A megadott f függvényre kiszámoljuk mindkét oldalt:
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 , k1 z1 + k2 z2 ) = (x + z, −2x + y + 3z) =
| {z } | {z } | {z }
x y z

= ((k1 x1 + k2 x2 ) + (k1 z1 + k2 z2 ), −2(k1 x1 + k2 x2 ) + (k1 y1 + k2 y2 ) + 3(k1 z1 + k2 z2 )) =

(2.2) = (k1 (x1 + z1 ) + k2 (x2 + z2 ), k1 (−2x1 + y1 + 3z1 ) + k2 (−2x2 + y2 + 3z2 )),

k1 f (v1 ) + k2 f (v2 ) = k1 f (x1 , y1 ) + k2 f (x2 , y2 )

= k1 (x1 + z1 , −2x1 + y1 + 3z1 ) + k2 (x2 + z2 , −2x2 + y2 + 3z2 )
(2.3) = (k1 (x1 + z1 ) + k2 (x2 + z2 ), k1 (−2x1 + y1 + 3z1 ) + k2 (−2x2 + y2 + 3z2 )).
Mivel a (2.4) és (2.5) megegyeznek, ezért teljesül a (2.1) egyenlőség, tehát a megadott f
függvény lineáris. 
(b) f (x, y, z) = (−x − 2y + z, y − 4z);
Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 , z1 ), v2 = (x2 , y2 , z2 ) ∈ R3 esetén a
megadott f függvényre kiszámoljuk, hogy
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 , k1 z1 + k2 z2 ) = (−x − 2y + z, y − 4z) =
| {z } | {z } | {z }
x y z

= (−(k1 x1 + k2 x2 ) − 2(k1 y1 + k2 y2 ) + (k1 z1 + k2 z2 ), (k1 y1 + k2 y2 ) − 4(k1 z1 + k2 z2 )) =

(2.4) = (k1 (−x1 − 2y1 + z1 ) + k2 (−x2 − 2y2 + z2 ), k1 (y1 − 4z1 ) + k2 (y2 − 4z2 )),

k1 f (v1 ) + k2 f (v2 ) = k1 f (x1 , y1 ) + k2 f (x2 , y2 )

= k1 (−x1 − 2y1 + z1 , y1 − 4z1 ) + k2 (−x2 − 2y2 + z2 , y2 − 4z2 )
(2.5) = (k1 (−x1 − 2y1 + z1 ) + k2 (−x2 − 2y2 + z2 ), k1 (y1 − 4z1 ) + k2 (y2 − 4z2 )).
Mivel a (2.4) és (2.5) megegyeznek, vagyis
f (k1 v1 + k2 v2 ) = k1 f (v1 ) + k2 f (v2 ), ∀ k1 , k2 ∈ R, ∀ v1 , v2 ∈ R3 ,
ezért a megadott f függvény lineáris. 
2
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév

(c) f (x, y, z) = (2x − 4y + 2z, 5x − 7z);

Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 , z1 ), v2 = (x2 , y2 , z2 ) ∈ R3 esetén


f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 , k1 z1 + k2 z2 ) = 2x − 4y + 2z, 5x − 7z
| {z } | {z } | {z }
x y z


= 2(k1 x1 + k2 x2 ) − 4(k1 y1 + k2 y2 ) + 2(k1 z1 + k2 z2 ), 5(k1 x1 + k2 x2 ) − 7(k1 z1 + k2 z2 ) =


= k1 (2x1 − 4y1 + 2z1 ) + k2 (2x2 − 4y2 + 2z2 ), k1 (5x1 − 7z1 ) + k2 (5x2 − 7z2 ) =



= k1 2x1 − 4y1 + 2z1 , 5x1 − 7z1 + k2 2x2 − 4y2 + 2z2 , 5x2 − 7z2 =
= k1 f (x1 , y1 ) + k2 f (x2 , y2 ) = k1 f (v1 ) + k2 f (v2 ),
ezért a megadott f függvény lineáris. 
(d) f (x, y, z) = (−6y + z, 2x − 3y + z).
Megoldás. Minden k1 , k2 ∈ R és minden v1 = (x1 , y1 , z1 ), v2 = (x2 , y2 , z2 ) ∈ R3 esetén
f (k1 v1 + k2 v2 ) = f (k1 x1 + k2 x2 , k1 y1 + k2 y2 ) =


= − 6(k1 y1 + k2 y2 ) + (k1 z1 + k2 z2 ), 2(k1 x1 + k2 x2 ) − 3(k1 y1 + k2 y2 ) + (k1 z1 + k2 z2 ) =


= k1 (−6y1 + z1 ) + k2 (−6y2 + z2 ), k1 (2x1 − 3y1 + z1 ) + k2 (2x2 − 3y2 + z2 )



= k1 − 6y1 + z1 , 2x1 − 3y1 + z1 + k2 − 6y2 + z2 , 2x2 − 3y2 + z2
= k1 f (x1 , y1 , z1 ) + k2 f (x2 , y2 , z2 ) = k1 f (v1 ) + k2 f (v2 ),
ezért a megadott f függvény lineáris. 

3. Bizonyı́tsuk be, hogy ha K V egy vektortér és f ∈ EndK (V ), akkor S ≤K V , ahol S = {x ∈

V | f (x) = x} az fixpontjainak halmaza!

4. Határozzuk meg a következő f ∈ EndR (R3 ) függvények [f ]E mátrixát, ahol E = (e1 , e2 , e3 ) a

kanonikus bázis R3 -ban.
(a) f (x, y, z) = (x + 2y, 4y − 3z, 2x + y − 2z);
 
Megoldás. Az értelmezés szerint [f ]E = [f ]EE = [f (e1 )]E [f (e2 )]E [f (e3 )]E , ezért
kiszámoljuk a bázisvektorok értékeit az f függvény által:
f (e1 ) = f (1, 0, 0) = (1 + 2 · 0, 4 · 0 − 3 · 0, 2 · 1 + 0 − 2 · 0) = (1, 0, 1),
f (e2 ) = f (0, 1, 0) = (0 + 2 · 1, 4 · 1 − 3 · 0, 2 · 0 + 1 − 2 · 0) = (2, 4, 1),
f (e3 ) = f (0, 0, 1) = (0 + 2 · 0, 4 · 0 − 3 · 1, 2 · 0 + 0 − 2 · 1) = (0, −3, −2),
A fent kiszámolt függvényértékek koordinátáit felı́rjuk a kanonikus bázisban:
       
1 2 0 1 2 0
[f (e1 )]E = 0 , [f (e2 )]E = 4 , [f (e3 )]E = −3 ⇒ [f ]E = 0 4 −3 .
       
1 1 −2 1 1 2

(b) f (x, y, z) = (3x − y + z, 4x + y − 2z, −2x + z);
Megoldás.
f (e1 ) = f (1, 0, 0) = (3, 4, −2), f (e2 ) = f (0, 1, 0) = (−1, 1, 0), f (e3 ) = f (0, 0, 1) = (1, −2, 1),
ezért
       
3 −1 1 3 −1 1
[f (e1 )]E =  4  , [f (e2 )]E =  1  , [f (e3 )]E = −2 ⇒ [f ]E =  4 1 −2 .
       
−2 0 1 −2 0 1
3
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév


(c) f (x, y, z) = (−2y + 5z, x + 6y − z, 2x − y − z);
Megoldás.
f (e1 ) = f (1, 0, 0) = (0, 1, 2), f (e2 ) = f (0, 1, 0) = (−2, 6, −1), f (e3 ) = f (0, 0, 1) = (5, −1, −1),
 
0 −2 5
ezért [f ]E = 1 6 −1 . 
 
2 −1 −1
(d) f (x, y, z) = (−x + 2y − 3z, x + y − 7z, 2x + 3z).
Megoldás. Le is olvasható a lineáris függvény mátrixa a kanonikus bázisban: az első
oszlopba az első változó (x) együtthatói, a második oszlopba a második változó (y)
együtthatói, a harmadik oszlopba a harmadik változó (z) együtthatói kerülnek.
 
−1 2 −3
[f ]E =  1 1 −7 .
 
2 0 3


5. Mutassuk meg, hogy a következő f : R2 → R2 lineáris függvények bijektı́vek és határozzuk meg
az inverzüket:
(a) f (x, y) = (2x − y, −x + y);
Megoldás. Az f függvény pontosan akkor bijektı́v, ha (valamely bázisokban felı́rt) mátrixa
invertálható. Felı́rjuk
! az f mátrixát a kanonikus bázisban, mert abban a legkönnyebb:
2 −1
[f ]E = . Az [f ]E mátrix invertálható, mivel a determinánsa det([f ]E ) =
−1 1
2 −1
= 1 6= 0, tehát az f függvény bijektı́v.
−1 1
Az f −1 inverz függvénynek a mátrixa az f függvény mátrixának inverze, vagyis
[f ]E = ([f ]E )−1 . Ez alapján
−1
!−1 !
2 −1 1 1
[f −1 ]E = = .
−1 1 1 2
Az [f −1 ]E mátrixból felı́rjuk az f −1 inverz függvény képletét használva, hogy
! ! !
1 1 x x + y
[f −1 (x, y)]E = [fE−1 ][(x, y)]E = = ,
1 2 y x + 2y
ahonnan az inverz függvény képlete f −1 (x, y) = (x + y, x + 2y). 
(b) f (x, y) = (3x − 4y, −2x + 3y);
!
3 −4
Megoldás. Az f függvény kanonikus bázisban felı́rt mátrixa [f ]E = , amelyről
−2 3
meg kell állapı́tani, hogy invertálható-e. Ehhez kiszámoljuk a determinánsát det([f ]E ) =
3 −4
= 1 6= 0. Mivel a determinánsa nem nulla ezért az [f ]E mátrix invertálható és
−2 3
ı́gy az f függvény bijektı́v (létezik inverz függvénye).

4
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév
!−1 !
3 −4 3 4
Az f −1 inverz függvény mátrixa [f −1 ] E = [f ]−1
E = = , továbbá
−2 3 2 3
! ! !
3 4 x 3x + 4y
[f −1 (x, y)]E = [fE−1 ][(x, y)]E = = ,
2 3 y 2x + 3y
ahonnan kapjuk, hogy az inverz függvény képlete f −1 (x, y) = (3x + 4y, 2x + 3y). 
(c) f (x, y) = (−4x + 3y, −5x + 4y);
!
−4 3
Megoldás. Az f függvény mátrix a kanonikus bázisban [f ]E = , amely in-
−5 4
−4 3
vertálható, mert determinánsa det([f ]E ) = = −1 6= 0. Tehát az f függvény
−5 4
bijektı́v (létezik inverz függvénye).
!−1 !
−4 3 −4 3
Az inverz függvény mátrixa [f −1 ]E = [f ]−1
E = = és
−5 4 −5 4
! ! !
−1 −1 −4 3 x −4x + 3y
[f (x, y)]E = [fE ][(x, y)]E = = ,
−5 4 y −5x + 4y
ahonnan kapjuk, hogy az inverz függvény képlete f −1 (x, y) = (−4x + 3y, −5x + 4y). 
(d) f (x, y) = (3x + 7y, x + 2y).
!
3 7
Megoldás. Az f függvény mátrix a kanonikus bázisban [f ]E = , amely in-
1 2
3 7
vertálható, mert determinánsa det([f ]E ) = = −1 6= 0. Tehát az f függvény
1 2
bijektı́v (létezik inverz függvénye).
!−1 !
3 7 −2 7
Az inverz függvény mátrixa [f −1 ]E = [f ]−1
E = = és
1 2 1 −3
! ! !
−2 7 x −2x + 7y
[f −1 (x, y)]E = [fE−1 ][(x, y)]E = = ,
1 −3 y x − 3y
ahonnan kapjuk, hogy az inverz függvény képlete f −1 (x, y) = (−2x + 7y, x − 3y). 

6. Tekintsük a B = (v1 , v2 , v3 ) = ((1, 1, 0), (0, 1, 1), (1, 0, 1)) bázist az R3 , illetve a B 0 = (v10 , v20 ) =
((1, 1), (1, −2)) és a (kanonikus) E 0 = (e01 , e02 ) bázisokat az R2 valós vektorterekben. Határozzuk
meg a következő f ∈ HomR (R3 , R2 ) függvények esetén az [f ]E 0 B és [f ]B 0 B mátrixokat! (El-
lenőrizzük le a kapott eredményeket!)
(a) f (x, y, z) = (x + z, −2x + y + 3z);
 
Megoldás. Az értelmezés alapján [f ]E 0 B = [f (v1 )]E 0 [f (v2 )]E 0 [f (v3 )]E 0 .
!
1
f (v1 ) = f (1, 1, 0) = (1, −1) ⇒ [f (v1 )]E 0 = ,
−1
!
1
f (v2 ) = f (0, 1, 1) = (1, 4) ⇒ [f (v2 )]E 0 = ,
4
!
2
f (v3 ) = f (1, 0, 1) = (2, 1) ⇒ [f (v3 )]E 0 = ,
1

5
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév
!
1 1 2
ezért [f ]E 0 B = .
−1 4 1
Mivel [f ]B 0 B = TB 0 E 0 [f ]E 0 B = !TE−1
0 B 0 [f ]E 0 B , ezért felı́rjuk a TE 0 B 0 áttérési mátrixot
  1 1
TE 0 B 0 = [v10 ]E 0 [v20 ]E 0 = , ahonnan
1 −2
!−1 ! !
2 1
1 1 1 −2 −1
TB 0 E 0 = TE−1 0B0 = = = 31 3
1 .
1 −2 −3 −1 1 3 − 3

Tehát
! ! !
2 1 1 5
3 3 1 1 2 3 2 3
[f ]B 0 B = TB 0 E 0 [f ]E 0 B = 1 = .
3 − 31 −1 4 1 2
3 −1 1
3

Ellenőrzés. Az [f ]B 0 B oszlopaiban az f (v1 ), f (v2 ), f (v3 ) koordinátái kell szerepeljenek a

B 0 bázisban:
1 0 2 1 2
· v1 + · v20 = · (1, 1) + · (1, −2) = (1, −1) = f (v1 ),
3 3 3 3
2 · v10 + (−1) · v20 = 2 · (1, 1) + (−1) · (1, −2) = (1, 4) = f (v2 ),
5 0 1 5 1
· v1 + · v20 = · (1, 1) + · (1, −2) = (2, 1) = f (v3 ).
3 3 3 3

(b) f (x, y, z) = (−x − 2y + z, y − 4z);
 
Megoldás. Az értelmezés alapján [f ]E 0 B = [f (v1 )]E 0 [f (v2 )]E 0 [f (v3 )]E 0 , ezért kiszámoljuk,
hogy
f (v2 ) = f (0, 1, 1) = (−1, −3),
f (v1 ) = f (1, 1, 0) = (−3, 1), f (v3 ) = f (1, 0, 1) = (0, −4),
!
−3 −1 0
ahonnan kapjuk, hogy [f ]E 0 B = .
1 −3 −4
Mivel [f ]B 0 B = TB 0 E 0 [f ]E 0 B = !TE−1
0 B 0 [f ]E 0 B , ezért felı́rjuk a TE 0 B 0 áttérési mátrixot
  1 1
TE 0 B 0 = [v10 ]E 0 [v20 ]E 0 = , ahonnan
1 −2
!−1 ! !
2 1
1 1 1 −2 −1
TB 0 E 0 = TE−1 0B0 = = = 31 3
1 .
1 −2 −3 −1 1 3 − 3

Tehát
! ! !
2 1
3 3 −3 −1 0 − 53 − 35 − 43
[f ]B 0 B = TB 0 E 0 [f ]E 0 B = 1 = .
3 − 31 1 −3 −4 − 43 2
3
4
3

Ellenőrzés. Az [f ]B 0 B oszlopaiban az f (v1 ), f (v2 ), f (v3 ) koordinátái kell szerepeljenek a

B 0 bázisban:
5 4 5 4
− · v10 − · v20 = − · (1, 1) − · (1, −2) = (−3, 1) = f (v1 ),
3 3 3 3
5 0 2 0 5 2
− · v1 + · v2 = − · (1, 1) + · (1, −2) = (−1, −3) = f (v2 ),
3 3 3 3
4 0 4 0 4 4
− · v1 + · v2 = − · (1, 1) + · (1, −2) = (0, −4) = f (v3 ).
3 3 3 3

(c) f (x, y, z) = (2x − 4y + 2z, 5x − 7z);

6
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév
 
Megoldás. Az értelmezés alapján [f ]E 0 B = [f (v1 )]E 0 [f (v2 )]E 0 [f (v3 )]E 0 , ezért kiszámoljuk,
hogy
f (v2 ) = f (0, 1, 1) = (−2, −7),
f (v1 ) = f (1, 1, 0) = (−2, 5), f (v3 ) = f (1, 0, 1) = (4, −2),
!
−2 −2 4
ahonnan kapjuk, hogy [f ]E 0 B = .
5 −7 −2
Mivel [f ]B 0 B = TB 0 E 0 [f ]E 0 B = !TE−1
0 B 0 [f ]E 0 B , ezért felı́rjuk a TE 0 B 0 áttérési mátrixot
  1 1
TE 0 B 0 = [v10 ]E 0 [v20 ]E 0 = , ahonnan
1 −2
!−1 ! !
2 1
1 1 1 −2 −1
TB 0 E 0 = TE−1 0B0 = = = 31 3
1 .
1 −2 −3 −1 1 3 − 3

Tehát
! ! !
2 1 1
3 3 −2 −2 4 3 − 11
3 2
[f ]B 0 B = TB 0 E 0 [f ]E 0 B = 1 = .
3 − 13 5 −7 −2 − 73 5
3 2

(d) f (x, y, z) = (−6y + z, 2x − 3y + z).
 
Megoldás. Az értelmezés alapján [f ]E 0 B = [f (v1 )]E 0 [f (v2 )]E 0 [f (v3 )]E 0 , ezért kiszámoljuk,
hogy
f (v1 ) = f (1, 1, 0) = (−6, −1),f (v2 ) = f (0, 1, 1) = (−5, −2), f (v3 ) = f (1, 0, 1) = (1, 3),
!
−6 −5 1
ahonnan kapjuk, hogy [f ]E 0 B = .
−1 −2 3
Mivel [f ]B 0 B = TB 0 E 0 [f ]E 0 B = !TE−1
0 B 0 [f ]E 0 B , ezért felı́rjuk a TE 0 B 0 áttérési mátrixot
  1 1
TE 0 B 0 = [v10 ]E 0 [v20 ]E 0 = , ahonnan
1 −2
!−1 ! !
2 1
1 1 1 −2 −1
TB 0 E 0 = TE−1 0B0 = = = 31 3
1 .
1 −2 −3 −1 1 3 − 3

Tehát
! ! !
2 1
3 3 −6 −5 1 − 13
3 −4 35
[f ]B 0 B = TB 0 E 0 [f ]E 0 B = 1 = .
3 − 13 −1 −2 3 − 73 −1 − 23


7. Tekintsük a B = (v1 , v2 , v3 ) = ((1, 0, 1), (0, 1, 1), (−1, 3, 1)) bázist R3 -ban és a B 0 = (v10 , v20 ) =
((1, 2), (−2, 1)) bázist R2 -ben. Határozzuk meg azokat az f : R3 → R2 lineáris függvényeket,
amelyek mátrixa:
!
1 −1 2
(a) [f ]B 0 B = ;
1 0 3
Megoldás. Az [f ]E 0 E mátrixból könnyen fel tudjuk majd ı́rni az f képletét, ezért előbb
ezt a mátrixot számoljuk ki az [f ]E 0 E = TE 0 B 0 [f ]B 0 B TBE képlet alapján. Ehhez ki kell
számolni az áttérési mátrixokat:
 −1  
! 1 0 −1 2 1 −1
1 −2 −1
TE 0 B 0 = és TBE = TEB = 0 1 3  = −3 −2 3  .
   
2 1
1 1 1 1 1 −1
7
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév

Ezek alapján
 
! ! 2 1 −1 !
1 −2 1 −1 2  −3 −3 2
[f ]E 0 E = TE 0 B 0 [f ]B 0 B TBE = −3 −2 3  = .

2 1 1 0 3 19 14 −16
1 1 −1
Innen [f (x, y, z)]E 0 = [f ]E 0 E [(x, y, z)]E képlet alapján
 
! x !
−3 −3 2 −3x − 3y + 2z
[f (x, y, z)]E 0 = y  = ,
 
19 14 −16 19x + 14y − 16z
z
ezért az f függvény képlete f (x, y, z) = (−3x − 3y + 2z, 19x + 14y − 16z). 
!
2 −4 1
(b) [f ]B 0 B = ;
0 3 −1
Eredmény: f (x, y, z) = (37x + 25y − 35z, 24x + 15y − 20z). 
!
0 −2 5
(c) [f ]B 0 B = ;
3 −2 1
Eredmény: f (x, y, z) = (−15x − 7y + 9z, 35x + 26y − 32z). 
!
−2 2 0
(d) [f ]B 0 B = .
1 1 −1
Eredmény: f (x, y, z) = (−6x − 2y + 2z, −22x − 14y + 19z). 

8. Tekintsük a B = (v1 , v2 ) = ((1, 2), (1, 3)) és B 0 = (v10 , v20 ) = ((1, 0), (2, 1)) bázisokat R2 -ben.
A következő f, g ∈ EndR (R2 ) esetén határozzuk meg a következő mátrixokat: [2f ]B , [f + g]B ,
[f ◦ g]B 0 :
! !
1 2 −7 −13
(a) [f ]B = és [g]B 0 = ;
−1 −1 5 7
Megoldás. Minden k ∈ K skalár, f : V → V lineáris függvény és B bázis esetén a V
K-vektortéren
[k · f ]B = k[f ]B , [f + g]B = [f ]B + [g]B , [f ◦ g]B = [f ]B [g]B .
! !
1 2 2 4
Ezek alapján [2f ]B = 2[f ]B = 2 = .
−1 −1 −2 −2
Az [f +g]B kiszámolásához fel kell ı́rjuk a [g]B mátrixot, amelyet a [g]B = TBB 0 [g]B 0 TB 0 B
képlet alapján tehetünk meg. Az áttérési mátrixokat a következőképpen számoljuk ki
(E = (e1 , e2 ) = ((1, 0), (0, 1)) a kanonikus bázis az R2 valós vektortéren):
−1
TBB 0 = TBE TEB 0 = TEB TEB 0
!−1 ! ! ! !
1 1 1 2 3 −1 1 2 3 5
= = = ,
2 3 0 1 −2 1 0 1 −2 −3
!−1 !
−1 3 5 −3 −5
TB 0 B = TBB 0 = = .
−2 −3 2 3
Innen kapjuk, hogy
! ! ! !
3 5 −7 −13 −3 −5 −20 −32
[g]B = TBB 0 [g]B 0 TB 0 B = = .
−2 −3 5 7 2 3 13 20

8
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév
! ! !
1 2 −20 −32 −19 −30
Végül [f + g]B = [f ]B + [g]B = + = .
−1 −1 13 20 12 19
Az [f ◦ g]B 0 = [f ]B 0 [g]B 0 kiszámolásához előbb felı́rjuk a [f ]B 0 mátrixot:
! ! ! !
−3 −5 1 2 3 5 8 13
[f ]B 0 = TB 0 B [f ]B TBB 0 = = .
2 3 −1 −1 −2 −3 −5 −8
! ! !
8 13 −7 −13 9 −13
Végül [f ◦ g]B 0 = [f ]B 0 [g]B 0 = = . 
−5 −8 5 7 −5 9
! !
2 1 4 −3
(b) [f ]B = és [g]B 0 = ;
−2 3 7 2
! ! !
4 2 −137 −231 710 4
Eredmény. [2f ]B = , [f +g]B = , [f ◦g]B 0 = 
−4 6 85 148 −413 −2
! !
3 6 1 −1
(c) [f ]B = és [g]B 0 = ;
−2 5 3 4
! ! !
6 12 −17 −33 491 447
Eredmény. [2f ]B = , [f + g]B = , [f ◦ g]B 0 = .
−4 10 11 30 −297 −270

! !
3 2 5 −3
(d) [f ]B = és [g]B 0 = .
1 −1 −4 7
! ! !
6 4 70 105 68 −349
Eredmény. [2f ]B = , [f + g]B = , [f ◦ g]B 0 = . 
2 −2 −35 −56 −43 219
Lineáris függvény magja és képe
9. Legyen f ∈ EndR (R4 ) a következő mátrixszal a kanonikus bázisban:
 
1 1 −3 2
−1 1 1 4
[f ]E = 
 
1 −5 1

2
1 2 −4 5
(a) Mutassuk meg, hogy v = (1, 4, 1, −1) ∈ ker f és v 0 = (2, −2, 4, 2) ∈ Im f ;
(b) Adjunk meg egy-egy bázist a ker f és Im f vektorterekben és határozzuk meg a dimen-
zióikat;
(c) Határozzuk meg v és v 0 koordinátáit a (b) pontnál megadott bázisokban;
(d) Írjuk fel az f függvényt.
10. Legyen f ∈ EndR (R4 ), f (x, y, z, t) = (x + 2y + z − t, x + 2y − z + t, x + 2y, z − t).
(a) Mutassuk meg, hogy v = (4, −2, 3, 3) ∈ ker f és v 0 = (3, −1, 1, 2) ∈ Im f ;
(b) Adjunk meg egy-egy bázist a ker f és Im f vektorterekben és határozzuk meg a dimen-
zióikat;
(c) Írjuk fel az [f ]E mátrixot.
11. Legyen f : Rn → Rm egy lineáris függvény. Határozzuk meg a ker f és Im f vektorterek
egy-egy bázisát, ha adott az f mátrixa a kanonikus bázisokban:
!
3 −1 −1 1
(a) [f ]E = ;
1 2 −1 −1
9
Algebra Informatikusoknak és Fizikusoknak 2021-22 őszi félév
 
0 −1 5
(b) [f ]E = 1 0 0 ;
 
0 1 −5
 
1 0 −3 2
(c) [f ]E = −2 3 0 1;
 
3 −3 −1 1
 
2 2 1
(d) [f ]E = −1 −3 1 .
 
1 2 −1

10