Московский государственный университет имени М.В.Ломоносова
Опубликован: 10.09.2007 | Доступ: свободный | Студентов: 3991 / 731 | Оценка: 4.33 / 3.93 | Длительность: 13:22:00
Специальности: Математик
Лекция 3:

Линейные преобразования линейных пространств столбцов

< Лекция 2 || Лекция 3: 12 || Лекция 4 >

Произведение линейных отображений

Теорема 7.1.1. Если U, V, W - линейные пространства над полем K,

U \stackrel{f}{\to} V \stackrel{g}{\to} W,
f и g - линейные отображения линейных пространств, то их произведение
h=gf: U\to W
является линейным отображением.

Доказательство. Пусть u,u_1,u_2\in {}_KU и \lambda\in K. Тогда

\begin{align*} & h(u_1+u_2) =
(gf)(u_1+u_2) = g(f(u_1+u_2)) ={}
\\ & \quad {}=g(f(u_1)+f(u_2)) = g(f(u_1)) + g(f(u_2))=
h(u_1)+h(u_2);\\ & h(\lambda u) =
(gf)(\lambda u) = g(f(\lambda u)) = g(\lambda f(u)) =
\lambda (g(f(u))) = \lambda h(u). 
\end{align*}

Матрица произведения линейных отображений пространств столбцов

Если U=\hat K^n, V=\hat K^m, W=\hat K^r - пространства столбцов над полем K, линейное отображение f: \hat K^n\to \hat K^m задается (m\times n) -матрицей F=(fij), линейное отображение g: \hat K^m\to \hat K^r задается (r\times m) -матрицей G=(gij), то вычислим однозначно определенную матрицу линейного отображения h=gf: \hat K^n\to\hat K^r.

Пусть

\begin{gathe}
X=
\begin{pmatrix}
x_1\\
\vdots\\
x_n
\end{pmatrix} \in \hat K^n,\\
Y=
\begin{pmatrix}
y_1\\
\vdots\\
y_m
\end{pmatrix} = f(X) \in \hat K^m,\quad
Z=
\begin{pmatrix}
z_1\\
\vdots\\
z_r
\end{pmatrix} = g(Y) \in \hat K^r.
\end{gathe}
Тогда для 1 \leq k \leq r
\begin{mult}
z_k=\sum_{i=1}^{m}g_{ki}y_i =
\sum_{i=1}^{m} g_{ki}\biggl(\,\sum_{l=1}^{n}f_{il}x_l\biggr)=
\sum_{i=1}^{m}\sum_{l=1}^{n}g_{ki}f_{il}x_l={}
\\
{}\stackrel{(*)}{=} \sum_{l=1}^{n}\sum_{i=1}^{m}g_{ki}f_{il}x_l=
\sum_{l=1}^{n}\biggl(\,\sum_{i=1}^{m}g_{ki}f_{il}\biggr)x_l=
\sum_{l=1}^{n}h_{kl}x_l,
\end{mult}
где
h_{kl}=\sum_{i=1}^{m}g_{ki}f_{il}=g_{k1}f_{1l}+...+g_{km}f_{ml},
т. е. матрицей линейного отображения h=gf является (r\times n) -матрица H=(hkl).

Замечание (*). Использованное в доказательстве равенство

\sum_{i=1}^{m}\biggl(\,\sum_{l=1}^{n}\gamma_{il}\biggr)= \sum_{l=1}^{n}\biggl(\,\sum_{i=1}^{m}\gamma_{il}\biggr)
означает разный порядок суммирования элементов прямоугольной (m\times n) -матрицы (\gamma_{il})\in M_{m,n}(K).

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

Определение 7.2.1. Пусть

G=(g_{ij})\in M_{r,m}(K),\quad F=(f_{ij})\in M_{m,n}(K)\text{  -}
прямоугольные матрицы согласованных размеров (т. е. длина m строки матрицы G совпадает с длиной m столбца матрицы F ). Тогда определим произведение H=GF как (r\times n) -матрицу H=(hkl), где
h_{kl}=\sum_{i=1}^{m}g_{ki}f_{il}= g_{k1}f_{1l}+...+g_{km}f_{ml}.

Таким образом, нами фактически доказана

Теорема 7.2.2. Для диаграммы

\hat K^n \stackrel{f}{\to} \hat K^m \stackrel{g}{\to} \hat K^r
с линейными отображениями, задаваемыми матрицами F\=(f_{ij})\in  M_{m,n}(K) и G=(g_{ij})\in M_{r,m}(K) соответственно, произведение
h=gf: \hat K^n\to \hat K^r
является линейным отображением, задаваемым матрицей H=(hij), являющейся произведением H=GF матриц линейных отображений G и F.

< Лекция 2 || Лекция 3: 12 || Лекция 4 >
Матвей Новосёлов
Матвей Новосёлов
Вадим Фонов
Вадим Фонов
Деление определителя матрицы 2х2, в которой элементы диагоналей поменяли местами на определитель исходной дает в результате