Category:Definitions/Primitives

From ProofWiki
Jump to: navigation, search

This category contains definitions related to Primitives.
Related results can be found in Category:Primitives.


Primitive of Real Function

Let $F$ be a real function which is continuous on the closed interval $\left[{a \,.\,.\, b}\right]$ and differentiable on the open interval $\left({a \,.\,.\, b}\right)$.

Let $f$ be a real function which is continuous on the open interval $\left({a \,.\,.\, b}\right)$.


Let:

$\forall x \in \left({a \,.\,.\, b}\right): F' \left({x}\right) = f \left({x}\right)$

where $F'$ denotes the derivative of $F$ with respect to $x$.


Then $F$ is a primitive of $f$, and is denoted:

$\displaystyle F = \int f \left({x}\right) \, \mathrm d x$