O’zbekiston Respublikasi Axborot Texnologiyalari va Кommunikatsiyalarini Rivojlantirish Vazirligi

O’zbekiston Respublikasi Axborot Texnologiyalari va Кommunikatsiyalarini Rivojlantirish Vazirligi

Muhammad Al-Xorazmiy nomidagi

Toshkent Axborot Texnologiyalari Universiteti.

MUSTAQIL ISH

Mavzu: Ko‘p oqimli matritsalarni ko‘paytirish

Guruh: _______________

Bajardi:________________

Tekshirdi:________________

Toshkent 2021

Reja:

1. 
   Matritsani ko'paytirish
   
2. 
   Ko‘p oqimli matritsalarni ko‘paytirish
   
3. 
   Xulosa
   
4. 
   Foydalanilgan adabiyotlar
   

Yilda matematika, xususan chiziqli algebra, matritsani ko'paytirish a ikkilik operatsiya ishlab chiqaradigan matritsa ikkita matritsadan. Matritsani ko'paytirish uchun birinchi matritsadagi ustunlar soni ikkinchi matritsadagi qatorlar soniga teng bo'lishi kerak. Natijada ma'lum bo'lgan matritsa matritsa mahsuloti, birinchi satrlar soniga va ikkinchi matritsaning ustunlar soniga ega. Matritsalar mahsuloti A { displaystyle A} va B { displaystyle B} keyin shunchaki sifatida belgilanadi A B { displaystyle AB} .[1][2]

Matritsani ko'paytirish birinchi marta frantsuz matematikasi tomonidan tasvirlangan Jak Filipp Mari Binet 1812 yilda,[3] vakili qilish tarkibi ning chiziqli xaritalar matritsalar bilan ifodalangan. Matritsani ko'paytirish, shuning uchun chiziqli algebrava shunga o'xshash matematikaning ko'plab sohalarida ko'plab qo'llanmalar mavjud amaliy matematika, statistika, fizika, iqtisodiyotva muhandislik.[4][5]Matritsa mahsulotlarini hisoblash - bu chiziqli algebraning barcha hisoblash dasturlarida markaziy operatsiya.

Notation

Ushbu maqolada quyidagi notatsion konvensiyalar qo'llaniladi: matritsalar qalin harflar bilan bosh harflar bilan ifodalanadi, masalan. A; vektorlar kichik harf bilan, masalan. a; va vektorlar va matritsalar yozuvlari kursiv (chunki ular maydon raqamlari), masalan. A va a. Indeks yozuvlari ko'pincha ta'riflarni ifodalashning eng aniq usuli hisoblanadi va adabiyotda standart sifatida qo'llaniladi. The men, j matritsaning kiritilishi A bilan ko'rsatilgan (A)ij, Aij yoki aij, matritsalar to'plamidagi raqamli yorliq (matritsa yozuvlari emas) faqat obuna bo'lgan, masalan. A1, A2, va boshqalar.

Ta'rif

Agar A bu m × n matritsa va B bu n × p matritsa,

A = ( a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ) , B = ( b 11 b 12 ⋯ b 1 p b 21 b 22 ⋯ b 2 p ⋮ ⋮ ⋱ ⋮ b n 1 b n 2 ⋯ b n p ) { displaystyle mathbf {A} = { begin {pmatrix} a_ {11} & a_ {12} & cdots & a_ {1n} a_ {21} & a_ {22} & cdots & a_ {2n} vdots & vdots & ddots & vdots a_ {m1} & a_ {m2} & cdots & a_ {mn} end {pmatrix}}, quad mathbf {B} = { begin {pmatrix} b_ {11} & b_ {12} & cdots & b_ {1p} b_ {21} & b_ {22} & cdots & b_ {2p} vdots & vdots & ddots & vdots b_ {n1 } & b_ {n2} & cdots & b_ {np} end {pmatrix}}}

