3C

Матрицы

[17/0%]
Показать
LaTeX
Задача 3C.1

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Покажите, что при любом выборе базисов VV и WW матрица TT имеет не менее dim образ TT ненулевых элементов.

?
Задача 3C.2

Пусть VV и WW конечномерны и T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что dim образ T=1T = 1 тогда и только тогда, когда существуют базис VV и базис WW, относительно которых все элементы M(T)\mathcal{M}(T) равны 1.

?
Задача 3C.3

Пусть v1,…,vnv_{1}, \ldots , v_{n} — базис VV, а w1,…,wmw_{1}, \ldots , w_{m} — базис WW.

?
(a)

Покажите, что если S,T∈L(V,W)S, T \in \mathcal{L}(V, W), то M(S+T)=M(S)+M(T)\mathcal{M}(S+T) = \mathcal{M}(S)+\mathcal{M}(T).

(b)

Покажите, что если λ∈F\lambda \in \mathbf{F} и T∈L(V,W)T \in \mathcal{L}(V, W), то M(λT)=λM(T)\mathcal{M}(\lambda T) = \lambda \mathcal{M}(T).

Эта задача просит вас проверить 3.35 и 3.38.

Задача 3C.4

Пусть D∈L(P3(R),P2(R))D \in \mathcal{L}\left(\mathcal{P}_{3}(\mathbb {R}), \mathcal{P}_{2}(\mathbb {R})\right) — отображение дифференцирования, определённое как Dp=p′D p = p^{\prime }. Найдите базис P3(R)\mathcal{P}_{3}(\mathbb {R}) и базис P2(R)\mathcal{P}_{2}(\mathbb {R}), относительно которых матрица DD равна

