Kettő vagy három ismeretlent tartalmazó egyenletrendszerek ...
Kettő vagy három ismeretlent tartalmazó egyenletrendszerek ...
Kettő vagy három ismeretlent tartalmazó egyenletrendszerek ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lineáris <strong>egyenletrendszerek</strong> megoldása 245<br />
Ha B és C az A inverzei lennének, akkor<br />
B = B⋅ I = B⋅( A⋅ C) = ( B⋅A) ⋅ C = I ⋅ C = C ,<br />
n n<br />
1<br />
tehá A − egyértelműen meghatározott.<br />
1<br />
Az előbbiek alapján ha létezik A − t<br />
, akkor az A -hoz rendelt lineáris leképezésnek<br />
3 3<br />
létezik inverze, tehát az f : → f( x) = A⋅x függvény bijektív.<br />
Így az<br />
3<br />
A⋅ x = y egyenletnek minden y ∈ esetén van<br />
egyértelmű<br />
megoldása. Láttuk,<br />
hogy ez csak akkor fordul el ő, ha detA ≠ 0 és ebben az esetben meg is tudjuk<br />
szerkeszteni az A inverzét. Érvényes tehát<br />
a következő tétel.<br />
Tétel. Az A ∈ M ( )<br />
mátrixnak pontosan akkor létezik inverze, ha detA ≠ 0 és<br />
3<br />
− 1 1 *<br />
*<br />
ebben az esetben A = ⋅ A , ahol az A mátrixot<br />
úgy kapjuk, hogy az A<br />
detA<br />
transzponáltjának minden elemét helyettesítjük annak algebrai komplementumával.<br />
2.4. n <strong>ismeretlent</strong> <strong>tartalmazó</strong> <strong>egyenletrendszerek</strong><br />
és n×n-es<br />
determinánsok<br />
Az eddigi tulajdonságok alapján értelmezni tudjuk n× n -es mátrix esetén is a<br />
determinánst és n× n -es lineáris <strong>egyenletrendszerek</strong>re is adhatunk megoldási<br />
módszereket.<br />
Értelmezés. Ha A ∈ M ( )<br />
, akkor az A mátrix determinánsának nevezzük a<br />
n<br />
∑<br />
j= 1<br />
n<br />
a ⋅ D kifejezést,<br />
ahol az elem algebrai komplementuma<br />
1j 1j<br />
1j D a1j<br />
( ( ) , aho<br />
1+<br />
j<br />
D = −1⋅d l 1j1j1j d az a -hez tartozó aldetermináns). Tehát<br />
1j<br />
n<br />
⋅d1j<br />
j=<br />
1<br />
Megjegyzés.<br />
Mivel D egy ( n − 1) × ( n − 1)<br />
-es determináns és 2× 2-es<br />
illetve<br />
1j<br />
3× 3-as<br />
determinánst értelmeztünk, az értelmezés<br />
helyes (a matematikai indukció<br />
elve<br />
alapján).<br />
Feladat. Bizonyítsuk be, hogy a determináns minden sora <strong>vagy</strong> oszlopa szerint<br />
kifejthető, azaz<br />
n n<br />
∑ ∑<br />
det A= a ⋅ D = a ⋅D<br />
∀ i, j = 1, n<br />
D<br />
1j<br />
ij ij ij ij<br />
j= 1 i=<br />
1<br />
Bizonyítás.<br />
n = 2 és n = 3 esetén már bebizonyítottuk a tulajdonságot. Így a<br />
matematikai indukció<br />
elve alapján elégséges igazolni, hogy ha teljesül az állítás<br />
minden legfeljebb ( n − 1) × ( n − 1)<br />
-es mátrix determinánsára, akkor teljesül minden<br />
n× n -es mátrix determ<br />
inánsára is. Legyen<br />
A ∈ M ( )<br />
egy tetszőleges mátrix. Az<br />
n+<br />
1<br />
értelmezés alapján<br />
n n n n<br />
∑ ∑ ∑ ∑<br />
1+ j 1+<br />
j i+ k<br />
detA = a D = a ( −1)<br />
d′ = a ( −1) a ( − 1)<br />
d′′<br />
=<br />
1j 1j 1j 1j 1j<br />
ik ik<br />
j= 1 j= 1 j= 1 k=<br />
1<br />
k≠j