Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
Es sei
mit . Wenn wir diese Linearform auf anwenden, ergibt sich direkt
Die sind also linear unabhängig. Nach Fakt
besitzt der Dualraum die Dimension , daher muss bereits eine Basis vorliegen.