Determinant

Determinant on lineaaralgebras funktsioon, mis seab igale ruutmaatriksile vastavusse arvu. See on oluline matemaatiline konstruktsioon lineaarvõrrandisüsteemide uurimisel.

Maatriksi A determinanti tähistatakse tavaliselt ,  või . Determinant on defineeritud vaid ruutmaatriksile.

Determinandi leidmine 

Üldjuhul saab n×n determinanti efektiivselt arvutada Leibnizi valemiga või Laplacei valemiga. 2×2 ja 3×3 maatriksite determinanti on lihtsam arvutada ja meelde jätta Sarruse reegli abil. Lühidalt ja pikema selgituseta on need ka siin toodud.

Sarruse reegel

Reegel on saanud nime prantsuse matemaatiku Pierre Frédéric Sarruse järgi ja kujutab endast kava, mille abil saab meelde jätta, kuidas arvutada 2- ja 3-järku determinante (sarnane lihtsustus aga ei kehti suuremate determinandi järkude puhul).

Näited 

 Teist järku ruutmaatriksi
 determinant on .

 Kolmandat järku ruutmaatriksi 
 determinant on

Leibnizi valem 

Võetakse summa üle kõigi permutatsioonide σ hulgast .

Näide 

 n-järku ruutmaatriksi 
  determinant on

Laplace'i valem 

Laplace'i valemi kohaselt võrdub determinandi väärtus tema mingi rea elementide ja vastavate elementide algebraliste täiendite korrutiste summaga.

kus a on maatriksi element ja A tema algebraline täiend. Kui algebraline täiend esitada miinori kaudu, siis saame Laplace'i valemi üldlevinud kuju:

Ajalugu 

Determinandi mõiste tekkis enne maatriksi mõistet. Algul defineeriti determinanti lineaarvõrrandite süsteemi omadusena. Determinant määrab ehk determineerib, kas võrdse tundmatute ja võrrandite arvuga süsteemil on üksainus lahend (see on nii parajasti siis, kui tundmatute kordajaist moodustatud determinant ei võrdu nulliga). Nii defineeritud teist järku determinante vaatles 16. sajandi lõpus Cardano. Suuremaid determinante vaatles umbes 100 aastat hiljem Leibniz. Gabriel Cramer (1750) täiustas Leibnizi teooriat seoses võrrandisüsteemidega.

Graafiline tõlgendus

2-dimensiooniline ruum
2-dimensioonilises ruumis on determinant 2 vektorile ehitatud rööpküliku pindala.

Näide

Olgu antud punktid ,  ja meid huvitab nullpunktiga loodud kolmnurga pindala.

Kõige lihtsam viis pindala leidmiseks on leida pool determinandi absoluutväärtusest, mis on ehitatud vektoritest  ja , seega

3-dimensiooniline ruum

3-dimensioonilises ruumis on determinant 3 vektorile ehitatud rööptahuka ruumala.

Näide

Olgu antud 3 vektorit ,  ja , ning me soovime leida nendega piiratud püramiidi ruumala.

Kõige lihtsam viis ruumala leidmiseks on leida  determinandi absoluutväärtusest, mis on nendest vektoritest ehitatud.

Determinandi põhiomadused 

 Maatriksi determinandi väärtus ei muutu maatriksi transponeerimisel:
.
 Determinant on null, kui determinandi 1 rida või veerg : 
 koosneb nullidest
 on võrdne mõne teise vastava rea või veeruga
 on proportsionaalne mõne teise vastava rea või veeruga

 on esitatav ülejäänud ridade/veergude lineaarkombinatsioonina (avaldub teiste skalaari kordsete väärtuste täpse summana)
 Kui determinandis vahetada omavahel kaks rida, siis muutub determinandi märk vastupidiseks.

 Determinanti skalaariga korrutades, korrutatakse vaid ühte rida või veergu. Samalaadselt kehtib vastupidine, kui mõni determinandi rida või veerg avaldub teatud skalaari kordsena, saab selle skalaari determinandi ette tuua.
 Kui determinandi mingi rida või veerg avaldub elementide summana saab determinandi kirjutada 2 determinandina.
 Determinandi väärtus ei muutu, kui tema mingi rea elementidele juurde liita mis tahes arv kordsed teise rea vastavad elemendid.
 Kuna determinant on induktiivselt defineeritud (esmalt esimest järku, selle abil teist, selle abil kolmandat jne.), saame suuremaid determinante arvutada nende miinorite ehk alamdeterminantide summana.
 Maatriksi  ja  determinantide korrutis  on võrdne nende maatrikskorrutise determinandiga olenemata maatriksite järjekorrast .

