MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a sequential space, $Y$ be some topological space, and $f:X\mapsto Y$ define some function. If $\forall x_n \to x, n\in\mathbb{N}$ implies $f(x_n) \to f(x)$, then does it follow that $f$ is continuous at the point $x$?

share|cite|improve this question


Consider the Arens´ space $X=\{\infty\} \cup \mathbb{N} \cup (\mathbb{N}\times \mathbb{N})$, where each $(n,m)$ is isolated, basic neighborhoods of $n$ are of the form $B_{n,k}:=\{(n,m):m \geq k \} \cup \{n\}$ for some $k \in \mathbb{N}$ and basic neighborhoods of $\infty$ are obtained by removing from $X$ finitely many sets of the form $B_{n,0}$ and finitely many points from each of the remaining $B_{n,0}$´s. Let $f:X \to \mathbb{R}$ be the function defined by: $f((n,m))=1$, $f(n)=\frac{1}{n+1}$ and $f(\infty)=0$. This function satisfies your condition at $x:= \infty$ but is not continuous at $x$.

share|cite|improve this answer

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.