12
$\begingroup$

Given metric spaces $B$ and $P$, a function $q: B \to P$ is continuous at $c \in B$ if for every $\epsilon > 0$, there exists $\delta > 0$ such that

$d_B(x, c) < \delta \implies d_P(q(x), q(c)) < \epsilon$

But if $B$ and $P$ happen to be topological spaces, $q$ is continuous if the preimage of every open subset of $P$ is open in $B$. So in this case, what would it mean for $q$ to be continuous at $c \in B$?

  • 0
    Related question: http://math.stackexchange.com/questions/60595/how-can-i-prove-that-this-function-is-continuous-at-02012-07-01

1 Answers 1

13

$q$ is continuous at $c\in B$ if and only if for every neighborhood $W$ of $q(c)$ there exists a neighborhood $U$ of $c$ such that $q(U)\subseteq W$. You may replace "neighborhood" with "open set that contains".

If you translate what this means in the case of the topology induced by a metric, you will find that it is exactly the usual $\epsilon$-$\delta$ definition.

  • 1
    A neighborhood can be non-open. By "$U$ is a neighborhood of point $c$", we mean "there is an open set $M$ such that $c \in M \subseteq U$", but $U$ itself can be non-open.2015-09-27