>>740
値域側の開集合が原点を含む場合はそうだけど
含まない場合の逆像は空集合だから