Section I.2.3

Linear mappings. Operations with matrices

[18/0%]
Show
LaTeX
Problem I.2.3.1

Given the maps:

?
(a)

[x1,x2,…,xn]↦[xn,…,x2,x1]\left[x_{1}, x_{2}, \ldots , x_{n}\right] \mapsto \left[x_{n}, \ldots , x_{2}, x_{1}\right];

(b)

[x1,x2,…,xn]↦[x1,x22,…,xnn]\left[x_{1}, x_{2}, \ldots , x_{n}\right] \mapsto \left[x_{1}, x_{2}^{2}, \ldots , x_{n}^{n}\right];

(c)

[x1,x2,…,xn]↦[x1,x1+x2,…,x1+x2+…+xn]\left[x_{1}, x_{2}, \ldots , x_{n}\right] \mapsto \left[x_{1}, x_{1}+x_{2}, \ldots , x_{1}+x_{2}+\ldots +x_{n}\right].

Which of them are linear?

Problem I.2.3.2

Prove that

∥1ac01b001∥m=∥1mam(m−1)2ab+mc01mb001∥ \left\Vert \begin{smallmatrix} 1 & a & c \\ 0 & 1 & b \\ 0 & 0 & 1 \end{smallmatrix}\right\Vert ^{m}=\left\Vert \begin{smallmatrix} 1 & m a & \frac{m(m-1)}{2} a b+m c \\ 0 & 1 & m b \\ 0 & 0 & 1 \end{smallmatrix}\right\Vert

Find the inverse matrix for ∥1ac01b001∥\left\Vert \begin{smallmatrix} 1 & a & c \\ 0 & 1 & b \\ 0 & 0 & 1\end{smallmatrix}\right\Vert.

?
Problem I.2.3.3

Verify that ∥0−11−1∥3=E\left\Vert \begin{smallmatrix} 0 & -1 \\ 1 & -1\end{smallmatrix}\right\Vert^{3}=E.

?
Problem I.2.3.4

Markov (or stochastic) matrices play a major role in applications

P=(Pij),pij⩾0,∑j=1npij=1,i=1,2,…,n P=\left(P_{i j}\right), \quad p_{i j} \geqslant 0, \quad \sum _{j=1}^{n} p_{i j}=1, \quad i=1,2, \ldots , n

The linear maps φP\varphi_{P} associated with Markov matrices are usually applied to special so-called probability column vectors

X=[x1,…,xn],xi⩾0,∑i=1nxi=1 X=\left[x_{1}, \ldots , x_{n}\right], \quad x_{i} \geqslant 0, \quad \sum _{i=1}^{n} x_{i}=1

The consistency of these definitions, dictated by problems from the natural sciences, is seen from the following statements, which one should prove at least for n=2n=2

?
(a)

A matrix P∈Mn(R)P \in M_{n}(\mathbb {R}) is Markov precisely when, together with any probability vector XX, the vector PXP X is also a probability vector (here PX=φP(X)P X=\varphi_{P}(X)).

(b)

If PP is a positive Markov matrix (∀i,j pij>0)(\forall i, j\ p_{i j}>0), then to any probability vector XX there corresponds a positive probability vector PXP X (all components strictly greater than zero).

(c)

If PP and QQ are Markov matrices, then the matrix PQP Q is also Markov. This means, in particular, that any power PkP^{k} of a Markov matrix is Markov.

Problem I.2.3.5

Find tH⋅H{ }^{t} H \cdot H, if

H=∥11111−11−111−1−11−1−11∥ H=\left\Vert \begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & -1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & -1 & 1 \end{smallmatrix}\right\Vert
?
Problem I.2.3.6

Associating with a cycle of length nn in SnS_{n} (see § 8, Ch. 1) the permutation matrix (of the rows of the identity matrix EnE_{n})

P=∥00…0110…0001…0000…0000…10∥ P=\left\Vert \begin{smallmatrix} 0 & 0 & \ldots & 0 & 1 \\ 1 & 0 & \ldots & 0 & 0 \\ 0 & 1 & \ldots & 0 & 0 \\ & & & & \\ 0 & 0 & \ldots & 0 & 0 \\ 0 & 0 & \ldots & 1 & 0 \end{smallmatrix}\right\Vert

