Все формулы РФ

Математика / Матрицы, определители

Лемма Штейница о замене

Лемма Штейница о замене формализует идею, что независимых направлений не может быть больше, чем в порождающем наборе. Из нее следуют равенство числа векторов в любых базисах и корректность понятия размерности.

Опубликовано: Обновлено:

Линейная алгебраБазисРазмерностьЛинейная независимость

Формула

$$L\text{ независим},\ G\text{ порождает }V\quad\Rightarrow\quad |L|\le |G|$$
exchange-lemma Замена в порождающем наборе

Показать порождающий набор как каркас и независимые векторы как направления, которые по одному заменяют элементы каркаса.

Независимый набор можно встроить в порождающий, но он не может быть длиннее него.

Обозначения

$L$
линейно независимый набор векторов, набор
$G$
порождающий набор пространства V, набор
$|L|$
число векторов в независимом наборе, штук
$|G|$
число векторов в порождающем наборе, штук

Условия применения

  • Пространство V рассматривается как конечномерное.
  • Набор L должен быть линейно независимым.
  • Набор G должен порождать все пространство V.

Ограничения

  • Лемма является структурным результатом, а не алгоритмом быстрого вычисления координат.
  • Для бесконечномерных пространств нужны более аккуратные формулировки и другой уровень теории.
  • В прикладных расчетах лемму обычно заменяют проверкой ранга, но именно она объясняет, почему такие проверки согласованы.

Подробное объяснение

Лемма Штейница о замене лежит в основании всей теории размерности. Она утверждает, что если один набор уже порождает пространство, то нельзя найти линейно независимый набор большего размера. Интуитивно порождающий набор содержит достаточное количество направлений для описания всего пространства, а независимый набор требует, чтобы каждое направление добавляло новую свободу. Новых свобод не может быть больше, чем направлений, которых достаточно для порождения.

Из леммы сразу следует, что любые два базиса конечномерного пространства имеют одинаковое число элементов. Пусть B и C - два базиса. B независим, а C порождает V, значит |B|<=|C|. Но C тоже независим, а B порождает V, значит |C|<=|B|. Следовательно, |B|=|C|. Именно поэтому размерность можно определить как число векторов в любом базисе, не опасаясь, что другой базис даст другое число.

Лемма также объясняет два практических правила. Любой независимый набор в конечномерном пространстве можно дополнить до базиса, добавляя векторы из порождающего набора. Любой порождающий набор можно сократить до базиса, удаляя зависимые лишние векторы. Эти правила стоят за алгоритмами, где метод Гаусса выбирает ведущие столбцы и отбрасывает зависимые.

В вычислительной линейной алгебре лемма часто спрятана за рангом. Когда мы говорим, что ранг матрицы равен числу ведущих столбцов и это число не зависит от способа приведения, мы фактически используем устойчивость понятия размерности, которая опирается на такие структурные результаты.

Как пользоваться формулой

  1. Определите, какой набор является независимым, а какой порождающим.
  2. Используйте неравенство |L|<=|G| для невозможных конфигураций.
  3. Чтобы доказать равенство размеров базисов, примените лемму в обе стороны.
  4. Чтобы дополнить независимый набор до базиса, добавляйте векторы из порождающего набора, пока не получите порождение.
  5. Чтобы сократить порождающий набор, удаляйте зависимые векторы, не меняя линейную оболочку.

Историческая справка

Лемма о замене обычно связывается с именем Эрнста Штейница и относится к строгому оформлению конечномерной линейной алгебры. Ее значение не в вычислении конкретного определителя, а в фундаментальном обосновании размерности. До такой теории геометрическая интуиция подсказывала, что у плоскости две степени свободы, а у пространства три. Лемма Штейница позволяет перенести эту уверенность на абстрактные пространства и доказать, что число векторов в базисе не зависит от выбора базиса. Поэтому она является исторически и логически важным результатом между интуитивной геометрией и современным аксиоматическим курсом. Через нее понятие размерности перестает быть только рисунком и становится доказуемым свойством пространства.

Историческая линия формулы

Название леммы связано с Эрнстом Штейницем, но сама теория базисов и размерности развивалась шире. Корректно указывать Штейница для результата о замене и одновременно показывать связь с Грассманом, линейной независимостью и поздним строгим языком векторных пространств.

Герман Грассман 1809-1877

Пример

Пусть пространство V порождается тремя векторами g1,g2,g3. Лемма Штейница говорит, что в V не может существовать линейно независимый набор из четырех векторов. Почему это разумно? Если g1,g2,g3 порождают V, любой четвертый кандидат выражается через эти три направления. При попытке собрать четыре независимых направления одно из них неизбежно окажется линейной комбинацией остальных после последовательных замен. Отсюда следует важный вывод: если один базис V содержит три вектора, любой другой базис тоже содержит ровно три. Он не может содержать четыре, потому что первый базис порождает V, и не может содержать два, потому что тогда трехвекторный базис был бы независимым набором больше порождающего.

Частая ошибка

Частая ошибка - воспринимать лемму как очевидность только для R^2 или R^3 и не видеть ее роли в абстрактных пространствах. На самом деле именно она позволяет говорить о размерности пространства многочленов, матриц или решений системы так же уверенно, как о размерности плоскости. Вторая ошибка - путать независимый набор и порождающий набор: независимость ограничивает число направлений сверху через любой порождающий набор, но сама по себе не говорит, что набор уже описывает все пространство. Еще одна ошибка - применять выводы леммы к бесконечномерным пространствам без дополнительных условий.

Практика

Задачи с решением

Ограничить число независимых векторов

Условие. V порождается 5 векторами. Может ли в V быть 6 линейно независимых векторов?

Решение. По лемме Штейница любой независимый набор L не больше любого порождающего набора G. Значит |L|<=5.

Ответ. Нет, 6 независимых векторов быть не может.

Сравнить два базиса

Условие. Один базис V содержит 4 вектора. Сколько векторов содержит любой другой базис V?

Решение. Первый базис порождает V и независим. Применяя лемму Штейница к двум базисам в обе стороны, получаем равенство их размеров.

Ответ. Любой другой базис содержит 4 вектора.

Дополнительные источники

  • Jim Hefferon, Linear Algebra, basis and dimension proofs
  • Sheldon Axler, Linear Algebra Done Right, bases and dimension
  • Encyclopedia of Mathematics, Steinitz exchange theorem

Связанные формулы

Математика

Базис векторного пространства

$B=(e_1,\ldots,e_n),\quad V=\operatorname{span}B,\quad e_1,\ldots,e_n\ \text{линейно независимы}$

Базис векторного пространства - это набор векторов, который одновременно порождает все пространство и не содержит лишних зависимых направлений. Через базис любой вектор записывается единственным способом.

Математика

Размерность векторного пространства

$\dim V=n\quad\Longleftrightarrow\quad \text{любой базис }V\text{ содержит }n\text{ векторов}$

Размерность конечномерного векторного пространства - это число векторов в любом его базисе. Она показывает, сколько независимых направлений нужно для описания всех элементов пространства.

Математика

Ранг линейного отображения

$\operatorname{rank}T=\dim\operatorname{Im}T$

Ранг линейного отображения равен размерности его образа. Он показывает, сколько независимых направлений результата реально достижимо.