Chapterبەش 6 · Lectureوانە 6.8
Partitioned (Block) Matricesماتریکسە بلۆکییەکان
The chapter's advanced lesson: cutting a matrix into blocks, adding and scaling block by block, the block product with conformable cuts (keeping the order), and the inverse by partitioning with the Schur complement — the notes' example checked, and a new homework matrix.
وانەی پێشکەوتووی ئەم بەشە: بڕینی بۆ بلۆک، کۆکردنەوە و لێکدان لە ژمارە بلۆک بە بلۆک، لێکدانی بلۆکی بە بڕینی گونجاو (بە پاراستنی ڕیزبەندی) و پێچەوانە بە دابەشکردن لەگەڵ — نموونەکەی تێبینییەکان پشکنراوە و ئەرکێکی نوێ.
What you will learnچی فێر دەبیت
- Partition a matrix and name its blocks and their sizes.
- Add, scale and multiply block matrices, checking that the cuts are conformable.
- Find an inverse by partitioning with the Schur complement and check it.
- دابەش بکەیت و ناو و قەبارەی بلۆکەکانی بنووسیت.
- کۆ بکەیتەوە و لێکیان بدەیت و بپشکنیت کە بڕینەکان گونجاون.
- پێچەوانەیەک بە دابەشکردن و بدۆزیتەوە و بیپشکنیت.
Why cut a matrix into blocks?بۆچی ماتریکسێک دەکەینە بلۆک؟
A big matrix can be cut by horizontal and vertical lines into smaller matrices called blocks. The result is a (the notes say a partitioned matrix). Blocks can then be handled almost like single numbers, so one big calculation becomes a few small ones.
گەورە دەکرێت بە هێڵی ئاسۆیی و ستوونی ببڕدرێت بۆ چەند بچووکتر بە ناوی بلۆک. ئەنجامەکە (تێبینییەکان دەڵێن دابەشکراو). پاشان بلۆکەکان نزیکەی وەک ژمارەی تاک مامەڵەیان لەگەڵ دەکرێت، بۆیە ژمێریارییەکی گەورە دەبێتە چەند ژمێریارییەکی بچووک.
- A digital picture is a matrix of ; programs often work on it tile by tile.
- A very large product can be shared out: each processor core multiplies a few blocks at the same time.
- وێنەیەکی لە ؛ زۆر جار پارچە بە پارچە کاری لەسەر دەکەن.
- لێکدانێکی زۆر گەورە دەکرێت دابەش بکرێت: هەر لە هەمان کاتدا چەند بلۆکێک لێک دەدات.
Partitioning: names and sizes of blocksدابەشکردن: ناو و قەبارەی بلۆکەکان
The notes' example cuts a matrix after row 3 and after column 3. The block in block-row and block-column is called — row first, as for entries.
نموونەکەی تێبینییەکان دوای ڕیزی 3 و دوای ستوونی 3 دەبڕێت. ئەو بلۆکەی لە ڕیزی بلۆکیی و ستوونی بلۆکیی دایە پێی دەگوترێت — سەرەتا ڕیز، وەک ژمارەکان.
Blocks in the same block-row have the same number of rows (3, or 1); blocks in the same block-column have the same number of columns (3, or 2). You may choose the cut, but these rules always hold.
بلۆکەکانی یەک ڕیزی بلۆکی هەمان ژمارەی ڕیزیان هەیە (3 یان 1)؛ بلۆکەکانی یەک ستوونی بلۆکی هەمان ژمارەی ستوونیان هەیە (3 یان 2). دەتوانیت شوێنی بڕینەکە هەڵبژێریت، بەڵام ئەم یاسایانە هەمیشە ڕاستن.
Adding blocks and multiplying by a numberکۆکردنەوەی بلۆکەکان و لێکدان لە ژمارە
If two matrices of the same order are cut in the same way, add them block by block: . The notes' exercise, cut both ways:
ئەگەر دوو بە هەمان قەبارە بە هەمان شێوە ببڕدرێن، بلۆک بە بلۆک کۆیان بکەرەوە: . ڕاهێنانەکەی تێبینییەکان، هەردوو لا بڕدراون:
A number times a block matrix multiplies every block, so every entry: . The notes' example:
لێکدانی ژمارەیەک لە هەموو بلۆکێک لەو ژمارەیە دەدات، واتە هەموو ژمارەیەکی ناوی: . نموونەکەی تێبینییەکان:
However the matrix is cut, every block, and so every entry, is multiplied by .
بە هەر شێوەیەک ببڕدرێت، هەموو بلۆکێک، واتە هەموو ژمارەیەک، لە دەدرێت.
Multiplying block matricesلێکدانی ماتریکسە بلۆکییەکان
Treat the blocks as if they were entries and use the row-times-column rule: . Two things are new compared with numbers:
بلۆکەکان وەک ژمارە دابنێ و یاسای ڕیز جاران ستوون بەکاربهێنە: . دوو شت بە بەراورد لەگەڵ ژمارەکان نوێن:
- Keep the order. Each piece is a matrix product, so must not be written .
- The cuts must be conformable: the way the columns of are cut must be the way the rows of are cut. Then every block product has matching inner sizes. The notes do not say this; it is the condition that makes the method work.
- ڕیزبەندی مەگۆڕە. هەر پارچەیەک لێکدانی ، بۆیە نابێت بنووسرێت .
- بڕینەکان دەبێت گونجاو بن: شێوەی بڕینی ستوونەکانی دەبێت هەمان شێوەی بڕینی ڕیزەکانی بێت. ئەوکات هەموو لێکدانێکی بلۆکی قەبارە ناوەکییەکانی یەک دەگرنەوە. تێبینییەکان ئەمە نالێن؛ ئەمە ئەو مەرجەیە کە ڕێگەکە کار پێدەکات.
The notes' short form: with one block-row and one block-column, .
شێوە کورتەکەی تێبینییەکان: بە یەک ڕیزی بلۆکی و یەک ستوونی بلۆکی، .
A block product, step by stepلێکدانێکی بلۆکی، هەنگاو بە هەنگاو
The notes' exercise: multiply the partitioned () and (). Cut the columns of and the rows of (conformable), and also the rows of and the columns of :
ڕاهێنانەکەی تێبینییەکان: () و ()ـی دابەشکراو لێک بدە. ستوونەکانی بە و ڕیزەکانی بە ببڕە (گونجاو)، هەروەها ڕیزەکانی بە و ستوونەکانی بە :


