>>227 証明(ε–δ連続 ⇒ 開集合の逆像が開)

(1)任意の開集合 𝑉⊂𝑌 を取る。
𝑉 が開であるとは、
任意の 𝑦∈𝑉 に対し、ある 𝜀>0 が存在して
𝐵𝑌(𝑦,𝜀)⊂𝑉
となること。