Итак установлено, что в пространстве Rn существует система из n линейно независимых векторов, а любые n +1 вектора линейно зависимы.
Число n — размерность пространства Rn.
Определение. Любая упорядоченная линейно независимая система n векторов пространства арифметических векторов Rn называется базисом в Rn.
Нетрудно показать, что любой вектор единственным образом выражается через векторы базиса: . (На лекции единственность доказана).
Числа называют координатами вектора в базисе .
Линейно независимая система векторов
образует базис в Rn, который называют естественным базисом в Rn.