So — the same as ordinary multiplication (checked with sympy). The notes' simpler cut, with only the cut, gives the same matrix too.
کەواتە — هەمان ئەنجامی لێکدانی ئاسایی (بە sympy پشکنراوە). بڕینە سادەترەکەی تێبینییەکان، تەنها بە بڕینی ، هەمان دەدات.
Method 4: the inverse by partitioningڕێگەی 4: پێچەوانە بە دابەشکردن
Cut a square matrix and its inverse in the same way, with square diagonal blocks and . Then in blocks gives four equations:
و پێچەوانەکەی بە هەمان شێوە ببڕە، بە بلۆکی چوارگۆشەیی لەسەر تیرەکە و . ئەوکات بە بلۆک چوار دەدات:
Solving them (if is invertible) brings in one key block, the :
شیکارکردنیان (ئەگەر بێت) بلۆکێکی سەرەکی دەهێنێتە ناوەوە، :
The method needs both and to be invertible.
ڕێگەکە پێویستی بەوەیە و هەردووکیان بن.
Method 4: the inverse by partitioningڕێگەی 4: پێچەوانە بە دابەشکردن
Where the formulas come fromفۆرمولەکان لە کوێوە دێن
The four formulas are not magic: they come from the four block equations, solved like a system of two equations in two unknowns — but the unknowns are matrices, so the order of every product is kept.
چوار جادوو نین: لە چوار بلۆکییەکەوە دێن کە وەک سیستەمێکی دوو بە دوو نەزانراو شیکار دەکرێن — بەڵام نەزانراوەکان ، بۆیە ڕیزبەندیی هەموو لێکدانێک دەپارێزرێت.
- From equation 2لە هاوکێشەی 2ەوە
.
.
- Into equation 4دەیخەینە هاوکێشەی 4ەوە
, that is , so and .
، واتە ، بۆیە و .
- Equations 1 and 3 the same wayهاوکێشەکانی 1 و 3 بە هەمان شێوە
Equation 1 gives ; put it into equation 3: , so , and then as above.
1 دەدات ؛ بیخە 3ەوە: ، بۆیە و پاشان وەک سەرەوە.
The notes' example, checkedنموونەکەی تێبینییەکان، پشکنراو
Find the inverse of , cut after row 2 and column 2:
پێچەوانەی بدۆزەرەوە، کە دوای ڕیزی 2 و ستوونی 2 بڕدراوە:
- The blocksبلۆکەکان
, , , .
، ، ، .
- Invert with the shortcutپێچەوانەی بە ڕێگە کورتەکە
, so .
، بۆیە .
- The Schur complementتەواوکەری شوور
, so and .
، بۆیە و .
- The four blocksچوار بلۆکەکە
, so . Because : and . Finally .
، بۆیە . چونکە : و . لە کۆتاییدا .
- Put the blocks togetherبلۆکەکان پێکەوە دابنێ
. Check: this is exactly the inverse that sympy (or Gauss–Jordan) gives; .
. پشکنین: ئەمە ڕێک ئەو پێچەوانەیەیە کە sympy (یان ) دەیدات؛ .
In computing: blocks in practiceلە کۆمپیوتەردا: بلۆکەکان لە کردەوەدا
Common mistakesهەڵە باوەکان
| Mistakeهەڵە | What is trueڕاستییەکە |
|---|---|
| Writing instead of نووسینی لە جیاتی | Blocks are matrices: keep the order .بلۆکەکان : ڕیزبەندیی بپارێزە. |
| Cutting the columns of and the rows of differentlyبڕینی ستوونەکانی و ڕیزەکانی بە شێوەی جیاواز | The cuts must be conformable, or the block products are not defined.بڕینەکان دەبێت گونجاو بن، دەنا لێکدانە بلۆکییەکان پێناسە نەکراون. |
| Adding matrices that are cut differently, block by blockکۆکردنەوەی بلۆک بە بلۆکی کە بە جیاوازی بڕدراون | Block addition needs the same cut.کۆکردنەوەی بلۆکی پێویستی بە هەمان بڕینە. |
| Writing for نووسینی بۆ | There is no matrix division; find by a method (unless the block is ).دابەشکردنی نییە؛ بە ڕێگەیەک بدۆزەرەوە (مەگەر بلۆکەکە بێت). |
| Using partitioning when is singularبەکارهێنانی دابەشکردن کاتێک | Choose another cut, or use Gauss–Jordan.بڕینێکی تر هەڵبژێرە، یان بەکاربهێنە. |
Exercisesڕاهێنانەکان
Cut and after row 2 and column 2. Find block by block, and .
و دوای ڕیزی 2 و ستوونی 2 ببڕە. بلۆک بە بلۆک بدۆزەرەوە، هەروەها .
Show answerوەڵامەکە پیشان بدە
Let with its columns cut , and . How must be cut? Find .
با بێت بە ستوونی بڕدراوی و . دەبێت چۆن ببڕدرێت؟ بدۆزەرەوە.
Show answerوەڵامەکە پیشان بدە
Cut the rows of , the same way as the columns of . The result is the same as ordinary multiplication.
ڕیزەکانی بە ببڕە، هەمان شێوەی بڕینی ستوونەکانی . ئەنجامەکە هەمان ئەنجامی لێکدانی ئاساییە.
and have zero blocks off the diagonal. Find and block by block.
و لە دەرەوەی تیرەکە بلۆکی سفریان هەیە. و بلۆک بە بلۆک بدۆزەرەوە.
Show answerوەڵامەکە پیشان بدە
Each diagonal block is multiplied or inverted on its own: by the shortcut, and .
هەر بلۆکێکی تیرە بە تەنها لێک دەدرێت یان پێچەوانە دەکرێتەوە: بە ڕێگە کورتەکە و .
The notes' homework repeats the example's matrix, so use a new one: find the inverse of by partitioning after row 2 and column 2. Here , so all four formulas are needed.
ئەرکەکەی تێبینییەکان نموونەکە دووبارە دەکاتەوە، بۆیە نوێ بەکاربهێنە: پێچەوانەی بدۆزەرەوە بە دابەشکردن دوای ڕیزی 2 و ستوونی 2. لێرەدا ، بۆیە هەر چوار پێویستن.
Hintئاماژە
: use the shortcut for .
: بۆ ڕێگە کورتەکەی بەکاربهێنە.
Show answerوەڵامەکە پیشان بدە
Checked with sympy; also .
بە sympy پشکنراوە؛ هەروەها .
Karwan wrote the top-left block of as . What is wrong?
کاروان بلۆکی سەرەوەی چەپی ـی وا نووسی . چی هەڵەیە؟
Show answerوەڵامەکە پیشان بدە
The second product is in the wrong order. Blocks do not commute: it must be (block (1, 2) of times block (2, 1) of ).
لێکدانی دووەم ڕیزبەندییەکەی هەڵەیە. بلۆکەکان ئاڵوگۆڕ ناکەن: دەبێت بێت (بلۆکی (1، 2)ی جاران بلۆکی (2، 1)ی ).
Summaryپوختە
- Partitioning cuts a matrix into blocks ; blocks in one block-row share their rows, in one block-column their columns.
- Add and scale block by block (same cut for addition).
- Multiply blocks like entries, keeping the order: ; the column cut of must match the row cut of .
- Inverse by partitioning: (the Schur complement), , and three more formulas; and must be invertible.
- دابەشکردن دەکاتە بلۆکی ؛ بلۆکەکانی یەک ڕیزی بلۆکی ڕیزەکانیان هاوبەشە، هی یەک ستوونی بلۆکی ستوونەکانیان.
- بلۆک بە بلۆک کۆ بکەرەوە و لێک بدە (هەمان بڕین بۆ کۆکردنەوە).
- بلۆکەکان وەک ژمارە لێک بدە بە پاراستنی ڕیزبەندی: ؛ بڕینی ستوونەکانی دەبێت لەگەڵ بڕینی ڕیزەکانی یەک بگرێتەوە.
- پێچەوانە بە دابەشکردن: ()، و سێ تر؛ و دەبێت بن.
When is the block product allowed?لێکدانی بلۆکی کەی ڕێگەپێدراوە؟
When the cuts are conformable: every block product has matching inner sizes.
کاتێک بڕینەکان گونجاو بن: هەموو لێکدانێکی بلۆکیی قەبارە ناوەکییەکانی یەک بگرنەوە.
Why learn inverse by partitioning if Gauss–Jordan works?بۆچی پێچەوانە بە دابەشکردن فێر ببین ئەگەر لابردنی گاوس–جۆردان کار دەکات؟
Because it reuses work: if is already known (or a block is 0), the big inverse comes from small pieces.
چونکە کار دووبارە بەکاردەهێنێتەوە: ئەگەر پێشتر زانراو بێت (یان بلۆکێک 0 بێت)، پێچەوانە گەورەکە لە پارچە بچووکەکانەوە دێت.
This is the last lesson of the chapter “Matrices and Determinants” and of the whole course. For all six chapters at a glance and what comes later in calculus, see the course so far and what comes next.
ئەمە دوایین وانەی بەشی « و » و دوایین وانەی هەموو کۆرسەکەیە. بۆ هەر شەش بەشەکە بە یەک سەیرکردن و ئەوەی دواتر لە کالکولەسدا دێت، بڕوانە کۆرسەکە تا ئێرە و هەنگاوی داهاتوو.
Lesson complete!وانەکە تەواو بوو!
Well done. Review the key terms, then go on to the next lesson.دەستخۆش. سەیرێکی زاراوە سەرەکییەکان بکەرەوە، پاشان بڕۆ بۆ وانەی داهاتوو.
Key termsزاراوە سەرەکییەکان
Related lecturesوانە پەیوەندیدارەکان
References and further readingسەرچاوەکان و خوێندنەوەی زیاتر
This lecture is a first edition. The Kurdish text and terminology are waiting for review by Kurdish IT teachers.ئەم وانەیە چاپی یەکەمە. دەقە کوردییەکە و زاراوەکانی چاوەڕێی پێداچوونەوەی مامۆستایانی کوردی بواری IT ن.