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

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

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

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

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

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

Формула

$$B=(e_1,\ldots,e_n),\quad V=\operatorname{span}B,\quad e_1,\ldots,e_n\ \text{линейно независимы}$$
basis-grid Два базисных направления задают координатную сетку

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

Если направления не лежат на одной прямой, каждая точка плоскости получает единственную пару координат.

Обозначения

$V$
векторное пространство, пространство
$B$
упорядоченный или неупорядоченный набор базисных векторов, набор векторов
$e_i$
i-й вектор базиса, вектор
$\operatorname{span}B$
линейная оболочка набора B, подпространство

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

  • Все векторы набора B должны лежать в одном и том же векторном пространстве V.
  • Набор B должен порождать V: каждый вектор пространства выражается через линейную комбинацию векторов из B.
  • Набор B должен быть линейно независимым: ни один базисный вектор не выражается через остальные.

Ограничения

  • В бесконечномерных пространствах базисы могут быть бесконечными, а вычислительные приемы конечномерной линейной алгебры напрямую не работают.
  • Если набор только порождает пространство, но зависим, это еще не базис: в нем есть лишние направления.
  • Если набор независим, но не порождает все пространство, это тоже не базис, а только кандидат, который можно дополнить.

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

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

В конечномерных пространствах базис является главным способом измерить пространство. Как только выбран базис B=(e1,...,en), любой вектор v превращается в столбец координат. Это не меняет сам вектор, но дает удобный язык для вычислений: сложение векторов становится сложением координатных столбцов, умножение на число - умножением всех координат, а линейные отображения можно записывать матрицами.

В R^n проверка базиса часто сводится к матрице из столбцов. Если столбцов ровно n и определитель не равен нулю, они образуют базис. Если векторов больше или меньше, удобнее смотреть на ранг: базис подпространства должен иметь число векторов, равное размерности этого подпространства, и эти векторы должны быть независимыми. Поэтому базис связывает темы линейной независимости, ранга, определителя, координат и матриц перехода.

Важно понимать базис не как единственно правильную систему координат, а как выбранный язык описания. У одного пространства бесконечно много базисов. Стандартный базис R^2 удобен для рисунков, но для задачи с симметрией, поворотом или диагональным оператором другой базис может сделать вычисления заметно проще.

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

  1. Проверьте, сколько векторов должно быть в базисе нужного пространства или подпространства.
  2. Соберите матрицу из кандидатов в базисные векторы.
  3. Проверьте линейную независимость через определитель, ранг или решение однородной системы.
  4. Проверьте порождение пространства: ранг должен совпасть с размерностью пространства или подпространства.
  5. Зафиксируйте порядок базисных векторов, если дальше нужны координаты.

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

Идея базиса выросла из задач координатной геометрии, систем линейных уравнений и более позднего языка векторных пространств. Декартова координатная геометрия показала, что геометрические объекты можно описывать числами, но современное понятие базиса шире: оно работает не только на плоскости и в пространстве, но и для многочленов, функций, матриц и абстрактных векторных пространств. В XIX веке работы Грассмана по протяженным величинам усилили взгляд на независимые направления и размерность как самостоятельные объекты. Позднее в линейной алгебре закрепилась строгая формулировка через линейную независимость и порождение. Лемма Штейница о замене стала одним из строгих оснований того, что все базисы конечномерного пространства имеют одинаковое число векторов.

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

У понятия базиса нет одного автора в современном учебном смысле. Корректнее связывать его с несколькими линиями: координатная геометрия Декарта дала числовой язык, работы Грассмана развивали идею независимых направлений, а строгая теория конечномерных пространств оформила критерии порождения и независимости.

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

Пример

Пусть в R^2 даны векторы e1=(1,1) и e2=(1,-1). Проверим, образуют ли они базис. Матрица из этих столбцов равна [[1,1],[1,-1]], ее определитель равен -2, то есть не равен нулю. Значит столбцы линейно независимы и порождают R^2. Любой вектор (a,b) можно выразить как x e1 + y e2. Получаем систему x+y=a, x-y=b. Отсюда x=(a+b)/2, y=(a-b)/2. Например, (4,2)=3(1,1)+1(1,-1). Это показывает не только факт базиса, но и единственность координат: других коэффициентов x и y быть не может, иначе разность двух записей дала бы нетривиальную зависимость базисных векторов.

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

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

Практика

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

Проверить базис в R2

Условие. Образуют ли векторы (2,1) и (1,3) базис R^2?

Решение. Собираем матрицу [[2,1],[1,3]]. Ее определитель равен 2*3-1*1=5. Он не равен нулю, значит векторы независимы и порождают R^2.

Ответ. Да, это базис R^2.

Отличить базис от порождающего набора

Условие. В R^2 даны (1,0), (0,1), (1,1). Является ли набор базисом?

Решение. Набор порождает R^2, потому что содержит стандартные векторы. Но он не линейно независим: (1,1)=(1,0)+(0,1). Значит есть лишний вектор.

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

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

  • Sheldon Axler, Linear Algebra Done Right, bases
  • Jim Hefferon, Linear Algebra, bases and dimension
  • MIT OpenCourseWare 18.06SC, basis and dimension

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

Математика

Критерий базиса в Rn через определитель

$A=[v_1\ \cdots\ v_n],\quad v_1,\ldots,v_n\text{ - базис }\mathbb R^n\Longleftrightarrow \det A\ne0$

В Rn набор из n векторов является базисом тогда и только тогда, когда определитель матрицы из этих векторов как столбцов не равен нулю.

Математика

Координаты вектора в базисе

$v=x_1e_1+\cdots+x_ne_n,\quad [v]_B=(x_1,\ldots,x_n)^T$

Координаты вектора в базисе - это коэффициенты единственного разложения вектора по базисным векторам. Сам вектор не меняется, меняется только числовая запись относительно выбранного базиса.

Математика

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

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

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