Введение

Векторы, все компоненты которых равны 0, за исключением одной, которая равна 1. В математике стандартный базис (также называемый естественным базисом или каноническим базисом) координатного векторного пространства (такого как или ) представляет собой набор векторов, каждый из которых имеет все компоненты равными нулю, за исключением одной, равной 1. Например, в случае евклидовой плоскости , образованной парами (x, y) действительных чисел, стандартный базис формируется векторами

Аналогично, стандартный базис для трехмерного пространства формируется векторами

Здесь вектор указывает в направлении оси x, вектор указывает в направлении оси y, а вектор указывает в направлении оси z. Существует несколько общепринятых обозначений для стандартных базисных векторов, включая {ex, ey, ez}, {e1, e2, e3}, {i, j, k} и {x, y, z}. Эти векторы иногда записываются с надчеркиванием (например, ê), чтобы подчеркнуть их статус единичных векторов (стандартных единичных векторов). Эти векторы являются базисом в том смысле, что любой другой вектор может быть единственным образом представлен как их линейная комбинация. Например, каждый вектор v в трехмерном пространстве может быть единственным образом записан как

, где , , – скалярные компоненты вектора v.

В n-мерном евклидовом пространстве стандартный базис состоит из n различных векторов

где обозначает вектор с 1 в i-й координате и 0 в остальных. Стандартные базисы могут быть определены и для других векторных пространств, определение которых включает коэффициенты, такие как полиномы и матрицы. В обоих случаях стандартный базис состоит из элементов пространства, у которых все коэффициенты, кроме одного, равны 0, а ненулевой коэффициент равен 1. Для полиномов стандартный базис таким образом состоит из мономов и обычно называется мономиальным базисом. Для матриц стандартный базис состоит из m×n матриц с ровно одним ненулевым элементом, который равен 1. Например, стандартный базис для матриц 2×2 формируется из 4 матриц

Свойства

По определению, стандартный базис — это последовательность ортогональных единичных векторов. Иными словами, это упорядоченный и ортонормальный базис. Однако упорядоченный ортонормальный базис не обязательно является стандартным базисом. Например, два вектора, представляющие поворот на 30° 2D стандартного базиса, описанного выше, то есть, также являются ортогональными единичными векторами, но они не совпадают с осями декартовой системы координат, поэтому базис, образованный этими векторами, не соответствует определению стандартного базиса.

Другие виды использования

Существование других "стандартных" базисов стало предметом интереса в алгебраической геометрии, начиная с работ Ходжа 1943 года о грассманианах. В настоящее время это часть теории представлений, известная как стандартная мономиальная теория. Идея стандартного базиса в универсальной обволакивающей алгебре алгебры Ли установлена теоремой Пуанкаре — Биркгоффа — Витта. Базисы Грёбнера также иногда называют стандартными базисами. В физике стандартные базисные векторы для заданного евклидова пространства иногда называют версорами осей соответствующей декартовой системы координат.