Da X eine Basis ist, gilt für jedes a aus V, es gibt a1,...,an mit a = ∑ aixi
also für alle j < a, xj > = < ∑ aixi , xj >
= (wegen der Linearität des Skalarproduktes im 1. Argument) ∑ ai <xi ,xj >
Andererseits x*j (a) = x*j (∑ aixi ) = (wegen Linearität der Linearformen)
= ∑ ai * x*j ( xi ) .
Und das stimmt nur überein , wenn X orthonormal ist.