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

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

Базис называется ортонормированным, если его векторы имеют длину 1 и попарно ортогональны. Краткая запись e_i*e_j=delta_ij объединяет оба условия в одной формуле.

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

Формула

e_i\cdot e_j=\delta_{ij}

orthonormal-basis-axes Повернутые оси без растяжения

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

Ортонормированный базис сохраняет простую геометрию стандартных осей.

Обозначения

$e_i,e_j$: векторы базиса, векторы
$\delta_{ij}$: символ Кронекера: 1 при i=j и 0 при i не равно j, число
$e_i\cdot e_j$: скалярное произведение двух базисных векторов, число
$B$: набор базисных векторов, базис

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

Набор векторов должен быть базисом рассматриваемого пространства или подпространства.
Каждый базисный вектор должен иметь норму 1.
Скалярное произведение разных базисных векторов должно равняться нулю.

Ограничения

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

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

Условие e_i*e_j=delta_ij означает сразу две вещи. Если i=j, получаем e_i*e_i=1, то есть ||e_i||=1. Если i не равно j, получаем e_i*e_j=0, то есть разные векторы ортогональны. Поэтому одна компактная запись заменяет длинный список проверок для всех пар.

Главное преимущество ортонормированного базиса состоит в том, что координаты находятся скалярными произведениями. В произвольном базисе нужно решать систему или умножать на обратную матрицу. В ортонормированном базисе коэффициент при e_i равен x*e_i. Это экономит вычисления и уменьшает риск ошибок, особенно в задачах на проекцию и приближение.

Матрица, столбцы которой образуют ортонормированный набор, обладает свойством Q^TQ=I. Это превращает обратные матрицы в транспонированные и делает вычисления с проекциями короткими: proj_W x=QQ^T x. Поэтому ортонормированный базис является не просто красивой геометрической системой координат, а практическим инструментом для численной линейной алгебры, QR-разложения и метода наименьших квадратов.

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

Проверьте, что векторов достаточно для базиса нужного пространства.
Для каждого вектора вычислите норму.
Проверьте, что все нормы равны 1.
Вычислите скалярные произведения всех разных пар.
Если все разные пары дают 0, а нормы равны 1, базис ортонормирован.

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

Ортонормированные базисы выросли из соединения двух линий: геометрической идеи перпендикулярных осей и алгебраической идеи базиса пространства. В классической аналитической геометрии координатные оси обычно выбирались перпендикулярными и единичными, но с развитием линейных пространств стало понятно, что такие системы можно строить в более общих пространствах. Грассманова теория независимых направлений подготовила язык базисов и подпространств, а векторное исчисление закрепило роль скалярного произведения. Позднее ортонормированные системы стали центральными в приближениях, рядах Фурье, функциональном анализе и численных методах. В вычислительной математике они особенно ценятся за устойчивость: работа с взаимно перпендикулярными единичными направлениями меньше накапливает ошибки масштаба.

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

Формула e_i*e_j=delta_ij является современной учебной записью ортонормированности. Она не имеет единственного автора, но исторически опирается на развитие базисов, скалярного произведения и векторного языка, где особенно уместна связь с Грассманом.

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

Пример

В R^3 стандартные векторы e1=(1,0,0), e2=(0,1,0), e3=(0,0,1) образуют ортонормированный базис. Каждый имеет длину 1, а скалярные произведения разных векторов равны нулю. Другой пример: q1=(1/sqrt(2),1/sqrt(2)), q2=(1/sqrt(2),-1/sqrt(2)) в R^2. Длины равны 1, потому что сумма квадратов координат у каждого вектора равна 1. Скалярное произведение q1*q2 равно 1/2-1/2=0. Значит это тоже ортонормированный базис, хотя его оси повернуты относительно стандартных. Для вектора x=(2,0) координаты в таком базисе будут sqrt(2) и sqrt(2), что показывает: ортонормированный базис не обязан совпадать со стандартными осями.

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

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

Практика

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

Проверить стандартный набор

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

Решение. Длины обоих векторов равны 1. Их скалярное произведение равно 0. Два независимых вектора в R^2 образуют базис.

Ответ. Да, это ортонормированный базис.

Найти недостающее условие

Условие. Векторы (2,0) и (0,1) ортогональны. Почему они не образуют ортонормированный базис?

Решение. Первый вектор имеет длину 2, а не 1. Нужна нормировка.

Ответ. Нарушено условие единичной длины.

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

MIT OpenCourseWare 18.06SC, Orthogonal Matrices and Gram-Schmidt
Jim Hefferon, Linear Algebra, Orthogonal Bases
Interactive Linear Algebra, Margalit and Rabinoff, Orthogonality

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

Математика

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

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

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

Математика

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

$x=\sum_{i=1}^{n}(x\cdot e_i)e_i$

В ортонормированном базисе коэффициент при базисном векторе равен скалярному произведению x с этим вектором. Поэтому разложение вектора строится без решения системы уравнений.

Математика

Ортогональность векторов через скалярное произведение

$u\cdot v=0$

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

Математика

Ортогональная матрица

$Q^{T}Q=I,\quad Q^{-1}=Q^{T}$

Квадратная матрица Q ортогональна, если ее столбцы образуют ортонормированный базис. Тогда обратная матрица равна транспонированной, а преобразование сохраняет длины и углы.