Proof 1
Note here that if \(f\) was defined as \(f(x) = \frac{1}{x}\), then we can’t really talk about continuity at \(x = 0\) since \(f\) is not even defined on \(x = 0\). To address this, we define \(f\) as the problem statement
This function is defined on \(0\). We can now discuss continuity at \(x = 0\). We will show that \(f\) is not continuous at \(x = 0\). Take \(\epsilon_0 = 1\). Then for every \(\delta > 0\), we want to show that there exists some \(x \in [0,1]\) such that
To do this, consider the following cases:
Case 1: \(0 < \delta < \frac{1}{2}\). Then set
Then
Now observe that
Case 2: \(\delta > \frac{1}{2}\). Then set
Then
Now observe that
In both cases, we see that \(|f(x) - f(0)| > \epsilon_0\). Thus, \(f\) is not continuous at \(x = 0\). \(\ \blacksquare\)
Proof 2
Consider the sequence \(x_n = \frac{1}{n}\). \(x_n \in (0,1]\). Note that \(x_n\) approaches \(0\) as \(n\) approaches \(\infty\). But now
However
So \(f(x_n)\) doesn’t converge as \(n \to \infty\). By the Sequential Characterization of Continuity, every sequence \(x_n\) such that \(x_n \to 0\), we must have \(f(x_n) \to f(0)\). Hence, \(f\) is not continuous at \(x = 0\). \(\ \blacksquare\)
References
- Introduction to Analysis, An, 4th edition by William Wade
- Lecture Notes by Professor Chun Kit Lai