Bourbaki

Remark

Tag 09P3, permanent. Cite it as [Bourbaki, Tag 09P3].

Integration, IX, p. 31, § 2. Operations on measures

Suppose that π\pi is injective. Let θ\theta be a complex measure such that π\pi is θ\theta-proper and π(θ)=0\pi(\theta) = 0; then θ=0\theta = 0. Indeed, by separating θ\theta into its real and imaginary parts, one can reduce to the case that θ\theta is real. We then have π(θ+)=π(θ−)\pi(\theta^+) = \pi(\theta^-), therefore θ+=θ−\theta^+ = \theta^- (Prop. 8), and finally θ=0\theta = 0.

Here is an important case where condition a) of Prop. 8 is always satisfied.

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.