"quotient vector space" Deutsche bedeutung