Web Analytics

See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Determinant - Wikipedia

Determinant

Fra Wikipedia, den frie encyklopædi

En determinant er et tal, der karakteriserer en matrix. Der findes flere forskellige måder at bestemme determinanter på, og flere forskellige nyttige regneregler for determinanter, som er gennemgået herunder.

Indholdsfortegnelse

[redigér] Bestemmelse af determinanter

Determinanter er kun definerede for kvadratiske matricer. For en matrix \underline{\underline{A}}_{n \times n} siger man, at determinanten \det \underline{\underline{A}} er af n'te orden.

[redigér] Leibniz-formlen

For en matrix \underline{\underline{A}}_{n \times n} = \begin{bmatrix} a_{ij} \end{bmatrix} kan determinanten fås af Leibniz-formlen:

\det \underline{\underline{A}} = \sum_{\sigma \in S_{n}} \sgn(\sigma) \prod_{i=1}^{n} a_{i,\sigma(i)}

hvor σ angiver en permutation af tallene {1, 2, 3, ..., n}, Sn er mængden af mulige permutationer af disse tal, sgn(σ) er fortegnet for permutationen og Π angiver et produkt (på samme måde som Σ angiver en sum). Specielt fås for n-værdierne 1-3:

n \det \underline{\underline{A}}_{n \times n}
1 a11
2 a11a22a12a21
3 \begin{matrix}a_{11}a_{22}a_{33} + a_{12}a_{23}a_{31} + a_{13}a_{21}a_{32} \\ - a_{11}a_{23}a_{32} - a_{12}a_{21}a_{33} - a_{13}a_{22}a_{31}\end{matrix}

[redigér] Udvikling efter række eller søjle

Determinanten af matricen \underline{\underline{A}}_{n \times n} = \begin{bmatrix} a_{ij} \end{bmatrix} kan også udtrykkes vha. n underdeterminanter af (n – 1)'te orden; dette gøres ved at udvikle efter en række eller søjle i \underline{\underline{A}}. Denne metode er specielt nyttig, hvis en række eller søjle indeholder mange nuller, idet der så ved udvikling efter denne vil bortfalde lige så mange af leddene i den passende formel herunder:


Ved udvikling efter den i'te række fås determinanten af

\det \underline{\underline{A}} = \sum_{j=1}^n (-1)^{i+j}a_{ij}D_{ij}
= (-1)^{i+1}a_{i1}D_{i1} + (-1)^{i+2}a_{i2}D_{i2} + \cdots + (-1)^{i+n}a_{in}D_{in}


Ved udvikling efter den j'te søjle fås determinanten af

\det \underline{\underline{A}} = \sum_{i=1}^n (-1)^{i+j}a_{ij}D_{ij}
= (-1)^{1+j}a_{1j}D_{1j} + (-1)^{2+j}a_{2j}D_{2j} + \cdots + (-1)^{n+j}a_{nj}D_{nj}


Herover betegner Dij den (i, j)'te underdeterminant hørende til \underline{\underline{A}}, dvs. determinanten til den matrix, der fremkommer ved at fjerne den i'te række og den j'te søjle fra \underline{\underline{A}}. Størrelsen

( − 1)i + jDij

kaldes komplementet til matrixelementet aij.

[redigér] Regneregler og særtilfælde

[redigér] Matrixegenskaber og determinanter

For en enhedsmatrix \underline{\underline{I}} gælder

\det \underline{\underline{I}} = 1


For en diagonal- eller trekantmatrix \underline{\underline{A}}_{n \times n} = \begin{bmatrix}a_{ij}\end{bmatrix} gælder

\det \underline{\underline{A}} = \prod_{i=1}^n a_{ii} = a_{11}a_{22} \cdots a_{nn}


Hvis en kvadratisk matrix \underline{\underline{A}} indeholder en nulrække, da gælder

\det \underline{\underline{A}} = 0


