直和位相
本はありません。