t=t_0とすれば|X-Y(t)|≦ε ならば X∈Οは
|X-Y_0|≦ε ならば X∈Οとなるので
Y_0が開集合Οの元であることからε>0が存在するので
コンパクト性は使わない