>>506
fは全射とは限らないわけですから、別にYの元でfの像になってないものがあっても良いですよね？

しかし、普通の教科書にはYの開集合を任意に持ってきて、と書いてある

f(X)から開集合を持ってきなさい、なんて書いてる教科書はありません

εは任意で良いと書かれてる教科書なら腐る程ありますね
εは値域に限定されなければならない、と書いてある教科書の例が知りたいんですがね