Es sei w1,…,wn{\displaystyle {}w_{1},\ldots ,w_{n}} eine Basis von W{\displaystyle {}W} und w1∗,…,wn∗{\displaystyle {}w_{1}^{*},\ldots ,w_{n}^{*}} die zugehörige Dualbasis. Wir setzen
Dann ist für jeden Vektor v∈V{\displaystyle {}v\in V}
wobei die letzte Gleichung auf Fakt beruht.