Given locally limited $f:[0,1]→\mathbb{R}$, show that $Graph(f)$ is closed in $\mathbb{R^2}$ ⟺ $f$ is continuous using sequences
Note that $f$ being locally limited means that given $x∈[0,1]$ there is an open interval $(a,b)$ in $\mathbb{R}$, that contains $x$, such that $f_{|(a,b)∩[0,1]}$ is limited.
Usual metric.
Answer
Let $G$ be the graph of $f$. Suppose $f$ is continuous. Let the sequence $(x_n,f(x_n))\in G$ converge to $(x,y)$. We need to show that $y=f(x)$ so that $(x,y)\in G$. But $$ y=\lim f(x_n)=f(\lim x_n)=f(x)$$ Now suppose $G$ is closed. Suppose $x_n \to x$. We need to show that $f(x_n)\to f(x)$. If this does not happen then there is a subsequence $x_{n_k}$ such that $|f(x_{n_k})-f(x)|\ge \epsilon $ for some $\epsilon >0$. But for large enough $n_k$ the $x_{n_k}$ is close enough to $x$ so $f(x_{n_k})$ is bounded. And as a bounded sequence it must have a convergent subsequence $f(x_{n_{k_j}})\to y$. So the sequence $(x_{n_{k_j}},f(x_{n_{k_j}}))$ in $G$ converges to $(x,y)$. Therfore we must have $y=f(x)$. So $f(x_{n_{k_j}})\to f(x)$. But this contradict the fact that $|f(x_{n_{k_j}})-f(x)|\ge \epsilon$. So $f(x_n)$ must converge to $f(x)$ and $f$ is continuous.
-
Hey, in this question one would one have to prove that continuous → closed graph too?
-
Oh sorry, you already did that.
- answered
- 907 views
- $10.00
Related Questions
- Banach's fixed point theorem application
- Prove that a closed subset of a compact set is compact.
- Prove that $S \subseteq X$ is nowhere dense iff $X-\overline{S}$ is dense.
- [Intro to Topology] Verify if $K$ is compact
- Prove that $p_B :\prod_{\alpha \in A} X_\alpha \to \prod_{\alpha \in B} X_\alpha$ is a continuous map
- Generalization of the Banach fixed point theorem
- Convex subset
- Knot Theory, 3-colourbility of knots