Professional Documents
Culture Documents
DETERMINNSOK
14.1 Mtrix fogalma, mveletek mtrixokkal
1. Denci. Ha k n darab vals (vagy komplex) szmot, az aij (i = 1, 2, . . . , k; j = 1, 2, . . . , n) szmokat, k sorban s n oszlopban helyeznk el (s zrjelbe tesznk) az albbi mdon: a11 a12 . . . a1n a21 a22 . . . a2n . . . . . . . . . ak1 ak2 . . . akn akkor egy k n tpus vals (vagy komplex) mtrixot deniltunk. Az sszes k n tpus mtrixok halmazt Mkn -nel jelljk. A tpus megadsnl mindig a sorok szma az els adat! Az elbbi mtrixot A-val jellve, mondhatjuk, hogy aij az A mtrix i-edik sornak j-edik eleme, vagy az A mtrix (i, j)-edik eleme. Gyakran hasznljuk az A = (aij ) tmr jellst, ha ez nem okoz flrertst. Az si = (ai1 , ai2 , . . . ain ) (i = 1, 2, . . . , n) vektort az A mtrix i-edik sorvektornak nevezzk, (e vektor koordinti llnak a mtrix i-edik sorban), az a1j a2j oj = . (j = 1, 2, . . . , n) . . akj vektort az A mtrix j-edik oszlopvektornak nevezzk (e vektor koordinti llnak a mtrix j-edik oszlopban). Specilis mtrixok: Ngyzetes vagy kvadratikus n-edrend mtrix, ha n sora s n oszlopa van (azaz a sorok s oszlopok szma egyenl: k = n. Egy n-edrend kvadratikus mtrix diagonlisa (ftlja) az a11 , a22 , . . . , ann elemekbl ll, mellktlja pedig az an1 , an1 2 , . . . , a1n elemekbl ll. n-edrend egysgmtrix olyan n-edrend kvadratikus mtrix, melynek ftljban csupa 1 ll, azon kvl pedig csupa 0 ll. Jellse E. k n tpus zrusmtrix olyan k n tpus mtrix, melynek minden eleme 0. Jellse O. Oszlopmtrix (ill. sormtrix) olyan mtrix melynek csak egyetlen oszlopa (ill. sora) van. 2. Denci. Az A = (aij ) Mkn mtrix transzponltjn az AT = (aji ) Mnk mtrixot, adjungltjn az A = (ji ) Mnk mtrixot rtjk (az els esetben a sorokat s oszlopokat megcserljk, a a msodik esetben sorokat s oszlopokat megcserljk s a mtrix elemeit konjugljuk).
1
3. Denci. Legyenek A = (aij ), B = (bij ) azonos tpus mtrixok, s legyen K, akkor az A + B s A mtrixokat A + B = (aij + bij ), A = (aij ) -vel deniljuk. Legyen Nn = {1, 2, . . . , n} az els n termszetes szmbl ll halmaz. Egy k n tpus A mtrix tekinthet egy A : Nk Nn K fggvnynek is, s ekkor az elz denci ppen a fggvnyek pontonknti sszeadsnak s szmmal val szorzsnak felel meg. gy, visszaemlkezve az F(X) vektortrre, ahol most X = Nk Nn , llthatjuk a kvetkezt. 1. llts. Az sszes k n tpus vals (vagy komplex) mtrixok Mkn halmaza vals (vagy komplex) vektortr a fenti mveletekre nzve. Tovbb brmely A, B Mkn , K mellett (A + B)T = AT + B T , (A)T = AT .
Kt mtrix szorzata csak akkor rtelmezett, ha az els tnyez(mtrixnak) annyi oszlopa van, mint ahny sora van a msodik tnyez(mtrixnak). 4. Denci. Az A = (aij ) Mkn s B = (bij ) Mnm mtrixok C = AB szorzatn azt a C = (cij ) Mkm mtrixot rtjk melyre
n
cij =
s=1
(i = 1, 2, . . . , k; j = 1, 2, . . . , m).
Ezt a szorzst rviden "sor-oszlop kombincinak " mondjuk, mert a szorzatmtrix cij eleme, ppen az A mtrix (els tnyez) i-edik sorvektornak s a B mtrix (msodik tnyez) j-edik oszlopvektornak a bels szorzata (mindkt vektor n dimenzis). 2. llts. Mtrixok szorzsra teljeslnek az albbi tulajdonsgok: A(BC) (A + B)C A(B + C) (AB)T = (AB)C = AC + BC = AB + AC = B T AT
brmely olyan A, B, C mtrixokra, melyekre a felrt mveleteknek van rtelme. Bizonyts. A megfelel szorzatmtrixok megfelel elemeinek kiszmolsa. Megjegyezzk, hogy a mtrixszorzs nem kommutatv, azaz ltalban AB = BA, tovbb kvadratikus mtrixokra AE = EA = A, AO = OA = O. 5. Denci. Egy A kvadratikus mtrixot invertlhatnak neveznk, ha van olyan B (kvadratikus) mtrix melyre AB = BA = E teljesl. Ezt a B mtrixot A inverznek nevezzk s A1 -gyel jelljk.
Ha A invertlhat, akkor csak egy inverze van. Ugyanis, ha B is A inverze volna, akkor AB = BA=E B = BE = B(AB ) = (BA)B = EB = B azaz B = B . Ksbb igazolni fogjuk, hogy egy (kvadratikus) mtrix akkor s csakis akkor invertlhat, ha determinnsa nem zrus.
szmot rtjk, ahol az sszegezs kiterjed az 1, 2, . . . , n sszes = 1 , 2 , . . . , n permutcijra, s itt I() az permutci inverziinak szma (az inverziban ll prok szma). Ha a mtrix elemeivel van megadva, akkor determinnsnl nem tesszk ki a mtrixot jell zrjelet, hanem az elemeket csupn kt fggleges vonal kz tesszk. Ha egy n-edrend A mtrix az o1 , o2 , . . . , on oszlopvektoraival van adva, akkor determinnst szoksos |A| = |o1 , o2 , . . . , on | -nel is jellni.
Megjegyzs. Egy ngyzetes mtrix determinnst a kvetkezkppen szmoljuk ki. Kivlasztunk a mtrix minden sorbl egy-egy elemet gy, hogy ezek az elemek mind klnbz oszlopban legyenek. Ezeket az elemeket sszeszorozzuk. Ha a kapott elemeket gy rakjuk sorba, hogy hogy a sorokat jell indexek termszetes sorrendben lljanak, akkor az oszlopindexek az 1, 2, . . . , n szmok egy = 1 , 2 , . . . , n permutcijval adhatk meg. Ha ez a permutci pros akkor az elbbi szorzatot vltozatlanul hagyjuk, ha pratlan, akkor mg 1-gyel megszorozzuk. Az ilyen mdon kapott szorzatokat az oszlopindexek sszes permutcijra elksztjk, majd a kapott n! darab szorzatot sszeadjuk. A determinns fenti dencija teljesen elemi, de igen bonyolult, ami gtolja az egyszer kiszmthatsgot. Msod s harmadrend determinnsok kiszmtsra vannak egyszer (s knnyen megjegyezhet kpletek: a11 a12 = a11 a22 a12 a21 a21 a22 a f tlban lv elemek szorzatbl kivonjuk a mellktlban lv elemek szorzatt. a11 a12 a13 a21 a22 a23 a31 a32 a33 = a11 a22 a33 + a12 a23 a31 + a13 a21 a32 a13 a22 a31 a11 a23 a32 a12 a21 a33 .
Ez a Sarrus szably, melyet gy lehet megjegyezni, hogy a determinns els kt oszlopt a determinns jobboldalhoz hozzrva kpzeljk, majd a mellktlban s vele prhuzamosan tle jobbra lv kt msik tlban lv elemeket sszeszorozzuk, e szorzatokat sszeadjuk, majd a mellktlban s vele prhuzamosan tle jobbra lv kt msik tl elemeit sszeszorozzuk, e szorzatokat kivonjuk az elz sszegbl. 1. Ttel (a determinns alaptulajdonsgai). (1) Ha egy determinns sorait s oszlopait felcserljk, akkor a determinns rtke nem vltozik (vagy egy ngyzetes mtrixnak s transzponltjnak determinnsa megegyezik). (2) Ha egy determinns valamely sornak minden eleme tartalmaz egy c faktort, akkor ez kiemelhet a determinns jele el. (3) Ha egy determinns kt sort felcserljk akkor a determinns eljelet vlt. (4) Ha egy determinns kt sora megegyezik, akkor a determinns rtke nulla. (5) A determinns rtke nem vltozik, ha egy sornak elemeihez egy msik sor megfelel elemeinek c-szerest hozzadjuk. (6) Ha egy determinns valamely sornak minden eleme kt tag sszegre bomlik, akkor a determinns felirhat kt olyan determinns sszegeknt melyeknek megfelel sorukban ppen az egyes sszeadandk llnak. (7) Ha egy determinns egy sorban csupa 0 ll, akkor a determinns rtke nulla. (8) Ha egy determinns ftljban minden elem 1 s a determinns tbbi eleme 0, akkor a determinns rtke 1. Bizonyts. (1) Azt kell megmutatni, hogy (1)I() a11 a22 . . . ann =
Sn Sn
(1)I() a1 1 a2 2 . . . an n .
Ez azrt igaz, mert az els sszeg minden tagjhoz hozzrendelhet a msodik sszegnek pontosan egy tagja, s az eljelek is egyeznek.
(2) Ha az i-edik sort szorozzuk c-vel akkor (1)I() a11 . . . (caii ) . . . ann = c
Sn Sn
gy lltsunk igaz. (3) Ha pl. az i-edik s j > i-edik sort cserljk fel, akkor azt kell beltni, hogy (1)I() a11 . . . aii . . . ajj . . . ann =
Sn Sn
ahol = 1 , . . . , j , . . . , i . . . , n . Mindkt sszegben a szorzatok tnyezi megegyeznek csupn az eljelek klnbznek, mivel az permutcit gy kapjuk -bl, hogy az i-edik s j-edik elemeket megcserljk. Ezrt I( ) = I()+pratlan szm, igazolva lltsunkat. (4) A kt egyez sor cserje nem vltoztatja meg a determinnst, gy az elz llts miatt |A| = |A| amibl |A| = 0. (5) Ha az i-edik sorhoz a j-edik sor c-szerest adjuk (i < j), akkor az igy kapott determinns rtke
Sn
(1)I() a11 . . . (aii + cajj ) . . . ajj . . . ann = (1)I() a11 . . . ajj . . . ajj . . . ann =
Sn
+c
Sn
Sn
mert c utni sszeg nulla (lvn egy olyan determinns rtke melynek kt sora megegyezik). (6) Ha az i-edik sor elemei aij + aij (j = 1, . . . , n) akkor (1)I() a11 . . . (aii + aii ) . . . ann =
Sn Sn
+
Sn
(1)
I()
amint lltottuk. (7), (8) nyilvnvalk a denci alapjn. Megjegyzs. A (6), (2), (3), (8) tulajdonsgokat segtsgvel is felrhatjuk (tekintettel arra, hogy a fenti serlhet). Tetszleges oi (n-dimenzis) oszlopvektor, indexpr s a termszetes bzis ei = (0, 0, . . . , 1, . . . , 0)T azaz a determinns additv az oszlopokra nzve, |o1 , . . . , c oi , . . . , on | = c|o1 , . . . , oi , . . . , on |, azaz a determinns homogn az oszlopokra nzve, |o1 , . . . , oi , . . . , oj , . . . , on | = |o1 , . . . , oj , . . . , oi , . . . , on |, azaz a determinns alternl az oszlopokra nzve, |e1 , . . . , ei , . . . , en | = 1 azaz az egysgmtrix determinnsa 1. Ezek a tulajdongok jellemzik is a determinnst (ld. Kozma jegyzet). a mtrix o1 , . . . , oi , . . . , on oszlopvektorainak lltsokban a sorok s oszlopok szerepe felctetszleges c K, tetszleges 1 i, j n (i = 1, . . . , n) oszlopvektorai esetn:
2. Ttel. Egy kvadratikus mtrix determinnsa pontosan akkor nulla, ha oszlopvektorai linerisan fggek. Bizonyts. Ld. Kozma jegyzet. 3. Ttel (a determinnsok szorzsttele). Ha A, B kvadratikus mtrixok , akkor |AB| = |A| |B|, azaz kvadratikus mtrixok szorzatnak determinnsa a tnyezmtrixok determinnsainak szorzata. Bizonyts. Ld. Kozma jegyzet. Ebbl azonnal kvetkezik a 3. llts. Egy kvadratikus mtrix akkor s csakis akkor invertlhat, ha determinnsa nem nulla. Bizonyts. Ld. Kozma jegyzet. 8. Denci. Egy n-edrend kvadratikus A mtrixbl, hagyjuk el az i-edik sort s a j-edik oszlopot, a visszamarad n 1-edrend kvadratikus mtrix determinnst (1)i+j -vel megszorozva, a kapott szmot az A mtrix aij elemhez tartoz aldeterminnsnak nevezzk, s Aij -vel jelljk. Az aldeterminns teht egy rszmtrix determinnsa, vagy annak negatvja, attl fggen, hogy mi az elhagyott sor s oszlop indexe. Az eljel megllaptsra a sakktbla szably szolgl: helyezzk el mtrixunkat egy kpzeletbeli n n-es sakktbln, de a mezket sznezs helyett + s jelekkel ltjuk el, gy, hogy a bal fels sarokban + jel van. Ha egy mezben + jel van akkor (1)i+j = 1, ha jel van, akkor (1)i+j = 1. 4. Ttel (kifejtsi ttel). Legyen A egy n-edrend kvadratikus mtrix, akkor
n
(1)
j=1
aij Ai j =
|A| 0
ha i = i ha i = i
(2)
i=1
aij Aij =
|A| 0
ha j = j ha j = j
ez az oszlop szerinti kifejts. Bizonyts. Ld. Kozma jegyzet. Magyarzat: pl. az els sor szerinti kifejts azt jelenti, hogy a determinns rtkt gy szmoljuk ki, hogy els sorvektor (a11 , a12 , . . . , a1n ) s ennek koordintihoz tartoz aldeterminnsokbl ll (A11 , A12 , . . . , A1n ) vektorok bels szorzatt vesszk. Ha pl. az els sorvektor s egy msik sorvektorhoz tartoz aldeterminnsok vektornak bels szorzatt vesszk, akkor nullt kapunk. Ugyanez a helyzet oszlopvektorok esetn is. 9. Denci. Egy tetszleges kn tpus mtrix rangjn oszlopvektorainak rangjt rtjk (ami azonos a maximlis linerisan fggetlen oszlopvektorok szmval). Legyen 1 l min{k, n}, akkor A egy l-edrend aldeterminnst gy kapjuk, hogy kivlasztjunk a mtrix l darab sort s l darab oszlopt, s ezek metszetben lv elemekbl alkotott l-edrend determinnst kpeznk.
k l
n l
5. Ttel (rangszmttel). Brmely (nemzrus) mtrix rangja megegyezik a maximlis rend nulltl klnbz aldeterminnsainak rendjvel. A zrusmtrix rangja nulla. Bizonyts. Ld. Kozma jegyzet. E ttelbl az is kvetkezik, hogy egy mtrix sorvektorainak rangja egyenl az oszlopvektorainak rangjval, hiszen transzponlskor a kivlasztott l-edrend determinnsok rtke nem vltozik.