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

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

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

Опубликовано: 12 мая 2026 г.Обновлено: 12 мая 2026 г.

Формула

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

determinant-volume Ненулевой определитель как ненулевой объем

В R^2 показать параллелограмм: если площадь не равна нулю, два вектора задают базис плоскости.

Нулевой объем означает, что векторы схлопнулись в пространство меньшей размерности.

Обозначения

$v_i$: кандидаты в базисные векторы пространства R^n, вектор
$A$: матрица, составленная из векторов v_i как из столбцов, матрица
$\det A$: определитель матрицы A, число
$n$: размерность пространства R^n и число проверяемых векторов, штук

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

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

Ограничения

Если векторов меньше или больше n, критерий через det A напрямую не применим.
Для подпространства меньшей размерности в R^n определитель всей n x n матрицы не является подходящим критерием базиса подпространства.
В численных расчетах очень малый определитель может быть признаком плохой обусловленности, даже если теоретически он не равен нулю.

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

Определитель измеряет, сжимает ли линейное преобразование объем до нуля. Если столбцы матрицы A являются образами стандартных базисных векторов, то det A показывает ориентированный коэффициент изменения объема. Ненулевой определитель означает, что единичный объем не схлопнулся в плоскость, прямую или точку. Значит столбцы занимают все n независимых направлений пространства.

Для набора из n векторов в R^n это дает сразу несколько эквивалентных утверждений. Столбцы линейно независимы. Столбцы порождают R^n. Матрица A обратима. Система Ax=b имеет единственное решение для любого b. Все эти формулировки описывают одну ситуацию: выбранные направления действительно образуют полный координатный каркас пространства.

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

Этот критерий особенно полезен перед вычислением координат в нестандартном базисе. Если det A != 0, можно уверенно решать A x = v или писать x=A^{-1}v. Если det A=0, координатная запись относительно такого набора либо невозможна для части векторов, либо неединственна.

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

Убедитесь, что проверяется ровно n векторов в R^n.
Составьте квадратную матрицу A, поместив векторы столбцами.
Вычислите det A.
Если det A != 0, набор является базисом R^n.
Если det A = 0, набор не является базисом всего R^n.

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

Связь определителей с линейной независимостью и решением систем возникла из алгебраических методов решения линейных уравнений. В XVIII-XIX веках определители стали мощным инструментом для проверки обратимости и существования решений, а затем вошли в язык матриц. В современной линейной алгебре критерий det A != 0 - это компактная форма нескольких эквивалентных фактов: столбцы образуют базис, матрица обратима, ранг равен n, система Ax=b имеет единственное решение для любой правой части. Исторически здесь важны не один автор, а развитие теории определителей, матриц и ранга. Матричная алгебра Кэли и Сильвестра помогла сделать такие критерии частью общего языка линейных преобразований.

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

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

Артур Кэли 1821-1895 Джеймс Джозеф Сильвестр 1814-1897 Герман Грассман 1809-1877

Пример

Проверим, являются ли v1=(1,2,0), v2=(0,1,1), v3=(2,0,1) базисом R^3. Составим матрицу A со столбцами v1, v2, v3: [[1,0,2],[2,1,0],[0,1,1]]. Вычислим определитель: det A = 1*(1*1-0*1) + 2*(2*1-1*0) = 1+4=5. Определитель не равен нулю, значит столбцы независимы и матрица обратима. Следовательно, любой вектор из R^3 единственным образом выражается через v1, v2, v3. Если бы det A был равен нулю, один из столбцов выражался бы через остальные, а набор не мог бы быть базисом всего R^3. Ненулевой определитель также означает, что объем параллелепипеда на этих векторах не схлопнулся.

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

Частая ошибка - класть векторы строками, а потом интерпретировать результат как проверку столбцов. Для квадратной матрицы факт ненулевого определителя не изменится при транспонировании, но при дальнейших координатах это приводит к неверной системе. Вторая ошибка - применять определитель к набору из двух векторов в R^3 и делать вывод о базисе R^3: такой набор может быть базисом плоскости, но не всего пространства. Еще одна ошибка - забывать, что det A != 0 одновременно означает независимость столбцов, порождение R^n и существование обратной матрицы.

Практика

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

Проверить базис через определитель

Условие. Проверьте v1=(1,0,2), v2=(0,1,1), v3=(1,1,0) в R^3.

Решение. A=[[1,0,1],[0,1,1],[2,1,0]]. det A = 1*(1*0-1*1)+1*(0*1-1*2) = -1-2=-3. Определитель не равен нулю.

Ответ. Векторы образуют базис R^3.

Найти зависимый набор

Условие. Являются ли (1,2), (2,4) базисом R^2?

Решение. A=[[1,2],[2,4]], det A=1*4-2*2=0. Второй вектор равен удвоенному первому.

Ответ. Нет, набор зависим и не является базисом.

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

MIT OpenCourseWare 18.06SC, invertible matrices
Jim Hefferon, Linear Algebra, nonsingular matrices
Sheldon Axler, Linear Algebra Done Right, bases and invertibility

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

Математика

Определитель матрицы 2x2

$\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc$

Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.

Математика

Определитель матрицы 3x3 по правилу Саррюса

$\det A=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}$

Правило Саррюса дает быстрый способ вычислить определитель матрицы 3x3 как сумму трех произведений по нисходящим диагоналям минус сумму трех произведений по восходящим диагоналям.

Математика

Обратная матрица 2x2

$A^{-1}=\frac{1}{ad-bc}\begin{pmatrix}d&-b\\-c&a\end{pmatrix}$

Обратная матрица 2x2 существует только при ненулевом определителе. Она обращает действие исходной матрицы: A^{-1}A = I, то есть возвращает исходный вектор.