Ääretön matriisi, jonka elementit ovat Pascalin kolmio
On matematiikka , erityisesti matriisi teoria ja kombinatoriikka , joka on Pascal matriisi on (mahdollisesti ääretön ) matriisi , joka sisältää Binomikertoimien sen osia. Se on siis Pacalin kolmion koodaus matriisimuodossa. Tähän on kolme luonnollista tapaa: alemman kolmion matriisina , ylemmän kolmion matriisina tai symmetrisenä matriisina . Esimerkiksi 5 × 5 -matriisit ovat:
On muitakin tapoja, joilla Pascalin kolmio voidaan laittaa matriisimuotoon, mutta niitä ei ole helppo laajentaa äärettömyyteen.
Määritelmä
Pascal-matriisin nollasta poikkeavat elementit annetaan binomikertoimilla :
missä indeksit i , j alkavat 0: sta ja! tarkoittaa tekijää .
Ominaisuudet
Matriiseilla on miellyttävä suhde S n = L n U n . Tästä on helppo nähdä, että kaikilla kolmella matriisilla on determinantti 1, koska kolmionmuotoisen matriisin determinantti on yksinkertaisesti sen diagonaalisten elementtien tulos, jotka ovat kaikki 1 sekä L n: lle että U n: lle . Toisin sanoen, matriisit S n , L n , ja U n ovat unimodular , jossa L n ja U: n , jossa jälki n .
S n: n jälki on annettu
![{\ text {tr}} (S_ {n}) = \ sum _ {i = 1}^{n} {\ frac {[2 (i-1)]!} {[(i-1)!]^ {2}}} = \ summa _ {k = 0}^{n-1} {\ frac {(2k)!} {(K!)^{2}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/807ef023bf273f4d6285d938df8948ab45df0332)
muutaman ensimmäisen ehdoin sekvenssin 1, 3, 9, 29, 99, 351, 1275, ... (sekvenssi A006134 on OEIS ).
Rakentaminen
Pascal -matriisi voidaan itse asiassa rakentaa ottamalla eksponentiaalinen matriisi erityisestä osa- tai superdiagonaalimatriisista . Alla oleva esimerkki muodostaa 7 × 7 Pascal -matriisin, mutta menetelmä toimii millä tahansa halutulla n × n Pascal -matriisilla. Seuraavien matriisien pisteet edustavat nollaelementtiä.
![{\ begin {array} {lll} & L_ {7} = \ exp \ left (\ left [{{begin {smallmatrix}. &. &. &. &. &. &. &. \\ 1 &. &. &. &] & &. &. \\. & 2 &. &. &. &. &. \\. &. & 3 &. &. &. &. . &. & 5 &. &. \\. &. &. &. &. &. & 6 &. \ End {smallmatrix}} \ right] \ right) = \ left [{\ begin {smallmatrix} 1 &. &. &. &. &. &. \\ 1 & 1 &. &. &. &. &. \\ 1 & 2 & 1 &. &. &. &. \\ 1 & 3 & 3 & 1 &. &. smallmatrix}} \ oikea]; \ quad \\\\ & U_ {7} = \ exp \ vasen (\ vasen [{\ begin {smallmatrix}. & 1 &. &. &. &. &. \\. &. & 2 &. &. &. &. \\. &. &. & 3 &. &. &. \\. &. &. &. &. & 4 &. &. &. &. &. &. & 6 \\. &. &. &. &. &. &. &. \ End {smallmatrix}} \ right] \ right) = \ left [{\ begin {smallmatrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 \\. & 1 & 2 & 3 & 4 & 5 & 6 \\. &. & 1 & 3 & 6 & 10 & 15 \\. &. &. & 1 & 4 & 10 & 20 \\. &. &. &. & 1 & 5 & 15 \\. &. &. &. &. &. & 1 \ end {smallmatrix}} \ oikea]; \\\\\ siksi & S_ {7} = \ exp \ vasen (\ vasen [{\ begin {smallmatrix}. &. &. &. &. &. &. \ \ \ 1 &. &. &. &. &. &. &. \\. & 2 &. &. &. &. &...... &. \\. &. &. &. &. & 5 &. &. \\. &. &. &. &. &. & 6 &. \ End {smallmatrix}} \ oikea] \ oikea) \ exp \ vasen (\ vasen [{\ aloita {smallmatrix}. & 1 &. &. &. &. &. \\. &. & 2 &. &. &. &. \\. &. &. & 4 &. &. \\ &. &. &. &. &. & 5 &. \\. &. &. &. &. &. &. &. & 6 \\. &. &. &. &. &. &. &. &. oikea) = \ left [{\ begin {smallmatrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 1 & 3 & 6 & 10 ja 15 & 21 ja 28 \\ 1 & 4 & 10 ja 20 & 35 ja 56 & 84 \\ 1 & 5 & 15 ja 35 & 70 & 126 & 210 \\ 1 ja 6 & 21 ja 56 & 126 ja 252 & 462 \\ 1 ja 7 ja 28 ja 84 ja 210 ja 462 ja 924 \ end {smallmatrix}} \ oikealle]. \ end {array}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/82e99eb0250c3ea2302d5649dfad45d19d1d034b)
On tärkeää huomata, että ei voida vain olettaa exp ( A ) exp ( B ) = exp ( A + B ), kun n × n matriisia A ja B ; tämä tasa -arvo pätee vain, kun AB = BA (eli kun matriisit A ja B matkustavat ). Yllä olevan kaltaisten symmetristen Pascal-matriisien rakentamisessa ali- ja superdiagonaaliset matriisit eivät liiku, joten (ehkä) houkuttelevaa yksinkertaistamista, johon liittyy matriisien lisääminen, ei voida tehdä.
Hyödyllinen ominaisuus rakenteessa käytetyissä ala- ja superdiagonaalisissa matriiseissa on se, että molemmat ovat olemattomia ; eli kun ne nostetaan riittävän suureksi kokonaislukutehoksi , ne rappeutuvat nollamatriisiksi . (Katso lisätietoja siirtomatriisista .) Kun käyttämämme n × n yleistetyt siirtomatriisit muuttuvat nollaksi, kun ne nostetaan tehoon n , matriisin eksponentiaalia laskettaessa meidän on otettava huomioon vain äärettömän sarjan ensimmäiset n + 1 termit, jotta saadaan tarkka tulos.
Vaihtoehdot
Mielenkiintoisia muunnelmia voidaan saada muuttamalla ilmeisesti matriisi-logaritmia PL 7 ja sitten soveltamalla eksponentiaalista matriisia.
Ensimmäinen esimerkki alla käyttää log-matriisin arvojen neliöitä ja muodostaa 7 × 7 "Laguerre" -matriisin (tai matriisin Laguerre-polynomien kertoimista
![{\ begin {array} {lll} & LAG_ {7} = \ exp \ left (\ left [{{begin {smallmatrix}. &. &. &. &. &. &. &. \\ 1 &. &. &. &] & &. &. \\. & 4 &. &. &. &. &. \..................... . &. & 25 &. &. \\. &. &. &. &. &. & 36 &. \ End {smallmatrix}} \ right] \ right) = \ left [{\ begin {smallmatrix} 1 &. &. &. &. &. &. \\ 1 & 1 &. &. &. &. &. \\ 2 & 4 & 1 &. &. &. &. \\ 6 & 18 & 9 & 1 &. &. &. smallmatrix}} \ oikea]; \ quad \ end {array}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/e04ba5c1436107e3df27418ec52690307031066f)
Laguerre-matriisia käytetään itse asiassa jonkin muun skaalauksen ja/tai vuorottelevien merkkien kaavion kanssa. (Kirjallisuutta yleistyksistä korkeammille voimille ei ole vielä löydetty)
Toinen alla oleva esimerkki käyttää log-matriisin arvojen tuloja v ( v + 1) ja muodostaa 7 × 7 "Lah" -matriisin (tai matriisin Lah-numeroiden kertoimista )
![{\ displaystyle {\ begin {array} {lll} & LAH_ {7} = \ exp \ left (\ vasen [{\ begin {smallmatrix}. &. &. &. &. &. &. &. \\ 2 &. &. &. &. &. &. \.. & 6 &. &. &. &. &. &. &..... &. &. &. & 30 &. &. \\. &. &. &. &. &. & 42 &. \ End {smallmatrix}} \ right] \ right) = \ left [{{begin {smallmatrix} 1 &. &. & &. &. &. &. &. \\ 2 & 1 &. &. &. &. &. &. &. &. \\ 6 & 6 & 1 &. &. &. &. &. &. &. . &. \\ 720 & 1800 & 1200 & 300 & 30 & 1 &. & \\ 5040 & 15120 & 12600 & 4200 & 630 & 42 & 1 &. \\ 40320 & 141120 & 141120 & 58800 & 11760 & 1176 & 56 & 1 \ end {smallmatrix}} \ right]; \ quad \ end {array}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/a5f5fa329b5cef35f151bd8d7a04c7021bbe48ba)
Käyttämällä v ( v- 1) sen sijaan saadaan diagonaalinen siirtyminen oikeaan alakulmaan.
Alla olevassa kolmannessa esimerkissä käytetään alkuperäisen PL 7 -matriisin neliötä, joka on jaettu kahdella, toisin sanoen: ensimmäisen asteen binomi (binomi ( k , 2)) toisessa alidiagonalissa ja muodostaa matriisin, joka esiintyy johdannaiset ja integraalit Gaussin virhefunktio :
![{\ displaystyle {\ begin {array} {lll} & GS_ {7} = \ exp \ left (\ vasen [{\ begin {smallmatrix}. &. &. &. &. &. &. &. \\. &. & &. &. &. &. \\ 1 &. &. &. &. &. &. &. &.... \. &. &. & 10 &. &. &. \\. &. &. &. &. & 15 &. &. \ End {smallmatrix}} \ right] \ right) = \ left [{\ begin {smallmatrix} 1 &. & &. &. &. &. &. \\. & 1 &. &. &. &. &. &........ . & 1 &. &. \\. & 15 &. & 10 &. & 1 &. \\ 15 &. & 45 &. & 15 &. & 1 \ end {smallmatrix}} \ right]; \ quad \ end {array}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/1258220d051b41ff146243babe85ae98c066b71d)
Jos tämä matriisi on käänteinen (käyttäen esimerkiksi negatiivista matriisi-logaritmia), tällä matriisilla on vuorottelevat merkit ja se antaa Gaussin virhefunktion johdannaisten (ja laajemmin integraalien) kertoimet. (Kirjallisuutta yleistyksistä korkeammille voimille ei ole vielä löydetty.)
Toinen muunnelma voidaan saada laajentamalla alkuperäinen matriisi negatiivisiin arvoihin :
![{\ displaystyle {\ begin {array} {lll} & \ exp \ vasen (\ vasen [{\ begin {smallmatrix}. &. &. &. &. &. &. &. &. &. &. &. &. &. \\-5 &. &. &. &. &. &. &. &. &. &. &. &. &. &......... \\. &. &-& 3 &. &. &. &. &. &. &. &. &. &. &............. \\. &. &. &. &. &-& 1 &. &. &. &. &. &. &. &. &. \\. &. &. &. &. &. & 0 &. &. &. &. &. &. &. &. &. &. & 1 &. &. &. &. &. &.......................... &. &. &. &. &. &. & 3 &. &. &............................. . &. &. &. &. &. &. & 5 &. \ End {smallmatrix}} \ right] \ right) = \ left [{\ begin {smallmatrix} 1 &. &. &. &. &. &. &. &. &. &. &. &. \\-5 & 1 &. &. &. &. &. &. &. &.............. &. \\-10 & 6 & -3 & 1 &. &. &. &. &. &. &. &. &. &. \\ 5 & -4 & 3 & -2 & 1 &. &. &. &. &. &. &. \\-1 & 1 & -1 & 1 &- 1 & 1 &. &. &. &. &. &......................... Ja. &. &. \\. &. &. &. &. &. &. & 1 & 2 & 1 &. &. &...... . &. & 1 & 4 & 6 & 4 & 1 &. \\. &. &. &. &. &. &. &. & 1 & 5 & 10 & 10 & 5 & 1 \ end {smallmatrix}} \ \ right]. \ End {array}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/fcc8c5d05a829836beceb789cb8275b2c86b5c2f)
Katso myös
Viitteet
- GS Call ja DJ Velleman, "Pascalin matriisit", American Mathematical Monthly , nide 100, (huhtikuu 1993) sivut 372–376
-
Edelman, Alan; Strang, Gilbert (maaliskuu 2004), "Pascal matriisit" (PDF) , American Mathematical Monthly , 111 (3): 361-385, doi : 10,2307 / 4145127 , arkistoitu alkuperäisestä (PDF) on 2010-07-04
Ulkoiset linkit