Haqiqiy va kompleks sonlar massivini hisoblash
Andoza:Qisqa tavsif Andoza:Hatnota guruhi Andoza:Yaxshi maqola

matematikada matritsa (Andoza:Ko'plik shakl: matritsalar) to'rtburchaklar massiv yoki sonlar jadvalidir. , belgilar yoki ifodalar, elementlar yoki yozuvlar qatorida tartiblangan qatorlar va ustunlar, ular matematik obyekt yoki bunday obyektning xususiyatini ifodalash uchun ishlatiladi.
Masalan, ikki qator va uchta ustunli matritsadir. Bu ko'pincha "ikki-uch matritsa", " matritsasi" yoki o'lchovli matritsa deb ataladi.
Matritsalar odatda chiziqli algebra bilan bog'liq. E'tiborga molik istisnolar grafik nazariyasida insidlanish matritsalari va qo'shnilik matritsalarini o'z ichiga oladi.[1] Ushbu maqola chiziqli algebra bilan bog'liq matritsalarga qaratilgan va agar boshqacha ko'rsatilmagan bo'lsa, barcha matritsalar chiziqli xaritalarni ifodalaydi yoki shunday ko'rinishi mumkin.
Kvadrat matritsalar, qator va ustunlar soni bir xil bo'lgan matritsalar matritsalar nazariyasida katta rol o'ynaydi. Berilgan o'lchamdagi kvadrat matritsalar kommutativ bo'lmagan halqa ni tashkil qiladi, bu esa o'zgarmas halqaning eng keng tarqalgan misollaridan biridir. Kvadrat matritsaning determinanti matritsa bilan bog'langan son bo'lib, u kvadrat matritsani o'rganish uchun asosiy hisoblanadi; masalan, kvadrat matritsa invertible bo‘ladi, agar u nolga teng bo‘lmagan aniqlovchiga ega bo‘lsa va kvadrat matritsaning o‘z qiymatilari ko‘pnomli determinantning ildizlari bo‘lsa.
geometriyada matritsalar geometrik oʻzgartirishlarni (masalan, aylanishlar) va koordinata oʻzgarishilarni belgilash va ifodalash uchun keng qoʻllaniladi. sonli tahlilda koʻpgina hisoblash masalalari ularni matritsali hisoblashga qisqartirish yoʻli bilan hal qilinadi va bu koʻpincha katta oʻlchamdagi matritsalar bilan hisoblashni oʻz ichiga oladi. Matritsalar to'g'ridan-to'g'ri yoki geometriya va raqamli tahlilda foydalanish orqali matematika va ilmiy sohalarning aksariyat sohalarida qo'llaniladi.
Matritsalar nazariyasi - matematikaning bo'limi matritsalarni o'rganishga qaratilgan. U dastlab chiziqli algebraning kichik tarmogʻi boʻlgan, lekin tez orada grafik nazariya, algebra, kombinatorika va statistika bilan bogʻliq fanlarni oʻz ichiga olgan.
Ta'rifi
matritsa sonlardan (yoki boshqa matematik obyektlardan) iborat to'rtburchaklar massiv bo'lib, matritsaning yozuvlari deb ataladi. Matritsalar standart operatsiyalarga bo'ysunadi, masalan, qo'shish va ko'paytirish.[2] Odatda, maydon F - F ning elementlari to'rtburchaklar massivi.[3][4] haqiqiy matritsa va kompleks matritsa yozuvlari mos ravishda haqiqiy son yoki kompleks son bo'lgan matritsalardir. Yozuvlarning umumiy turlari quyida muhokama qilinadi. Masalan, bu haqiqiy matritsa:
Matritsadagi raqamlar, belgilar yoki iboralar uning “yozuvlari” yoki “elementlari” deb ataladi. Matritsadagi yozuvlarning gorizontal va vertikal chiziqlari mos ravishda “satrlar” va “ustunlar” deb ataladi.
Hajmi
Matritsaning o'lchami uning tarkibidagi qatorlar va ustunlar soni bilan belgilanadi. Matritsa (odatiy ma'noda) musbat butun sonlar bo'lsa, bo'lishi mumkin bo'lgan satrlar va ustunlar soniga hech qanday cheklov yo'q . qatorlari va ustunlari boʻlgan matritsa matritsasi yoki -by- matritsasi, bu yerda va uning deyiladi. o'lchamlar. Masalan, yuqoridagi matritsasi matritsasidir.
Bitta qatorli matritsalar satr vektoris, bitta ustunlilari esa ustun vektorlari deyiladi. Satrlar va ustunlar soni bir xil bo'lgan matritsa kvadrat matritsa deyiladi.[5] Cheksiz qatorlar yoki ustunlar (yoki ikkalasi) bo'lgan matritsa cheksiz deb ataladi. matritsa . Ba'zi kontekstlarda, masalan, kompyuter algebrasi dasturlari, empty matritsa deb ataladigan qatorlar yoki ustunlarsiz matritsani ko'rib chiqish foydali bo'ladi.
| Ism | Hajmi | Misol | Tavsif | Belgilash |
|---|---|---|---|---|
| Qator vektor | 1Andoza:Nbsp×Andoza:Nbspn | Bir qatorli matritsa, ba'zan vektorni ifodalash uchun ishlatiladi | ||
| Ustun vektor | nAndoza:Nbsp×Andoza:Nbsp1 | Bir ustunli matritsa, ba'zan vektorni ifodalash uchun ishlatiladi | ||
| Kvadrat matritsa | nAndoza:Nbsp×Andoza:Nbspn | Bir xil qator va ustunlar soniga ega matritsa, baʼzan vektor fazodan oʻziga chiziqli oʻzgarishlarni ifodalash uchun ishlatiladi, masalan, aks ettirish, aylanish yoki qirqish. |
Izoh
Ramziy matritsa belgilarining o'ziga xos xususiyatlari ba'zi bir ustunlik tendentsiyalari bilan juda xilma-xildir. Matritsalar odatda kvadrat qavslar yoki qavslar ichida yoziladi, shuning uchun matritsasi quyidagicha ifodalanadi. Buni faqat bitta umumiy atamani, ehtimol indekslar bilan birga yozish orqali qisqartirish mumkin. Failed to parse (unknown function "\o"): \mathbf{A} = \left(a_{ij}\o'ng), \quad \left[ a_{ij}\right], \quad \text{yoki} \quad \left(a_{ij}\right)_ {1\leq i\leq m, \; 1\leq j\leq n} yoki bo‘lgan holatda .
Matritsalar odatda katta harflar yordamida (masalan, yuqoridagi misollarda ), mos keladigan kichik-kichik harflar ikkitadan iborat. pastki indeks indekslari (masalan, yoki ), yozuvlarni ifodalaydi. Matritsalarni ramziy qilish uchun katta harflardan foydalanish bilan bir qatorda, koʻpgina mualliflar matritsalarni boshqa matematik obʼyektlardan ajratib koʻrsatish uchun maxsus tipografik uslub, odatda qalin rim (kursiv boʻlmagan) dan foydalanadilar. Muqobil yozuv, da boʻlgani kabi, oʻzgaruvchi nomi bilan, qalin harflar bilan yoki boʻlmasdan, qoʻsh chiziqdan foydalanishni oʻz ichiga oladi.
Andoza:Matematika matritsaning Andoza:Math-chi qator va Andoza:Math-chi ustunidagi yozuv ba'zan matritsaning yoki yozuvi deb ataladi va odatda quyidagicha belgilanadi. yoki . Ushbu yozuv uchun muqobil belgilar va hisoblanadi. Masalan, quyidagi matritsasining yozuvi Andoza:Math (shuningdek, , , yoki ):
- Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle \mathbf{A}=\begin{bmatrix} 4 & -7 & \ rang {qizil {5} & 0 \\ -2, 0, 11, 8 \\ 19 va 1 va -3 va 12 \end{bmatrix}}
Ba'zan matritsaning yozuvlari kabi formulalar bilan aniqlanishi mumkin. Masalan, quyidagi matritsasining har bir yozuvi formulasi bilan aniqlanadi.
Bunday holda, matritsaning o'zi ba'zan kvadrat qavslar yoki qo'sh qavslar ichida ushbu formula bilan aniqlanadi. Masalan, yuqoridagi matritsa yoki sifatida aniqlanadi. Agar matritsa hajmi boʻlsa, yuqorida qayd etilgan formulasi har qanday . Bu alohida belgilanishi yoki pastki belgisi sifatida yordamida koʻrsatilishi mumkin. Masalan, yuqoridagi matritsasi ga teng va uni yoki .
Ba'zi dasturlash tillari Andoza:Math-by-Andoza:Math matritsasini ifodalash uchun ikki barobar obunali massivlardan (yoki massivlar massivlaridan) foydalanadi. Ba'zi dasturlash tillari massiv indekslarini raqamlashni noldan boshlaydi, bu holda Andoza:Math-by-Andoza:Math matritsaning yozuvlari va .[6] Ushbu maqolada sanab o'tish Andoza:Math dan boshlanadigan matematik yozishda keng tarqalgan qoidaga amal qilinadi.
Barcha Andoza:Math-by-Andoza:Math haqiqiy matritsalarning to'plami ko'pincha yoki Hammasi toʻplami Andoza:Matematik-by-Andoza:Matematik matritsalar boshqa maydon yoki halqasi ustidan Andoza:Math, xuddi shunday belgilanadi: yoki Agar Andoza:Math bo'lsa, masalan [ [kvadrat matritsalar]] oʻlchami takrorlanmaydi: yoki Andoza:Nowrap Ko'pincha o'z o'rnida yoki ishlatiladi.
Asosiy operatsiyalar
Matritsalarga bir nechta asosiy amallarni qo'llash mumkin. Ba'zilari, masalan, transpozitsiya va submatritsa yozuvlarning tabiatiga bog'liq emas. Boshqalar, masalan, matritsalarni qo'shish, skalyar ko'paytirish, matritsalarni ko'paytirish va satr operatsiyalari matritsa yozuvlari bo'yicha operatsiyalarni o'z ichiga oladi va shuning uchun matritsa yozuvlari raqamlar bo'lishini yoki [ga tegishli bo'lishini talab qiladi. [maydon (matematika)|maydon]] yoki ring.[7]
Ushbu bo'limda matritsa yozuvlari odatda raqamlar maydoni bo'lgan sobit halqaga tegishli deb taxmin qilinadi.
Qo'shish, skalyar ko'paytirish, ayirish va transpozitsiya
Ikkita Andoza:Matematik matritsaning yig'indisi Andoza:Matematik Andoza:Matematika va Andoza:Matematika kiritma bo'yicha hisoblanadi: Masalan,
- <matematika>
\begin{bmatrix} 1, 3 va 1 \\ 1 va 0 va 0 \end{bmatritsa} + \begin{bmatrix} 0 & 0 & 5 \\ 7, 5 va 0 \end{bmatritsa} = \begin{bmatrix} 1+0 va 3+0 va 1+5 \\ 1+7 va 0+5 va 0+0 \end{bmatritsa} = \begin{bmatrix} 1, 3 va 6 \\ 8, 5 va 0 \end{bmatritsa} </math>
Andoza:Mvar sonining Andoza:Matematik ko'paytmasi (shuningdek, bu kontekstda skalar deb ham ataladi) va Andoza:Matematik matritsasi Andoza:Matematik ning har bir yozuvini Andoza:Mvar ga ko'paytirish yo'li bilan hisoblanadi: Bu amal skalyar ko'paytirish deb ataladi, lekin uning natijasi chalkashmaslik uchun "skalar ko'paytma" deb nomlanmagan, chunki "skalar ko'paytma" ko'pincha "ichki mahsulot" ning sinonimi sifatida ishlatiladi. Masalan:
- Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle 2\cdot \begin{bmatrix} 1 & 8 & -3 \\ 4 va -2 va 5 \end{bmatritsa} = \begin{bmatrix} 2 \cdot 1 va 2\cdot 8 va 2\cdot -3 \\ 2\cdot 4 va 2\cdot -2 va 2\cdot 5 \end{bmatritsa} = \begin{bmatrix} 2 & 16 & -6 \\ 8 va -4 va 10 \end{bmatritsa} }
- ayirish
Ikkita Andoza:Math matritsalarni ayirish matritsani skaler ko'paytirish bilan Andoza:Math ga qo'shish orqali aniqlanadi:
Andoza:Matematik matritsaning ko'chirilishi Andoza:Matematik Andoza:Matematik matritsa Andoza:Matematika (shuningdek belgilanadi) Andoza:Matematik yoki Andoza:Matematik) satrlarni ustunlar va o'rinbosarlarga aylantirish orqali hosil qilingan aksincha: Masalan:
- <matematika>
\begin{bmatrix} 1, 2 va 3 \\ 0 & -6 va 7 \end{bmatrix}^\mathrm{T} = \begin{bmatrix} 1 va 0 \\ 2 va -6 \\ 3 va 7 \end{bmatritsa} </math>
Sonlarning tanish xossalari matritsalar ustidagi bu amallarga taalluqli: masalan, qo‘shish kommutativ, ya’ni matritsa yig‘indisi yig‘indilarning tartibiga bog‘liq emas: Andoza:Math.[8] Transpoze qoʻshish va skaler koʻpaytirish bilan mos keladi, bu bilan ifodalangan Andoza:Math va Andoza:Matematik. Nihoyat, Andoza:Math.
Matritsani ko'paytirish

