3.6

Свойства умножения матриц

[12/100%]
Показать
LaTeX
Задача 3.6.1

Для блочных матриц

A=[100333100333122000]иB=[−1−10000−1−2−1−2−1−2], \mathbf{A} = \left[\begin{array}{c|cc|ccc} 1 & 0 & 0 & 3 & 3 & 3 \\ 1 & 0 & 0 & 3 & 3 & 3 \\ \hline 1 & 2 & 2 & 0 & 0 & 0 \end{array}\right] \qquad \text{и} \qquad \mathbf{B} = \left[\begin{array}{cc} -1 & -1 \\ \hline 0 & 0 \\ 0 & 0 \\ \hline -1 & -2 \\ -1 & -2 \\ -1 & -2 \end{array}\right],

используйте блочное умножение с указанными разбиениями, чтобы образовать произведение AB\mathbf{A}\mathbf{B}.

?
Задача 3.6.2

Для всех матриц An×k\mathbf{A}_{n \times k} и Bk×n\mathbf{B}_{k \times n} покажите, что блочная матрица

L=(I−BAB2A−ABAAB−I) \mathbf{L} = \begin{pmatrix} \mathbf{I}-\mathbf{B}\mathbf{A} & \mathbf{B} \\ 2\mathbf{A}-\mathbf{A}\mathbf{B}\mathbf{A} & \mathbf{A}\mathbf{B}-\mathbf{I} \end{pmatrix}

обладает свойством L2=I\mathbf{L}^{2} = \mathbf{I}. Матрицы с таким свойством называются инволютивными, и они встречаются в криптографии.

?
Задача 3.6.3

Для матрицы

A=[1001/31/31/30101/31/31/30011/31/31/30001/31/31/30001/31/31/30001/31/31/3], \mathbf{A} = \begin{bmatrix} 1 & 0 & 0 & 1/3 & 1/3 & 1/3 \\ 0 & 1 & 0 & 1/3 & 1/3 & 1/3 \\ 0 & 0 & 1 & 1/3 & 1/3 & 1/3 \\ 0 & 0 & 0 & 1/3 & 1/3 & 1/3 \\ 0 & 0 & 0 & 1/3 & 1/3 & 1/3 \\ 0 & 0 & 0 & 1/3 & 1/3 & 1/3 \end{bmatrix},

найдите A300\mathbf{A}^{300}.

?
Задача 3.6.4

Для произвольной матрицы Am×n\mathbf{A}_{m \times n} покажите, что произведения A∗A\mathbf{A}^{*}\mathbf{A} и AA∗\mathbf{A}\mathbf{A}^{*} являются эрмитовыми матрицами.

?
Задача 3.6.5

Если A\mathbf{A} и B\mathbf{B} — симметричные матрицы, которые коммутируют, докажите, что произведение AB\mathbf{A}\mathbf{B} также симметрично. Если AB≠BA\mathbf{A}\mathbf{B} \neq \mathbf{B}\mathbf{A}, обязательно ли AB\mathbf{A}\mathbf{B} симметрично?

?
Задача 3.6.6

Докажите, что справедлив правый дистрибутивный закон: для согласованных матриц D\mathbf{D}, E\mathbf{E}, F\mathbf{F} выполняется (D+E)F=DF+EF(\mathbf{D}+\mathbf{E})\mathbf{F} = \mathbf{D}\mathbf{F}+\mathbf{E}\mathbf{F}.

?
Задача 3.6.7

Для каждой матрицы An×n\mathbf{A}_{n \times n} объясните, почему невозможно найти решение для Xn×n\mathbf{X}_{n \times n} в матричном уравнении

AX−XA=I. \mathbf{A}\mathbf{X}-\mathbf{X}\mathbf{A} = \mathbf{I}.
?
Задача 3.6.8

Пусть y→1×mT\overrightarrow {y}^{T}_{1 \times m} — строка неизвестных, а Am×n\mathbf{A}_{m \times n} и b→1×nT\overrightarrow {b}^{T}_{1 \times n} — известные матрицы.

?
(a)

Объясните, почему матричное уравнение y→TA=b→T\overrightarrow {y}^{T}\mathbf{A} = \overrightarrow {b}^{T} представляет собой систему из nn линейных уравнений с mm неизвестными.

(b)

Как решения для y→T\overrightarrow {y}^{T} в уравнении y→TA=b→T\overrightarrow {y}^{T}\mathbf{A} = \overrightarrow {b}^{T} связаны с решениями для x→\overrightarrow {x} в уравнении ATx→=b→\mathbf{A}^{T}\overrightarrow {x} = \overrightarrow {b}?

