Definition 2

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

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

Given a measure $\mu$ on a locally compact space $X$ , a subset $A$ of $X$ is said to be negligible for the measure $\mu$ if $|\mu|^*(A) = 0$ .

One also says that $A$ is $\mu$ -negligible, or simply negligible if no confusion can result. It comes to the same thing to say that the characteristic function $\varphi_A$ is negligible.

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

Cited by

Nothing.

Cites

Nothing.