For en kvadratisk matrix \underline{\underline{A}}_{n \times n} er følgende tre udtryk ækvivalente:

  • \underline{\underline{A}} er regulær
  • \det \underline{\underline{A}} \ne 0
  • \rho(\underline{\underline{A}}) = n

NB: En matrix behøver ikke være kvadratisk for at kunne være regulær.

[redigér] Transponering, invertering og multiplikation af matricer

For en kvadratisk matrix \underline{\underline{A}} gælder

\det \underline{\underline{A}}^T = \det \underline{\underline{A}}


For en regulær kvadratisk matrix \underline{\underline{A}} gælder

\det(\underline{\underline{A}}^{-1}) = \frac{1}{\det \underline{\underline{A}}}


For to matricer \underline{\underline{A}}_{n \times n} og \underline{\underline{B}}_{n \times n} gælder

\det(\underline{\underline{A}} \underline{\underline{B}}) = \det \underline{\underline{A}} \cdot \det \underline{\underline{B}}

[redigér] Elementaroperationer på matricer

Hvis en matrix \underline{\underline{B}} frembringes ved én af disse elementaroperationer på en anden matrix \underline{\underline{A}}, fås dens determinant af:

  • Ombytning af 2 rækker:
\det \underline{\underline{B}} = -\det \underline{\underline{A}}


  • Multiplikation af 1 række med tal k:
\det \underline{\underline{B}} = k \det \underline{\underline{A}}


  • Rækkeoperation (træk en række fra en anden):
\det \underline{\underline{B}} = \det \underline{\underline{A}}

[redigér] Beviser

I dette afsnit vil vi bevise nogle af de overstående påstande, men vi stater men en simpel definition af determinanter

[redigér] Definition

Lad A \in \mathrm{Mat}_n(\mathbb{F}), hvis n = 1 defineres det(A) = a11 hvis n > 1 defineres rekursivt til

\det(A) = \sum_{i=1}^{n} (-1)^{i+1} a_{1i} \det(A_{1,i})

hvor Ai,j fremkommer af A ved at fjerne i'te række og j'te søjle.

[redigér] Række ombytning

Lad B fremkomme af A ved at bytte om på to rækker, da gælder at

det(B) = − det(A)

Dette kan bevises induktivt, hvis n = 2 da har vi at

det(A) = a11a22a12a21 = − (a12a21a11a22)det(B).

Antags eller at resultatet gælder for n − 1 vi må vise at det gælder for n, hvis vi ikke har byttet om på første række må

\det(B) = \sum_{i=1}^n (-1)^{i+1} a_{1i} \det(B_{1,i}) = \sum_{i=1}^n (-1)^{i+1} a_{1i} - \det(A_{1,i}) = - \det(A)

idet B1i fremkommer af A1,i ved at bytte om på to rækker, og induktionsantagelsen derfor virker.

Ellers må 1'te og j'te række være ombyttet. Dan C ved at bytte om på 2. og j'te række i B. Dan D ved at bytte om på 2. og j'te række i A, da fremkommer D også ved at bytte om på 1. og 2. række i C, og det må gælde at C12,ij = D12,ij, af induktionsantages får vi at det(C1,i) = − det(B1,i) og det(D1,i) = − det(A1,i)

\det(B) = -\det(C) = - \sum_{g=1}^n (-1)^{1+g} a_{jg} \det(C_{1,g})

= - \sum_{g=1}^n \sum_{(k=1, k \neq g)}^n (-1)^{k+g+\delta(k>g)} a_{jg} a_{1k} \det(C_{12,ij})
= \sum_{k=1}^n \sum_{(g=1, q \neq k)}^n       (-1)^{k+g+\delta(k<g)} a_{jg} a_{1k} \det(D_{12,ij})
= \sum_{k=1}^n (-1)^{1+k} a_{1k} \det(D_{1,k}) = \det(D) = - \det(A)

[redigér] Ens rækker

Hvis A har to ens rækker er det(A) = 0.

Dette er nemt at indse. Dan B ved at bytte om på de to ens række i A, da har vi at det(A) = − det(B) men A og B er jo ens, så det(A) = − det(A), dette kan kun lade sig gøre hvis det(A) = 0