verify that Pn=EP^{n}=E.

?
Problem I.2.3.7

Show that

rank⁡(A+B)⩽rank⁡A+rank⁡B \operatorname {rank}(A+B) \leqslant \operatorname {rank} A+\operatorname {rank} B

for any two m×nm \times n matrices AA and BB.

?
Problem I.2.3.8

Show that for any m×sm \times s matrix AA and any s×ns \times n matrix BB the inequality

rank⁡A+rank⁡B−s⩽rank⁡AB \operatorname {rank} A+\operatorname {rank} B-s \leqslant \operatorname {rank} A B

holds.

?
Problem I.2.3.9

Show that if ABC=0A B C=0 for square matrices A,B,CA, B, C of order nn, then

rank⁡A+rank⁡B+rank⁡C⩽2n. \operatorname {rank} A+\operatorname {rank} B+\operatorname {rank} C \leqslant 2 n.
?
Problem I.2.3.10

Find the rank of the matrix

A=∥x1y1x1y2…x1ynx2y1x2y2⋯x2ynxny1xny2…xnyn∥ A=\left\Vert \begin{smallmatrix} x_{1} y_{1} & x_{1} y_{2} & \ldots & x_{1} y_{n} \\ x_{2} y_{1} & x_{2} y_{2} & \cdots & x_{2} y_{n} \\ & & & \\ x_{n} y_{1} & x_{n} y_{2} & \ldots & x_{n} y_{n} \end{smallmatrix}\right\Vert
?
Problem I.2.3.11

Show that if A=(aij)A=\left(a_{i j}\right) is a nonsingular symmetric matrix (aij=aji)\left(a_{i j}=a_{j i}\right), then A−1A^{-1} is also a symmetric matrix.

?
Problem I.2.3.12

Find A−1A^{-1} and F−1F^{-1} if

A=∥5432148642369632468412345∥,F=∥2321364248632432∥ A=\left\Vert \begin{smallmatrix} 5 & 4 & 3 & 2 & 1 \\ 4 & 8 & 6 & 4 & 2 \\ 3 & 6 & 9 & 6 & 3 \\ 2 & 4 & 6 & 8 & 4 \\ 1 & 2 & 3 & 4 & 5 \end{smallmatrix}\right\Vert , \quad F=\left\Vert \begin{smallmatrix} 2 & 3 & 2 & 1 \\ 3 & 6 & 4 & 2 \\ 4 & 8 & 6 & 3 \\ 2 & 4 & 3 & 2 \end{smallmatrix}\right\Vert
?
Problem I.2.3.13

Verify that

A=∥abcd∥,ad−bc≠0⟹A−1=1ad−bc∥d−b−ca∥ A=\left\Vert \begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right\Vert , a d-b c \neq 0 \Longrightarrow A^{-1}=\frac{1}{a d-b c}\left\Vert \begin{smallmatrix} d & -b \\ -c & a \end{smallmatrix}\right\Vert

In particular,

ad−bc=1⟹A−1=∥d−b−ca∥ a d-b c=1 \Longrightarrow A^{-1}=\left\Vert \begin{smallmatrix} d & -b \\ -c & a \end{smallmatrix}\right\Vert

Does A−1A^{-1} exist when ad−bc=0a d-b c=0?

?
Problem I.2.3.14

Prove that for any matrix

A=∥abcd∥ A=\left\Vert \begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right\Vert

the relation

A2=(a+d)A−(ad−bc)E A^{2}=(a+d) A-(a d-b c) E

holds

(in other words, AA is a "root" of the quadratic equation x2−(a+d)x+(ad−bc)=0)x^{2}-(a+d) x+(a d-b c)=0).

?
Problem I.2.3.15

For ad−bc≠0a d-b c \neq 0, use relation (23) to find the inverse matrix A−1A^{-1}.

?
Problem I.2.3.16

Prove that if ∥abcd∥m=0\left\Vert \begin{smallmatrix} a & b \\ c & d\end{smallmatrix}\right\Vert^{m}=0, then ∥abcd∥2=0\left\Vert \begin{smallmatrix} a & b \\ c & d\end{smallmatrix}\right\Vert^{2}=0.

?
Problem I.2.3.17

Justify the following argument. Let an m×sm \times s matrix XX be partitioned by horizontal and vertical lines into blocks (or cells), so that

