Zeige für x= (x1,...,xn) und y= (y1,...,yn)
fa(x+y) = fa(x) + fa(y)
und für alle c ∈ K
fa(c*x) = c*fa(x).
Dann hast du die K-Linearität.
Zeige, dass Ha den 0-Vektor enthält
und für x,y aus Ha auch die Summe in Ha ist
und für alle c ∈ K
aus x ∈ K auch cx ∈ K folgt.
Falls a=(0,...,0) ist, wird ja jedes x auf die
Null abgebildet. Also Ha=K^n ,
also dim=n.
Ansonsten wohl dim = n-1.