Zum Inhalt springen

Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Beweis

Aus Wikiversity
Beweis

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.