>>85
例えば、位相空間がXでその位相がOxだとすれば、
集合Yの位相がOy={G⊆Y｜f^-1(G)∊Ox}となりますが、
φ∊Oyとして、このφがf^-1(φ)=φ∊Oxというように
Oxのφと1対1対応できるそうなのですが、
どのように証明するのかということを聞いています。