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