Аксиомы группы Аксиоматическое определение линейного пространства примеры