стр. 14:
Если в пространстве $R$ существует $k$ линейно независимых векторов $f_1,....., f_k$ таких, что каждый вектор из R есть их линейная комбинация, то пространство $R$ $k$-мерно.
Док-во:
В соответствии с определением размерности пространства, имея $k$ линейно независимых векторов, мы может сказать, что пространство будет $k$-мерным, если в нём не найдётся более чем $k$ линейно независимых векторов.
