Proposition 11

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

— *For every finite real number $\alpha > 0$ and every numerical function $f \geqslant 0$ defined on X,

\mu^*(\alpha f) = \alpha \mu^*(f).

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

Cited by

Nothing.