Fixed typo in FTC for Riemann integrals.
All checks were successful
Compile Project / Compile (push) Successful in 23s

This commit is contained in:
Bokuan Li
2026-04-28 18:09:27 -04:00
parent 225794ff81
commit 95829261c7

View File

@@ -95,10 +95,10 @@
\end{enumerate}
\end{theorem}
\begin{proof}
(1): Let $x_0 \in (a, b)$ such that $f$ is continuous at $x$, and $\delta > 0$ such that $(x_0 - \delta, x_0 + \delta) \subset (a, b)$, then for any $h > 0$,
(1): Let $x \in (a, b)$ such that $f$ is continuous at $x$, and $\delta > 0$ such that $(x_0 - \delta, x_0 + \delta) \subset (a, b)$, then for any $h > 0$,
\begin{align*}
\frac{1}{h}\braks{\int_a^{x+h} f(t)dt - \int_a^{x} f(t)dt} &= \frac{1}{h}\int_x^{x+h}f(t)dt \in \overline{\text{Conv}(f([t, t +h)))} \\
-\frac{1}{h}\braks{\int_a^{x-h} f(t)dt - \int_a^{x} f(t)dt} &= \frac{1}{h}\int_{x-h}^{x}f(t)dt \in \overline{\text{Conv}(f([t, t +h)))}
\frac{1}{h}\braks{\int_a^{x+h} f(t)dt - \int_a^{x} f(t)dt} &= \frac{1}{h}\int_x^{x+h}f(t)dt \in \overline{\text{Conv}(f([x, x +h)))} \\
-\frac{1}{h}\braks{\int_a^{x-h} f(t)dt - \int_a^{x} f(t)dt} &= \frac{1}{h}\int_{x-h}^{x}f(t)dt \in \overline{\text{Conv}(f((x - h, x]))}
\end{align*}
As $E$ is locally convex and separated, and $f$ is continuous at $x$, this implies that $[F(x + h) - F(x)]/h \to f(x)$.