View on GitHub

memo

Appendix A

Excercise A.1

\((X, \mathcal{O}_{X})\)と\((Y, \mathcal{O}_{Y})\)を位相空間とする。 $F:X \rightarrow Y$とする。 以下は同値

  1. $F$が連続
  2. $\forall A \subseteq X$, $F(\overline{A}) \subseteq \overline{F(A)}$,
  3. $\forall B \subseteq Y$, $F^{-1}(\mathrm{Int}B) \subseteq F^{-1}(B)$.

proof.