横だけど、内積は同じ空間の元の間で定義される、双対空間は基本的に別の空間の元の間で定義される