Die zu a1 , a2 , a3 duale Basis ist ja dadurch bestimmt , dass ai(aj) = 1 oder 0 je nachdem, ob i=j oder die
beiden verschieden sind.
Und es ist (1,2,3) ja gerade = a1 + a2 + a3 und (1 , 0 ,1 ) = a1 - a2 + a3 also ist
(1,2,3)* ( (1 , 0 ,1 ) )
= a1* ( (1 , 0 ,1 ) ) + a2* ( ( (1 , 0 ,1 ) ) + a3* ( (1 , 0 ,1 ) )
= a1* ( a1 - a2 + a3 ) + a2* ( a1 - a2 + a3 ) + a3* ( a1 - a2 + a3 )
= 1 - 1 + 1
= 1 .
Und zum Teil 2 : Ja
Ein Teilraum der die gleiche Dim hat wie der ganze Raum ist im endlichdimensionalen Fall
schon der ganze Raum Also sind sie gleich und damit f surjektiv.