Definition 3
Tag 09AD, permanent. Cite it as [Bourbaki, Tag 09AD].
Integration, VI, p. 23, § 2. Vectorial measures . "
*Let be a vectorial measure on with values in . If is a lower semi-continuous semi-norm on , is said to be q-majorizable if there exists a positive measure such that for every ; the supremum of the measures as runs over (Ch. III, §2, No. 4, Th. 3) is then denoted . One says that is majorizable if it is q-majorizable for every continuous semi-norm on .
If and are both q-majorizable, it is immediate that is also q-majorizable and that
When is a normed space, with norm denoted , to say that is majorizable therefore means that the measures , where , are bounded above by a same positive measure; one then denotes by the supremum of this family of measures.
If , the measure corresponding to the Euclidean norm on coincides with the measure denoted by 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.