>>22
直積位相の定義。
任意のx∈I^∞の点とその開近傍の基U=Π(ai,bi) (xi∈(ai,bi), 有限個を除いてai=-∞、bi=∞)をとるときUは必ずI^∞でない点を含む。
つまり内点なし。