21 Итог
Итог
Векторное пространство выделяет общий язык для объектов, которые можно складывать и умножать на скаляры из поля \(F\). Благодаря этому одни и те же определения и методы работают со столбцами, матрицами, многочленами, функциями и решениями однородных систем.
Понятие или ситуация | Что нужно помнить |
|---|---|
Векторное пространство | Пространство над полем \(F\) с замкнутыми операциями и восемью стандартными аксиомами |
Вектор | Любой элемент выбранного пространства |
Подпространство | Содержит \(\vec{0}\) и замкнуто относительно сложения и умножения на скаляр |
Однородная система | \(\ker A=\{\vec x:A\vec x=\vec{0}\}\) всегда является подпространством |
Линейная комбинация | \(\alpha_1\vec v_1+\cdots+\alpha_k\vec v_k\) |
Линейная оболочка | Все линейные комбинации; наименьшее подпространство, содержащее исходные векторы |
Порождающая система | Её линейная оболочка равна всему рассматриваемому пространству |
Линейная зависимость | Существует нетривиальная нулевая комбинация |
Линейная независимость | Нулевую комбинацию даёт только нулевой набор коэффициентов |
Лишний генератор | Выражается через остальные и может быть удалён без изменения оболочки |
ФСР | По одному независимому решению на свободную переменную; при \(\ker A=\{\vec{0}\}\) набор пуст |
Два описания подпространства | \(W=\ker A\) задаёт условия, а \(W=\left\langle \vec z_1,\ldots,\vec z_r\right\rangle\) задаёт все векторы через параметры |
Пересечение \(U\cap W\) | Все векторы, принадлежащие одновременно \(U\) и \(W\); всегда подпространство |
Сумма \(U+W\) | Все суммы \(\vec u+\vec w\); наименьшее подпространство, содержащее \(U\) и \(W\) |
Объединение \(U\cup W\) | В общем случае не замкнуто относительно сложения и не является подпространством |
Главная вычислительная идея статьи: равенства между линейными комбинациями превращаются в системы линейных уравнений. Метод Гаусса поэтому связывает почти все рассмотренные задачи — от принадлежности оболочке и поиска зависимостей до построения ФСР, пересечений и перехода между двумя описаниями подпространства.
Порождающая система показывает, достаточно ли данных векторов, а линейная независимость — нет ли среди них лишних. В следующей статье перейдём к базису, размерности, координатам и матрицам перехода.