You are familiar with computing limits of functions from calculus. As you may recall, a function \(f\) has limit \(L\) at a point \(c\) if the outputs \(f(x)\) are arbitrarily close to \(L\) provided the inputs \(x\) are sufficiently close to \(c\). Although this notion is intuitive, we will give a precise definition of the limit of a function and we will relate the definition with limits of sequences.

Limits of Functions

Recall that when computing \[ \lim_{x\rightarrow c} f(x) \] the function \(f\) need not be defined at \(x=c\). The reason for this is that many limits of interest arise when \(f\) is not defined at \(x=c\), for example when computing derivatives. However, in order for the limit notion to make sense, it is necessary that \(f\) be defined for points arbitrarily close to \(c\). This motivates the following definition.
Let \(A\subset\real\). The point \(c\in\real\) is called a cluster point of \(A\) if for any given \(\delta \gt 0\) there exists at least one point \(x\in A\) not equal to \(c\) such that \(|x-c| \lt \delta\).
Notice that a cluster point of a set \(A\) may or may not be a point in \(A\). The idea of a cluster point \(c\) of \(A\) is that there are points in \(A\) that are arbitrarily close to \(c\). Naturally, cluster points can be characterized using limits of sequences.
A point \(c\) is a cluster point of \(A\) if and only if there exists a sequence \((x_n)\) in \(A\) such that \(x_n\neq c\) and \(\displaystyle\limi x_n = c\).
Let \(c\) be a cluster point of \(A\) and let \(\delta_n=\frac{1}{n}\). Then, there exists \(x_n\in A\), \(x_n\neq c\), such that \(|x_n-c| \lt \delta_n\). Since \(\delta_n\rightarrow 0\) we have that \(\lim x_n = c\). Now suppose that \(\lim x_n=c\) and \(x_n\neq c\), and \((x_n)\) is in \(A\). Then for any \(\delta \gt 0\) there exists \(K\) such that \(|x_n-c| \lt \delta\) for all \(n\geq K\). This proves that \(c\) is a cluster point of \(A\).
Here are some examples of cluster points:
  • Consider the set \(A=[0,1]\). Every point \(c\in A\) is a cluster point of \(A\).
  • On the other hand, for \(A=(0,1]\), the point \(c=0\) is a cluster point of \(A\) but does not belong to \(A\).
  • For \(A=\left\{\frac{1}{n}\;|\; n\in\N\right\}\), the only cluster point of \(A\) is \(c=0\).
  • A finite set does not have any cluster points.
  • The set \(A=\N\) has no cluster points.
  • Consider the set \(A=\mathbb{Q}\cap [0,1]\). By the Density theorem, every point \(c\in [0,1]\) is a cluster point of \(A\).
