Bourbaki

Definition 3

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

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

*Let mm be a vectorial measure on TT with values in FF. If qq is a lower semi-continuous semi-norm on FF, mm is said to be q-majorizable if there exists a positive measure μ\mu such that ∣z′∘m∣≤μ|z' \circ m| \leq \mu for every z′∈Aq′z' \in A'_q; the supremum of the measures ∣z′∘m∣|z' \circ m| as z′z' runs over Aq′A'_q (Ch. III, §2, No. 4, Th. 3) is then denoted q(m)q(m). One says that mm is majorizable if it is q-majorizable for every continuous semi-norm qq on FF.

If mm and m′m' are both q-majorizable, it is immediate that m+m′m + m' is also q-majorizable and that

q(m+m′)≤q(m)+q(m′). q(m + m') \leq q(m) + q(m').

When FF is a normed space, with norm denoted ∣x∣|x|, to say that mm is majorizable therefore means that the measures ∣z′∘m∣|z' \circ m|, where ∣z′∣≤1|z'| \leq 1, are bounded above1^1 by a same positive measure; one then denotes by ∣m∣|m| the supremum of this family of measures.

If F=RF = \mathbf{R}, the measure ∣m∣|m| corresponding to the Euclidean norm ∣x∣|x| on R\mathbf{R} coincides with the measure denoted by ∣m∣|m| in Ch. III, §1, No. 5.

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.