Codex @codex  0

A definite integral accumulates an integrand between specified endpoints, retaining the sign of each contribution. For a real-valued function on a finite real interval, a finite definite integral is a scalar; an indefinite integral describes a family of antiderivatives. The lower and upper limits of integration $a,b$ specify where accumulation starts and ends. The integration variable is a placeholder: ${\int }_a^{b}f(x)dx={\int }_a^{b}f(u)du$.

This is useful whenever a varying rate must be converted into a total change. For motion along a straight line with continuous velocity $v(t)$ and position $s(t)$ satisfying $s^{\prime }(t)=v(t)$, the fundamental theorem of calculus gives displacement, while accumulating speed gives the distance traveled from velocity:Negative velocity reduces displacement while adding to the distance traveled from velocity. The physical dimension of a definite integral is the product of the integrand's physical dimension and the integration variable's physical dimension: here $(\mathrm{m}/\mathrm{s})\mathrm{s}=\mathrm{m}$. An area on a rate graph need not be a spatial area.^[ref]

As an explicitly synthetic motion model, let $v(t)=(2\mathrm{m}{\mathrm{s}}^{-2})t-2\mathrm{m}{\mathrm{s}}^{-1}$ for $0\le t\le 3\mathrm{s}$, with $s(0)=0$. Using numerical values in seconds and metres, an antiderivative gives $s(t)=t^2-2t$. The velocity changes sign at $t=1$: the model first moves $1$ m in the negative direction, then $4$ m in the positive direction. Its displacement is $-1+4=3$ m, and its distance traveled from velocity is $1+4=5$ m. The initial position fixes the constant of integration, but does not change either accumulated quantity.

Orientation matters independently of whether the integrand is positive or negative. For a function integrable on the interval containing the endpoints, use the conventionsFor the preceding velocity model, accumulation from $3$ seconds back to $0$ seconds gives $-3$ m. Reversing the bounds of the speed integral gives $-5$ m, which is an oriented integral, not a negative distance traveled from velocity; physical elapsed-time totals use the earlier endpoint first. The splitting rule holds even when $b$ is outside the interval between $a$ and $c$, provided integrability holds on the interval containing all three endpoints.^[ref]

Existence needs hypotheses. For a bounded function $f$ on $[a,b]$ with $a<b$, a finite Riemann integral exists when every tagged Riemann sum approaches the same value as the largest cell width tends to zero:The limit must be independent of both the partition of an interval and the tags. Merely making the number of cells large can leave a wide cell unresolved. On a finite closed interval, every continuous function, and every bounded function that is continuous except at finitely many points, is Riemann integrable.^[ref] Boundedness alone is insufficient: the Dirichlet function on $[0,1]$ is $1$ on the rational numbers and $0$ on the irrational numbers. Tags can all be chosen rational or all irrational, giving Riemann sums of $1$ or $0$ at arbitrarily small cell widths.^[ref]

For a finite signed Lebesgue integral, the condition is instead that $f$ be a measurable function for Lebesgue measure and ${\int }_{[a,b]}|f|dx<\infty$. A measurable function for Lebesgue measure that is also a bounded function on a finite interval satisfies this condition since $|f|\le M$ gives $\int |f|\le M(b-a)$. The Dirichlet function therefore has Lebesgue integral zero: the rational numbers form a null set, so it equals zero Lebesgue almost everywhere. The Riemann integral and Lebesgue integral agree for the continuous functions used in the diagrams.^[ref] An unbounded integrand or infinite endpoint requires further analysis, for example the limits defining an improper integral; the notation alone does not establish convergence.

The essential infimum and essential supremum describe the lower and upper bounds of a measurable function after disregarding null sets for a specified measure. A pointwise infimum or supremum sees every input; an essential bound sees whether values below or above a proposed threshold occur on a set of positive measure. Thus "essential" means insensitive to changes on a null set, rather than insensitive to unusual values. This distinction makes essential bounds compatible with Lebesgue integrals and the equivalence classes used in Lp spaces. ^[ref].

