Линейные пространства. Базис и размерность векторных пространств.

Линейное пространство называется конечномерным, если оно порождается конечным множеством векторов. Базисом конечномерного линейного пространства является непустая линейно независимая система векторов, порождающая это пространство. Размерностью векторного пространства называется число векторов какого-либо базиса пространства.