Definition 1
Tag 09A3, permanent. Cite it as [Bourbaki, Tag 09A3].
Integration, VI, p. 18, § 2. Vectorial measures . "
Let F be a Hausdorff locally convex space over R. One calls vectorial measure on T with values in F every continuous linear mapping of the space into F.
Def. 1 may also be expressed as follows: a vectorial measure on T with values in F is a linear mapping m of into F such that, for every compact subset K of T, the restriction of m to is continuous for the topology of uniform convergence. If , one also writes or instead of . The measures with values in are sometimes called real measures (Ch. III, §1, No. 5) or scalar measures on T.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.