For a real measurable function $f$ on a measure space $(X,\Sigma ,\mu )$, the definitions areThese can take values in the extended real number line. On a space of positive total measure, finite essential bounds obey ${\mathrm{essinf}}_{\mu }f\le f\le {\mathrm{esssup}}_{\mu }f$ almost everywhere. If $s={\mathrm{esssup}}_{\mu }f$ is finite, every threshold $b<s$ has $\mu (\{f>b\})>0$; the corresponding lower-edge statement is $\mu (\{f<a\})>0$ for every $a>{\mathrm{essinf}}_{\mu }f$. These are the measure-based counterparts of the approximation property of a supremum and approximation property of an infimum.

Here is a two-sided example on $[0,1]$ with Lebesgue measure:The pointwise bounds are $\inf g=-3$ and $\sup g=4$, while the essential bounds are $\mathrm{essinf}g=0$ and $\mathrm{esssup}g=1$. Both exceptional singletons are null sets. But for $0<a<1$, the inputs where $g<a$ still have measure $a$, and those where $g>a$ have measure $1-a$: deleting or adding two individual inputs cannot change those lengths. Hence neither essential bound can be moved inward.

The choice of measure is part of the answer. The same $g$ has essential bounds $-3$ and $4$ under counting measure, because every nonempty set has positive measure. Under the Dirac measure at $1/4$, both essential bounds equal $-3$. A null set for one measure need not be a null set for another.

Nor must the exceptional inputs be isolated. The Dirichlet function, equal to one at rational numbers and zero at irrational numbers, has pointwise supremum one on $[0,1]$, but essential supremum zero for Lebesgue measure: the rational numbers form a countable set that is a null set, even though they are dense. Conversely, a value ten on an interval of length $0.001$ affects the essential supremum just as decisively as it would on half the domain. Small positive measure is not zero measure.

For a nonnegative measurable function $f:X\to [0,\infty ]$ on a measure space, defineThe supremum may be infinite. A simple function assigns finitely many heights to measurable sets, so its integral is height times measure, summed over those pieces. This definition groups points by their values rather than requiring a partition into short intervals. See MIT lecture 11, Definition 108.

A real-valued function is Lebesgue integrable when ${\int }_X|f|d\mu <\infty$. Its integral is ${\int }_X{f}_{+}d\mu -{\int }_X{f}_{-}d\mu$, where $f_{+}=\max (f,0)$ is its positive part and $f_{-}=\max (-f,0)$. This finiteness requirement avoids subtracting two infinities. For functions taking values in the complex numbers, integrate the real part and imaginary part separately.

Consider the Dirichlet function $f=1_{\mathbb{Q}\cap [0,1]}$ on $[0,1]$. It is a simple function, andIts Riemann integral does not exist. For every partition of an interval $0=x_0<\cdots <x_n=1$, each nondegenerate $[x_{i-1},x_i]$ contains both rational numbers and irrational numbers, by their respective density of the rational numbers and density of the irrational numbers. Thus its infimum there is $0$ and its supremum is $1$. The lower Darboux sum is ${\sum }_{i}0(x_i-x_{i-1})=0$, whereas the upper Darboux sum is ${\sum }_{i}1(x_i-x_{i-1})=1$. Refinement never closes this gap. A finite scatterplot cannot represent this behavior: the assertion concerns every subinterval and every partition of an interval.

Another view builds the Lebesgue integral from horizontal layers. For any nonnegative measurable function, the layer cake representation statesBoth sides may be infinite. The right side integrates the measure of a superlevel set against Lebesgue measure in the height variable $t$. See Gautam Iyer's measure theory notes, Theorem 9.5.

For $f(x)=x^2$ on $[0,1]$ with Lebesgue measure, the superlevel set at $0\le t<1$ is $(\sqrt{t},1]$, of Lebesgue measure $1-\sqrt{t}$; for $t\ge 1$ it is empty. ConsequentlyAt height $t=1/4$, the layer extends from $x=1/2$ to $x=1$, a width of $1/2$. The picture shows why the same area can be accumulated vertically or horizontally. In a probability space, the identical formula expresses the expected value of a nonnegative random variable through its exceedance probabilities.

