Xem mã nguồn của Ma trận khối

{{Refimprove|date=December 2009}}[[Tập tin:BlockMatrix168square.png|nhỏ|Một ma trận gồm 168×168 phần tử, được chia thành các khối có cỡ 12×12, 12×24, 24x12, và 24×24. Các phần tử khác 0 có màu xanh và các phần tử 0 có màu xám.]]
Trong [[toán học]], '''ma trận khối''' là một [[ma trận]] được [[Phân hoạch tập hợp|phân hoạch]] thành các phần được gọi là các '''khối''' hay '''[[Ma trận (toán học)|ma trận con]]'''.<ref>{{chú thích sách|title=Elementary Matrix Theory|last=Eves|first=Howard|publisher=Dover|year=1980|isbn=0-486-63946-0|edition=reprint|location=New York|page=37|quote=We shall find that it is sometimes convenient to subdivide a matrix into rectangular blocks of elements. This leads us to consider so-called ''partitioned'', or ''block'', ''matrices''.|author-link=Howard Eves}}</ref> Một cách trực quan, một ma trận dưới dạng các khối được hình dung là một ma trận được chia tách hay phân hoạch thành các ma trận nhỏ hơn bởi các đường thẳng ngang và dọc.<ref>{{chú thích sách|title=Elementary Linear Algebra|url=https://archive.org/details/elementarylinear0000anto_l2p5|last=Anton|first=Howard|publisher=John Wiley|year=1994|isbn=0-471-58742-7|edition=7th|location=New York|page=[https://archive.org/details/elementarylinear0000anto_l2p5/page/30 30]|quote=A matrix can be subdivided or '''''partitioned''''' into smaller matrices by inserting horizontal and vertical rules between selected rows and columns.}}</ref> Một ma trận bất kỳ có thể có một hay nhiều cách biểu diễn khối, xác định bởi cách mà các hàng và cột của nó được phân hoạch. 
== Ví dụ ==
[[Tập tin:Jordan_blocks.svg|nhỏ|Các khối ma trận trong [[dạng chuẩn tắc Jordan]].]]
Ma trận sau

: <math>\mathbf{P} = \begin{bmatrix}
  1 & 2 & 2 & 7 \\
  1 & 5 & 6 & 2 \\
  3 & 3 & 4 & 5 \\
  3 & 3 & 6 & 7
\end{bmatrix}</math>

có thể được phân hoạch thành các khối 2×2

: <math>
  \mathbf{P}_{11} = \begin{bmatrix}
    1 & 2 \\
    1 & 5
  \end{bmatrix},\quad
  \mathbf{P}_{12} = \begin{bmatrix}
    2 & 7\\
    6 & 2
  \end{bmatrix},\quad
  \mathbf{P}_{21} = \begin{bmatrix}
    3 & 3 \\
    3 & 3
  \end{bmatrix},\quad
  \mathbf{P}_{22} = \begin{bmatrix}
    4 & 5 \\
    6 & 7
  \end{bmatrix}.
</math>

Ma trận ban đầu, sau khi phân hoạch có thể viết là

: <math>\mathbf{P} = \begin{bmatrix}
  \mathbf{P}_{11} & \mathbf{P}_{12} \\
  \mathbf{P}_{21} & \mathbf{P}_{22}
\end{bmatrix}.</math>

== Nhân ma trận khối ==
Sau khi phân hoạch các ma trận thành các khối, ta có thể thực hiện các đại số trên chúng. Có thể tính [[Phép nhân ma trận|tích]] của các ma trận khối bằng cách coi các khối của chúng là các phần tử, nhưng điều này tùy vào cách phân hoạch. Để có thể nhân các khối thì phải phân hoạch các ma trận theo cách sao cho cỡ của từng cặp khối thỏa mãn điều kiện của phép nhân ma trận.<ref>{{chú thích sách|title=Elementary Linear Algebra|url=https://archive.org/details/elementarylinear0000anto_l2p5|last=Anton|first=Howard|publisher=John Wiley|year=1994|isbn=0-471-58742-7|edition=7th|location=New York|page=[https://archive.org/details/elementarylinear0000anto_l2p5/page/36 36]|quote=...provided the sizes of the submatrices of A and B are such that the indicated operations can be performed.}}</ref> Cho một ma trận khối <math>\mathbf{A}</math> <math>(m \times p)</math> với <math>q</math> phân hoạch hàng và <math>s</math> phân hoạch cột

: <math>\mathbf{A} = \begin{bmatrix}
  \mathbf{A}_{11} & \mathbf{A}_{12} & \cdots & \mathbf{A}_{1s} \\
  \mathbf{A}_{21} & \mathbf{A}_{22} & \cdots & \mathbf{A}_{2s} \\
  \vdots          & \vdots          & \ddots & \vdots          \\
  \mathbf{A}_{q1} & \mathbf{A}_{q2} & \cdots & \mathbf{A}_{qs}
\end{bmatrix}</math>

và một ma trận khối <math>\mathbf{B}</math> <math>(p \times n)</math> với <math>s</math> phân hoạch hàng <math>r</math> phân hoạch cột

: <math>\mathbf{B} = \begin{bmatrix}
  \mathbf{B}_{11} & \mathbf{B}_{12} & \cdots &\mathbf{B}_{1r} \\
  \mathbf{B}_{21} & \mathbf{B}_{22} & \cdots &\mathbf{B}_{2r} \\
  \vdots          & \vdots          & \ddots &\vdots          \\
  \mathbf{B}_{s1} & \mathbf{B}_{s2} & \cdots &\mathbf{B}_{sr}
\end{bmatrix},</math>

và phải "tương thích" với cách phân hoạch của ma trận <math>A</math>, khi đó ta có ma trận tích

: <math>
  \mathbf{C}=\mathbf{A}\mathbf{B}
</math>

theo cách nhân ma trận, và <math>\mathbf{C}</math> là một ma trận <math>(m \times n)</math> với <math>q</math> phân hoạch hàng và <math>r</math> phân hoạch cột. Các ma trận con trong ma trận tích <math>\mathbf{C}</math> được tính bằng cách nhân:

: <math>
  \mathbf{C}_{q r} = \sum^s_{i=1}\mathbf{A}_{q i}\mathbf{B}_{i r}. 
</math>

hay có thể viết bằng [[Ký hiệu Einstein|ký hiệu tổng Einstein]] (lấy tổng ẩn các chỉ số lặp)

: <math>
  \mathbf{C}_{q r} = \mathbf{A}_{q i}\mathbf{B}_{i r}. 
</math>

== Ma trận khối nghịch đảo ==
Nếu một ma trận được phân hoạch thành 4 khối, ta có thể tính [[Ma trận khả nghịch|nghịch đảo]] theo khối như sau:

: <math>\mathbf{P} = \begin{bmatrix}
    \mathbf{A} & \mathbf{B} \\
    \mathbf{C} & \mathbf{D}
  \end{bmatrix}^{-1} = \begin{bmatrix}
     \mathbf{A}^{-1} + \mathbf{A}^{-1}\mathbf{B}\left(\mathbf{D} - \mathbf{CA}^{-1}\mathbf{B}\right)^{-1}\mathbf{CA}^{-1} &
      -\mathbf{A}^{-1}\mathbf{B}\left(\mathbf{D} - \mathbf{CA}^{-1}\mathbf{B}\right)^{-1} \\
    -\left(\mathbf{D}-\mathbf{CA}^{-1}\mathbf{B}\right)^{-1}\mathbf{CA}^{-1} &
       \left(\mathbf{D} - \mathbf{CA}^{-1}\mathbf{B}\right)^{-1}
  \end{bmatrix},
</math>

trong đó '''A''' và '''D''' là các ma trận vuông cỡ tùy ý, nhưng cỡ '''B''' và '''C''' phải tương thích. Hơn nữa, '''A''' và [[phần bù Schur]] của '''A''' trong '''P''': {{nowrap|'''P'''/'''A''' {{=}} '''D''' − '''CA'''{{sup|−1}}'''B'''}} phải khả nghịch.<ref>{{chú thích sách|title=Matrix Mathematics|url=https://archive.org/details/matrixmathematic00unse|last=Bernstein|first=Dennis|publisher=Princeton University Press|year=2005|isbn=0-691-11802-7|pages=[https://archive.org/details/matrixmathematic00unse/page/44 44]}}</ref>

Một cách tương đương, có thể hoán vị các khối để có:

: <math>\mathbf{P} = \begin{bmatrix}
    \mathbf{A} & \mathbf{B} \\
    \mathbf{C} & \mathbf{D}
  \end{bmatrix}^{-1} = \begin{bmatrix}
     \left(\mathbf{A} - \mathbf{BD}^{-1}\mathbf{C}\right)^{-1} &
      -\left(\mathbf{A}-\mathbf{BD}^{-1}\mathbf{C}\right)^{-1}\mathbf{BD}^{-1} \\
    -\mathbf{D}^{-1}\mathbf{C}\left(\mathbf{A} - \mathbf{BD}^{-1}\mathbf{C}\right)^{-1} &
       \quad \mathbf{D}^{-1} + \mathbf{D}^{-1}\mathbf{C}\left(\mathbf{A} - \mathbf{BD}^{-1}\mathbf{C}\right)^{-1}\mathbf{BD}^{-1}
  \end{bmatrix}.
</math>

Tương tự, ở đây '''D''' và phần bù Schur của '''D''' trong '''P''': {{nowrap|'''P'''/'''D''' {{=}} '''A''' − '''BD'''{{sup|−1}}'''C'''}} phải khả nghịch.

Nếu '''A''' và '''D''' đều khả nghịch thì:

: <math>
  \begin{bmatrix}
    \mathbf{A} & \mathbf{B} \\
    \mathbf{C} & \mathbf{D}
  \end{bmatrix}^{-1} = \begin{bmatrix}
    \left(\mathbf{A} - \mathbf{B} \mathbf{D}^{-1} \mathbf{C}\right)^{-1} & \mathbf{0} \\
    \mathbf{0} & \left(\mathbf{D} - \mathbf{C} \mathbf{A}^{-1} \mathbf{B}\right)^{-1}
  \end{bmatrix} \begin{bmatrix}
                     \mathbf{I} & -\mathbf{B} \mathbf{D}^{-1} \\
    -\mathbf{C} \mathbf{A}^{-1} &                  \mathbf{I}
  \end{bmatrix}.
</math>

Theo [[đẳng thức Weinstein–Aronszajn]], một trong hai ma trận con trong ma trận khối chéo là khả nghịch khi ma trận con kia khả nghịch.

== Ma trận khối chéo ==
Một '''ma trận khối chéo''' là một [[ma trận vuông]] được phân thành khối sao cho các khối trên [[đường chéo chính]] là các ma trận vuông và các khối còn lại là [[ma trận không]]. Tức là một ma trận khối chéo '''A''' có dạng

: <math>\mathbf{A} = \begin{bmatrix} 
  \mathbf{A}_1 & 0             & \cdots & 0            \\
  0            & \mathbf{A}_2  & \cdots & 0            \\
  \vdots       & \vdots        & \ddots & \vdots       \\
  0            & 0             & \cdots & \mathbf{A}_n
\end{bmatrix}</math>

trong đó '''A'''<sub>''k''</sub> là các ma trận vuông với mọi ''k'' = 1,..., ''n''. Nói cách khác, ma trận '''A''' là [[tổng trực tiếp]] của '''A'''<sub>1</sub>,..., '''A'''<sub>''n''</sub>, còn có thể viết là '''A'''<sub>1</sub>&nbsp;⊕&nbsp;'''A'''<sub>2</sub>&nbsp;⊕&nbsp;...&nbsp;⊕&nbsp;'''A'''<sub>n</sub> &nbsp;hay diag('''A'''<sub>1</sub>,&nbsp;'''A'''<sub>2</sub>,&nbsp;...,&nbsp;'''A'''<sub>n</sub>). Một ma trận vuông bất kỳ có thể được coi là một ma trận khối chéo "tầm thường" với chỉ một khối.

Đối với [[định thức]] và [[Vết (đại số tuyến tính)|vết]] của ma trận khối chéo, ta có tính chất sau

: <math>\begin{align}
               \det\mathbf{A} &= \det\mathbf{A}_1 \times \cdots \times \det\mathbf{A}_n, \\
  \operatorname{tr}\mathbf{A} &= \operatorname{tr} \mathbf{A}_1 + \cdots + \operatorname{tr} \mathbf{A}_n.\end{align}</math>

Một ma trận khối chéo là khả nghịch khi và chỉ khi từng khối trên đường chéo chính là khả nghịch, và trong trường hợp này nghịch đảo của nó là một ma trận khối chéo được cho bởi

: <math>\begin{bmatrix}
    \mathbf{A}_{1} & 0              & \cdots & 0 \\
    0              & \mathbf{A}_{2} & \cdots & 0 \\
    \vdots         & \vdots         & \ddots & \vdots \\
    0              & 0              & \cdots & \mathbf{A}_{n} 
  \end{bmatrix}^{-1} = \begin{bmatrix}
    \mathbf{A}_{1}^{-1} & 0                   & \cdots & 0 \\
    0                   & \mathbf{A}_{2}^{-1} & \cdots & 0 \\
    \vdots              & \vdots              & \ddots & \vdots \\
    0                   & 0                   & \cdots & \mathbf{A}_{n}^{-1} 
  \end{bmatrix}.
</math>

Các [[giá trị riêng và vectơ riêng]] của <math>A</math> đơn giản là [[Phép hợp|hợp]] của các tập giá trị riêng/vectơ riêng của <math>A_{1}</math> và <math>A_{2}</math>... và <math>A_{n}</math>.

== Ma trận khối ba đường chéo ==
'''Ma trận khối [[Ma trận ba đường chéo|ba đường chéo]]''' là một loại ma trận khối đặc biệt khác, giống như ma trận khối chéo nó cũng là một [[ma trận vuông]], với các khối ma trận vuông trên các [[đường chéo chính]], đường chéo bên dưới, và đường chéo bên trên đường chéo chính, các khối còn lại thì đều là ma trận không. Một ma trận khối ba đường chéo '''A''' có dạng

: <math>\mathbf{A} = \begin{bmatrix}
  \mathbf{B}_{1} & \mathbf{C}_{1} &                &                &           \cdots &                  &                0 \\
  \mathbf{A}_{2} & \mathbf{B}_{2} & \mathbf{C}_{2} &                &                  &                  &                  \\
                 &         \ddots &         \ddots &         \ddots &                  &                  &           \vdots \\
                 &                & \mathbf{A}_{k} & \mathbf{B}_{k} &   \mathbf{C}_{k} &                  &                  \\
          \vdots &                &                &         \ddots &           \ddots &           \ddots &                  \\
                 &                &                &                & \mathbf{A}_{n-1} & \mathbf{B}_{n-1} & \mathbf{C}_{n-1} \\
               0 &                &         \cdots &                &                  &   \mathbf{A}_{n} &   \mathbf{B}_{n}
\end{bmatrix}</math>

trong đó '''A'''<sub>''k''</sub>, '''B'''<sub>''k''</sub> và '''C'''<sub>''k''</sub> tương ứng là các ma trận vuông con trên các đường chéo bên dưới, đường chéo chính, và đường chéo bên trên.

Ma trận khối ba đường chéo thường gặp trong các cách giải các bài toán ứng dụng trong kỹ thuật (ví dụ [[Động lực học chất lưu|động lực học chất lưu tính toán]]). Các phương pháp tính số được tối ưu hóa cho [[phân tích LU]], [[thuật toán Thomas]], được sử dụng để tính hiệu quả các nghiệm của hệ phương trình với ma trận ba đường chéo cũng có thể được áp dụng với các ma trận ba đường chéo khối bằng các phép toán trên ma trận (xem thêm [[Phân tích LU|Phân tích LU theo khối]]).

== Tổng trực tiếp ==
Với các ma trận tùy ý '''A''' (''m''&nbsp;×&nbsp;''n'') và '''B''' (''p''&nbsp;×&nbsp;''q''), ta có '''tổng trực tiếp''' của '''A''' và '''B''', được ký hiệu là '''A'''&nbsp;<math>\oplus</math>&nbsp;'''B''' và được định nghĩa là

: <math>
  \mathbf{A} \oplus \mathbf{B} =
  \begin{bmatrix}
    a_{11} & \cdots & a_{1n} &      0 & \cdots &      0 \\
    \vdots & \ddots & \vdots & \vdots & \ddots & \vdots \\
    a_{m1} & \cdots & a_{mn} &      0 & \cdots &      0 \\
         0 & \cdots &      0 & b_{11} & \cdots & b_{1q} \\
    \vdots & \ddots & \vdots & \vdots & \ddots & \vdots \\
         0 & \cdots &      0 & b_{p1} & \cdots & b_{pq} 
  \end{bmatrix}.
</math>

Chẳng hạn,

: <math>
  \begin{bmatrix}
    1 & 3 & 2 \\
    2 & 3 & 1
  \end{bmatrix} \oplus
  \begin{bmatrix}
    1 & 6 \\
    0 & 1
  \end{bmatrix} =
  \begin{bmatrix}
    1 & 3 & 2 & 0 & 0 \\
    2 & 3 & 1 & 0 & 0 \\
    0 & 0 & 0 & 1 & 6 \\
    0 & 0 & 0 & 0 & 1
  \end{bmatrix}.
</math>

Phép toán này cũng được tổng quát hóa tự nhiên với các mảng chiều tùy ý (cho '''A''' và '''B''' có kích thước giống nhau).

Chú ý rằng một phần tử bất kỳ trong [[tổng trực tiếp]] của hai [[không gian vectơ]] các ma trận có thể được biểu diễn dưới dạng một tổng trực tiếp của hai ma trận.

== Chú thích ==
{{Tham khảo}}

== Tham khảo ==

* {{Chú thích web|url=http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-3-multiplication-and-inverse-matrices|tựa đề=Lecture 3: Multiplication and inverse matrices|tác giả=Strang|tên=Gilbert|lk tác giả=Gilbert Strang|ngày=1999|nhà xuất bản=MIT Open Course ware|at=18:30–21:10}}
{{Đại số tuyến tính}}

[[Thể loại:Ma trận thưa]]
[[Thể loại:Ma trận]]