Real Analysis

Rigorous Foundations of Calculus

About This Series

Real analysis is the field that provides rigorous foundations for calculus and forms the bedrock of modern mathematics. It answers fundamental questions such as "Why does this limit exist?" and "Under what conditions are differentiation and integration inverse to one another?", and further develops into measure theory and Lebesgue integration.

The emphasis is on proofs and conceptual understanding rather than computation techniques. The goal is to progress from "being able to compute" to "being able to explain why the computation is valid."

Learning by Level

Introduction

High school to 1st-year undergraduate

  • Why rigor is necessary
  • What are the real numbers?
  • Limits of sequences
  • Intuition for continuity

Basic

1st-2nd year undergraduate

  • $\varepsilon$-$\delta$ proofs
  • Sequences, series and the completeness of the reals
  • Properties of continuous functions
  • Rigorous differentiation

Intermediate

3rd-4th year undergraduate

  • Riemann integration
  • Uniform convergence
  • Introduction to measures
  • Lebesgue integration

Advanced

Graduate level

  • $L^p$ spaces
  • Fourier analysis
  • Bounded variation, absolute continuity and the Radon-Nikodym theorem
  • Bridge to functional analysis

Learning Path

Introduction HS to 1st Year Basic 1st-2nd Year Intermediate 3rd-4th Year Advanced Graduate Intro: Properties of reals, intuition for limits, continuity Basic: ε-δ proofs, sequences & series, rigorous differentiation Intermediate: Riemann integral, uniform convergence, Lebesgue integral Advanced: Lᵖ spaces, Fourier analysis, functional analysis
Figure 1: Learning Path

Concept Relationships

Analysis Measure Theory Reals ℝ Limits Continuity Diff. Riemann Int. Set Theory Measure Lebesgue Int. Lᵖ Spaces FTC
Figure 2: Key concepts of real analysis and how they connect as you learn them. The arrows show the order in which the ideas develop, not logical implication (differentiability implies continuity, not the converse).

Riemann vs Lebesgue Integration

Approximating the same function $f(x) = x^2$ ($0 \leq x \leq 1$) by two different methods.

Riemann Integration x y 0 1 Partition the x-axis Lebesgue Integration x y 0 1 Partition the range, measure the x-sets
Figure 3: Two methods for approximating the integral of $f(x)=x^2$. On the left the domain (the $x$-axis) is partitioned into strips. On the right the range (the $y$-axis) is partitioned, and the width of each rectangle is the size (measure) of the set $E_k=\{x : y_k \le f(x) < y_{k+1}\}$. The Lebesgue integral is defined in the form $\sum_k a_k\,\mu(E_k)$.

Key Topics

Construction of the Real Numbers

Filling the "gaps" in the rationals to construct the reals. Construction via Dedekind cuts and Cauchy sequences.

Limits and Continuity

Rigorous definitions via $\varepsilon$-$\delta$ proofs. Sequential compactness, uniform continuity.

Measure and Integration

Generalizing "length" and "area." A modern framework based on Lebesgue measure and integration.

Function Spaces

$L^p$ spaces (Banach spaces for $1 \le p < \infty$; a Hilbert space when $p=2$). A shift in perspective: treating functions as "points."

Why Study Real Analysis?

Being able to "compute" in calculus is often not enough:

  • Interchange of limits: When can $\lim$ and $\int$, or $\sum$ and $\int$, be interchanged?
  • Types of convergence: The difference between pointwise and uniform convergence matters in practice
  • Limitations of integration: How to handle functions that Riemann integration cannot deal with
  • Infinite dimensions: How to measure "closeness" in function spaces

Real analysis answers these questions and serves as the foundation for probability theory, partial differential equations, functional analysis, and many other fields.

Applications

  • Probability theory: measure theory and Lebesgue integration as the mathematical foundation of modern probability
  • Partial differential equations: Weak solutions, Sobolev spaces
  • Functional analysis: Theory of $L^p$ spaces and Hilbert spaces
  • Signal processing: Fourier analysis, sampling theorem
  • Numerical analysis: Theoretical guarantees for convergence and stability
  • Machine learning: Functional optimization, kernel methods

Frequently Asked Questions

What is real analysis?

Real analysis is the branch of mathematics that provides rigorous foundations for calculus. It reconstructs concepts such as limits, continuity, differentiation, and integration using precise definitions like the ε-δ formalism, and further develops into measure theory and Lebesgue integration. The goal is to progress from 'being able to compute' to 'being able to explain why the computation is valid.'

What is the difference between Lebesgue integration and Riemann integration?

Riemann integration partitions the domain (the x-axis) and builds sums from the function values. Lebesgue integration instead groups the points of the domain by the range of the function value and uses the measure of each set $E_k=\{x : y_k \le f(x) < y_{k+1}\}$. Intuitively, Riemann partitions the x-axis while Lebesgue looks at the function from the y-axis side. Lebesgue integration can handle a broader class of functions and admits powerful theorems on the interchange of limits and integrals (Monotone Convergence Theorem, Dominated Convergence Theorem). Measure theory and Lebesgue integration are an essential foundation for modern probability theory and functional analysis.

What prerequisites are needed to study real analysis?

The basic prerequisites are familiarity with high-school calculus and comfort with logical proofs. The introductory level begins with intuitive understanding, while the basic level formally introduces ε-δ proofs. From the intermediate level onward, knowledge of set theory fundamentals and linear algebra is also helpful.