指標空間の双対空間はどのように定義されるんですか?