Алгебра 1. Лекция 6. Системы линейных уравнений и…

6.1. Системы линейных уравнений

Рассмотрим систему линейных уравнений

⎩ ⎨ ⎧ a_{11} x_{1} + \dots + a_{1 n} x_{n} = b_{1}, ⋮ a_{m 1} x_{1} + \dots + a_{mn} x_{n} = b_{m} .

и найдём её общее решение методом Гаусса. Для этого будем использовать следующие виды элементарных преобразований:

Вычесть из одного уравнения другое, умноженное на число.
Переставить уравнения.
Умножить уравнение на ненулевое число.

Легко видеть, что система уравнений, полученная из исходной преобразованиями строк, эквивалентна исходной (то есть множества решений исходной и преобразованной систем совпадают).

Более того, будем представлять систему уравнений в виде матрицы с $m$ строками и $n + 1$ столбцами:

a_{11} ⋮ a_{m 1} \dots ⋱ \dots a_{1 n} ⋮ a_{mn} b_{1} ⋮ b_{m}

Тогда преобразования системы — это то же самое, что преобразования матрицы.

Предложение 6.1. Элементарными преобразованиями можно привести любую матрицу к верхнетреугольному виду с ведущими единицами:

100 ⋮ 0 * 100 * * 1 \dots * * * ⋱ 0 * * * 1 * * * ⋮ *

Доказательство.Найдём первый ненулевой столбец и в нём первый ненулевой элемент. Переставим, если нужно, его в первую строку. Преобразованием первого типа занулим все элементы ниже. Продолжим эту процедуру: найдём первый столбец, в котором есть ненулевой элемент в первой строке, переставим его (если нужно) со второй строкой и занулим все элементы в соответствующем столбце, и так далее. $□$

Назовём переменные, отвечающие номерам столбцов с единичками, главными, а остальные — свободными. Тогда все главные переменные можно выразить через свободные, и с точностью до перенумерации общее решение имеет вид:

Заметив, что набор $(c_{1}, \dots, c_{k}, 0, \dots, 0)$ является решением частным решением исходной системы, а … — общим решением однородной системы. Более того, ясно, что разность любых двух решений является некоторым решением однородного уравнения, поэтому

Предложение 6.2. Произвольное решение неоднородной системы это сумма общего решения однородной системы и (произвольного) частного решения неоднородной системы.

При этом отметим, что для однородного уравнения если $x$ и $y$ — решения, то $x + y$ и $λ x$ для любого $λ \in k$ — тоже решения. Таким образом…

Предложение 6.3.Набор решений однородной системы линейных уравнений образует векторное пространство, см. ниже.

6.2. Векторные пространства

Определение 6.4. Векторное пространство над полем $k$ — это абелева группа $(V, +)$ с бесконечным набором одноместных операций $λ \cdot : V \to V$ , $λ \in k$ , удовлетворяющей следующим аксиомам:

$(λ μ) v = λ (μv)$
$(λ + μ) v = λ v + μv$
$λ (u + v) = λ u + λ v$
$1 \cdot v = v$

Определение 6.5.Линейное отображение (гомоморфизм) векторных пространств $U, V$ над полем $k$ — это отображение $f : U \to V$ такое, что

f (u_{1} + u_{2}) = f (u_{1}) + f (u_{2}) \forall u_{1}, u_{2} \in U,

f (λ u) = λ f (u) \forall u \in U, λ \in k .

Определение 6.6. Изоморфизм векторных пространств — это биективное линейное отображение.

Определение 6.7. Векторное подпространство $U \subset V$ — это подмножество $V$ , замкнутое относительно сложения и умножения на скаляры.

Примеры.

Пространство решений системы однородных линейных уравнений — векторное пространство.
Геометрические вектора на плоскости и в пространстве (“классы эквивалентности направленных отрезков”).
$k^{n} = {(x_{1}, \dots, x_{n}) ∣ x_{i} \in k}$ с поточечными операциями сложения и умножения.
Расширение поля $L \supset k$ — векторное пространство над $k$ .
$X$ — произвольное множество. Тогда

