0

Let $a$ and $b$ be numbers with $a<b$ and set $I=(a,b)$. Suppose that the function $f:I\rightarrow\mathbb{R}$ is monotonically increasing and bounded. Prove that the $\lim_{x\rightarrow a}f(x)$ exists.


Observe that $a=\inf(I)$ where $a\notin(a,b)$, and since $f(I)$ is bounded, there exists an $\alpha=\inf f(I)$. Now, let $\{x_n\}$ be sequence of $I$ that converges to $a$, then there exists a subsequence $\{x_{n_k}\}$ that also converges to $a$. Since $f:I\rightarrow\mathbb{R}$ is monotonically increasing and bounded, we have $f(\{x_{n_k}\})$ is monotone bounded decreasing that converges to $\alpha$ by the monotone convergent theorem. Now, let $\epsilon>0$, there exists a $K\in\mathbb{N}$ such that $\alpha\leq f(x_{n_k})<\alpha+\epsilon$. Since $\{x_n\}$ converges to $a$, there exists a $N\in\mathbb{N}$ such that $a\leq\{x_n\}<\{x_{n_k}\}$ for all $n\geq N$. Then we have $\alpha\leq f(x_n)\leq f(x_{n_k})<\alpha+\epsilon$; thus we $\lim_{x\rightarrow a}f(x)=\alpha$


Can someone check this solution right or not? I am still struggling with sequences. Thanks in advanced.

Simple
  • 3,593

2 Answers2

1

You are not wrong, but in quoting the monotone convergence theorem, you may actually simplify the proof a lot.

Pick some $x_n\rightarrow a^+$, and WLOG suppose the sequence is strictly decreasing (there is no need to pass to a subsequence). By monotonicity and boundedness of $f$, the sequence $f(x_n)$ is decreasing (at least non-increasing), hence converges by monotone convergence theorem. We are actually done at this point since the sequence $x_n$ was chosen arbitrarily.

Short answer: you are not wrong, though a little bit of confusion is apparent when you make the proof more complicated than it needs to be.

1

Given the facts we may only show that the limit from the right exists.

Let $\varepsilon>0$ be given. Since $f$ is bounded on $(a,b)$, $\, \inf_{x \in (a,b)} f(x)$ exists. Letting $L = \inf_{x \in (a,b)} f(x)$ we may find $x_0 \in (a,b)$ so that $L \leq f(x_0) < L + \varepsilon$. Set $\delta=x_0-a$. Since $f$ is increasing we have that, if $a < x < a + \delta$ then $L \leq f(x) < L + \varepsilon$.

M A Pelto
  • 4,446