Размерность линейного пространства

Def. Размерностью линейного пространства называется максимальное число $n$ линейно независимых векторов из этого пространства.
Это означает, что из векторов линейного пространства можно выбрать $n$ линейно независимых, а любые $n+1$ линейно зависимы. Сравните с определением ранга матрицы.
Обозначение: $\dim L=n$.

линейноепространство