Bourbaki

Example

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

Integration, chapter IV, § 7. Barycenters

— Let μ\mu be a discrete measure on K, positive and of total mass 1; it is thus of the form μ=∑i=1nλiεxi\mu = \sum_{i=1}^n \lambda_i \varepsilon_{x_i}, where xi∈Kx_i \in K, and the λi\lambda_i are real numbers such that λi≥0\lambda_i \geq 0 for all ii and ∑i=1nλi=1\sum_{i=1}^n \lambda_i = 1. Since ∫x dεy(x)=y\int x\, d\varepsilon_y(x) = y (Ch. III, §3, No. 1, Example 3), bμ=∫x dμ(x)=∑iλixib_\mu = \int x\, d\mu(x) = \sum_i \lambda_i x_i. In particular, for every x∈Kx \in K, x is the barycenter of the measure εx\varepsilon_x.

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.