of a given function of a single variable defined on some interval. It is the collection of all primitives of the given function on this interval. If $f$ is defined on an interval $\Delta$ of the real axis and $F$ is any primitive of it on $\Delta$, that is, $F'(x)=f(x)$ for all $x\in\Delta$, then any other primitive of $f$ on $\Delta$ is of the form $F+C$, where $C$ is a constant. Consequently, the indefinite integral (*) consists of all functions of the form $F+C$.
The indefinite Lebesgue integral of a summable function on $[a,b]$ is the collection of all functions of the form
In this case the equality $F'(x)=f(x)$ holds, generally speaking, only almost-everywhere on $[a,b]$.
An indefinite Lebesgue integral (in the wide sense) of a summable function $f$ defined on a measure space $X$ with measure $\mu$ is the name for the set function
defined on the collection of all measurable sets $E$ in $X$.
|||A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian)|
|||S.M. Nikol'skii, "A course of mathematical analysis" , 1–2 , MIR (1977) (Translated from Russian)|
|||V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1982) (Translated from Russian)|
Indefinite integral. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Indefinite_integral&oldid=32817