Bourbaki

Proposition 8

Tag 08QJ, permanent. Cite it as [Bourbaki, Tag 08QJ].

Integration, IV, p. 14, § 2. Negligible functions and sets

Let (Fn)(F_n) be a countable family (finite or infinite) of sets. For every index n, let fn,gnf_n, g_n be two equivalent mappings of X into FnF_n; then, there exists a negligible set H such that, for every x∉Hx \notin H, fn(x)=gn(x)f_n(x) = g_n(x) for all n.

For, the set HnH_n of x∈Xx \in X such that fn(x)≠gn(x)f_n(x) \neq g_n(x) is negligible, therefore so is their union H (No. 2, Prop. 4), and this set meets the requirements.

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

Cited by

Cites

Transcribed from the printed volume. Not translated.