Subsection 15.5

Block matrices (15.131-15.141)

[11/82%]
Show
LaTeX
Problem 15.131

Let AA and BB be block matrices of the second order. State the conditions under which these matrices can be multiplied. Prove that if the product ABAB exists, then (AB)□=A□B□(AB)^{\square } = A^{\square } B^{\square }.

?
Problem 15.132

Let AA and BB be upper block-triangular matrices of the second order, and let the product ABAB exist. Obtain a formula for computing the matrix A□B□A^{\square } B^{\square }.

?
Problem 15.133

Let AA be a block matrix of the second order, BB a block column matrix of two blocks.

?
(1)

State the conditions under which the product ABAB is defined.

(2)

Prove that if ABAB exists, then (AB)□=A□B□(AB)^{\square } = A^{\square } B^{\square }.

(3)

Obtain a formula for computing A□B□A^{\square } B^{\square }.

Problem 15.134

Let AA and BB be block-diagonal matrices. State the conditions under which:

?
(1)

the product ABAB is defined

(2)

(AB)□=A□B□(AB)^{\square } = A^{\square } B^{\square }

(3)

the products ABAB and BABA are defined

(4)

AB=BAAB = BA.

Problem 15.135

Verify the validity of the identities (A+B)□=A□+B□,(AB)□=A□B□(A + B)^{\square } = A^{\square } + B^{\square }, (AB)^{\square } = A^{\square } B^{\square } for arbitrary block matrices.

?
Problem 15.136

Splitting the given matrices into blocks, compute the product:

?
(1)

A430A431\mathbf{A}_{430} \mathbf{A}_{431}. A430=[000−100−1001001000],A431=[00−10000110000−100]\mathbf{A}_{430} = \left[\begin{smallmatrix} 0 & 0 & 0 & -1 \\ 0 & 0 & -1 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \end{smallmatrix}\right], \mathbf{A}_{431} = \left[\begin{smallmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \end{smallmatrix}\right].

(2)

A432A450\mathbf{A}_{432} \mathbf{A}_{450}. A432=[0−1001000000−10010],A450=[1234012300120001]\mathbf{A}_{432} = \left[\begin{smallmatrix} 0 & -1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \end{smallmatrix}\right], \mathbf{A}_{450} = \left[\begin{smallmatrix} 1 & 2 & 3 & 4 \\ 0 & 1 & 2 & 3 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 1 \end{smallmatrix}\right].

(3)

A450A433\mathbf{A}_{450} \mathbf{A}_{433}. A450=[1234012300120001],A433=[1−21001−21001−20001]\mathbf{A}_{450} = \left[\begin{smallmatrix} 1 & 2 & 3 & 4 \\ 0 & 1 & 2 & 3 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 1 \end{smallmatrix}\right], \mathbf{A}_{433} = \left[\begin{smallmatrix} 1 & -2 & 1 & 0 \\ 0 & 1 & -2 & 1 \\ 0 & 0 & 1 & -2 \\ 0 & 0 & 0 & 1 \end{smallmatrix}\right].

(4)

A451A452\mathbf{A}_{451} \mathbf{A}_{452}. A451=[2−310−202063−300002],A452=[0001000200031234]\mathbf{A}_{451} = \left[\begin{smallmatrix} 2 & -3 & 1 & 0 \\ -2 & 0 & 2 & 0 \\ 6 & 3 & -3 & 0 \\ 0 & 0 & 0 & 2 \end{smallmatrix}\right], \mathbf{A}_{452} = \left[\begin{smallmatrix} 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 2 \\ 0 & 0 & 0 & 3 \\ 1 & 2 & 3 & 4 \end{smallmatrix}\right].

(5)

A436A437\mathbf{A}_{436} \mathbf{A}_{437}. A436=[1111101100100011],A437=[10−1−2−2−10112000−100]\mathbf{A}_{436} = \left[\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & 0 & 1 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 \end{smallmatrix}\right], \mathbf{A}_{437} = \left[\begin{smallmatrix} 1 & 0 & -1 & -2 \\ -2 & -1 & 0 & 1 \\ 1 & 2 & 0 & 0 \\ 0 & -1 & 0 & 0 \end{smallmatrix}\right].

(6)

A530A531\mathbf{A}_{530} \mathbf{A}_{531}. A530=[1255534666001110012200123],A531=[1200034000001110012200123]\mathbf{A}_{530} = \left[\begin{smallmatrix} 1 & 2 & 5 & 5 & 5 \\ 3 & 4 & 6 & 6 & 6 \\ 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 1 & 2 & 2 \\ 0 & 0 & 1 & 2 & 3 \end{smallmatrix}\right], \mathbf{A}_{531} = \left[\begin{smallmatrix} 1 & 2 & 0 & 0 & 0 \\ 3 & 4 & 0 & 0 & 0 \\ 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 1 & 2 & 2 \\ 0 & 0 & 1 & 2 & 3 \end{smallmatrix}\right].

Problem 15.137

Find the matrix (H□)−1\left(H^{\square }\right)^{ - 1}, if HH is a block matrix:

?
(1)

H=[EAOE]H =\left[\begin{smallmatrix} E & A \\ O & E\end{smallmatrix}\right]

(2)

H=[ABOC]H =\left[\begin{smallmatrix} A & B \\ O & C\end{smallmatrix}\right] (the matrices AA and CC are invertible).

Problem 15.138

Let EE be the identity matrix of order rr; let DD be an arbitrary matrix of size r×sr \times s; let o,b,x\mathbf{o}, \mathbf{b}, \mathbf{x} be columns. Solve the equation:

?
(1)

∥ED∥□x=o\left\| ED\right\|^{\square } \mathbf{x} = \mathbf{o}

(2)

∥ED∥□x=b\left\| ED\right\|^{\square } \mathbf{x} = \mathbf{b}.

Problem 15.139

Compute the Kronecker product of the matrices:

?
(1)

A17⊗c7\mathbf{A}_{17} \otimes \mathbf{c}_{7}. A17=[3559],c7=[4−2]\mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right], \mathbf{c}_{7} = \left[\begin{smallmatrix} 4 \\ -2 \end{smallmatrix}\right].