The matritsa mahsuloti C = AB (ko'paytirish alomatlari yoki nuqtalarisiz belgilanadi) m × p matritsa[6][7][8][9]

C = ( v 11 v 12 ⋯ v 1 p v 21 v 22 ⋯ v 2 p ⋮ ⋮ ⋱ ⋮ v m 1 v m 2 ⋯ v m p ) { displaystyle mathbf {C} = { begin {pmatrix} c_ {11} & c_ {12} & cdots & c_ {1p} c_ {21} & c_ {22} & cdots & c_ {2p} vdots & vdots & ddots & vdots c_ {m1} & c_ {m2} & cdots & c_ {mp} end {pmatrix}}}

shu kabi

v men j = a men 1 b 1 j + a men 2 b 2 j + ⋯ + a men n b n j = ∑ k = 1 n a men k b k j , { displaystyle c_ {ij} = a_ {i1} b_ {1j} + a_ {i2} b_ {2j} + cdots + a_ {in} b_ {nj} = sum _ {k = 1} ^ {n} a_ {ik} b_ {kj},}

uchun men = 1, ..., m va j = 1, ..., p.

Ya'ni kirish v men j { displaystyle c_ {ij}} mahsulotning yozuvlarini muddatiga ko'paytirish yo'li bilan olinadi menuchinchi qator A va jning ustuni Bva bularni jamlash n mahsulotlar. Boshqa so'zlar bilan aytganda, v men j { displaystyle c_ {ij}} bo'ladi nuqta mahsuloti ning menuchinchi qator A va jning ustuni B.[1]

Shuning uchun, AB sifatida ham yozilishi mumkin

C = ( a 11 b 11 + ⋯ + a 1 n b n 1 a 11 b 12 + ⋯ + a 1 n b n 2 ⋯ a 11 b 1 p + ⋯ + a 1 n b n p a 21 b 11 + ⋯ + a 2 n b n 1 a 21 b 12 + ⋯ + a 2 n b n 2 ⋯ a 21 b 1 p + ⋯ + a 2 n b n p ⋮ ⋮ ⋱ ⋮ a m 1 b 11 + ⋯ + a m n b n 1 a m 1 b 12 + ⋯ + a m n b n 2 ⋯ a m 1 b 1 p + ⋯ + a m n b n p ) { displaystyle mathbf {C} = { begin {pmatrix} a_ {11} b_ {11} + cdots + a_ {1n} b_ {n1} & a_ {11} b_ {12} + cdots + a_ {1n } b_ {n2} & cdots & a_ {11} b_ {1p} + cdots + a_ {1n} b_ {np} a_ {21} b_ {11} + cdots + a_ {2n} b_ {n1} & a_ {21} b_ {12} + cdots + a_ {2n} b_ {n2} & cdots & a_ {21} b_ {1p} + cdots + a_ {2n} b_ {np} vdots & vdots & ddots & vdots a_ {m1} b_ {11} + cdots + a_ {mn} b_ {n1} & a_ {m1} b_ {12} + cdots + a_ {mn} b_ {n2} & cdots & a_ {m1} b_ {1p} + cdots + a_ {mn} b_ {np} end {pmatrix}}}

Shunday qilib mahsulot AB agar ustunlar soni va faqat agar aniqlansa A qatorlar soniga teng B,[2] Ushbu holatda n.

Ko'pgina stsenariylarda yozuvlar raqamlardir, ammo ular har qanday bo'lishi mumkin matematik ob'ektlar buning uchun qo'shimcha va ko'paytma aniqlanadi, ya'ni assotsiativva shunga o'xshash qo'shimcha kommutativva ko'paytma tarqatuvchi qo'shimchaga nisbatan. Xususan, yozuvlar matritsalarning o'zi bo'lishi mumkin (qarang blokli matritsa).

Illyustratsiya

O'ngdagi rasm diagrammada ikkita matritsaning hosilasini aks ettiradi A va B, mahsulot matritsasidagi har bir kesishma qatorga qanday mos kelishini ko'rsatib beradi A va ning ustuni B.

[ a 11 a 12 ⋅ ⋅ a 31 a 32 ⋅ ⋅ ] 4 × 2 matritsa [ ⋅ b 12 b 13 ⋅ b 22 b 23 ] 2 × 3 matritsa = [ ⋅ v 12 v 13 ⋅ ⋅ ⋅ ⋅ v 32 v 33 ⋅ ⋅ ⋅ ] 4 × 3 matritsa { displaystyle { overset {4 times 2 { text {matrix}}} { begin {bmatrix} {a_ {11}} & {a_ {12}} cdot & cdot {a_ { 31}} & {a_ {32}} cdot & cdot end {bmatrix}}} { overset {2 times 3 { text {matrix}}} { begin {bmatrix} cdot & {b_ {12}} & {b_ {13}} cdot & {b_ {22}} & {b_ {23}} end {bmatrix}}} = { overset {4 marta 3 { text {matrix}}} { begin {bmatrix} cdot & c_ {12} & c_ {13} cdot & cdot & cdot cdot & c_ {32} & c_ {33} cdot & cdot & cdot end {bmatrix}}}}

Doira bilan belgilangan chorrahalardagi qiymatlar:

v 12 = a 11 b 12 + a 12 b 22 v 33 = a 31 b 13 + a 32 b 23 { displaystyle { begin {aligned} c_ {12} & = {a_ {11}} {b_ {12}} + {a_ {12}} {b_ {22}} c_ {33} & = {a_ {31}} {b_ {13}} + {a_ {32}} {b_ {23}} end {aligned

Tarixiy jihatdan, hisob-kitoblarni osonlashtirish va aniqlashtirish uchun matritsalarni ko'paytirish joriy etilgan chiziqli algebra. Matritsalarni ko'paytirish va chiziqli algebra o'rtasidagi bu kuchli bog'liqlik barcha matematikalarda, shuningdek, asosiy bo'lib qoladi fizika, muhandislik va Kompyuter fanlari.

Lineer xaritalar

Agar a vektor maydoni cheklangan asos, uning vektorlari har biri noyob sonli bilan ifodalanadi ketma-ketlik deb nomlangan skalar koordinata vektori, uning elementlari koordinatalar vektor asosida. Ushbu koordinata vektorlari boshqa vektor makonini hosil qiladi, ya'ni izomorfik asl vektor maydoniga. Koordinata vektori odatda a shaklida tashkil etilgan ustunli matritsa (shuningdek, deyiladi ustunli vektor), bu faqat bitta ustunli matritsa. Shunday qilib, ustunli vektor ham koordinatali vektorni, ham asl vektor makonining vektorini anglatadi.

A chiziqli xarita A vektor fazasidan n vektorli bo'shliqqa m ustunli vektorni xaritaga tushiradi

x = ( x 1 x 2 ⋮ x n ) { displaystyle mathbf {x} = { begin {pmatrix} x_ {1} x_ {2} vdots x_ {n} end {pmatrix}}}

ustun vektoriga

y = A ( x ) = ( a 11 x 1 + ⋯ + a 1 n x n a 21 x 1 + ⋯ + a 2 n x n ⋮ a m 1 x 1 + ⋯ + a m n x n ) . { displaystyle mathbf {y} = A ( mathbf {x}) = { begin {pmatrix} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} a_ {21} x_ {1} + cdots + a_ {2n} x_ {n} vdots a_ {m1} x_ {1} + cdots + a_ {mn} x_ {n} end {pmatrix}}.}

Chiziqli xarita A shunday qilib matritsa bilan belgilanadi

A = ( a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ) , { displaystyle mathbf {A} = { begin {pmatrix} a_ {11} & a_ {12} & cdots & a_ {1n} a_ {21} & a_ {22} & cdots & a_ {2n} vdots & vdots & ddots & vdots a_ {m1} & a_ {m2} & cdots & a_ {mn} end {pmatrix}},}

va ustunli vektorni xaritada aks ettiradi x { displaystyle mathbf {x}} matritsa mahsulotiga

y = A x . { displaystyle mathbf {y} = mathbf {Ax}.}

Agar B oldingi vektorli bo'shliqdan olingan yana bir chiziqli xarita m, o'lchovning vektor maydoniga p, u a bilan ifodalanadi p × m { displaystyle p times m} matritsa B . { displaystyle mathbf {B}.} To'g'ridan to'g'ri hisoblash shuni ko'rsatadiki, ning matritsasi kompozit xarita B ∘ A { displaystyle B circ A} matritsa mahsulotidir B A . { displaystyle mathbf {BA}.} Umumiy formula ( B ∘ A ) ( x ) = B ( A ( x ) ) { displaystyle (B circ A) ( mathbf {x}) = B (A ( mathbf {x}))} ) funktsiya tarkibini belgilaydigan bu erda matritsa mahsulotining assotsiativligining o'ziga xos holati sifatida berilgan (qarang § Assotsiativlik quyida):

( B A ) x = B ( A x ) = B A x . { displaystyle ( mathbf {BA}) mathbf {x} = mathbf {B} ( mathbf {Ax}) = mathbf {BAx}.}

Chiziqli tenglamalar tizimi

A-ning umumiy shakli chiziqli tenglamalar tizimi bu

a 11 x 1 + ⋯ + a 1 n x n = b 1 a 21 x 1 + ⋯ + a 2 n x n = b 2 ⋮ a m 1 x 1 + ⋯ + a m n x n = b m . { displaystyle { begin {matrix} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} = b_ {1} a_ {21} x_ {1} + cdots + a_ { 2n} x_ {n} = b_ {2} vdots a_ {m1} x_ {1} + cdots + a_ {mn} x_ {n} = b_ {m} end {matrix}}.}

Yuqoridagi kabi yozuvlardan foydalanib, bunday tizim bitta matritsaga tengdir tenglama

A x = b . { displaystyle mathbf {Ax} = mathbf {b}.}

Nuqta mahsulot, bilinear shakl va ichki mahsulot

The nuqta mahsuloti ikkita ustunli vektorning matritsasi ko'paytmasi

x T y , { displaystyle mathbf {x} ^ { mathsf {T}} mathbf {y},}

qayerda x T { displaystyle mathbf {x} ^ { mathsf {T}}} bo'ladi qator vektori tomonidan olingan transpozitsiya x { displaystyle mathbf {x}} va natijada olingan 1 × 1 matritsa o'ziga xos yozuv bilan aniqlanadi.

Umuman olganda, har qanday bilinear shakl cheklangan o'lchovning vektor maydoni ustida matritsa hosilasi sifatida ifodalanishi mumkin

x T A y , { displaystyle mathbf {x} ^ { mathsf {T}} mathbf {Ay},}

va har qanday ichki mahsulot sifatida ifodalanishi mumkin

x † A y , { displaystyle mathbf {x} ^ { dagger} mathbf {Ay},}

qayerda x † { displaystyle mathbf {x} ^ { dagger}} belgisini bildiradi konjugat transpozitsiyasi ning x { displaystyle mathbf {x}} (transpozitning konjugati yoki konjugatning ekvivalenti bilan transpozitsiyasi).

Umumiy xususiyatlar

Matritsani ko'paytirish odatdagidek ba'zi xususiyatlarga ega ko'paytirish. Biroq, birinchi omil ustunlari soni ikkinchi omil qatorlari sonidan farq qiladigan bo'lsa, matritsani ko'paytirish aniqlanmaydi va u kommutativ bo'lmagan,[10] omillar tartibini o'zgartirgandan keyin mahsulot aniq bo'lib qolganda ham.[11][12]

Kommutativlik

Amaliyot kommutativ agar, ikkita element berilgan bo'lsa A va B mahsulot shunday A B { displaystyle mathbf {A} mathbf {B}} keyin aniqlanadi B A { displaystyle mathbf {B} mathbf {A}} shuningdek aniqlanadi va A B = B A . { displaystyle mathbf {A} mathbf {B} = mathbf {B} mathbf {A}.}

Agar A va B tegishli o'lchamdagi matritsalardir m × n { displaystyle m marta n} va p × q { displaystyle p times q} , keyin A B { displaystyle mathbf {A} mathbf {B}} agar aniqlansa n = p { displaystyle n = p} va B A { displaystyle mathbf {B} mathbf {A}} agar aniqlansa m = q { displaystyle m = q} . Shuning uchun, agar mahsulotlardan biri aniqlangan bo'lsa, ikkinchisi umuman aniqlanmagan. Agar m = q ≠ n = p { displaystyle m = q neq n = p} , ikkita mahsulot aniqlangan, ammo har xil o'lchamlarga ega; Shunday qilib ular teng bo'lolmaydi. Faqat agar m = q = n = p { displaystyle m = q = n = p} , agar bo'lsa A va B bor kvadrat matritsalar bir xil o'lchamdagi, ikkalasi ham aniqlangan va bir xil o'lchamdagi mahsulotlardir. Hatto bu holatda ham, umuman olganda

A B ≠ B A . { displaystyle mathbf {A} mathbf {B} neq mathbf {B} mathbf {A}.}

Masalan

( 0 1 0 0 ) ( 0 0 1 0 ) = ( 1 0 0 0 ) , { displaystyle { begin {pmatrix} 0 & 1 0 & 0 end {pmatrix}} { begin {pmatrix} 0 & 0 1 & 0 end {pmatrix}} = { begin {pmatrix} 1 & 0 0 & 0 end {pmatrix }},}

lekin

( 0 0 1 0 ) ( 0 1 0 0 ) = ( 0 0 0 1 ) . { displaystyle { begin {pmatrix} 0 & 0 1 & 0 end {pmatrix}} { begin {pmatrix} 0 & 1 0 & 0 end {pmatrix}} = { begin {pmatrix} 0 & 0 0 & 1 end {pmatrix }}.}

Ushbu misol, agar ko'rsatish uchun kengaytirilishi mumkin A a n × n { displaystyle n times n} a yozuvlari bilan matritsa maydon F, keyin A B = B A { displaystyle mathbf {A} mathbf {B} = mathbf {B} mathbf {A}} har bir kishi uchun n × n { displaystyle n times n} matritsa B yozuvlari bilan F, agar va faqat agar A = v Men { displaystyle mathbf {A} = c , mathbf {I}} qayerda v ∈ F { displaystyle c in F} va Men bo'ladi n × n { displaystyle n times n} identifikatsiya matritsasi. Agar maydon o'rniga yozuvlar a ga tegishli bo'lishi kerak bo'lsa uzuk, shunda shart qo'shilishi kerak v ga tegishli markaz halqa.

Kommutativlik yuzaga keladigan maxsus holatlardan biri bu D. va E ikkita (kvadrat) diagonali matritsalar (bir xil o'lchamdagi); keyin DE = ED.[10] Shunga qaramay, agar matritsalar maydon emas, balki umumiy halqa ustida bo'lsa, unda ushlab turish uchun har birida tegishli yozuvlar bir-biri bilan harakatlanishi kerak.

Tarqatish

Matritsa mahsuloti tarqatuvchi munosabat bilan matritsa qo'shilishi. Ya'ni, agar A, B, C, D. tegishli o'lchamdagi matritsalardir m × n, n × p, n × pva p × q, bittasida (chap tarqatish)

A ( B + C ) = A B + A C , { displaystyle mathbf {A} ( mathbf {B} + mathbf {C}) = mathbf {AB} + mathbf {AC},}

va (to'g'ri tarqatish)

( B + C ) D. = B D. + C D. . { displaystyle ( mathbf {B} + mathbf {C}) mathbf {D} = mathbf {BD} + mathbf {CD}.} [10]

Bu koeffitsientlarning taqsimlanishidan kelib chiqadi

∑ k a men k ( b k j + v k j ) = ∑ k a men k b k j + ∑ k a men k v k j { displaystyle sum _ {k} a_ {ik} (b_ {kj} + c_ {kj}) = sum _ {k} a_ {ik} b_ {kj} + sum _ {k} a_ {ik} c_ {kj}}

∑ k ( b men k + v men k ) d k j = ∑ k b men k d k j + ∑ k v men k d k j . { displaystyle sum _ {k} (b_ {ik} + c_ {ik}) d_ {kj} = sum _ {k} b_ {ik} d_ {kj} + sum _ {k} c_ {ik} d_ {kj}.}

Skalyar bilan mahsulot

Agar A bu matritsa va v skalar, keyin matritsalar v A { displaystyle c mathbf {A}} va A v { displaystyle mathbf {A} c} barcha yozuvlarni chapga yoki o'ngga ko'paytirish orqali olinadi A tomonidan v. Agar skalarlarda komutativ mulk, keyin v A = A v . { displaystyle c mathbf {A} = mathbf {A} c.}

Agar mahsulot bo'lsa A B { displaystyle mathbf {AB}} belgilanadi (ya'ni ustunlar soni A qatorlari soniga teng B), keyin

v ( A B ) = ( v A ) B { displaystyle c ( mathbf {AB}) = (c mathbf {A}) mathbf {B}} va ( A B ) v = A ( B v ) . { displaystyle ( mathbf {A} mathbf {B}) c = mathbf {A} ( mathbf {B} c).}

Agar skalar komutativ xususiyatga ega bo'lsa, unda barcha to'rt matritsa tengdir. Umuman olganda, agar to'rttasi teng bo'lsa v ga tegishli markaz a uzuk matritsalarning yozuvlarini o'z ichiga olgan, chunki bu holda, vX = Xv barcha matritsalar uchun X.

Ushbu xususiyatlar bilinmaslik skalar mahsuloti:

v ( ∑ k a men k b k j ) = ∑ k ( v a men k ) b k j { displaystyle c left ( sum _ {k} a_ {ik} b_ {kj} right) = sum _ {k} (ca_ {ik}) b_ {kj}}

( ∑ k a men k b k j ) v = ∑ k a men k ( b k j v ) . { displaystyle left ( sum _ {k} a_ {ik} b_ {kj} right) c = sum _ {k} a_ {ik} (b_ {kj} c).}

Transpoze

Agar skalarlarda komutativ mulk, ko'chirish matritsalar mahsuloti, teskari tartibda, omillar transpozitsiyasining mahsulotidir. Anavi

( A B ) T = B T A T { displaystyle ( mathbf {AB}) ^ { mathsf {T}} = mathbf {B} ^ { mathsf {T}} mathbf {A} ^ { mathsf {T}}}

qayerda T transpozitsiyani, ya'ni qatorlar va ustunlar almashinuvini bildiradi.

Ushbu identifikator nostandart yozuvlar uchun amal qilmaydi, chunki yozuvlar orasidagi tartib A va B matritsa mahsulotining ta'rifini kengaytirganda teskari bo'ladi.

Murakkab konjugat

Agar A va B bor murakkab yozuvlar, keyin

( A B ) ∗ = A ∗ B ∗ { displaystyle ( mathbf {AB}) ^ {*} = mathbf {A} ^ {*} mathbf {B} ^ {*}}

qayerda * kirishni oqilona anglatadi murakkab konjugat matritsaning

Bu matritsa mahsulotining ta'rifiga qo'shilishning konjugati summandlarning konjugatlari yig'indisi va mahsulotning konjugati omillarning konjugatlari mahsuloti ekanligi faktini qo'llashdan kelib chiqadi.

Transpozitsiya yozuvlar indekslari bo'yicha ishlaydi, konjugatsiya esa yozuvlarning o'ziga mustaqil ravishda ta'sir qiladi. Natijada, agar bo'lsa A va B murakkab yozuvlar mavjud, bittasi bor

( A B ) † = B † A † , { displaystyle ( mathbf {AB}) ^ { xanjar} = mathbf {B} ^ { xanjar} mathbf {A} ^ { xanjar},}

qayerda † belgisini bildiradi konjugat transpozitsiyasi (transpozitning konjugati yoki konjugatning ekvivalenti bilan transpozitsiyasi).

Assotsiativlik

Uchta matritsa berilgan A, B va C, mahsulotlar (AB)C va A(Miloddan avvalgi) ning ustunlari soni aniqlangandagina aniqlanadi A qatorlari soniga teng Bva ustunlar soni B qatorlari soniga teng C (xususan, agar mahsulotlardan biri aniqlangan bo'lsa, ikkinchisi ham aniqlanadi). Bunday holda, bitta assotsiativ mulk

( A B ) C = A ( B C ) . { displaystyle ( mathbf {AB}) mathbf {C} = mathbf {A} ( mathbf {BC}).}

Har qanday assotsiativ operatsiyaga kelsak, bu qavslarni chiqarib tashlashga va yuqoridagi mahsulotlarni shunday yozishga imkon beradi A B C . { displaystyle mathbf {ABC}.}

Bu o'lchovlar mos kelishi sharti bilan har qanday miqdordagi matritsaning mahsulotiga tabiiy ravishda tarqaladi. Ya'ni, agar A1, A2, ..., An ning ustunlari soni shunday matritsalardir Amen qatorlari soniga teng Amen + 1 uchun men = 1, ..., n – 1, keyin mahsulot

∏ men = 1 n A men = A 1 A 2 ⋯ A n { displaystyle prod _ {i = 1} ^ {n} mathbf {A} _ {i} = mathbf {A} _ {1} mathbf {A} _ {2} cdots mathbf {A} _ {n}}

belgilanadi va bog'liq emas ko'paytmalarning tartibi, agar matritsalar tartibi aniq saqlansa.

Ushbu xususiyatlar to'g'ridan-to'g'ri, ammo murakkab tomonidan isbotlanishi mumkin yig'ish manipulyatsiya. Ushbu natija, shuningdek, matritsalarni namoyish etishidan kelib chiqadi chiziqli xaritalar. Shuning uchun matritsalarning assotsiativ xususiyati shunchaki ning assotsiativ xususiyatining o'ziga xos holatidir funktsiya tarkibi.

Murakkablik assotsiativ emas

Matritsa mahsulotlarining ketma-ketligi natijasi bog'liq emas ishlash tartibi (matritsalar tartibi o'zgartirilmasa), the hisoblash murakkabligi ushbu buyurtmaga keskin bog'liq bo'lishi mumkin.

Masalan, agar A, B va C tegishli o'lchamdagi matritsalardir 10×30, 30×5, 5×60, hisoblash (AB)C ehtiyojlar 10×30×5 + 10×5×60 = 4,500 hisoblash paytida ko'paytmalar A(Miloddan avvalgi) ehtiyojlar 30×5×60 + 10×30×60 = 27,000 ko'paytirish.

Algoritmlar mahsulotlarning eng yaxshi tartibini tanlash uchun mo'ljallangan, qarang Matritsa zanjirini ko'paytirish. Raqam qachon n matritsalarning ko'payishi, eng yaxshi tartibni tanlashning murakkabligi borligi ko'rsatilgan O ( n jurnal ⁡ n ) . { displaystyle O (n log n).}

O'xshashlikka murojaat qilish

Har qanday qaytariladigan matritsa P { displaystyle mathbf {P}} belgilaydi a o'xshashlikni o'zgartirish (bilan bir xil o'lchamdagi kvadrat matritsalarda P { displaystyle mathbf {P}} )

S P ( A ) = P − 1 A P . { displaystyle S _ { mathbf {P}} ( mathbf {A}) = mathbf {P} ^ {- 1} mathbf {A} mathbf {P}.}

O'xshashlik o'zgarishi mahsulotni mahsulot bilan taqqoslaydi, ya'ni

S P ( A B ) = S P ( A ) S P ( B ) . { displaystyle S _ { mathbf {P}} ( mathbf {AB}) = S _ { mathbf {P}} ( mathbf {A}) S _ { mathbf {P}} ( mathbf {B}). }

Aslida, bunga ega

P − 1 ( A B ) P = P − 1 A ( P P − 1 ) B P = ( P − 1 A P ) ( P − 1 B P ) . { displaystyle mathbf {P} ^ {- 1} ( mathbf {AB}) mathbf {P} = mathbf {P} ^ {- 1} mathbf {A} ( mathbf {P} mathbf { P} ^ {- 1}) mathbf {B} mathbf {P} = ( mathbf {P} ^ {- 1} mathbf {A} mathbf {P}) ( mathbf {P} ^ {- 1} mathbf {B} mathbf {P}).}

Kvadrat matritsalar

Promoted Content

Belgilaylik M n ( R ) { displaystyle { mathcal {M}} _ {n} (R)} to'plami n×n kvadrat matritsalar a yozuvlari bilan uzuk R, bu amalda ko'pincha a maydon.

Yilda M n ( R ) { displaystyle { mathcal {M}} _ {n} (R)} , mahsulot har bir juft matritsa uchun aniqlanadi. Bu qiladi M n ( R ) { displaystyle { mathcal {M}} _ {n} (R)} a uzuk, ega bo'lgan identifikatsiya matritsasi Men kabi hisobga olish elementi (diagonali yozuvlari 1 ga teng bo'lgan matritsa va boshqa yozuvlar 0 ga teng). Ushbu uzuk ham assotsiativ R-algebra.

Agar n > 1, ko'p matritsalarda a yo'q multiplikativ teskari. Masalan, qator (yoki ustun) ning barcha yozuvlari 0 ga teng bo'lgan matritsa teskari emas. Agar u mavjud bo'lsa, matritsaning teskari tomoni A bilan belgilanadi A−1, va shunday qilib tekshiradi

A A − 1 = A − 1 A = Men . { displaystyle mathbf {A} mathbf {A} ^ {- 1} = mathbf {A} ^ {- 1} mathbf {A} = mathbf {I}.}

Teskari tomonga ega bo'lgan matritsa an qaytariladigan matritsa. Aks holda, bu a yagona matritsa.

Matritsalar ko'paytmasi har bir omil teskari bo'lsa, qaytarib olinadi. Bunday holda, biri bor

( A B ) − 1 = B − 1 A − 1 . { displaystyle ( mathbf {A} mathbf {B}) ^ {- 1} = mathbf {B} ^ {- 1} mathbf {A} ^ {- 1}.}

Qachon R bu kommutativ, va, ayniqsa, bu maydon bo'lsa, the aniqlovchi mahsulotning aniqlovchining hosilasi. Determinantlar skalar va skalerlar qatnovi bo'lganligi sababli, bitta shunday bo'ladi

det ( A B ) = det ( B A ) = det ( A ) det ( B ) . { displaystyle det ( mathbf {AB}) = det ( mathbf {BA}) = det ( mathbf {A}) det ( mathbf {B}).}

Boshqa matritsa invariantlar mahsulotlar bilan yaxshi munosabatda bo'lmang. Shunga qaramay, agar R o'zgaruvchan, A B { displaystyle mathbf {AB}} va B A { displaystyle mathbf {BA}} bir xil narsaga ega iz, xuddi shu xarakterli polinomva xuddi shunday o'zgacha qiymatlar bir xil ko'paytmalar bilan. Ammo, agar xususiy vektorlar umuman boshqacha bo'lsa A B ≠ B A . { displaystyle mathbf {AB} neq mathbf {BA}.}

Matritsaning kuchlari

Kvadrat matritsani istalganiga ko'tarish mumkin manfiy bo'lmagan butun quvvat oddiy raqamlar singari uni o'z-o'zidan ko'paytirib. Anavi,

A 0 = Men , { displaystyle mathbf {A} ^ {0} = mathbf {I},}

A 1 = A , { displaystyle mathbf {A} ^ {1} = mathbf {A},}

A k = A A ⋯ A ⏟ k marta . { displaystyle mathbf {A} ^ {k} = underbrace { mathbf {A} mathbf {A} cdots mathbf {A}} _ {k { text {times}}}.}

Hisoblash kmatritsaning kuchiga ehtiyoj bor k – 1 bitta matritsani ko'paytirish vaqtini, agar u ahamiyatsiz algoritm bilan bajarilsa (takroriy ko'paytirish). Bu juda ko'p vaqt talab qilishi mumkinligi sababli, odatda foydalanishni afzal ko'radi kvadratlar yordamida eksponentatsiya, bu kamroq talab qiladi 2 jurnal2 k matritsani ko'paytirish va shuning uchun ancha samarali.

Ko'rsatkichni ajratish uchun oson bo'lgan holat diagonal matritsa. Diagonal matritsalar mahsuloti shunchaki mos keladigan diagonal elementlarni bir-biriga ko'paytirishni tashkil etishi sababli kdiagonal matritsaning kuchi yozuvlarni kuchga oshirish orqali olinadi k:

( a 11 0 ⋯ 0 0 a 22 ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ a n n ) k = ( a 11 k 0 ⋯ 0 0 a 22 k ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ a n n k ) . { displaystyle { begin {pmatrix} a_ {11} & 0 & cdots & 0 0 & a_ {22} & cdots & 0 vdots & vdots & ddots & vdots 0 & 0 & cdots & a_ {nn} end {pmatrix}} ^ {k} = { begin {pmatrix} a_ {11} ^ {k} & 0 & cdots & 0 0 & a_ {22} ^ {k} & cdots & 0 vdots & vdots & ddots & vdots 0 & 0 & cdots & a_ {nn} ^ {k} end {pmatrix}}.}

Xulosa

Xulosa qilib aytganda matritsani ko'paytirish birinchi marta frantsuz matematikasi tomonidan tasvirlangan Jak Filipp Mari Binet 1812 yilda,[3] vakili qilish tarkibi ning chiziqli xaritalar matritsalar bilan ifodalangan. Matritsani ko'paytirish, shuning uchun chiziqli algebrava shunga o'xshash matematikaning ko'plab sohalarida ko'plab qo'llanmalar mavjud amaliy matematika, statistika, fizika, iqtisodiyotva muhandislik.[4][5]Matritsa mahsulotlarini hisoblash - bu chiziqli algebraning barcha hisoblash dasturlarida markaziy operatsiya.

Foydalanilgan adabiyotlar

• 
  Genri Kon, Robert Klaynberg, Balas Szegedyva Kris Umans. Matritsani ko'paytirishning guruh-nazariy algoritmlari. arXiv:matematik.GR/0511460. Kompyuter fanlari asoslari bo'yicha 46-yillik simpozium materiallari to'plami, 2005 yil 23-25 ​​oktyabr, Pitsburg, Pensilvaniya, IEEE Kompyuter Jamiyati, 379-388 bet.
  
• 
  Genri Kon, Kris Umans. Matritsani ko'paytirishga guruh-nazariy yondashuv. arXiv:matematik.GR/0307321. Kompyuter fanlari asoslari bo'yicha 44-yillik IEEE simpoziumi materiallari, 2003 yil 11-14 oktyabr, Kembrij, MA, IEEE Computer Society, 438–449 betlar.
  
• 
  Mischi, D.; Winograd, S. (1990). "Arifmetik progressiyalar orqali matritsani ko'paytirish". J. Symbolic Comput. 9 (3): 251–280. doi:10.1016 / s0747-7171 (08) 80013-2.
  
• 
  Xorn, Rojer A.; Jonson, Charlz R. (1991), Matritsa tahlilidagi mavzular, Kembrij universiteti matbuoti, ISBN 978-0-521-46713-1
  
• 
  Knut, D.E., Kompyuter dasturlash san'ati 2-jild: Seminumerical algoritmlar. Addison-Uesli Professional; 3 nashr (1997 yil 14-noyabr). ISBN 978-0-201-89684-8. 501 bet.
  
• 
  Matbuot, Uilyam H.; Flannery, Brian P.; Teukolskiy, Shoul A.; Vetterling, Uilyam T. (2007), Raqamli retseptlar: Ilmiy hisoblash san'ati (3-nashr), Kembrij universiteti matbuoti, ISBN 978-0-521-88068-8.