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

образует базис в Rn, который называют естественным базисом в Rn.