Zum Inhalt springen

Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity


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.