[redigér] Række addition

Hvis B er dannet af A, ved at lægge i'te række r gange til j'te række. da vil det(A) = det(B)

Dette kan bevises som følger. Dan C ved at bytte på 1. og j'te række i A. Dan D ved at bytte om på 1. og j'te række i B, af reglen om række ombytning er det nok at vise at det(C) = det(D), idet vi bemærker at D også fremkommver ved at lægge i'te række r gange til 1. række af C bliver det klart at

\det(D) = \sum_{k=1}^{n} (-1)^{k+1} d_{1k} \det(D_{1,k}) = \sum_{k=1}^{n} (-1)^{k+1} (c_{1k} + r c_{ik}) \det(C_{1,k})

= \sum_{k=1}^{n} (-1)^{k+1} c_{1k} \det(C_{1,k}) + r \sum_{k=1}^{n} (-1)^{k+1} r c_{ik} \det(C_{1,k}) = \det(C) + r \det(N)

Hvor N fremkommer af C ved at restatte 1. med i'te række, men så har N to ens rækker og så har den jo determinant 0.

[redigér] Række skalation

Hvis B er dannet af A, ved at gange i'te række igennem med r (ikke 0), da er det(B) = rdet(A)

Dette kan bevises som føler, som før kan vi af rækkeombythings egenskaben uden tab af generalitet antage at i=1, så \det(B) = \sum_{i=1}^{n} (-1)^{i+1} r a_{1i} = r \sum_{i=1}^{n} (-1)^{i+1} a_{1i} = r \det(A)

[redigér] Invertabilitet

Matricen A er invertibel hvis og kun hvis \det(A) \neq 0.

Der findes H i RREF så A˜H, denne transformation fremkommer som en følge af rækkeoperationer af de foregående regler ved vi at det(A) = rdet(H) hvor r \neq 0 men \det(A) \neq 0 \Leftrightarrow \det(H) \neq 0 Men \det(H) \neq 0 præsis har H har fuld rang, og H har fuld rang præcis når A er Invertibel.


[redigér] Determinant af produkt

Om matixprodukter gælder at det(AB) = det(A)det(B).

Her gælder følgende bevis. Hvis A er diagonal følger det af rækkeskalationsreglen at

\det(AB) = a_{11} \ldots a_{nn} \det(B)

Hvis A er singulær er AB singulær af invertabilitetsreglen føler så at de begge har determinant 0, ellers må A være invertibel, og med rækkeaditioner og r række ombytninger kan man danne D fra A så D er diagonal. Af de ovenstående regler ses at

det(A) = ( − 1)rdet(D)

Lad E være produktet af de tilhørende rækkeoperationsmatricer så EA = D, men så må

E(AB) = (EA)B = DB

i kan altså udføre de samme rækkeoprationer på AB, så

det(AB) = ( − 1)rdet(DB) = ( − 1)rdet(D)det(B) = det(A)det(B)

[redigér] Determinant af invers

Hvis A er invertibel vil det(A) = det(A − 1) − 1

Med overstående regel er det nemt at se da, I = A − 1A1 = det(I) = det(A − 1)det(A)

[redigér] Determinant af transponeret

Det gælder altid at det(A) = det(AT)

Hvis A er singulær er AT det også og så vil det(A) = 0 = det(AT), ellers kan A opskrives som et produkt af række ombytnings matricer og række additions matricer og en diagonal matice så,

A=E_1 \ldots E_k D

Hvis Ei er en række-ombythings-matrice, så er E_i^T det også. Af række-ombytnings-reglen har de samme determinant nemlig -1. Ellers må Ei være en række-additions-matrice, og så er E_i^T også være det, af række-additions-reglen har de samme determinant nemlig 1, af produktreglen ses at \det(A^T)=\det(E_1^T) \ldots \det(E_k^T) \det(D^T) = \det(E_1) \ldots \det(E_k) \det(D) = \det(A)

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu