Fiveable

๐Ÿƒ๐Ÿฝโ€โ™€๏ธโ€โžก๏ธIntro to Mathematical Analysis Unit 9 Review

QR code for Intro to Mathematical Analysis practice questions

9.1 Definition of Riemann Integral

9.1 Definition of Riemann Integral

Written by the Fiveable Content Team โ€ข Last updated August 2025
Written by the Fiveable Content Team โ€ข Last updated August 2025
๐Ÿƒ๐Ÿฝโ€โ™€๏ธโ€โžก๏ธIntro to Mathematical Analysis
Unit & Topic Study Guides

The Riemann integral is a fundamental concept in calculus, defining how we measure the area under a curve. It's all about breaking up a function into tiny pieces, adding them up, and seeing what happens as those pieces get infinitely small.

This idea connects to the broader study of integration by providing a rigorous way to calculate areas and volumes. Understanding the Riemann integral helps us tackle more complex integration problems and lays the groundwork for advanced calculus concepts.

Riemann Integral for Bounded Functions

Definition and Notation

  • The Riemann integral defines the integral of a bounded function f(x)f(x) on a closed interval [a,b][a, b]
  • f(x)f(x) is bounded on [a,b][a, b] if there exist real numbers mm and MM such that mโ‰คf(x)โ‰คMm \leq f(x) \leq M for all xx in [a,b][a, b]
  • The Riemann integral of f(x)f(x) over [a,b][a, b] is denoted as โˆซabf(x)dx\int_a^b f(x) dx
  • If the limit of Riemann sums exists for f(x)f(x) on [a,b][a, b], then f(x)f(x) is Riemann integrable on [a,b][a, b]

Riemann Sums and Integrability

  • The Riemann integral is defined as the limit of Riemann sums as the norm of the partition approaches zero, if this limit exists
    • The norm (or mesh) of a partition PP, denoted as โˆฃโˆฃPโˆฃโˆฃ||P||, is the length of the largest subinterval in the partition
    • The Riemann sum approximates the area under the curve of f(x)f(x) over [a,b][a, b] by summing the areas of rectangles with heights f(ฮพi)f(\xi_i) and widths ฮ”xi\Delta x_i
  • A function f(x)f(x) is Riemann integrable on [a,b][a, b] if and only if for every ฮต>0\varepsilon > 0, there exists a ฮด>0\delta > 0 such that for any partition PP with โˆฃโˆฃPโˆฃโˆฃ<ฮด||P|| < \delta and any choice of sample points, โˆฃS(P,f)โˆ’Iโˆฃ<ฮต|S(P, f) - I| < \varepsilon, where II is the value of the integral

Partitions and Riemann Sums

Partitions and Subintervals

  • A partition PP of a closed interval [a,b][a, b] is a finite set of points {x0,x1,โ€ฆ,xn}\{x_0, x_1, \ldots, x_n\} such that a=x0<x1<โ€ฆ<xn=ba = x_0 < x_1 < \ldots < x_n = b
  • The subintervals [xiโˆ’1,xi][x_{i-1}, x_i] for i=1,2,โ€ฆ,ni = 1, 2, \ldots, n are called the subintervals of the partition PP
    • For example, if P={0,1,2,3}P = \{0, 1, 2, 3\} on the interval [0,3][0, 3], the subintervals are [0,1][0, 1], [1,2][1, 2], and [2,3][2, 3]
Definition and Notation, File:Riemann sum convergence.png - Wikimedia Commons

Calculating Riemann Sums

  • For each subinterval [xiโˆ’1,xi][x_{i-1}, x_i], choose a sample point ฮพi\xi_i in [xiโˆ’1,xi][x_{i-1}, x_i]
  • The Riemann sum of f(x)f(x) with respect to the partition PP and the chosen sample points is defined as S(P,f)=โˆ‘i=1nf(ฮพi)ฮ”xiS(P, f) = \sum_{i=1}^n f(\xi_i)\Delta x_i, where ฮ”xi=xiโˆ’xiโˆ’1\Delta x_i = x_i - x_{i-1}
    • For example, if f(x)=x2f(x) = x^2 on [0,1][0, 1] with partition P={0,0.5,1}P = \{0, 0.5, 1\} and sample points ฮพ1=0.25\xi_1 = 0.25 and ฮพ2=0.75\xi_2 = 0.75, then S(P,f)=f(0.25)โ‹…0.5+f(0.75)โ‹…0.5=0.0625โ‹…0.5+0.5625โ‹…0.5=0.3125S(P, f) = f(0.25) \cdot 0.5 + f(0.75) \cdot 0.5 = 0.0625 \cdot 0.5 + 0.5625 \cdot 0.5 = 0.3125

Integrability of Functions

Conditions for Integrability

  • Continuous functions on a closed interval [a,b][a, b] are always Riemann integrable
    • For example, f(x)=sinโก(x)f(x) = \sin(x) is continuous on any closed interval and thus Riemann integrable
  • Monotonic functions on a closed interval [a,b][a, b] are always Riemann integrable
    • For example, f(x)=x3f(x) = x^3 is monotonically increasing on any closed interval and thus Riemann integrable
  • Bounded functions with a finite number of discontinuities on a closed interval [a,b][a, b] are Riemann integrable
    • For example, f(x)={1,xโˆˆQ0,xโˆ‰Qf(x) = \begin{cases} 1, & x \in \mathbb{Q} \\ 0, & x \notin \mathbb{Q} \end{cases} is bounded and has infinitely many discontinuities on any interval, so it is not Riemann integrable

Upper and Lower Riemann Integrals

  • f(x)f(x) is Riemann integrable on [a,b][a, b] if and only if the upper and lower Riemann integrals of f(x)f(x) over [a,b][a, b] are equal
  • The upper Riemann integral is the infimum of the upper Riemann sums, while the lower Riemann integral is the supremum of the lower Riemann sums
    • Upper Riemann sum: U(P,f)=โˆ‘i=1nsupโกxโˆˆ[xiโˆ’1,xi]f(x)ฮ”xiU(P, f) = \sum_{i=1}^n \sup_{x \in [x_{i-1}, x_i]} f(x) \Delta x_i
    • Lower Riemann sum: L(P,f)=โˆ‘i=1ninfโกxโˆˆ[xiโˆ’1,xi]f(x)ฮ”xiL(P, f) = \sum_{i=1}^n \inf_{x \in [x_{i-1}, x_i]} f(x) \Delta x_i
Definition and Notation, Riemann sum - Wikipedia

Computing Riemann Integrals

Using the Definition

  • To compute a Riemann integral using the definition, find the limit of Riemann sums as the norm of the partition approaches zero
    • For example, to compute โˆซ01x2dx\int_0^1 x^2 dx, consider the partition Pn={0,1n,2n,โ€ฆ,1}P_n = \{0, \frac{1}{n}, \frac{2}{n}, \ldots, 1\} and the sample points ฮพi=in\xi_i = \frac{i}{n}. The Riemann sum is S(Pn,f)=โˆ‘i=1n(in)21n=1n3โˆ‘i=1ni2S(P_n, f) = \sum_{i=1}^n (\frac{i}{n})^2 \frac{1}{n} = \frac{1}{n^3} \sum_{i=1}^n i^2. As nโ†’โˆžn \to \infty, this sum approaches 13\frac{1}{3}, which is the value of the integral

Properties of Riemann Integrals

  • Linearity: For constants aa and bb, โˆซab[af(x)+bg(x)]dx=aโˆซabf(x)dx+bโˆซabg(x)dx\int_a^b [af(x) + bg(x)] dx = a\int_a^b f(x) dx + b\int_a^b g(x) dx
  • Additivity: If cc is in [a,b][a, b], then โˆซabf(x)dx=โˆซacf(x)dx+โˆซcbf(x)dx\int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dx
  • Monotonicity: If f(x)โ‰คg(x)f(x) \leq g(x) for all xx in [a,b][a, b], then โˆซabf(x)dxโ‰คโˆซabg(x)dx\int_a^b f(x) dx \leq \int_a^b g(x) dx

Fundamental Theorem of Calculus

  • The Fundamental Theorem of Calculus relates the Riemann integral to the antiderivative of a function, providing a powerful tool for computing integrals
    • If F(x)F(x) is an antiderivative of f(x)f(x) on [a,b][a, b], then โˆซabf(x)dx=F(b)โˆ’F(a)\int_a^b f(x) dx = F(b) - F(a)
    • For example, since F(x)=13x3F(x) = \frac{1}{3}x^3 is an antiderivative of f(x)=x2f(x) = x^2, we have โˆซ01x2dx=F(1)โˆ’F(0)=13โˆ’0=13\int_0^1 x^2 dx = F(1) - F(0) = \frac{1}{3} - 0 = \frac{1}{3}