We now give the definition of the limit of a function \(f:A\rightarrow\real\) at a cluster point \(c\) of \(A\). In this chapter, the letter \(A\) will denote a subset of \(\real\).
Consider a function \(f:A\rightarrow\real\) and let \(c\) be a cluster point of \(A\). We say that \(f\) has limit at \(c\), or converges at \(c\), if there exists a number \(L\in \real\) such that for any given \(\varepsilon \gt 0\) there exists \(\delta \gt 0\) such that if \(x\in A\) and \(0 \lt |x-c| \lt \delta\) then \(|f(x)-L| \lt \varepsilon\). In this case, we write that \[ \lim_{x\rightarrow c} f(x) = L \] and we say that \(f\) converges to \(L\) at c, or that \(f\) has limit \(L\) at \(c\). If \(f\) does not converge at \(c\) then we say that it diverges at \(c\).
Another short-hand notation to say that \(f\) converges to \(L\) at \(c\) is \(f(x)\rightarrow L\) as \(x\rightarrow c\). By definition, if \(\lim_{x\rightarrow c}f(x)=L\), then for any \(\varepsilon \gt 0\) neighborhood of \(L\), there exists a \(\delta \gt 0\) neighborhood of \(c\) such that for all \(x\in (c-\delta,c+\delta)\cap A\) not equal to \(c\) it is true that \(f(x)\in (L-\varepsilon,L+\varepsilon)\).
A function \(f:A\rightarrow\real\) can have at most one limit at \(c\).
Suppose that \(f(x)\rightarrow L\) and \(f(x)\rightarrow L'\) as \(x\rightarrow c\). Let \(\varepsilon \gt 0\). Then there exists \(\delta \gt 0\) such that \(|f(x)-L| \lt \eps/2\) and \(|f(x)-L'| \lt \eps/2\), for \(0 \lt |x-c| \lt \delta\). Then if \(0 \lt |x-c| \lt \delta\) then \begin{align*} |L-L'| &\leq |f(x)-L|+|f(x)-L'|\\ & \lt \eps/2+\eps/2\\ & =\eps. \end{align*} Since \(\eps\) is arbitrary, Theorem 2.2.7 implies that \(L=L'\).
Prove that \(\displaystyle\lim_{x\rightarrow 2} (5x+3) = 13\).
We begin by analyzing the quantity \(|f(x)-L|\): \begin{align*} |5x+3-13| &= |5x-10|\\ & = 5 |x-2|. \end{align*} Hence, if \(0 \lt |x-2| \lt \eps/5\) then \begin{align*} |5x+3-13| &= 5|x-2|\\ & \lt 5 (\eps/5)\\ & = \eps \end{align*}
Prove that \(\displaystyle\lim_{x\rightarrow 1}\frac{x+1}{x^2+3} = \frac{1}{2}\).
We have that \begin{align*} \left|\frac{x+1}{x^2+3}-\frac{1}{2}\right| &= \left|\frac{x^2-2x+1}{2(x^2+3)}\right|\\[2ex] &= \frac{|x-1|^2}{2(x^2+3)} \\[2ex] & \lt |x-1|^2. \end{align*} Let \(\eps \gt 0\) be arbitrary and let \(\delta=\sqrt{\eps}\). Then if \(0 \lt |x-1| \lt \delta\) then \(|x-1|^2 \lt (\sqrt{\eps})^2 = \eps\). Hence, if \(0 \lt |x-1| \lt \delta\) then \[ \left|\frac{x+1}{x^2+3}-\frac{1}{2}\right| \lt |x-1|^2 \lt \eps. \]
Prove that \(\displaystyle\lim_{x\rightarrow c} x^2 = c^2\).
We have that \[ |x^2-c^2| = |x+c| |x-c|. \] By the triangle inequality, \(|x+c| \leq |x|+|c|\) and therefore \begin{align*} |x^2-c^2| &= |x+c| |x-c|\\ & \leq (|x|+|c|) |x-c|. \end{align*} We now obtain a bound for \(|x|+|c|\) when \(x\) is say within \(\delta_1 \gt 0\) of \(c\). Hence, suppose that \(0 \lt |x-c| \lt \delta_1\). Then \begin{align*} |x| &= |x-c+c|\\ & \leq |x-c| + |c|\\ & \lt \delta_1 + |c| \end{align*} and therefore \(|x+c|\leq |x| + |c| \lt \delta_1 +2|c|\). Suppose that \(\eps \gt 0\) is arbitrary and let \(\delta=\min\{\delta_1, \eps/(\delta_1+2|c|)\}\). Then if \(0 \lt |x-c| \lt \delta\) then \(|x+c| \lt \delta_1+2|c|\) and therefore \begin{align*} |x^2-c^2| &=|x+c||x-c|\\ & \lt (\delta_1+2|c|) \delta\\ & \leq (\delta_1+2|c|) \eps/(\delta_1+2|c|)\\ & = \eps. \end{align*}
Prove that \(\displaystyle\lim_{x\rightarrow 6} \frac{x^2-3x}{x+3} = 2\).
We have that \begin{align*} \left|\frac{x^2-3x}{x+3} - 2\right| &=\left|\frac{x^2-5x-6}{x+3}\right|\\[2ex] &= \left|\frac{(x+1)(x-6)}{(x+3)}\right|\\[2ex] &= \frac{|x+1|}{|x+3|} |x-6|. \end{align*} We now obtain a bound for \(\frac{|x+1|}{|x+3|}\) when \(x\) is close to \(6\). Suppose then that \(|x-6| \lt 1\). Then \(5 \lt x \lt 7\). Therefore, \(6 \lt x+1 \lt 8\), and therefore \(|x+1| \lt 8\). Similarly, if \(|x-6| \lt 1\) then \(8 \lt x+3 \lt 10\) and therefore \(8 \lt |x+3|\) and therefore \(\frac{1}{|x+3|} \lt \frac{1}{8}\). Therefore, if \(|x-6| \lt 1\) then \[ \frac{|x+1|}{|x+3|} \lt 8\cdot \frac{1}{8}=1. \] Suppose that \(\eps \gt 0\) is arbitrary and let \(\delta=\min\{1,\eps\}\). If \(0 \lt |x-6| \lt \delta\) then from above we have that \(\frac{|x+1|}{|x+3|} \lt 1\), and clearly \(|x-6|\leq \eps\). Therefore, if \(0 \lt |x-6| \lt \delta\) then \begin{align*} \left|\frac{x^2-3x}{x+3} - 2\right| &= \frac{|x+1|}{|x+3|} |x-6|\\ & \lt |x-6|\\ & \leq \eps. \end{align*} This ends the proof.
Prove that \(\displaystyle\lim_{x\rightarrow -2} \frac{x^2-3x}{x+3} = 10\).
The following important result states that limits of functions can be studied using limits of sequences.
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). Then \(\lim_{x\rightarrow c} f(x) =L\) if and only if for every sequence \((x_n)\) in \(A\) converging to \(c\) the sequence \((f(x_n))\) converges to \(L\) (with \(x_n\neq c\)).
Suppose that \(f(x)\rightarrow L\) as \(x\rightarrow c\). Let \((x_n)\) be a sequence in \(A\) converging to \(c\), with \(x_n\neq c\). Let \(\eps\) be given. Then there exists \(\delta \gt 0\) such that if \(0 \lt |x-c| \lt \delta\) then \(|f(x)-L| \lt \eps\). Now, since \((x_n)\rightarrow c\), there exists \(K\in\N\) such that \(|x_n-c| \lt \delta\) for all \(n\geq K\). Therefore, for \(n\geq K\) we have that \(|f(x_n)-L| \lt \eps\). This proves that \(\lim_{n\rightarrow\infty} f(x_n) = L\). To prove the converse, we prove the contrapositive. Hence, we show that if \(f\) does not converge to \(L\) then there exists a sequence \((x_n)\) in \(A\) (with \(x_n\neq c\)) converging to \(c\) but the sequence \((f(x_n))\) does not converge to \(L\). Assume then that \(f\) does not converge to \(L\). Then there exists \(\eps \gt 0\) such for all \(\delta \gt 0\) there exists \(x\) such that \(0 \lt |x-c| \lt \delta\) and \(|f(x)-L|\geq \eps\). Let \(\delta_n=\tfrac{1}{n}\). Then there exists \(x_n\neq c\) such that \(0 \lt |x_n-c| \lt \delta_n\) and \(|f(x_n)-L|\geq \eps\). Hence \((x_n)\rightarrow c\) but \(f(x_n)\) does not converge to \(L\).
The following theorem follows immediately from Theorem 4.1.11.
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\) and let \(L\in\real\). Then \(f\) does not converge to \(L\) at \(c\) if and only if there exists a sequence \((x_n)\) in \(A\) converging \(c\), with \(x_n\neq c\), and such that \(f(x_n)\) does not converge to \(L\).
Note that in the previous corollary, if the sequence \((f(x_n))\) diverges then it clearly does not converge to any \(L\in \real\) and then \(f\) does not have a limit at \(c\). When applicable, the following corollary is a useful tool to prove that a limit of a function does not exist.
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). Suppose that \((x_n)\) and \((y_n)\) are sequences in \(A\) converging to \(c\), with \(x_n\neq c\) and \(y_n\neq c\). If \(f(x_n)\) and \(f(y_n)\) converge but \(\displaystyle\limi f(x_n) \neq \limi f(y_n)\) then \(f\) does not have a limit at \(c\).
Prove that \(\lim_{x\rightarrow 0}\frac{1}{x}\) does not exist.
Consider \(x_n=\frac{1}{n}\), which clearly converges to \(c=0\) and \(x_n\neq 0\). Then \(f(x_n)= n \) which does not converge.
Prove that \(\lim_{x\rightarrow 0}\sin\left(\tfrac{1}{x}\right)\) does not exist.
Let \(f(x)=\sin\left(\tfrac{1}{x}\right)\). Consider the sequence \(x_n=\frac{1}{\pi/2+n\pi}\). It is clear that \((x_n)\rightarrow 0\) and \(x_n\neq 0\) for all \(n\). Now \((f(x_n))=(-1,1,-1,-1,\ldots,)\) and therefore \((f(x_n))\) does not converge. Therefore, \(f\) has no limit at \(c=0\). In fact, for each \(\alpha\in[0,2\pi)\), consider the sequence \(x_n=\frac{1}{\alpha+2n\pi}\). Clearly \((x_n)\rightarrow 0\) and \(x_n\neq 0\) for all \(n\). Now, \(f(x_n)=\sin(\alpha+2n\pi)=\sin(\alpha)\). Hence, \((f(x_n))\) converges to \(\sin(\alpha)\). This shows that \(f\) oscillates within the interval \([-1,-1]\) as \(x\) approaches \(c=0\).
The \(\text{sgn}(x)\) function is defined as \[ \text{sgn}(x) = \begin{cases} \frac{|x|}{x}, & \text{if \(x\neq 0\)} \\[2ex] 0, & \text{if \(x=0\).} \end{cases} \] Prove that \(\lim_{x\rightarrow 0}\text{sgn}(x)\) does not exist.
Let \(x_n=\frac{(-1)^n}{n}\). Then \((x_n)\rightarrow 0\) and \(x_n\neq 0\) for all \(n\). Now, \(y_n=\text{sgn}(x_n) = (-1)^n\). Clearly, \((y_n)\) does not converge and thus \(\text{sgn}\) has no limit at \(c=0\).

