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 defined on an interval we say that a function defined on is a primitive of if is continuous on and has a derivative equal to at every point of the complement (with respect to ) of a countable subset of .
If also admits a derivative equal to at every point of , one says that is a strict primitive of .
With this definition, one sees that the real function considered above admits a primitive equal to .
It is clear that if admits a primitive on then every primitive of is also a primitive of every function which is equal to except at the points of a countable subset of . By an abuse of language one speaks of a primitive on of a function defined only on the complement (with respect to ) of a countable subset of : this will be the primitive of every function defined on and equal to at the points where 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.