Задача 3.6.9

Некоторое электронное устройство состоит из набора переключающих схем, каждая из которых может находиться либо во включённом (ON), либо в выключенном (OFF) состоянии. Этим электронным переключателям разрешается менять состояние через регулярные интервалы времени, называемые тактами. Предположим, что в конце каждого такта 30%30\% переключателей, находящихся в состоянии OFF, переходят в состояние ON, а 90%90\% переключателей, находящихся в состоянии ON, возвращаются в состояние OFF.

?
(a)

Покажите, что устройство приближается к равновесию в том смысле, что доля переключателей в каждом состоянии со временем становится постоянной, и найдите эти равновесные доли.

(b)

Независимо от начальных долей, приблизительно за сколько тактов устройство становится практически стабильным?

Задача 3.6.10

Вспомните приём приведения к блочно-треугольному виду из примера 3.6.7: если система Tn×nx→=b→\mathbf{T}_{n \times n}\overrightarrow {x} = \overrightarrow {b} имеет блочно-треугольную матрицу коэффициентов T=(AB0C)\mathbf{T} = \begin{pmatrix} \mathbf{A} & \mathbf{B} \\ \mathbf{0} & \mathbf{C} \end{pmatrix} (где A\mathbf{A} имеет размер r×rr \times r, а C\mathbf{C} — размер (n−r)×(n−r)(n-r) \times (n-r)), а x→\overrightarrow {x}, b→\overrightarrow {b} разбиты на блоки соответствующим образом: x→=(x→1x→2)\overrightarrow {x} = \begin{pmatrix} \overrightarrow {x}_{1} \\ \overrightarrow {x}_{2} \end{pmatrix}, b→=(b→1b→2)\overrightarrow {b} = \begin{pmatrix} \overrightarrow {b}_{1} \\ \overrightarrow {b}_{2} \end{pmatrix}, то блочное умножение сводит Tx→=b→\mathbf{T}\overrightarrow {x} = \overrightarrow {b} к двум меньшим системам: Ax→1+Bx→2=b→1\mathbf{A}\overrightarrow {x}_{1}+\mathbf{B}\overrightarrow {x}_{2} = \overrightarrow {b}_{1} и Cx→2=b→2\mathbf{C}\overrightarrow {x}_{2} = \overrightarrow {b}_{2}: решите вторую относительно x→2\overrightarrow {x}_{2}, затем подставьте в первую и решите относительно x→1\overrightarrow {x}_{1}.

Запишите следующую систему в виде Tn×nx→=b→\mathbf{T}_{n \times n}\overrightarrow {x} = \overrightarrow {b}, где T\mathbf{T} блочно-треугольна, а затем получите решение, решив две меньшие системы, как описано выше.

x1+x2+3x3+4x4=−1,2x3+3x4=3,x1+2x2+5x3+6x4=−2,x3+2x4=4. \begin{aligned} x_{1} + x_{2} + 3x_{3} + 4x_{4} & = -1, \\ 2x_{3} + 3x_{4} & = 3, \\ x_{1} + 2x_{2} + 5x_{3} + 6x_{4} & = -2, \\ x_{3} + 2x_{4} & = 4. \end{aligned}
?
Задача 3.6.11

Докажите, что каждое из следующих утверждений верно для согласованных матриц.

?
(a)

\trace(ABC)=\trace(BCA)=\trace(CAB)\trace (\mathbf{A}\mathbf{B}\mathbf{C}) = \trace (\mathbf{B}\mathbf{C}\mathbf{A}) = \trace (\mathbf{C}\mathbf{A}\mathbf{B}).

(b)

\trace(ABC)\trace (\mathbf{A}\mathbf{B}\mathbf{C}) может отличаться от \trace(BAC)\trace (\mathbf{B}\mathbf{A}\mathbf{C}).

(c)

\trace(ATB)=\trace(ABT)\trace (\mathbf{A}^{T}\mathbf{B}) = \trace (\mathbf{A}\mathbf{B}^{T}).

Задача 3.6.12

Предположим, что Am×n\mathbf{A}_{m \times n} и x→n×1\overrightarrow {x}_{n \times 1} имеют вещественные элементы.

?
(a)

Докажите, что x→Tx→=0\overrightarrow {x}^{T}\overrightarrow {x} = 0 тогда и только тогда, когда x→=0→\overrightarrow {x} = \overrightarrow {0}.

(b)

Докажите, что \trace(ATA)=0\trace (\mathbf{A}^{T}\mathbf{A}) = 0 тогда и только тогда, когда A=0\mathbf{A} = \mathbf{0}.