Bourbaki

Remark

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

Integration, VI, p. 27, § 2. Vectorial measures . "

If z=∑i=1nzieiz = \sum_{i=1}^n z_i e_i then ψ(z1,…,zn)=∣z∣\psi(z_1, \ldots, z_n) = |z| is a positively homogeneous continuous function on Rn\mathbf{R}^n. Setting μi=ei′∘m=hi⋅∣m∣\mu_i = e'_i \circ m = h_i \cdot |m|, by definition (Ch. V, §5, No. 9) ψ(μ1,…,μn)=ψ(h1,…,hn)⋅∣m∣=∣h∣⋅∣m∣=∣m∣\psi(\mu_1, \ldots, \mu_n) = \psi(h_1, \ldots, h_n) \cdot |m| = |h| \cdot |m| = |m|.

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.