logo

거리공간에서 연속함수일 동치 조건 📂MetricSpace

거리공간에서 연속함수일 동치 조건

Theorem 1

For two metric spaces $(X,d_{X})$, $(Y,d_{Y})$, let $E\subset X$ and $p \in E$, $f : E \to Y$. Then, the following three statements are equivalent.

(1a) $f$ is continuous at $p$.

(1b) $ \lim \limits_{x \to p} f(x)=f(p)$.

(1c) For $\lim \limits_{n\to\infty} p_{n}=p$, $\left\{ p_{n} \right\}$, it follows that $\lim \limits_{n\to\infty} f(p_{n})=f(p)$.

Proof

Theorem 2

For two metric spaces $(X,d_{X})$, $(Y,d_{Y})$, let $f : X \to Y$. Then the following three statements are equivalent.

(2a) $f$ is continuous on $X$.

(2b) For every open set $Y$ $O_{Y}$, $f^{-1}(O_{Y})$ is an open set in $X$.

(2c) For every closed set $Y$ $C_{Y}$, $f^{-1}(C_{X})$ is a closed set in $X$.

Here, $f^{-1}$ denotes the preimage rather than the inverse function.

Proof

  • (2a) $\implies$ (2b)

    Assume $f$ is continuous on $X$. Let $O_{Y}$ be an open set in $Y$. By the definition of an open set, it suffices to show that every point in $f^{-1}(O_{Y})$ is an interior point of $f^{-1}(O_{Y})$. Consider an arbitrary $f(p) \in O_{Y}$. Then $p \in f^{-1}(O_{Y})$ holds. Since $O_{Y}$ is open, $f(p)$ is an interior point of $O_{Y}$. Thus,

    $$ \begin{equation} d_{Y}(y,f(p)) < \varepsilon \implies y \in O_{Y} \label{eq1} \end{equation} $$

    holds for some positive $\varepsilon$. Then, since $f$ is continuous on $X$, for this $\varepsilon$, there exists

    $$ \begin{equation} d_{X}(x,p) < \delta \implies d_{Y}(f(x),f(p))<\varepsilon \label{eq2} \end{equation} $$

    some $\delta >0$ such that it holds. However, by $\eqref{eq1}$, $\eqref{eq2}$,

    $$ d_{X}(x,p) < \delta \implies d_{Y}(f(x),f(p))<\varepsilon \implies f(x)\in O_{Y} $$

    holds, and hence $x \in f^{-1}(O_{Y})$. Therefore, for some positive $\delta$,

    $$ d_{X}(x,p) < \delta \implies x \in f^{-1}(O_{Y}) $$

    holds, so $p$ is an interior point of $f^{-1}(O_{Y})$ and $f^{-1}(O_{Y})$ is open.

  • (2b) $\implies$ (2a)

    Assume (2b). Choose arbitrary $p \in X$ and $\varepsilon >0$. Let the set $O_{Y}$ be defined as follows.

    $$ O_{Y} =\left\{ y : d_{Y}(y,f(p))<\varepsilon \right\} $$

    Then, $O_{Y}$ is an open set in $Y$. Hence, by assumption, $f^{-1}(O_{Y})$ is open in $X$. Therefore,

    $$ d_{X}(x,p) <\delta \implies x \in f^{-1}(O_{Y}) $$

    there exists a positive $\delta >0$ such that this holds. Then,

    $$ x\in f^{-1}(O_{Y}) \quad \text{and} \quad d_{X}(x,p)< \delta \implies d_{Y}(f(x),f(p))<\varepsilon $$

    holds, so by the definition of continuity, $f$ is continuous at every $p \in X$.

  • (2b) $\iff$ (2c)

    By showing (2b) $\implies$ (2c), the opposite direction can be demonstrated with similar logic, hence the remaining proof is omitted. Assume (2b) holds. Unpacking for the open set $Y$ $O_{Y}$ yields the following.

    $$ O_{Y}\mathrm{\ is\ open\ in\ } Y \implies f^{-1}(O_{Y})\mathrm{\ is\ open\ in\ }X $$

    As the complement of an open set is a closed set, let $O_{Y}=(C_{Y})^{c}$, then the statement becomes:

    $$ C_{Y}\mathrm{\ is\ closed\ in\ } Y \implies f^{-1}((C_{Y})^{c})\mathrm{\ is\ open\ in\ }X $$

    However, since $f^{-1}((C_{Y})^{c})=(f^{-1}(C_{Y}))^{c}$, the following holds:

    $$ C_{Y}\mathrm{\ is\ closed\ in\ } Y \implies (f^{-1}(C_{Y}))^{c}\mathrm{\ is\ open\ in\ }X $$

    Additionally, since the complement of an open set is closed, the following holds:

    $$ C_{Y}\mathrm{\ is\ closed\ in\ } Y \implies f^{-1}(C_{Y})\mathrm{\ is\ closed\ in\ }X $$