[100001000010] \left[\begin{smallmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{smallmatrix}\right]

Сравните с примером 3.33. Следующая задача обобщает эту задачу.

?
Задача 3C.5

Пусть VV и WW конечномерны и T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что существуют базис VV и базис WW, относительно которых все элементы M(T)\mathcal{M}(T) равны 0, за исключением элементов в строке kk, столбце kk, которые равны 1 при 1≤k≤dim⁡1 \leq k \leq \operatorname {dim} образ TT.

?
Задача 3C.6

Пусть v1,…,vmv_{1}, \ldots , v_{m} — базис VV и WW конечномерно. Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что существует базис w1,…,wnw_{1}, \ldots , w_{n} пространства WW, такой что все элементы первого столбца M(T)\mathcal{M}(T) [относительно базисов v1,…,vmv_{1}, \ldots , v_{m} и w1,…,wnw_{1}, \ldots , w_{n}] равны 0, за исключением, возможно, 1 в первой строке первого столбца.

?
Примечание.
?

В этой задаче, в отличие от задачи 5, базис VV дан вам заранее, а не выбирается вами.

Задача 3C.7

Пусть w1,…,wnw_{1}, \ldots , w_{n} — базис WW и VV конечномерно. Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что существует базис v1,…,vmv_{1}, \ldots , v_{m} пространства VV, такой что все элементы первой строки M(T)\mathcal{M}(T) [относительно базисов v1,…,vmv_{1}, \ldots , v_{m} и w1,…,wnw_{1}, \ldots , w_{n}] равны 0, за исключением, возможно, 1 в первой строке первого столбца.

?
Примечание.
?

В этой задаче, в отличие от задачи 5, базис W дан вам заранее, а не выбирается вами.

Задача 3C.8

Пусть AA — матрица размера mm-на-nn, а BB — матрица размера nn-на-pp. Докажите, что

(AB)j,.=Aj,.B (A B)_{j, .} = A_{j, .} B

для каждого 1≤j≤m1 \leq j \leq m. Другими словами, покажите, что строка jj матрицы ABA B равна (строке jj матрицы AA), умноженной на BB.

?
Примечание.
?

Эта задача даёт версию 3.48 для строк.

Задача 3C.9

Пусть a=(a1⋯an)a = \left(\begin{array}{lll}a_{1} & \cdots & a_{n}\end{array}\right) — матрица размера 1-на-nn, а BB — матрица размера nn-на-pp. Докажите, что

aB=a1B1,⋅+⋯+anBn,⋅ a B = a_{1} B_{1, \cdot }+\cdots +a_{n} B_{n, \cdot }

Другими словами, покажите, что aBa B является линейной комбинацией строк BB, где скаляры, на которые умножаются строки, берутся из aa.

?
Примечание.
?

Эта задача даёт версию 3.50 для строк.

Задача 3C.10

Приведите пример матриц AA и BB размера 2-на-2, таких что AB≠BAA B \neq B A.

?
Задача 3C.11

Докажите, что дистрибутивное свойство выполняется для сложения и умножения матриц. Другими словами, пусть A,B,C,D,EA, B, C, D, E и FF — матрицы, размеры которых таковы, что A(B+C)A(B+C) и (D+E)F(D+E) F имеют смысл. Объясните, почему AB+ACA B+A C и DF+EFD F+E F также имеют смысл, и докажите, что

A(B+C)=AB+AC и (D+E)F=DF+EF A(B+C) = A B+A C \quad \text{ и } \quad (D+E) F = D F+E F
?
Задача 3C.12

Докажите, что умножение матриц ассоциативно. Другими словами, пусть A,BA, B и CC — матрицы, размеры которых таковы, что (AB)C(A B) C имеет смысл. Объясните, почему A(BC)A(B C) имеет смысл, и докажите, что

(AB)C=A(BC). (A B) C = A(B C).

Постарайтесь найти изящное доказательство, иллюстрирующее следующую цитату Эмиля Артина: «По моему опыту, доказательства, использующие матрицы, можно сократить на 50, если избавиться от матриц».

?
Задача 3C.13

Пусть AA — матрица размера nn-на-nn и 1≤j,k≤n1 \leq j, k \leq n. Покажите, что элемент в строке jj, столбце kk матрицы A3A^{3} (которая по определению означает AAAA A A) равен

∑p=1n∑r=1nAj,pAp,rAr,k \sum _{p = 1}^{n} \sum _{r = 1}^{n} A_{j, p} A_{p, r} A_{r, k}
?
Задача 3C.14

Пусть mm и nn — натуральные числа. Докажите, что функция A↦AtA \mapsto A^{\mathrm{t}} является линейным отображением из Fm,n\mathbf{F}^{m, n} в Fn,m\mathbf{F}^{n, m}.

?
Задача 3C.15

Докажите, что если AA — матрица размера mm-на-nn, а CC — матрица размера nn-на-pp, то

(AC)t=CtAt. (A C)^{\mathrm{t}} = C^{\mathrm{t}} A^{\mathrm{t}}.

Эта задача показывает, что транспонирование произведения двух матриц равно произведению транспонированных матриц в обратном порядке.

?
Задача 3C.16

Пусть AA — матрица размера mm-на-nn с A≠0A \neq 0. Докажите, что ранг AA равен 1 тогда и только тогда, когда существуют (c1,…,cm)∈Fm\left(c_{1}, \ldots , c_{m}\right) \in \mathbf{F}^{m} и (d1,…,dn)∈Fn\left(d_{1}, \ldots , d_{n}\right) \in \mathbf{F}^{n}, такие что Aj,k=cjdkA_{j, k} = c_{j} d_{k} для каждого j=1,…,mj = 1, \ldots , m и каждого k=1,…,nk = 1, \ldots , n.

?
Задача 3C.17

Пусть T∈L(V)T \in \mathcal{L}(V), а u1,…,unu_{1}, \ldots , u_{n} и v1,…,vnv_{1}, \ldots , v_{n} — базисы VV. Докажите, что следующие условия равносильны.

?
(a)

TT инъективно.

(b)

Столбцы M(T)\mathcal{M}(T) линейно независимы в Fn,1\mathbf{F}^{n, 1}.

(c)

Столбцы M(T)\mathcal{M}(T) порождают Fn,1\mathbf{F}^{n, 1}.

(d)

Строки M(T)\mathcal{M}(T) порождают F1,n\mathbf{F}^{1, n}.

(e)

Строки M(T)\mathcal{M}(T) линейно независимы в F1,n\mathbf{F}^{1, n}.

Здесь M(T)\mathcal{M}(T) означает M(T,(u1,…,un),(v1,…,vn))\mathcal{M}\left(T,\left(u_{1}, \ldots , u_{n}\right),\left(v_{1}, \ldots , v_{n}\right)\right).