Размерность линейного пространства обозначается dim(альфа)= n XD

Наверное, единственное, что я запомню из курса линала)