を単位区間とします。このとき, とは,関数 全体の集合を指します。 における直積位相を考えると,これはコンパクトだが点列コンパクトでない位相空···