$F u n (X; k) = {f : X \to k}$

— векторное пространство над $k$ .
В случае конечного множества $X = {x_{1}, \dots, x_{n}}$ порядка $n$ имеем

$F u n (X; k) ≃ k^{n}, f \mapsto (f (x_{1}), \dots, f (x_{n})) .$
$k [x], k [[x]]$ — векторные пространства.

6.3. Теорема о базисе

Наша первая задача — классифицировать векторные пространства.
Пусть ${v_{i}}_{i \in I}$ — набор векторов векторного пространства $V$ . Обозначим через

⟨{v_{i}}_{i \in I} ⟩ = {c_{1} v_{i_{1}} + \dots + c_{k} v_{i_{k}} ∣ c_{i} \in k, i_{1}, \dots, i_{k} \in I, k \in Z_{\geq 0}}

линейную оболочку набора векторов. Ясно, что ${v_{i}}_{i \in I}$ является векторным подпространством $V$ .
Набор ${v_{i}}_{i \in I}$ называется порождающим, если $V = ⟨{v_{i}}_{i \in I} ⟩$ .

Определение 6.8.Векторное пространство $V$ называется конечнопорожденным, если существует конечный набор $v_{1}, \dots, v_{n} \in V$ такой, что

V = ⟨ v_{1}, \dots, v_{n} ⟩ .

Определение 6.9.Набор ${v_{i}}_{i \in I} \subset V$ называется линейно-независимым (ЛнЗ), если для любого $k \in Z_{\geq 0}$ и любого набора $v_{1}, \dots, v_{k} \in V$ из равенства

c_{1} v_{1} + \dots + c_{k} v_{k} = 0

следует, что $c_{1} = \dots = c_{k} = 0$ .

Определение 6.10.Набор ${v_{i}}_{i \in I}$ называется базисом векторного пространства, если любой $v \in V$ единственным образом выражается в виде

v = c_{1} v_{1} + \dots + c_{k} v_{k}

для некоторых ${v_{1}, \dots, v_{k}} \subset {v_{i}}_{i \in I}$ .

Предложение 6.11.Набор векторов является базисом векторного пространства тогда и только тогда, когда он порождающий и ЛнЗ.

Предложение 6.12.Пусть $v_{1}, \dots, v_{k}$ — порождающий набор векторного пространства, а $e_{1}, \dots, e_{n}$ — линейно независимый. Тогда $n \leq k$ и можно некоторые $n$ векторов набора $v_{1}, \dots, v_{k}$ так, что набор останется порождающим.

Теорема 6.13.

Любое конечнопорожденное векторное пространство обладает базисом.
Любые два базиса равномощны.
Базис любого подпространства можно дополнить до базиса всего пространства.

Доказательство.

Если набор ЛнЗ, выкинем из него векторы, которые выражаются через остальные, и рано или поздно получим ЛнЗ порождающий набор, то есть базис.
Пусть $e_{1}, \dots, e_{n}$ и $v_{1}, \dots, v_{m}$ — два базиса. Тогда по предложению 6.12 $n \geq m$ и $m \geq n$ , значит, $m = n$ .
Выберем базис подпространства и базис пространства и применим предложение 6.12.
$□$

Теорема 6.14.

Любое векторное пространство обладает базисом.
Любые два базиса равномощны.
Базис любого подпространства можно дополнить до базиса всего пространства.

Доказательство.

Рассмотрим множество всех ЛнЗ наборов в векторном пространстве $V$ . Заметим, что объединение ЛнЗ наборов — ЛнЗ набор, значит, по лемме Цорна существует максимальный ЛнЗ набор. Он, очевидно, и будет базисом.
Пусть $B, E \subset V$ — два базиса разной мощности и $∣ B ∣ > ∣ E ∣$ . Выразим каждый вектор из $E$ через элементы $B$ и для каждого $e \in E$ обозначим через $B_{e}$ (конечное) подмножество элементов $B$ , участвующих в разложении $e$ . Тогда множество $⋃_{e \in E} B_{e}$ равномощно $E$ . Действительно, очевидно, что $∣ E ∣ \leq ∣ ⋃_{e \in E} B_{e} ∣$ , иначе $⋃_{e \in E} B_{e}$ — базис меньшей мощности, чем $E$ .

