ε近傍が開集合になる理由が分かっていないっぽいです