Exercises

Use the \(\varepsilon\)-\(\delta\) definition of the limit of a function to verify the following limits.
  1. \(\displaystyle\lim_{x\rightarrow 3} \frac{2x+3}{4x-9} = 3\)
  2. \(\displaystyle\lim_{x\rightarrow 6} \frac{x^2-3x}{x+3} = 2\)
  3. \(\displaystyle\lim_{x\rightarrow 4} |x-3| = 1\)
Let \(A\subset\real\), let \(f:A\rightarrow\real\), and suppose that \(c\) is a cluster point of \(A\). Suppose that there exists a constant \(K \gt 0\) such that \(|f(x)-L|\leq K|x-c|\) for all \(x\in A\). Prove that \(\displaystyle\lim_{x\rightarrow c} f(x) = L\).
Consider the function \[ f(x) = \begin{cases} x^2\sin(1/x), & x\in\mathbb{Q}\backslash\hspace{-0.3em}\{0\}\\[2ex] \frac{x^2}{1+x^2}, & x\notin\mathbb{Q}\end{cases} \] Prove that \(\lim_{x\rightarrow 0} f(x) = 0\).
Let \(f:\real\rightarrow\real\) be defined as follows: \[ f(x) = \begin{cases} x, & \text{if } x\in\mathbb{Q}\\[2ex] -x, & \text{if } x\in\real\backslash\hspace{-0.3em}\mathbb{Q}\end{cases} \]
  1. Prove that \(f\) has a limit at \(c=0\).
  2. Now suppose that \(c\neq 0\). Prove that \(f\) has no limit at \(c\).
  3. Define \(g:\real\rightarrow\real\) by \(g(x)=(f(x))^2\). Prove that \(g\) has a limit at any \(c\in\real\).
