Bourbaki

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 II, with values in a complete normed space EE over R\mathbf{R}, is a regulated function, if it is the uniform limit of step functions on every compact subset of II.

In other words, the regulated functions are the elements of the closure in Fc(I;E)\mathscr{F}_c(I; E) of the subspace E\mathscr{E} of step functions; E‾\overline{\mathscr{E}} is a vector subspace of Fc(I;E)\mathscr{F}_c(I; E) and since Fc(I;E)\mathscr{F}_c(I; E) is complete, so is E‾\overline{\mathscr{E}}; in other words, if a function is the uniform limit of regulated functions on every compact subset of II, then it is regulated on II. For ff to be regulated on an interval II it is necessary and sufficient that its restriction to every compact interval contained in II 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.

Cites

Transcribed from the printed volume. Not translated.