July 25, 2026 · Lecture
Рассмотрим систему линейных уравнений
и найдём её общее решение методом Гаусса. Для этого будем использовать следующие виды элементарных преобразований:
Легко видеть, что система уравнений, полученная из исходной преобразованиями строк, эквивалентна исходной (то есть множества решений исходной и преобразованной систем совпадают).
Более того, будем представлять систему уравнений в виде матрицы с строками и столбцами:
Тогда преобразования системы — это то же самое, что преобразования матрицы.
Предложение 6.1. Элементарными преобразованиями можно привести любую матрицу к верхнетреугольному виду с ведущими единицами:
Доказательство.Найдём первый ненулевой столбец и в нём первый ненулевой элемент. Переставим, если нужно, его в первую строку. Преобразованием первого типа занулим все элементы ниже. Продолжим эту процедуру: найдём первый столбец, в котором есть ненулевой элемент в первой строке, переставим его (если нужно) со второй строкой и занулим все элементы в соответствующем столбце, и так далее.
Назовём переменные, отвечающие номерам столбцов с единичками, главными, а остальные — свободными. Тогда все главные переменные можно выразить через свободные, и с точностью до перенумерации общее решение имеет вид:
Заметив, что набор является решением частным решением исходной системы, а … — общим решением однородной системы. Более того, ясно, что разность любых двух решений является некоторым решением однородного уравнения, поэтому
Предложение 6.2. Произвольное решение неоднородной системы это сумма общего решения однородной системы и (произвольного) частного решения неоднородной системы.
При этом отметим, что для однородного уравнения если и — решения, то и для любого — тоже решения. Таким образом…
Предложение 6.3.Набор решений однородной системы линейных уравнений образует векторное пространство, см. ниже.
Определение 6.4. Векторное пространство над полем — это абелева группа с бесконечным набором одноместных операций , , удовлетворяющей следующим аксиомам:
Определение 6.5.Линейное отображение (гомоморфизм) векторных пространств над полем — это отображение такое, что
Определение 6.6. Изоморфизм векторных пространств — это биективное линейное отображение.
Определение 6.7. Векторное подпространство — это подмножество , замкнутое относительно сложения и умножения на скаляры.
Примеры.
Пространство решений системы однородных линейных уравнений — векторное пространство.
Геометрические вектора на плоскости и в пространстве (“классы эквивалентности направленных отрезков”).
с поточечными операциями сложения и умножения.
Расширение поля — векторное пространство над .
— произвольное множество. Тогда
— векторное пространство над .
В случае конечного множества порядка имеем
— векторные пространства.
Наша первая задача — классифицировать векторные пространства.
Пусть — набор векторов векторного пространства . Обозначим через
линейную оболочку набора векторов. Ясно, что является векторным подпространством .
Набор называется порождающим, если .
Определение 6.8.Векторное пространство называется конечнопорожденным, если существует конечный набор такой, что
Определение 6.9.Набор называется линейно-независимым (ЛнЗ), если для любого и любого набора из равенства
следует, что .
Определение 6.10.Набор называется базисом векторного пространства, если любой единственным образом выражается в виде
для некоторых .
Предложение 6.11.Набор векторов является базисом векторного пространства тогда и только тогда, когда он порождающий и ЛнЗ.
Предложение 6.12.Пусть — порождающий набор векторного пространства, а — линейно независимый. Тогда и можно некоторые векторов набора так, что набор останется порождающим.
Теорема 6.13.
Доказательство.
Теорема 6.14.
Доказательство.
Рассмотрим множество всех ЛнЗ наборов в векторном пространстве . Заметим, что объединение ЛнЗ наборов — ЛнЗ набор, значит, по лемме Цорна существует максимальный ЛнЗ набор. Он, очевидно, и будет базисом.
Пусть — два базиса разной мощности и . Выразим каждый вектор из через элементы и для каждого обозначим через (конечное) подмножество элементов , участвующих в разложении . Тогда множество равномощно . Действительно, очевидно, что , иначе — базис меньшей мощности, чем .
С другой стороны, вкладывается в . Если и (фиксируем порядок в каждом разложении) и , то . При этом для каждого выберем ровно одно , которому оно принадлежит. Наконец, . Отсюда .
Выберем . Но уже порождает , а значит выражается через некоторые другие элементы с ненулевыми коэффициентами, что противоречит тому, что является базисом.
Определение 6.15.Размерностью векторного пространства — это мощность его базиса.
Векторное пространство называется конечномерным, если .
Отметим, что выбор базиса конечномерного векторного пространства задаёт изоморфизм между и : обозначим стандартный базис пространства через , тогда
Пространство линейных отображений между векторными пространствами само является векторным пространством. Более того, предположим, что
, . Тогда выбор базисов
соответственно позволяет определить однозначно линейное отображение набором чисел.
Действительно, если
то
а каждый образ базисного вектора имеет вид
Таким образом, набор чисел однозначно определяет линейное отображение.
Запишем координаты образов базисных векторов пространства в столбцы таблицы чисел размера . Получим матрицу
линейного отображения в базисах и . Отметим, что матрица зависит от выбора базиса.
Множество матриц — это векторное пространство . Выбор базисов векторных пространств задаёт изоморфизм векторных пространств
При этом линейные отображения вида , а все остальные базисные векторы переводящиеся в , образуют базис и отображаются при изоморфизме в матрицы , состоящие из нулей и единицы на -месте.
Заметим также, что выбор базиса позволяет задавать линейное отображение, отправляя базисные векторы в произвольные.