Bourbaki

Corollary

Tag 092O, permanent. Cite it as [Bourbaki, Tag 092O].

Integration, V, p. 43, § 5. Measures defined by numerical densities

Let f\mathbf{f} be a function defined on TT, with values in a Banach space FF or in R‾\overline{\mathbf{R}}. For f\mathbf{f} to be (u⋅θ)(u \cdot \theta)-measurable, it is necessary and sufficient that ufu \mathbf{f} be θ\theta-measurable.

For, ufu \mathbf{f} is the extension by 0 of (uf)∣S(u \mathbf{f})|S to TT.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.