С другой стороны, $B_{E}$ вкладывается в $N \times E$ . Если $b \in B_{e}$ и $e = c_{1} b_{1} + \dots + c_{n} b_{n}$ (фиксируем порядок в каждом разложении) и $b_{i} = b$ , то $b \mapsto (i, e)$ . При этом для каждого $b \in B_{e}$ выберем ровно одно $B_{e}$ , которому оно принадлежит. Наконец, $∣ N \times E ∣ \leq ∣ E \times E ∣ = ∣ E ∣$ . Отсюда $∣ B_{E} ∣ = ∣ E ∣$ .

Выберем $b \in B ∖ ⋃_{e \in E} B_{e}$ . Но $U_{e \in E} B_{e}$ уже порождает $V$ , а значит $b$ выражается через некоторые другие элементы $B$ с ненулевыми коэффициентами, что противоречит тому, что $B$ является базисом.

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

Определение 6.15.Размерностью векторного пространства $V$ — это мощность его базиса.
Векторное пространство называется конечномерным, если $dim V < \infty$ .

Отметим, что выбор базиса конечномерного векторного пространства $V$ задаёт изоморфизм между $V$ и $k^{n}$ : обозначим стандартный базис пространства $k^{n}$ через $e_{i}$ , тогда

v = a_{1} v_{1} + \dots + a_{n} v_{n} \mapsto a_{1} e_{1} + \dots + a_{n} e_{n} .

6.4. Линейные преобразования

Пространство линейных отображений $Hom (U, V)$ между векторными пространствами $U, V$ само является векторным пространством. Более того, предположим, что
$dim U = n$ , $dim V = m$ . Тогда выбор базисов

u = (u_{1}, \dots, u_{n}) в U и v = (v_{1}, \dots, v_{m}) в V

соответственно позволяет определить однозначно линейное отображение $A$ набором $mn$ чисел.

Действительно, если

u = i = 1 \sum n a_{i} u_{i},

то

F (u) = F (i = 1 \sum n a_{i} u_{i}) = i = 1 \sum n a_{i} F (u_{i}),

а каждый образ базисного вектора имеет вид

F (u_{i}) = j = 1 \sum m a_{j i} v_{j} .

Таким образом, набор чисел $(a_{j i})$ однозначно определяет линейное отображение.

Запишем координаты образов базисных векторов пространства $U$ в столбцы таблицы чисел размера $m \times n$ . Получим матрицу

A = a_{11} ⋮ a_{m 1} \dots ⋱ \dots a_{1 n} ⋮ a_{mn},

линейного отображения $A$ в базисах $u$ и $v$ . Отметим, что матрица зависит от выбора базиса.

Множество матриц $M_{m \times n} (k)$ — это векторное пространство $k^{mn}$ . Выбор базисов векторных пространств $U, V$ задаёт изоморфизм векторных пространств

Hom (U, V) ⟶ M_{m \times n} (k) .

При этом линейные отображения вида $f_{ij} : u_{i} \mapsto v_{j}$ , а все остальные базисные векторы переводящиеся в $0$ , образуют базис $Hom (U, V)$ и отображаются при изоморфизме в матрицы $E_{ij}$ , состоящие из нулей и единицы на $(i, j)$ -месте.

Заметим также, что выбор базиса позволяет задавать линейное отображение, отправляя базисные векторы в произвольные.

Алгебра 1. Лекция 6. Системы линейных уравнений и векторные пространства

6.1. Системы линейных уравнений

6.2. Векторные пространства

6.3. Теорема о базисе

6.4. Линейные преобразования

Related works