Базис
англ. Basis
Набор линейно независимых векторов, через который любой вектор пространства выражается единственным образом; число векторов базиса равно размерности пространства.
Говорят, что векторы «задают координатную сетку» пространства. Базис — это и есть такая сетка: набор, который, во-первых, не вырождается (никакой вектор не собирается из остальных — линейная независимость), а во-вторых, достаточен: любой вектор пространства собирается из них с числовыми коэффициентами. Векторов в базисе ровно столько, какова размерность пространства: на плоскости два, в привычном трёхмерном — три. Стандартный пример — орты , , вдоль осей, но базисов бесконечно много, и часто выгоднее взять «скошенный», подстроенный под задачу.
Ключевой вопрос практики: когда набор — честный базис, а когда самозванец? Ответ даёт определитель. Запишем координаты векторов-кандидатов столбцами матрицы: если её определитель не ноль, набор — базис; если ноль, векторы линейно зависимы и всё пространство из них не соберёшь. Пример: , на плоскости — , базис. А пара и обнуляет детерминант: второй вектор — удвоенный первый, сетка из одной нити.
Как найти координаты на практике: расписать разложение покоординатно — получится система уравнений. Для и базиса выше: , , откуда , . Итак, , и другого способа собрать из этих векторов нет. Смена базиса — не формальность: в базисе из собственных векторов матрица превращается в диагональную, и сложные задачи о колебаниях, формах и операторах распадаются на независимые оси.
Глубже в механику — в уроке векторы и операции и в линейных пространствах, где базисом становится вообще что угодно: многочлены, матрицы, функции. Определение вектора — если нужно освежить язык. Вся справка по формулам на одной странице — шпаргалка векторной алгебры.
Частые вопросы
Сколько базисов у пространства?
Бесконечно много (кроме нулевого): любой набор из линейно независимых векторов — базис. Все базисы содержат поровну векторов — это и есть размерность. Частые гости: стандартный ортонормированный и базис из собственных векторов, в котором оператор диагонален.
Чем базис отличается от любого линейно независимого набора?
Мощностью и полнотой. Независимый набор из векторов — лишь заготовка: его можно дополнить до базиса, но сам он порождает только «кусок» пространства. Базис — независимый набор ровно из векторов, и потому он порождает всё.
Зачем другой базис, если есть стандартные оси?
Правильный базис упрощает задачу. В базисе из собственных векторов линейный оператор действует поточечно — матрица диагональна; если один вектор направить вдоль силы, движение распадается на простые проекции. Цена перехода — одно решение системы уравнений, выигрыш — вся дальнейшая работа.