Mõisteid

Miinor 
Maatriksi A elemendi aik miinoriks Mik nimetatakse antud maatriksist i-nda rea ja k-nda veeru ärajätmisel saadud maatriksi determinanti.

Algebraline täiend 
Elemendi aik algebraliseks täiendiks Aik nimetatakse selle elemendi miinorit võetuna märgiga "+", kui indeksite summa i+k on paarisarv ja märgiga "-", kui ta on paaritu arv. See on lihtsustatud vorm, ning sisuliselt kujutab miinoris kasutatud elementide asukoha inversioonide arvu, ning graafiliselt on põhjustatud telgkordinaatide vahetusest.

Aik = (−1)i+kMik

Arendi, miinorite ja algebralise täiendi näide 

Suvalisele 4-järku ruutmaatriksile saab arendi leida 8 viisil.

Näiteks maatriks  determinant 

Arendid on sel juhul:
 arend 1 rea järgi

Tähelepanekud ja determinandi kasutusalad

Kui lineaarvõrrandisüsteemi vektorid on lineaarselt sõltuvad, siis determinant on 0 ja eemaldada saab vähemalt 1 vektori, mis kirjeldab tundmatute vahelisi seoseid. Kui lineaarvõrrandisüsteemi determinant on 0, siis on kas 0 või lõpmatult palju lahendeid.

Determinandi abil saab arvutada vektrorkorrutist:
.

Lisaks sellele on vektorkorrutise  suund risti -ga ja see on määratud parema käe reegliga. Sarnaselt sellega .

Maatriksi astak on defineeritud kui suurim miinori järk, mille tulem on nullist erinev.

Kui lineaarvõrrandisüsteemil  ei ole lahendeid, siis kui selle elemendid on lineaarselt sõltumatud (mida nad on, kui leidub pöördmaatriks), siis pöördmaatriksi abil saab leida pseudolahendi , mis lihtsustub . Lisaks Gaussi-Jordani eliminatsioonile saab pöördmaatriksi leida determinandi abil:
, kus  on maatriksi miinorite väärtuste ja algebralise täiendite (ilma elemendita) maatriks mida on transponeeritud (read ja veerud on vahetatud).

Käsitsi on ebapraktiline leida kõrgemat järku determinante otse, ehk ilma eelnevalt lineaarteisendustega mõnda ritta või veergu nullide tegemist ja selle rea või veeru järgi arendamist. Praktikas teevad seda ka arvutiprogrammid, sest determinandi arvutamiseks vajalik töö maht on võrdne ruut faktoriaaliga (siiski vaid halvimal juhul tuleb see töö teha). Töö mahu piltlikustamiseks võib öelda, et saab konstrueerida nn halvima juhu 1000-järku determinandi, mida ükski arvuti inimeluaja jooksul ei suuda lahendada.

Crameri valemid 
Lineaarse võrrandisüsteemi (lühend LVS) :

lahendid saab leida Crameri valemitega, kui:
 tundmatute arv võrdub võrrandite arvuga, ehk tegemist on ruutmaatriksiga
 süsteemi peamaatriksi A determinant .
Vastava tundmatu  leiab valemiga:

Kus maatriks  on saadud maatriksi  i'nda veeru asendamisel vabaliikmete veeruga (ehk aritmeetilise vektoriga b).

Vaata ka
 Maatriks
 Ruutmaatriks

Lineaaralgebra
Maatriksid