Proposition 1
Tag 08BE, permanent. Cite it as [Bourbaki, Tag 08BE].
Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS
Let be a point of and a point of ; for a continuous function to be a solution of the equation (1) on and take the value at the point , it is necessary and sufficient that it satisfies the relation
for every .
Indeed, by lemma 1, if is a solution of (1) on , then is regulated, so the right-hand side of (6) is defined and equal to for every . Conversely, if is a continuous function that satisfies (6) then is regulated, by lemma 1, so has derivative equal to except at the points of a countable subset of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.