Hint: The Density Theorem will be helpful for (b). In particular, the Density Theorem implies that for any point \(c\in \real\), there exists a sequence \((x_n)\) of rational numbers such that \((x_n)\rightarrow c\), and that there exists a sequence \((y_n)\) of irrational numbers such that \((y_n)\rightarrow c\).
Use any applicable theorem to explain why the following limits do not exist.
  1. \(\lim_{x\rightarrow 0}\frac{1}{x^2}\)
  2. \(\lim_{x\rightarrow 0}(x+\text{sgn}(x))\)
  3. \(\lim_{x\rightarrow 0} \sin(1/x^2)\)
The sgn function is defined as follows: \[ \text{sgn}(x) = \begin{cases} 1, & x\geq 0\\-1, & x \lt 0\end{cases} \]

Limit Theorems

We first show that if \(f\) has a limit at \(c\) then it is locally bounded at \(c\). We first define what it means to be locally bounded.
Let \(f:A\rightarrow\real\) and let \(c\) be a cluster point of \(A\). We say that \(f\) is bounded locally at \(c\) if there exists \(\delta \gt 0\) and \(M \gt 0\) such that if \(x\in (c-\delta,c+\delta)\cap A\) then \(|f(x)|\leq M\).
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). If \(\displaystyle\lim_{x\rightarrow c}f(x)\) exists then \(f\) is bounded locally at \(c\).
Let \(L=\lim_{x\rightarrow c} f(x)\) and let \(\eps \gt 0\) be arbitrary. Then there exists \(\delta \gt 0\) such that \(|f(x)-L| \lt \eps\) for all \(x\in A\) such that \(0 \lt |x-c| \lt \delta\). Therefore, for all \(x\in A\) and \(0 \lt |x-c| \lt \delta\) we have that \begin{align*} |f(x)| &= |f(x)-L+L|\\ & \leq |f(x)-L| + |L|\\ & \lt \eps +|L|. \end{align*} If \(c\in A\) then let \(M=\max\{|f(c)|, \eps + |L|\}\) and if \(c\notin A\) then let \(M=\eps+|L|\). Then \(|f(x)|\leq M\) for all \(x\in A\) such that \(0 \lt |x-c| \lt \delta\), that is, \(f\) is bounded locally at \(c\).
Consider again the function \(f(x)=\frac{1}{x}\) defined on the set \(A=(0,\infty)\). Clearly, \(c=0\) is a cluster point of \(A\). For any \(\delta \gt 0\) and any \(M \gt 0\) let \(x\in A\) be such that \(0 \lt x \lt \min\{\delta,\frac{1}{M}\}\). Then \(0 \lt x \lt \frac{1}{M}\), that is, \(M \lt \frac{1}{x}=f(x)\). Since \(M\) was arbitrary, this proves that \(f\) is unbounded at \(c=0\) and consequently \(f\) does not have a limit at \(c=0\).
We now consider Limit Laws for functions. Let \(f,g:A\rightarrow\real\) be functions and define \begin{align*} (f\pm g)(x) &= f(x) \pm g(x)\\[2ex] (fg)(x) &= f(x)g(x)\\[2ex] \left(\frac{f}{g}\right)(x) &= \frac{f(x)}{g(x)} \end{align*} where for the ratio \(f/g\) we require that \(g(x)\neq 0\) for all \(x\in A\).
Let \(f,g:A\rightarrow\real\) be functions and let \(c\) be a cluster point of \(A\). Suppose that \(\lim_{x\rightarrow c}f(x) = L\) and \(\lim_{x\rightarrow c}g(x)=M\). Then
  1. \(\displaystyle\lim_{x\rightarrow c} (f\pm g)(x) = L \pm M\)
  2. \(\displaystyle\lim_{x\rightarrow c} (fg)(x) = LM\)
  3. \(\displaystyle\lim_{x\rightarrow c} \left(\frac{f}{g}\right)(x) = \frac{L}{M}\), if \(M\neq 0\)
