Bourbaki

Corollary

Tag 08YW, permanent. Cite it as [Bourbaki, Tag 08YW].

Integration, chapter IV, § 7. Barycenters

*Let E be a Hausdorff locally convex space over R\mathbf{R}, 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 x∈C\mathbf{x} \in C there exist a compact convex subset K of C and a measure λ≥0\lambda \geq 0 on K of total mass 1, such that K−(M∩K)K - (M \cap K) is λ\lambda-negligible and the barycenter of λ\lambda is equal to x\mathbf{x}.

For, x\mathbf{x} belongs to a cap K of C (TVS, II, §7, No. 2, Prop. 5), and M∩KM \cap K 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.

Cites

Transcribed from the printed volume. Not translated.