Definition 3
Tag 0878, permanent. Cite it as [Bourbaki, Tag 0878].
Functions of a Real Variable, chapter II, § 1. PRIMITIVES AND INTEGRALS
One says that a vector function, defined on an interval , with values in a complete normed space over , is a regulated function, if it is the uniform limit of step functions on every compact subset of .
In other words, the regulated functions are the elements of the closure in of the subspace of step functions; is a vector subspace of and since is complete, so is ; in other words, if a function is the uniform limit of regulated functions on every compact subset of , then it is regulated on . For to be regulated on an interval it is necessary and sufficient that its restriction to every compact interval contained in be regulated.
Cor. I to II, p. 53 shows:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.