双対空間と同型っていったら、単にベクトル空間として同型ではなく、ペアリングがあると言ってるんだよね?

V ~ W*

は

V×W → k

が