1
$\begingroup$

Let $C$ be a connected set in $\mathbb{R}$. Let $f:C\rightarrow \mathbb{R}$ be a function. Let $p$ be a limit point of $C$.

Here,

$\phi(q)$ : For every sequence $\{p_n\}$ in $C$ where $p_n \rightarrow p$ and $p_n ≠ p$, $\lim_{n\to\infty} f(p_n) = q$

$\Phi(q)$ : $\forall \epsilon >0, \exists \delta>0$ such that $\forall x\in C, 0

Then, is $\phi(q) \Rightarrow \Phi(q)$ provable, $\forall q\in \mathbb{R}$?

Till now, I have proved that there exists a sequence $\{p_n\}$ in $C$ such that $p_n ≠ p$ and $p_n \rightarrow p$.

Edit; To clarify definition of limit and $q$, I edited my original post.

  • 0
    You forgot in $\Phi(q)$ to end the proposition with d(f(x),q)<\epsilon.2012-10-18

1 Answers 1

0

If we require that whenever $p\in C$, $f(p)=q$, then we require that the function is sequentially continuous everywhere. In which case we can prove the continuity of $f$, as shown by Brian in Continuity and the Axiom of Choice.

If we do not require this, then the function I constructed in Connected set in $\mathbb{R}$ and constructing a sequence to a limit point is a counterexample. Namely, if $D$ is a dense [infinite] Dedekind-finite set of reals, its indicator function is a counterexample.

Note that this function is not sequentially continuous, despite the fact that there are no sequences can meet $D$ more than finitely many times. If $a\in D$ then there is a sequence of rational numbers $q_n$ approaching $a$, and almost all of those are not in $D$, therefore $\lim_{n\to\infty}f(q_n)=0\neq f(a)=f\left(\lim_{n\to\infty} q_n\right)$

So there is no contradiction with the first paragraph.

  • 0
    It's clear now, thank you! It's interesting that "If $C$ is a connected set in $\mathbb{R}$ and $X$ is a metric space, $f:C→X$ is sequentially continuous on $C$ iff $f$ is continuous on $C$." is true. Thus, "If $f:(a,c)→X$ is sequentially continuous on $(a,b)$ and $(b,c)$, then $f(b+)=f(b-)=q$(defined by sequence) iff $\lim_{x\to b} f(x)=q$ (defined by $\epsilon - \delta$)" is true.2012-10-19