Sei V ein K-Vektorraum. Wir definieren eine Abbildung V → V** ; a ↦ a~, indem wir für jedes h ∈ V* defininieren: a~(h) = h(a). Zeigen Sie, dass a ↦ a~ ein injektiver Homomorphismus ist.
Zeigen Sie weiter, dass diese Abbildung ein Isomorphismus ist, falls V endlichdimensional ist.
