Bourbaki

Remark 2

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

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

Similarly, if θ\theta is a complex measure, ff is said to be locally θ\theta-integrable if it is locally ∣θ∣|\theta|-integrable, and one defines the measure f⋅θ:K↦fK⋅θKf \cdot \theta : K \mapsto f_K \cdot \theta_K. One has ∣f⋅θ∣=∣f∣⋅∣θ∣|f \cdot \theta| = |f| \cdot |\theta| (Ch. V, §5, No. 2, Prop. 2). In this No., we shall leave aside everything concerning non-positive measures.

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.