X を位相空間とし, x∈X とし, f を X を定義域とする写像とし, f の codomain も位相空間とする.f(x) の近傍について基本近傍系 U があり, U の各元の f での逆像が x の近傍になるならば, f(x) の各近傍の f での逆像は x の近傍である.これは近傍系の性質

続きを読む