The proofs are left as an exercises. (To prove the results, use the sequential criterion for limits and the limits laws for sequences).
Let \(f_1,\ldots,f_k:A\rightarrow\real\) be functions and let \(c\) be a cluster point of \(A\). If \(\lim_{x\rightarrow c} f_i(x)\) exists for each \(i=1,2,\ldots,k\) then
  1. \(\displaystyle\lim_{x\rightarrow c} \sum_{i=1}^k f_i(x) = \sum_{i=1}^k \lim_{x\rightarrow c} f_i(x)\)
  2. \(\displaystyle\lim_{x\rightarrow c} \prod_{i=1}^k f_i(x) = \prod_{i=1}^k \lim_{x\rightarrow c} f_i(x)\)
If \(f(x)=a_0 + a_1 x + a_2x^2 + \cdots + a_n x^n\) is a polynomial function then \(\lim_{x\rightarrow c} f(x) = f(c)\) for every \(c\in\real\). If \(g(x) = b_0 + b_1 x + b_2 x+ \cdots + b_m x^m\) is another polynomial function and \(g(x)\neq 0\) in a neighborhood of \(x=c\) and \(\lim_{x\rightarrow c} g(x) = g(c)\neq 0\) then \[ \lim_{x\rightarrow c} \frac{f(x)}{g(x)} = \frac{f(c)}{g(c)}. \]
Prove that \(\displaystyle\lim_{x\rightarrow 2}\frac{x^2-4}{x-2}=4\).
We cannot use the Limit Laws directly since \(\lim_{x\rightarrow 2} (x-2)=0\). Now, if \(x\neq 2\) then \(\frac{x^2-4}{x-2}=x+2\). Hence, the functions \(f(x)=\frac{x^2-4}{x-2}\) and \(g(x)=x+2\) agree at every point in \(\real\backslash\hspace{-0.3em}\{0\}\). It is clear that \(\lim_{x\rightarrow 2} g(x)= 4\). Let \(\eps \gt 0\) and let \(\delta \gt 0\) be such that if \(0 \lt |x-2| \lt \delta\) then \(|g(x)-4| \lt \eps\). Then for \(0 \lt |x-2| \lt \delta\) we have that \(|f(x)-4|=|g(x)-4| \lt \eps\). Hence \(\lim_{x\rightarrow 2}f(x) = 4\).
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). Suppose that \(f\) has limit \(L\) at \(c\). If \(f(x)\geq 0\) for all \(x\in A\) then \(L\geq 0\).
We prove the contrapositive. Suppose that \(L \lt 0\). Let \(\eps \gt 0\) be such that \(L+\eps \lt 0\). There exists \(\delta \gt 0\) such that if \(0 \lt |x-c| \lt \delta\) then \(f(x) \lt L+\eps \lt 0\). Hence, \(f(x) \lt 0\) for some \(x\in A\). An alternative proof: If \(f\) converges to \(L\) at \(c\) then for any sequence \((x_n)\) converging to \(c\), \(x_n\neq 0\), we have that \(f(x_n)\rightarrow L\). Now \(f(x_n)\geq 0\) and therefore \(L\geq 0\) from our results on limits of sequences.
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). Suppose that \(M_1\leq f(x) \leq M_2\) for all \(x\in A\) and suppose that \(\lim_{x\rightarrow c}f(x) = L\). Then \(M_1\leq L\leq M_2\).
We have that \(0\leq f(x)-M_1\) and therefore by Theorem 4.2.8 we have that \(0\leq L-M_1\). Similarly, from \(0\leq M_2 -f(x)\) we deduce that \(0\leq M_2 - L\). From this we conclude that \(M_1\leq L\leq M_2\). An alternative proof: Since \(f\rightarrow L\) at \(c\), for any sequence \((x_n)\rightarrow c\) with \(x_n\neq 0\), we have that \(f(x_n)\rightarrow L\). Clearly, \(M_1\leq f(x_n)\leq M_2\) and therefore \(M_1\leq L\leq M_2\).
The following is the Squeeze Theorem for functions.
Let \(f,g,h:A\rightarrow\real\) be functions and let \(c\) be a cluster point of \(A\). Suppose that \(\displaystyle\lim_{x\rightarrow c}g(x) = L\) and \(\displaystyle\lim_{x\rightarrow c}h(x) = L\). If \(g(x)\leq f(x)\leq h(x)\) for all \(x\in A\), \(x\neq c\), then \(\displaystyle\lim_{x\rightarrow c}f(x) = L\).
Let \((x_n)\) be a sequence in \(A\) converging to \(c\), \(x_n\neq c\). Then \(L=\lim g(x_n) = \lim h(x_n)\). Clearly \(g(x_n)\leq f(x_n)\leq h(x_n)\), and therefore by the Squeeze Theorem for sequences we have that \(\lim f(x_n)=L\). This holds for every such sequence and therefore \(f\rightarrow L\) at \(c\).
Let \[ f(x) = \begin{cases} x^2\sin(1/x), & x\in\mathbb{Q}\backslash\hspace{-0.3em}\{0\}\\[2ex] x^2\cos(1/x), & x\notin\mathbb{Q}\\[2ex] 0, & x=0.\end{cases} \] Show that \(\lim_{x\rightarrow 0} f(x) = 0\).
We end this section with the following theorem.
Let \(f:A\rightarrow\real\) be a function and let \(c\) be a cluster point of \(A\). Suppose that \(\lim_{x\rightarrow c}f(x) = L\). If \(L \gt 0\) then there exists \(\delta \gt 0\) such that \(f(x) \gt 0\) for all \(x\in (c-\delta, c+\delta)\), \(x\neq c\).
Choose \(\eps \gt 0\) so that \(L-\eps \gt 0\), take for example \(\eps=L/2\). Then there exists \(\delta \gt 0\) such that \(L-\eps \lt f(x) \lt L+\eps\) for all \(x\in (c-\delta, c+\delta)\), \(x\neq c\).

Exercises

Let \(f,g:A\rightarrow\real\) and suppose that \(c\in\real\) is a cluster point of \(A\). Suppose that at \(c\), \(f\) converges to \(L\) and \(g\) converges to \(M\). Prove that \(fg\) converges to \(LM\) at \(c\) in two ways: (1) using the \(\varepsilon\)-\(\delta\) definition, and (2) using the sequential criterion for limits.
Give an example of a set \(A\subset\real\), a cluster point \(c\) of \(A\), and two functions \(f,g:A\rightarrow\real\) such that \(\displaystyle\lim_{x\rightarrow c}f(x)g(x)\) exists but \(\displaystyle\lim_{x\rightarrow c}f(x)\) does not exist.
Give an example of a function \(f:\real\rightarrow\real\) that is bounded locally at \(c=0\) but does not have a limit at \(c=0\). Your answer should not be in the form of a graph.
Let \(f:\real\rightarrow\real\) be a function that is bounded locally at \(c\) and suppose that \(g:\real\rightarrow\real\) converges to \(L=0\) at \(c\). Prove that \(\displaystyle\lim_{x\rightarrow c} f(x)g(x)=0\).