Ikki matritsaning ko'paytirilishi, agar chap matritsaning ustunlari soni o'ng matritsaning satrlari soni bilan bir xil bo'lsagina aniqlanadi. Agar Andoza:Matematik Andoza:Matematik matritsa va Andoza:Matematik bo'lsa Andoza:Matematik matritsa, keyin ularning matritsa mahsuloti Andoza:Matematik Andoza:Matematik matritsa, uning yozuvlari tegishli Andoza:Matematik qatorining nuqta ko'paytmasi va mos keladigan Andoza:Matematika ustuni:[9]
bu yerda Andoza:Matematik va Andoza:Math.[10] Masalan, mahsulotdagi tagiga chizilgan 2340 yozuvi Andoza:Matematika sifatida hisoblanadi.
- <matematika>
\begin{align} \begin{bmatrix} \pastiga chizing{2} & \pastiga 3-chizing va \tastiga chizing 4\\ 1 & 0 & 0 \\ \end{bmatritsa}
\begin{bmatrix} 0 va \ ostiga{1000} \\ 1 va \pastini chizish{100} \\ 0 va \ostiga chizilgan{10} \\ \end{bmatritsa} &= \begin{bmatrix} 3 va \tagini chizish{2340} \\ 0 va 1000 \\ \end{bmatritsa}. \end{tekislash} </math>
Matritsani koʻpaytirish qoidalariga javob beradi Andoza:Matematika (assotsiativlik ) va Andoza:Math, shuningdek Andoza:Math (chap va o'ng taqsimlanish), matritsalarning o'lchami har xil mahsulotlar aniqlanganda.[11] Andoza:Matematik mahsuloti Andoza:Matematik aniqlanadi, agar Andoza:Matematik va Andoza:Matematik bo'lsa Andoza:Math va Andoza:Math matritsalar va Andoza:Math Ikkala mahsulot ham aniqlangan bo'lsa ham, ular odatda teng bo'lishi shart emas, ya'ni:
Boshqacha qilib aytganda, koʻpaytmasi tartibdan mustaqil boʻlgan (ratsional, haqiqiy yoki murakkab) raqamlardan farqli oʻlaroq, matritsani koʻpaytirish kommutativ emas, omillarning.[9] Ikki matritsaning bir-biri bilan almashmasligiga misol:
- Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle \begin{bmatrix} 1 va 2\\ 3 va 4\\ \end{bmatritsa} \begin{bmatrix} 0 va 1\\ 0 va 0\\ \end{bmatrix}= \begin{bmatrix} 0 va 1\\ 0 va 3\\ \end{bmatrix}, }
holbuki
- Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle \begin{bmatrix} 0 va 1\\ 0 va 0\\ \end{bmatritsa} \begin{bmatrix} 1 va 2\\ 3 va 4\\ \end{bmatrix}= \begin{bmatrix} 3 va 4\\ 0 va 0\\ \end{bmatritsa}. }
Yuqorida tavsiflangan oddiy matritsalarni ko'paytirishdan tashqari, ko'paytirish shakllari deb hisoblanishi mumkin bo'lgan matritsalar ustida kamroq qo'llaniladigan amallar ham mavjud, masalan, Hadamard mahsuloti va Kroneker mahsuloti.< ref>Andoza:Garvard iqtiboslari</ref> Ular Silvester tenglamasi kabi matritsali tenglamalarni yechishda yuzaga keladi.
Qator operatsiyalari
Andoza:Asosiy Satr operatsiyalarining uch turi mavjud:
- qator qo'shish, ya'ni qatorni boshqasiga qo'shish.
- qatorni ko'paytirish, ya'ni qatorning barcha yozuvlarini nolga teng bo'lmagan doimiyga ko'paytirish;
- qatorni almashtirish, ya'ni matritsaning ikki qatorini almashtirish;
Bu amallar chiziqli tenglamalarni yechish va matritsaga teskarilarni topish kabi bir qancha usullarda qoʻllaniladi.
Andoza:Langar Submatritsa
Matritsaning submatritsasi har qanday qatorlar va/yoki ustunlar to'plamini o'chirish orqali olingan matritsadir.[12][13][14] Masalan, quyidagi 3 ga 4 matritsadan 3 va 3 qatorni olib tashlash orqali 2 ga 3 kichik matritsa qurishimiz mumkin. 2-ustun:
- Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle \mathbf{A}=\begin{bmatrix} 1 & \rang{qizil}{2} & 3 & 4 \\ 5 & \color{red}{6} & 7 & 8 \\ \color{red}{9} & \color{red}{10} & \color{red}{11} & \color{12} \end{bmatritsa} \o'ngga strelka \begin{bmatritsa} 1, 3 va 4 \\ 5, 7 va 8 \end{bmatritsa}. }
Matritsaning kichik va kofaktorlari ma'lum submatritsalarning determinant larini hisoblash yo'li bilan topiladi.[14][15]
'Asosiy submatritsa - bu ma'lum qatorlar va ustunlarni olib tashlash orqali olingan kvadrat submatritsa. Ta'rif muallifdan muallifga farq qiladi. Ba'zi mualliflarning fikriga ko'ra, asosiy submatritsa - bu qolgan qator indekslari to'plami qolgan ustun indekslari to'plami bilan bir xil bo'lgan pastki matritsadir.[16][17] Boshqa mualliflar asosiy submatritsani birinchi Andoza:Mvar qator va ustunlardan iborat boʻlgan maʼlum bir son sifatida aniqlang. Andoza:Mvar, qolganlar;[18] bu tur submatritsaning "" yetakchisi deb ham atalgan submatritsa.[19]
Chiziqli tenglamalar
Andoza:Asosiy Matritsalar ixcham yozish va bir nechta chiziqli tenglamalar, ya'ni chiziqli tenglamalar tizimlari bilan ishlash uchun ishlatilishi mumkin. Masalan, agar Andoza:Math Andoza:Matematik matritsa bo'lsa, Andoza:Matematik.
spektral teorema boʻyicha haqiqiy simmetrik matritsalar va murakkab Germit matritsalari oʻziga xos asosga ega; ya'ni har bir vektor xos vektorlarning chiziqli birikmasi sifatida ifodalanadi. Ikkala holatda ham barcha xos qiymatlar haqiqiydir.[20] Bu teoremani umumlashtirish mumkin. cheksiz ko'p satr va ustunli matritsalar bilan bog'liq cheksiz o'lchovli vaziyatlarga qarang pastda.
Invertible matritsa va uning teskarisi
Andoza:Matematik kvadrat matritsa invertible yoki matritsa mavjud bo'lsa, nosingular deyiladi Andoza:Matematik shundayki[21][22] bu yerda Andoza:Matematik Andoza:Matematik identifikatsiya matritsasi asosiy diagonalda 1lar va boshqa joylarda 0lar bilan. Agar Andoza:Math mavjud bo'lsa, u yagona bo'lib, teskari matritsa Andoza:Matematik deb ataladi. , belgilangan Andoza:Matematik.
Aniq matritsa
| Ijobiy aniq matritsa | Noaniq matritsa |
|---|---|
| Fayl:Yarim o'qli labelled.svg koordinata tizimidagi ellips Shunday nuqtalar: ([ [ellips]]) |
(Giperbola) boʻladigan nuqtalar |
Simmetrik haqiqiy matritsa Andoza:Matematika, agar bog'langan kvadrat shakl bo'lsa, musbat-aniq deyiladi. har bir nolga teng boʻlmagan vektor uchun musbat qiymatga ega Andoza:Math Andoza:Tmath Agar Andoza:Math faqat manfiy qiymatlarni beradi, keyin Andoza:Matematik [[matritsaning aniqligi#Salbiy] aniq|salbiy-aniqli]]; agar Andoza:Mvar ham manfiy, ham ijobiy qiymatlarni hosil qilsa, Andoza:Matematika noaniq bo'ladi.[23] Agar kvadratik shakl Andoza:Mvar faqat manfiy bo'lmagan qiymatlarni (musbat yoki nol) beradi, simmetrik matritsa musbat-yarim aniq (yoki faqat ijobiy bo'lmagan qiymatlar bo'lsa, u holda manfiy-yarim aniq) deb ataladi; demak, matritsa na musbat-yarim-aniqli, na manfiy-yarim-aniq bo'lmaganda aniq noaniq bo'ladi.
Simmetrik matritsa musbat-aniqli, agar uning barcha xos qiymatlari musbat bo‘lsa, ya’ni matritsa musbat-yarim aniq va teskari bo‘lsa.[24] O'ngdagi jadval ko'rsatilgan 2 ga 2 matritsalar uchun ikkita imkoniyat.
Ikki xil vektorga kirishga ruxsat berilsa, Andoza:Math bilan bog'langan bilinear shakl hosil bo'ladi:[25]
Murakkab matritsalar bo'lsa, xuddi shunday atama va natija simmetrik matritsa, kvadrat shakl, bilinear shakl va transpoze Andoza:Matematik mos ravishda Germitian matritsasi, Germitian shakli, sesquilinear bilan almashtirildi. shakl va konjugat transpose Andoza:Matematik.
Ortogonal matritsa
Andoza:Asosiy Ortogonal matritsa ustunlari va satrlari ortogonal birlik vektors (ya'ni, ortonormal vektorlar bo'lgan haqiqiy yozuvli kvadrat matritsadir. ). Ekvivalent tarzda, Andoza:Math matritsa ortogonal bo'ladi, agar uning ko'chirish teskari ga teng bo'lsa:
o'z ichiga oladi
bu yerda Andoza:Matematik Andoza:Mvar o'lchamdagi identifikatsiya matritsasi.
Ortogonal matritsa Andoza:Matematika shartli ravishda invertible (teskari {{math|1=AAndoza:Sup), unitar (Andoza:Math) va normal (Andoza:Matematik). Har qanday ortogonal matritsaning determinanti Andoza:Math yoki Andoza:Math boʻladi. maxsus ortogonal matritsa determinant +1 bo'lgan ortogonal matritsadir. chiziqli transformatsiya sifatida, Andoza:Math determinantli har bir ortogonal matritsa aks ettirilmasdan sof aylanish hisoblanadi, yaʼni transformatsiya oʻzgartirilgan strukturaning yoʻnalishini saqlaydi, Andoza:Math determinantli har bir ortogonal matritsa orientatsiyani o'zgartiradi, ya'ni sof matritsaning kompozitsiyasidir. fikrlash va (ehtimol null) aylanish. Identifikatsiya matritsalari Andoza:Math determinantga ega va ular nol burchak bilan sof aylanishlardir.
Ortogonal matritsaning kompleks analogi unitar matritsadir.
Asosiy operatsiyalar
Iz
Kvadrat matritsaning Andoza:Math iz, Andoza:Math uning yig'indisidir. diagonal yozuvlar. Matritsalarni ko'paytirish yuqorida aytib o'tilganidek kommutativ bo'lmasa-da, ikkita matritsa ko'paytmasining izi omillar tartibiga bog'liq emas:
Bu matritsalarni ko'paytirishning ta'rifidan darhol:
Bundan kelib chiqadiki, ikkitadan ortiq matritsalar koʻpaytmasining izi matritsalarning siklik almashtirish lariga bogʻliq emas, lekin bu umuman ixtiyoriy almashtirishlarga taalluqli emas (masalan , Andoza:Math, umuman). Shuningdek, matritsaning izi uning transpozitsiyasiga teng, ya'ni
Aniqlovchi

Kvadrat matritsaning determinanti Andoza:Matematik (belgilangan Andoza:Math yoki Andoza:Matematik) - matritsaning ma'lum xususiyatlarini kodlovchi raqam. Matritsa teskari bo'ladi faqat va agar uning determinanti nolga teng bo'lmasa. Uning mutlaq qiymati birlik kvadrat (yoki kub) tasvirining maydoniga (Andoza:Tmath) yoki hajmiga (Andoza:Tmath da) tengdir, uning belgisi esa mos chiziqli xaritaning yo'nalishiga mos keladi: determinant faqat va faqat yo'nalish saqlanib qolganda ijobiy bo'ladi.
2 ga 2 matritsalarning determinanti bilan berilgan
3 ga 3 matritsalarning determinanti 6 ta haddan iborat (Sarrus qoidasi). Uzunroq Leybnits formulasi bu ikki formulani barcha o'lchamlarga umumlashtiradi.[27]
Kvadrat matritsalar mahsulotining determinanti ularning determinantlarining mahsulotiga teng: yoki muqobil yozuvdan foydalanish:[28] Boshqa qatorga istalgan satrning karrali yoki boshqa ustunga har qanday ustunning karrali qo‘shilishi determinantni o‘zgartirmaydi. Ikki qator yoki ikkita ustunni almashtirish determinantni −1 ga ko'paytirish orqali ta'sir qiladi.[29] Bulardan foydalanish operatsiyalarda har qanday matritsa pastki (yoki yuqori) uchburchak matritsaga aylantirilishi mumkin va bunday matritsalar uchun determinant asosiy diagonaldagi yozuvlar mahsulotiga teng; bu har qanday matritsaning determinantini hisoblash usulini beradi. Nihoyat, Laplas kengayishi determinantni kichiklar, yaʼni kichikroq matritsalarning determinantlari bilan ifodalaydi.[30] Ushbu kengaytma rekursiv ta'rif uchun ishlatilishi mumkin determinantlar (boshlang'ich holat sifatida 1 ga 1 matritsaning determinanti, ya'ni uning yagona kirishi yoki hatto 0 ga 0 matritsaning determinanti, ya'ni 1) ekvivalent deb ko'rish mumkin Leybnits formulasi. Determinantlardan chiziqli tizimlarni Kramer qoidasi yordamida yechish uchun foydalanish mumkin, bunda ikkita bogʻliq kvadrat matritsalar determinantlarining boʻlinishi tizimning har bir oʻzgaruvchisi qiymatiga teng boʻladi.[31]
Xususiy qiymatlar va xos vektorlar
Andoza:Asosiy va nolga teng bo'lmagan vektor Andoza:Math qanoatlantiruvchi
mos ravishda Andoza:Math ning o'ziga xos qiymat va o'zvektori deb ataladi.[32][33] Andoza:Mvar soni Andoza:Matematik-matritsa Andoza:Math agar va faqat agar Andoza:Matematik teskari emas, bu ekvivalent
ni baholash orqali berilgan noaniq Andoza:Math polinomi. determinant Andoza:Math Andoza:Matematik ning xarakteristik polinomi deb ataladi. U daraja Andoza:Mvar monik polinom. Shuning uchun Andoza:Math polinom tenglamasi ko'pi bilan Andoza:Mvar xil yechimga ega, ya'ni , matritsaning xos qiymatlari.[35] Ular Andoza:Math yozuvlari haqiqiy bo'lsa ham murakkab bo'lishi mumkin. Keyli–Gamilton teoremasiga koʻra, Andoza:Math, ya'ni matritsaning o'zini o'ziga xos ko'phadga qo'yish natijasida nol matritsa hosil bo'ladi.
Hisoblash aspektlari
Matritsalarni hisoblash ko'pincha turli xil texnikalar bilan amalga oshirilishi mumkin. Ko'pgina muammolarni to'g'ridan-to'g'ri algoritmlar va iterativ yondashuvlar bilan hal qilish mumkin. Masalan, kvadrat matritsaning xos vektorlarini vektorlarning ketma-ketligi {{matematik|xAndoza:Sub} topib olish mumkin. } konversiya xos vektorga Andoza:Mvar moyil boʻlganda infinity.[36]
Har bir aniq muammo uchun eng mos algoritmni tanlash uchun barcha mavjud algoritmlarning samaradorligi va aniqligini aniqlash muhimdir. Ushbu masalalarni o'rganadigan domen sonli chiziqli algebra deb ataladi.[37] Boshqa raqamli vaziyatlarda bo'lgani kabi , ikkita asosiy jihat algoritmlarning murakkabligi va ularning [[raqamliligi] barqarorlik]].
Algoritmning murakkabligini aniqlash yuqori chegaralarni topish yoki ba'zi bir algoritmni bajarish uchun skalerlarni qo'shish va ko'paytirish kabi qancha elementar amallar zarurligini taxmin qilishni anglatadi, masalan, matritsalarni ko'paytirish . Yuqorida berilgan ta'rifdan foydalanib, ikkita Andoza:Mvar-Andoza:Mvar matritsaning matritsa mahsulotini hisoblash uchun Andoza:Math ko'paytirish kerak, chunki mahsulotning har qanday Andoza:Math yozuvlari uchun Andoza:Mvar ko'paytirish kerak. Strassen algoritmi bu "sodda" algoritmdan ustundir; unga faqat Andoza:Matematik ko'paytirish kerak.[38] Takomillashtirilgan yondashuv hisoblash qurilmalarining o'ziga xos xususiyatlarini ham o'z ichiga oladi.
Ko'pgina amaliy vaziyatlarda matritsalar haqida qo'shimcha ma'lumotlar ma'lum. Muhim holat bu siyrak matritsalar, yaʼni koʻpchilik yozuvlari nolga teng boʻlgan matritsalardir. Aytaylik, chiziqli tizimlarni echish uchun maxsus moslashtirilgan algoritmlar mavjud Andoza:Math siyrak matritsalar uchun {{matematik|A} }, masalan, konjugat gradient usuli.[39]
Agar kirish qiymatlaridagi kichik og'ishlar natijada katta og'ishlarga olib kelmasa, algoritm, qo'pol qilib aytganda, raqamli barqaror hisoblanadi. Masalan, Laplas kengaytmasi orqali matritsaning teskarisini hisoblash (Andoza:Math Andoza:Math va komponentning chiqish kuchlanishi bilan Andoza:Mvar 2 o‘lchovli vektor bo‘lsin. Andoza:Math va uning elementlari sifatida joriy Andoza:Math chiqaring. Keyin elektron komponentning harakatini Andoza:Math bilan tavsiflash mumkin, bu yerda Andoza:Mvar 2 x 2 bir empedans element (Andoza:Mvar), bitta ruxsat elementni o'z ichiga olgan matritsa (Andoza:Mvar) va ikkita o'lchovsiz element ({{math|hAndoza:Sub} } va Andoza:Matematika). Sxemani hisoblash endi matritsalarni ko'paytirishga kamayadi.
Tarix
Matritsalar chiziqli tenglamalarni yechishda uzoq vaqtdan beri qoʻllanish tarixiga ega, ammo ular 1800-yillargacha massivlar sifatida tanilgan. Miloddan avvalgi 10–2-asrlarda yozilgan Xitoycha matn Matematika sanʼati boʻyicha toʻqqiz bob [[chiziqli matematika tizimi] yechishda massiv usullaridan foydalanishning birinchi namunasidir. tenglamalar|bir vaqtda tenglamalar]],[40] determinantlar tushunchasini oʻz ichiga oladi. 1545 yilda italyan matematigi Gerolamo Kardano Ars Magna asarini nashr qilganda Yevropaga bu usulni joriy qilgan.[41] Yapon matematigi Seki 1683-yilda bir vaqtda tenglamalarni yechish uchun bir xil massiv usullaridan foydalangan.[42] Gollandiyalik matematik Yan de Vitt o'zining 1659-yilda chop etilgan Elements of Curves kitobida massivlar yordamida transformatsiyalarni ifodalagan. ' (1659).[43] 1700-1710 yillarda Gotfrid Vilgelm Leybnits axborot yoki yechimlarni yozib olish uchun massivlardan foydalanishni eʼlon qildi va 50 dan ortiq turli massivlar tizimi bilan tajriba oʻtkazdi.[41] Kramer uning qoidasi ni taqdim etdi 1750.
“Matrisa” (lotincha “bachadon”, “to‘g‘on” (ko‘paytirish uchun saqlanadigan odam bo‘lmagan urg‘ochi hayvon), “manba”, “kelib chiqishi”, “ro‘yxat” va “registr” atamasi mater—ona[44]) 1850-yilda Jeyms Jozef Silvestr tomonidan yaratilgan,[45] matritsani bugungi kunda kichik deb ataladigan bir nechta determinantlarni keltirib chiqaradigan obyekt deb tushunganlar, ya'ni dastlabkisidan kelib chiqadigan kichikroq matritsalarning determinantlari. ustunlar va qatorlarni olib tashlash orqali. 1851 yilgi maqolasida Silvestr shunday tushuntiradi:[46]
Artur Kayli ilgari qilinganidek tekshirilayotgan koeffitsientlarning aylantirilmagan versiyalari bo'lmagan matritsalar yordamida geometrik o'zgarishlar haqida risolani nashr etdi. Buning o'rniga u qo'shish, ayirish, ko'paytirish va bo'lish kabi amallarni ushbu matritsalarning o'zgarishi sifatida aniqladi va assotsiativ va taqsimlovchi xususiyatlarni ko'rsatdi. Keyli matritsalarni ko‘paytirishning o‘zgarmas xususiyatini hamda matritsalarni qo‘shishning kommutativ xususiyatini tadqiq qildi va ko‘rsatdi.[41] Ilk matritsa nazariyasi massivlardan deyarli faqat determinantlar va Artur Keylining mavhum matritsasi bilan foydalanishini cheklab qo‘ygan edi. operatsiyalar inqilobiy edi. U tenglamalar tizimidan mustaqil matritsa kontseptsiyasini taklif qilishda muhim rol o'ynadi. 1858 yilda Keyli o'zining "Matritsalar nazariyasi bo'yicha xotiralar" asarini nashr etdi. Maqolalar II 475-496</ref>[47] unda u Keyli-Gamilton teoremasini taklif qilgan va ko‘rsatgan.[41]
Ingliz matematigi Kutbert Edmund Kullis 1913 yilda birinchi bo'lib matritsalar uchun zamonaviy qavs belgisini qo'llagan va u bir vaqtning o'zida Andoza:Math matritsani ifodalash uchun Andoza:Mvar Andoza:Mvar-chi qator va Andoza:Mvar-ustunni bildiradi.[41]
Determinantlarni zamonaviy tadqiq qilish bir necha manbalardan kelib chiqqan.[48] Raqam-nazariy muammolari [[Gauss]ga olib keldi. ]] kvadrat shakllarning koeffitsientlarini, yaʼni kabi ifodalarni bogʻlash. Andoza:Matematik va chiziqli xaritalar uch o'lchovli matritsalarga. Eyzenshteyn bu tushunchalarni yanada rivojlantirdi, jumladan, zamonaviy tilda aytganda, matritsa mahsulotilar kommutativ boʻlmagan degan fikrni ham oʻz ichiga oladi. Koshi matritsa determinantining ta'rifi sifatida foydalangan holda birinchi bo'lib determinantlar haqidagi umumiy fikrlarni isbotladi Andoza:Math quyidagi: vakolatlarni Andoza:Mvar bilan almashtiring Andoza:Mvar polinom ichida
- ,
bu yerda ko'rsatilgan shartlarning mahsulot ni bildiradi. Shuningdek, u 1829 yilda simmetrik matritsalarning oʻz qiymatilari haqiqiy ekanligini koʻrsatdi.[49] Jacobi "funktsional determinantlar" ni o'rgangan - keyinchalik [[Yakobi] deb nomlangan. matritsa va determinant|Yakobi determinanti Silvestr tomonidan — mahalliy (yoki cheksiz kichik) darajadagi geometrik oʻzgarishlarni tasvirlash uchun ishlatilishi mumkin, yuqoridagi ga qarang. Kronecker Vorlesungen über die Theorie der Determinanten[50] va Weierstrass' Zur Determinantentheorie,[51] ikkalasi ham 1903-yilda nashr etilgan boʻlib, birinchi boʻlib determinantlarga aksiomaatik munosabatda boʻldi, bu esa Koshi formulasi kabi oldingi aniqroq yondashuvlardan farqli oʻlaroq. O'sha paytda determinantlar mustahkam o'rnatildi.
Ko'pgina teoremalar dastlab faqat kichik matritsalar uchun o'rnatildi, masalan, Keyli-Gamilton teoremasi 2×2 matritsalar uchun Keyli tomonidan yuqorida qayd etilgan memuarda, Hamilton tomonidan 4× uchun isbotlangan. 4 ta matritsa. Frobenius bilinear shakllar ustida ish olib, teoremani barcha oʻlchamlarga umumlashtirdi (1898). Shuningdek, 19-asr oxirida Gauss-Iordaniyani bartaraf etish (hozirda Gaussni yoʻq qilish deb nomlanuvchi maxsus holatni umumlashtirish) Vilgelm Jordan tomonidan oʻrnatildi. 20-asr boshlarida matritsalar chiziqli algebrada markaziy oʻrinni egalladi. O'tgan asrdagi giperkompleks sonlar tizimlari.
matritsalar mexanikasining Geyzenberg, Born va Iordaniya tomonidan yaratilishi cheksiz koʻp qator va ustunli matritsalarni oʻrganishga olib keldi[52] Keyinchalik fon Neyman kvant mexanikasining matematik formulasini funksional analitik kabi tushunchalarni yanada rivojlantirish orqali amalga oshirdi. Gilbert fazosi lardagi chiziqli operatorlar, juda qoʻpol qilib aytganda, Yevklid fazosi ga toʻgʻri keladi, lekin cheksiz mustaqil yo'nalishlar bilan.
Matematikada "matritsa" so'zining boshqa tarixiy qo'llanilishi
Bu so'z tarixiy ahamiyatga ega bo'lgan kamida ikkita muallif tomonidan g'ayrioddiy tarzda ishlatilgan.
Bertrand Russell va Alfred North Whitehead Principia Mathematica asarida (1910–1913) o'zlarining qaytariluvchanlik aksiomasi kontekstida "matritsa" so'zidan foydalanadilar. Ular bu aksiomani har qanday funktsiyani ketma-ket pastroq turga qisqartirish vositasi sifatida taklif qildilar, shunda "pastki" (0 tartib)da funktsiya uning [[kengaytma (predikat mantiqi)|kengaytma] bilan bir xil bo'ladi:[53]
Masalan, Andoza:Mvar va Andoza:Mvar ikkita oʻzgaruvchidan iborat Andoza:Math funksiyani to'plamga qisqartirish mumkin. bitta o'zgaruvchining funktsiyalari, masalan, Andoza:Mvar, "individuallar" ning barcha mumkin bo'lgan qiymatlari uchun funktsiyani "ko'rib chiqish" orqali Andoza:Mvar oʻzgaruvchisi oʻrniga Andoza:Mvar almashtirildi. Va keyin bitta o'zgaruvchining Andoza:Mvar funktsiyalari to'plami, ya'ni Andoza:Math, funktsiyani "ko'rib chiqish" orqali qiymatlarning "matritsasi" ga keltirilishi mumkin Andoza:Mvar oʻzgaruvchisi oʻrniga almashtirilgan Andoza:Mvar "individuallar" ning barcha mumkin boʻlgan qiymatlari uchun:
Alfred Tarski oʻzining 1946-yilgi “Mantiqqa kirish” asarida “matritsa” soʻzini matematik mantiqda qoʻllanilgan haqiqat jadvali tushunchasi bilan sinonim sifatida ishlatgan.[54]
Shuningdek qarang
- Nomlangan matritsalar roʻyxati
- Andoza:Izohli havola
- Andoza:Izohli havola
- Andoza:Izohlangan havola
- Irregular matritsa
- Andoza:Izohlangan havola
- Andoza:Izohlangan havola
- Matritsani ko'paytirish algoritmi
- Tensor — Istalgan sonli indekslar bilan matritsalarni umumlashtirish
- Andoza:Izohlangan havola
- Matritsalar toifasi — Matritsalar va ularni koʻpaytirish orqali hosil boʻlgan algebraik tuzilma
Eslatmalar
Ma'lumotnomalar
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- {{Iqtibos |birinchi1=Jon B. |oxirgi1=Fraleigh |yil=1976 |isbn=0-201-01984-1 |nomi=Abstrakt algebra boʻyicha birinchi kurs |nashr=2-nashriyotchi=[[Addison-Uesli] ] |joy=Oʻqish}}
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos.
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Lang algebrasi
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- {{Iqtibos |last1=Oualline |first1=Stiv |title=Amaliy C++ dasturlash |nashriyotchi=O'Reilly |isbn=978-0-596-00419-4 |yil=2003} }
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- {{Iqtibos |last1=Šolin |first1=Pavel |title=Qisman differensial tenglamalar va sonli elementlar usuli |nashriyotchi=Wiley-Interscience |isbn=978-0-471-76409-0 |yil=2005} }
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
Fizika ma'lumotnomalari
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
Tarixiy manbalar
- A. Kayli Matritsalar nazariyasi bo'yicha memuar. Fil. Trans. 148 1858 17–37; Matematika. Maqolalar II 475–496
- Andoza:Citation, 1907 yilgi asl nashrning qayta nashri
- Andoza:Iqtibos
- {{Iqtibos |tahrirlovchi1-oxirgi=Dieudonne |muharrir1-birinchi=Jan |muharrir1-havola=Jan Dieudonne |sarlavha=Abrége d'histoire des mathematiques 1700-1900 |nashriyotchi=Hermann,Fermann |joy=9=Paris=8 | }
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
- Andoza:Iqtibos
Qo'shimcha o'qish
Tashqi havolalar
Andoza:Opa-singil loyiha havolalari
- MacTutor: Matritsalar va determinantlar
- Matritsalar va chiziqli algebra eng dastlabki foydalanish sahifalarida
- Matritsalar va vektorlar uchun belgilarning eng qadimgi qo'llanilishi
Andoza:Chiziqli algebra Andoza:Tensorlar Andoza:Hokimiyat nazorati
- ↑ Biroq, qo'shni matritsalarda matritsani ko'paytirish yoki uning varianti bir vaqtning o'zida istalgan ikkita cho'qqi orasidagi yo'llar sonini va eng qisqa uzunligini hisoblash imkonini beradi. ikki cho'qqi orasidagi yo'l.
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Harvtxt
- ↑ Andoza:Harvtxt
- ↑ Andoza:Cite web
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslar
- ↑ Andoza:Garvard iqtiboslari
- ↑ 9,0 9,1 Andoza:Cite web
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Harvtxt
- ↑ { {harvtxt|Kreyszig|1972|p=220}}
- ↑ 14,0 14,1 Andoza:Harvtxt
- ↑ Andoza:Harvtxt
- ↑ Andoza:Iqtibos.
- ↑ Andoza:Iqtibos.
- ↑ Andoza:Iqtibos.
- ↑ Andoza:Iqtibos.
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ {{Cite web|title=Matrix {{!} } matematika|url=-{R|https://britannica.com/science/matrix-mathematics%7Caccess-date=2020-08-19%7Cwebsite=Encyclopedia}- Britannica|til=en}}
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard sitatlari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari.
- ↑ Eigen nemis tili va Golland tillarida.
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari keltirgan Andoza:Garvard iqtiboslari
- ↑ 41,0 41,1 41,2 41,3 41,4 Diskret matematika 4-nashr. Dossey, Otto, Spense, Vanden Eynden, Addison Wesley tomonidan nashr etilgan, 2001 yil 10 oktyabr Andoza:ISBN, p. 564-565
- ↑ Andoza:Kitabdan iqtibos
- ↑ Diskret matematika 4-nashr. Dossey, Otto, Spense, Vanden Eynden, Addison Wesley tomonidan nashr etilgan, 2001 yil 10 oktyabr Andoza:ISBN, p. 564
- ↑ Andoza:Iqtibos
- ↑ Ko'pgina manbalarda shunday deyilgan JJ Silvestr 1848 yilda "matritsa" matematik atamasini kiritgan. Silvestr 1848 yilda hech narsa nashr etmagan. (Silvester 1848 yilda hech narsa nashr etmaganligini isbotlash uchun JJ Sylvester bilan HF Beyker, tahr., The Collected Mathematical Papers of Jeyms Joseph Sylvester (Kembrij, Angliya: Cambridge University Press, 1904) ga qarang), jild.) Uning "matritsa" atamasi 1850 yilda J.J.Silvesterda (1850) "Maqolalarga qo'shimchalar"da uchraydi. Ushbu jurnalning sentyabr soni, "Teoremalarning yangi sinfi haqida" va Paskal teoremasi haqida, "" London, Edinburg va Dublin falsafiy jurnali va fan jurnali, 37: 363-370. 369-sahifadan: "Buning uchun biz kvadrat bilan emas, balki m dan iborat cho'zinchoq atamalar tartibidan boshlashimiz kerak. satrlar va n ta ustunlar bu o'z-o'zidan determinant emas, balki matritsasi bo'lib, undan biz turli xil tizimlarni hosil qilishimiz mumkin. determinantlar ... "
- ↑ Jeyms Jozef Silvesterning toʻplangan matematik qogʻozlari: 1837–1853, 37-qogʻoz, p. 247
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard sitatlari
- ↑ Andoza:Garvard iqtiboslari
- ↑ Andoza:Garvard iqtiboslari
- ↑ . Andoza:Garvard iqtiboslari
- ↑ Whitehead, Alfred North; va Russell, Bertrand (1913) Principia Mathematica to *56, Kembrij at University Press, Kembrij Buyuk Britaniya (1962 yilda qayta nashr etilgan) cf 162-bet.
- ↑ Tarski, Alfred; (1946) Mantiqqa kirish va deduktiv fanlar metodologiyasi, Dover Publications, Inc, New York NY, Andoza:ISBN.