Corollary
Tag 08YW, permanent. Cite it as [Bourbaki, Tag 08YW].
Integration, chapter IV, § 7. Barycenters
*Let E be a Hausdorff locally convex space over , C a proper convex cone in E with vertex 0, that is complete and metrizable for the uniform structure induced by the weakened uniform structure of E. Let M be the union of the extremal generators of C. For every there exist a compact convex subset K of C and a measure on K of total mass 1, such that is -negligible and the barycenter of is equal to .
For, belongs to a cap K of C (TVS, II, §7, No. 2, Prop. 5), and contains the set of extremal points of K (loc. cit., Cor. 1 of Prop. 4). It then suffices to apply Th. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.