Some inclusions on the real line:

- Differentiable with a bounded derivative \(\subset\) Lipschitz continuous \(\subset\) absolutely continuous \(\subset\) uniformly continuous \(\subset\) continuous

Proofs:

- Mean Value Theorem,
- Triangle inequality,
- Definition of absolute continuity specialized to one interval,
- Definition of uniform continuity

There is a function discontinuous precisely on \({\mathbb{Q}}\).

\(f(x) = \frac 1 n\) if \(x = r_n \in {\mathbb{Q}}\) is an enumeration of the rationals, and zero otherwise. The limit at every point is 0.

There *do not* exist functions that are discontinuous precisely on \({\mathbb{R}}\setminus {\mathbb{Q}}\).

\(D_f\) is always an \(F_\sigma\) set, which follows by considering the oscillation \(\omega_f\). Use that \(\omega_f(x) = 0 \iff f\) is continuous at \(x\), and \(D_f = \cup_n A_{\frac 1 n}\) where \(A_\varepsilon = \left\{{\omega_f \geq \varepsilon}\right\}\) is closed.

An alternative characterization of **uniform continuity**:
\begin{align*}
\left\|\tau_{y} f-f\right\|_{u} \rightarrow 0 \text { as } y \rightarrow 0
\end{align*}

If \(f\) is Lipschitz on \(X\), then \(f\) is uniformly continuous on \(X\).

Supposing that \begin{align*} {\left\lVert {f(x) - f(y)} \right\rVert} \leq C {\left\lVert {x-y} \right\rVert} ,\end{align*} for a fixed \({\varepsilon}\) take \(\delta({\varepsilon}) \coloneqq{\varepsilon}/C\), then \begin{align*} {\left\lVert {f(x) - f(y)} \right\rVert} &\leq C {\left\lVert {x-y} \right\rVert} \\ &\leq C \delta \\ &= C \qty{{\varepsilon}/C} \\ &= {\varepsilon} .\end{align*}

Every continuous function \(f:X\to Y\) where \(X\) is a compact metric space is uniformly continuous. As a result, if \(f:U\to {\mathbb{R}}\) is continuous, then \(f\) is uniformly continuous on any \(K \subseteq U\) compact.

Fix \({\varepsilon}>0\), we’ll find a \(\delta\) that works for all \(x\in X\) uniformly. For every \(x\in X\), pick a \(\delta_x\) neighborhood satisfying the conditions for (assumed) continuity. Take an open cover by \(\delta_x/2\) balls, extract a finite subcover, take \(\delta\) the minimal radius.

If \(\mathcal F \subset C(X)\) is a family of continuous functions on \(X\), then \(\mathcal F\) *equicontinuous* at \(x\) iff

\begin{align*} \forall \varepsilon > 0 ~~\exists U \ni x \text{ such that } y\in U \implies {\left\lvert {f(y) - f(x)} \right\rvert} < \varepsilon \quad \forall f\in \mathcal{F} .\end{align*}