Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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$?

share|improve this question
Related question: math.stackexchange.com/questions/60595/… –  Jonas Meyer Jul 1 '12 at 10:29

1 Answer 1

$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.

share|improve this answer
An interesting fact is that the "exists a neighborhood $U$ such that $q(U) \subset W$" condition can be replaced by "$f^{-1}(W)$ is a neighborhood of $c$". I had a similar question here: math.stackexchange.com/questions/677437/… –  Eric Auld May 24 at 1:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.