Intereting Posts

Prove that $e^{-A} = (e^{A})^{-1}$
Let $K$ be a subfield of $\mathbb{C}$ not contained in $\mathbb{R}$. Show that $K$ is dense in $\mathbb{C}$.
Open cover rationals proper subset of R?
A number is a perfect square if and only if it has odd number of positive divisors
How to prove $(1+1/x)^x$ is increasing when $x>0$?
Is a ring with the following properties simple?
Found an recursive identity (involving a continued fraction) for which some simplification is needed.
Prove using a strategy stealing argument that player 1 has a winning strategy in the chomp game
Asymptotic expansion of $\int_{0}^{\infty} \frac{\sin(\frac{x}{n})}{x(1+x^2)}dx$?
$p$ divides $ax+by+cz$
Complex Analysis Solution to the Basel Problem ($\sum_{k=1}^\infty \frac{1}{k^2}$)
proving tautologically equivalent
Example of $A \le G$ solvable, $B \lhd G$ solvable, but $AB$ is not solvable
Find all integral solutions to $a+b+c=abc$.
Essential Supremum vs. Uniform norm

One of the standard definitions of Riemann Integral is as follows:

Let $f$ be bounded on $[a, b]$. For any partition $P = \{x_{0}, x_{1}, x_{2}, \ldots, x_{n}\}$ of $[a, b]$ and any choice of points $t_{k} \in [x_{k – 1}, x_{k}]$ the sum $$S(P, f) = \sum_{k = 1}^{n}f(t_{k})(x_{k} – x_{k – 1})$$ is called a Riemann sum for $f$ over $P$ and tags $t_{k}$. The norm of $P$ denoted by $||P||$ is defined as $||P|| = \max_{k = 1}^{n}(x_{k} – x_{k – 1})$. A number $I$ is said to be Riemann integral of $f$ over $[a, b]$ if for any arbitrary $\epsilon > 0$ there exists a $\delta > 0$ such that $$|S(P, f) – I| < \epsilon$$ for all Riemann sums $f$ over any partition $P$ with $||P|| < \delta$. When such a number $I$ exists we say that $f$ is Riemann integrable over $[a, b]$ and we write $$I = \int_{a}^{b}f(x)\,dx$$

Note that if $f$ is Riemann integrable over $[a, b]$ then we can choose partition $P$ with points $x_{k} = a + k(b – a)/n$ and $t_{k} = x_{k}$ or $t_{k} = x_{k – 1}$. Thus if $I = \int_{a}^{b}f(x)\,dx$ exists then by definition we have $$\int_{a}^{b}f(x)\,dx = \lim_{n \to \infty}\frac{b-a}{n}\sum_{k = 1}^{n}f\left(a + \frac{k(b – a)}{n}\right)\tag{1}$$

- Why is this proof of the chain rule incorrect?
- $f'$ odd implies that $f$ is even
- How to evaluate $\int \cot^2(x) \;\mathrm dx$?
- Prove that the sum of convex functions is again convex.
- Limit of $\int_0^1\frac1x B_{2n+1}\left(\left\{\frac1x\right\}\right)dx$
- Prove that $f(x)\equiv0$ on $\left$ if $f(0)=0$ and $|f'(x)|\le|f(x)|$

My question is: does the converse hold? If the limit in $(1)$ exists for a certain function $f$ bounded on $[a, b]$ does it mean that $f$ is Riemann integrable over $[a, b]$ according to the definition of Riemann integrability mentioned above?

The reason I ask this question is that many introductory calculus textbooks try to be smart and sort of put $(1)$ as the definition of $\int_{a}^{b}f(x)\,dx$ and hope that they have given a much better definition of integral compared to $F(b) – F(a)$ where $F$ is anti-derivative of $f$.

**Update**: As can be seen from the answer by user mrf, the converse does not hold and the equation $(1)$ can not be used as a definition of Riemann integral for a bounded. Now I update my question with a pedagogic bent.

Why do many introductory calculus textbook try to define Riemann integral as a limit of sum as mentioned in $(1)$? Does it add any value in terms of pedagogy to teach something which is totally wrong?

- lemma: Cauchy sequences are bounded.
- What did Newton and Leibniz actually discover?
- Expansions of meromorphic functions
- Funny integral inequality
- How do we take second order of total differential?
- If $A$ is compact and $B$ is closed, show $d(A,B)$ is achieved
- Generalized sophomore's dream
- Envelope of Projectile Trajectories
- Proving that $\mathbb{Q}$ is neither open or closed in $\mathbb{R}$
- How to make sense out of the $\epsilon-\delta$ definition of a limit?

The converse does not hold. A simple counterexample is the characteristic function of $\mathbb{Q}$ with $a$ and $b$ rational.

You cannot use $(1)$ as a definition of Riemann integrability. On the other hand, if $f$ is continuous on $[a,b]$ you can prove that the limit on the RHS of $(1)$ exists (using uniform continuity), and you can call it the integral of $f$ over $[a,b]$. But this would be a very restricted concept, since you couldn’t even integrate step functions.

Note that all this arguing about Riemann sums has nothing to do with primitives of $f$. It works also for integrals over $n$-dimensional domains.

The *fundamental theorem of calculus*, which connects primitives with such Riemann sums (in the one-dimensional case) is a totally different matter.

- Proving that $\frac{\csc\theta}{\cot\theta}-\frac{\cot\theta}{\csc\theta}=\tan\theta\sin\theta$
- Continuity of infinite $l_p$ matrix
- Why do $2^{\lt\kappa}=\kappa$ and $\kappa^{\lt\kappa}=\kappa$ when the Generalized Continuum Hypothesis holds?
- Extension of linearly independent set to a basis in an infinite dimensional vector space
- How can I find an element $x\not\in\mathfrak mM_{\mathfrak m}$ for every maximal ideal $\mathfrak m$
- Under what conditions does $(\frac{3}{p})(\frac{-1}{p})=1?$ Two ways, different results.
- How to prove there are no solutions to $a^2 – 223 b^2 = -3$.
- General Leibniz rule for triple products
- Element of a set?
- Total quotient ring of $\mathbb Z_{2^n}$
- Residue of complex function
- How does the area of $A+A$ compare to the area of $A-A$?
- Show that it is possible that the limit $\displaystyle{\lim_{x \rightarrow +\infty} f'(x)} $ does not exist.
- Why is Euler's Totient function always even?
- Help with epsilon-delta proof that 1/(x^2) is continuous at a point.