Untervektorraumaxiome prüfen:
z.B. für L(U):
sind x,y aus L(U), dann gibt es a,b aus U mit L(a)=x und L(b)=y
dann ist wegen Linearität von L
L(a+b) = L(a) + L(b) = x + y .
weil U ein Unterraum ist, ist a+b aus U und damit ist
L(a+b) aus L(U) also x+y aus L(U).
Damit hast du schon mal:
Für je zwei Vektoren aus L(U) ist die SUmme auch aus L(U).
Nun noch so ähnlich für jedes x aus L(U) und c aus dem Körper
c*x aus L(U).
etc. für L -1 (Z)