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