Bourbaki

Definition 1

Tag 0870, permanent. Cite it as [Bourbaki, Tag 0870].

Functions of a Real Variable, chapter II, § 1. PRIMITIVES AND INTEGRALS

Given a vector function ff defined on an interval I⊂RI \subset \mathbf{R} we say that a function gg defined on II is a primitive of ff if gg is continuous on II and has a derivative equal to f(x)f(x) at every point xx of the complement (with respect to II) of a countable subset of II.

If also gg admits a derivative equal to f(x)f(x) at every point xx of II, one says that gg is a strict primitive of ff.

With this definition, one sees that the real function ff considered above admits a primitive equal to ∣x∣|x|.

It is clear that if ff admits a primitive on II then every primitive of ff is also a primitive of every function which is equal to ff except at the points of a countable subset of II. By an abuse of language one speaks of a primitive on II of a function f0f_0 defined only on the complement (with respect to II) of a countable subset of II: this will be the primitive of every function ff defined on II and equal to f0f_0 at the points where f0f_0 is defined.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.