>>458
X×Yの位相は、
(X、U_X),(Y、U_Y)を位相空間とした時に
U_X×U_Yが生成する位相を直積位相というのですよね?