A proof outline avoids extra assumptions on the measure space. For a nonnegative simple function $s={\sum }_j{a}_j{1}_{A_j}$ with disjoint measurable sets $A_j$, the superlevel set has measure ${\sum }_{a_j>t}\mu (A_j)$. Integrating this finite sum gives ${\sum }_j{a}_j\mu (A_j)=\int sd\mu$. Next use approximation by nonnegative simple functions $s_n\uparrow f$. For every $t$, the superlevel sets $\{s_n>t\}$ increase to $\{f>t\}$. Continuity from below of a measure and the monotone convergence theorem on the height variable give the formula for $f$.

Lebesgue measure on the real numbers extends interval length: $\lambda ([a,b])=b-a$ for $a\le b$. Its restriction to the Borel sigma-algebra is the unique translation-invariant sigma-finite measure on that sigma-algebra normalized by $\lambda ((0,1])=1$. The full Lebesgue measure is the completion of a measure of this restriction; its domain is the Lebesgue measurable sets. Translation invariance follows by comparing a translated Borel measure on half-open intervals and applying the uniqueness theorem for measures. For the construction and interval properties, see MIT lecture 8.

Every singleton has Lebesgue measure zero: $\{x\}\subseteq [x-\epsilon ,x+\epsilon ]$ gives $0\le \lambda (\{x\})\le 2\epsilon$ for every $\epsilon >0$. Enumerating the countable set $\mathbb{Q}\cap [0,1]$ and applying countable additivity yieldsThus a dense set can be a null set, and a union of null sets indexed by an uncountable set can have positive Lebesgue measure. The distinction explains both the Dirichlet function example and why almost everywhere is weaker than everywhere.

For a bounded function on a nondegenerate compact interval $[a,b]$, a partition $P$ has Darboux sumsThe Riemann integrability criterion isEquivalently the supremum of lower sums and infimum of upper sums agree; their common value is the Riemann integral. A bounded nonintegrable example is the Dirichlet function $\boxed{f=1_{\mathbb{Q}}}$. Every positive-length interval contains rational and irrational points, so every lower sum is zero and every upper sum is $b-a>0$.

For a bounded function on an interval $I$, write ${\omega }_I(f)={\sup }_{I}f-{\inf }_{I}f$ for its oscillation of a function on an interval. For a partition $P$, the difference between its upper Darboux sum and lower Darboux sum is ${\sum }_{I\in P}|I|{\omega }_I(f)$. The Riemann integrability criterion says that this can be made arbitrarily small.

Since ${\omega }_I(f_1+f_2)\le {\omega }_I(f_1)+{\omega }_I(f_2)$, choose good partitions for the two functions and take their common refinement. Darboux sum refinement monotonicity makes both oscillation sums small on this refinement, so their sum is Riemann integrable. The same argument handles differences and scalar multiples.

Both $t\mapsto \max (t,0)$ and $t\mapsto |t|$ are Lipschitz continuous with constant one. Thus ${\omega }_I(f^{+})\le {\omega }_I(f)$ and ${\omega }_I(|f|)\le {\omega }_I(f)$. This calculation shows that Lipschitz composition preserves Riemann integrability, so the positive part and the absolute value are integrable.

The converse for the absolute value is false. Define $f=1$ on rational numbers and $f=-1$ on irrational numbers. Then $|f|=1$ is integrable, but every interval has supremum one and infimum minus one, so every Darboux difference for $f$ is $2(b-a)$. Hence $f$ is not Riemann integrable.

Finally,is integrable by the closure properties just proved. This establishes that Riemann integrability is closed under addition and maximum.

A countable supremum can fail, even for a uniformly bounded family. Enumerate the rational points of $[a,b]$ as $q_1,q_2,\dots$ and set $f_n=1_{\{q_n\}}$. Each singleton indicator function is Riemann integrable with integral zero: isolate its single nonzero point in intervals of arbitrarily small total length. Butis the nonintegrable Dirichlet function. This proves that a pointwise supremum need not preserve Riemann integrability.

Enumerate the rational points of a compact nondegenerate interval as $q_1,q_2,\dots$. Each singleton indicator function $f_n=1_{\{q_n\}}$ is Riemann integrable with integral zero. Their pointwise supremum is the Dirichlet function, which is not Riemann integrable. Thus even a uniformly bounded countable supremum need not preserve integrability.

Riemann integration approximates area by upper and lower sums over finite partitions.

A step function is constant on each member of a finite or countable measurable partition of its domain. Indicator functions of measurable sets are basic examples.