(2)

c7⊗A17\mathbf{c}_{7} \otimes \mathbf{A}_{17}. c7=[4−2],A17=[3559]\mathbf{c}_{7} = \left[\begin{smallmatrix} 4 \\ -2 \end{smallmatrix}\right], \mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right].

(3)

A18⊗c8\mathbf{A}_{18} \otimes \mathbf{c}_{8}. A18=[1234],c8=[−11]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right], \mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right].

(4)

c8⊗A18\mathbf{c}_{8} \otimes \mathbf{A}_{18}. c8=[−11],A18=[1234]\mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

(5)

A17⊗A18\mathbf{A}_{17} \otimes \mathbf{A}_{18}. A17=[3559],A18=[1234]\mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right], \mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

(6)

A18⊗A17\mathbf{A}_{18} \otimes \mathbf{A}_{17}. A18=[1234],A17=[3559]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right], \mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right].

(7)

A13⊗A19\mathbf{A}_{13} \otimes \mathbf{A}_{19}. A13=[1101],A19=[1112]\mathbf{A}_{13} = \left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right], \mathbf{A}_{19} = \left[\begin{smallmatrix} 1 & 1 \\ 1 & 2 \end{smallmatrix}\right].

Problem 15.140

Let a=∥a1,…,an∥,b=∥b1,…,bm∥T\mathbf{a} = \left\| a_{1}, \ldots , a_{n}\right\| , \mathbf{b} = \left\| b_{1}, \ldots , b_{m}\right\|^{T}. Compute a⊗b,b⊗a\mathbf{a} \otimes \mathbf{b}, \mathbf{b} \otimes \mathbf{a} and compare with ba.

?
Problem 15.141

Verify the validity of the identity:

?
(1)

(αA)⊗B=α(A⊗B)(\alpha A) \otimes B = \alpha (A\otimes B)

(2)

(A+B)⊗C=A⊗C+B⊗C(A + B) \otimes C = A\otimes C + B\otimes C

(3)

A⊗(B+C)=A⊗B+A⊗CA\otimes (B + C) = A\otimes B + A\otimes C

(4)

A⊗(B⊗C)=(A⊗B)⊗CA\otimes (B\otimes C) = (A\otimes B) \otimes C

(5)

AB⊗CD=(A⊗C)(B⊗D)AB\otimes CD = (A\otimes C)(B\otimes D)

(6)

(A⊗B)−1=A−1⊗B−1(A\otimes B)^{ - 1} = A^{ - 1} \otimes B^{ - 1}.