X=∥X11X12⋯X1kX21X22⋯X2kXl1Xl2⋯Xlk∥ X=\left\Vert \begin{smallmatrix} X_{11} & X_{12} & \cdots & X_{1 k} \\ X_{21} & X_{22} & \cdots & X_{2 k} \\ & & & \\ X_{l 1} & X_{l 2} & \cdots & X_{l k} \end{smallmatrix}\right\Vert

where Xi1,…,XikX_{i 1}, \ldots , X_{i k} are matrices with the same number mim_{i} of rows (m1+…+mi=m)\left(m_{1}+\ldots +m_{i}=m\right), and X1j,…,XljX_{1 j}, \ldots , X_{l j} are matrices with the same number sjs_{j} of columns (s1+…sk=s)\left(s_{1}+\ldots s_{k}=s\right). If now

Y=∥Y11Y12…Y1rY21Y22…Y2rYk1Yk2…Ykr∥ Y=\left\Vert \begin{smallmatrix} Y_{11} & Y_{12} & \ldots & Y_{1 r} \\ Y_{21} & Y_{22} & \ldots & Y_{2 r} \\ & & & \\ Y_{k 1} & Y_{k 2} & \ldots & Y_{k r} \end{smallmatrix}\right\Vert

is an s×ns \times n matrix with blocks YijY_{i j} of sizes si×nj(n1+…+nr=n)s_{i} \times n_{j}\left(n_{1}+\ldots +n_{r}=n\right), then it makes sense to speak of the product Z=XYZ=X Y, and the matrix Z=(zij)Z=\left(z_{i j}\right) can likewise be regarded as a block matrix with blocks ZijZ_{i j}, computed formally by formula (7):

Zij=Xi1Y1j+Xi2Y2j+…+XikYkj Z_{i j}=X_{i 1} Y_{1 j}+X_{i 2} Y_{2 j}+\ldots +X_{i k} Y_{k j}

By hypothesis, the sizes of the matrices Xiν,YνjX_{i \nu }, Y_{\nu j} are such that the product XiνYνjX_{i \nu } Y_{\nu j} makes sense. The technique of partitioning matrices into blocks is convenient even in as simple a case as

∥EA0E∥∥A0−EB∥=∥0AB−EB∥, \left\Vert \begin{smallmatrix} E & A \\ 0 & E \end{smallmatrix}\right\Vert \left\Vert \begin{smallmatrix} A & 0 \\ -E & B \end{smallmatrix}\right\Vert =\left\Vert \begin{smallmatrix} 0 & A B \\ -E & B \end{smallmatrix}\right\Vert ,

where A,B,E,0∈Mn(R)A, B, E, 0 \in M_{n}(\mathbb {R}) (EE is the identity matrix, and 0 is the zero matrix).

?
Problem I.2.3.18

Show that multiplying the matrix

X=(xij)∈Mn(R) X=\left(x_{i j}\right) \in M_{n}(\mathbb {R})

by T=(tij)∈Mn(R)T=\left(t_{i j}\right) \in M_{n}(\mathbb {R}) on the left amounts to a linear combination of the rows X(1)…,X(n)X_{(1)} \ldots , X_{(n)}, and on the right, to a linear combination of the columns X(1),…,X(n)X^{(1)}, \ldots , X^{(n)}. In particular, note that if

T=∥1t12t13…t1n01t23…t2n000…1∥ T=\left\Vert \begin{smallmatrix} 1 & t_{12} & t_{13} & \ldots & t_{1 n} \\ 0 & 1 & t_{23} & \ldots & t_{2 n} \\ 0 & 0 & 0 & \ldots & 1 \end{smallmatrix}\right\Vert

is an upper unitriangular matrix, then

TX=∥X(1)+t12X(2)+…+t1nX(n)X(2)+…+t2nX(n)…X(n)∥ T X=\left\Vert \begin{smallmatrix} X_{(1)}+t_{12} X_{(2)}+\ldots +t_{1 n} X_{(n)} \\ X_{(2)}+\ldots +t_{2 n} X_{(n)} \\ \ldots \\ X_{(n)} \end{smallmatrix}\right\Vert

is the matrix obtained from XX by a chain of elementary transformations of type (II) on the rows.

?