习题 7, § 4 标签 08P0，永久不变。引用为 [Bourbaki, Tag 08P0]。 积分, III, p. 62 Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。 当记号为习题 6时，假设满足条件或习题。证明对于每个函数 f∈C(X;C)f \in \mathscr{C}(X; \mathbf{C})f∈C(X;C)， ∫f dμ=limJ∫f(xJ,xL−J) dμJ(xJ), \int f \, d\mu = \lim_J \int f(x_J, x_{L-J}) \, d\mu_J(x_J), ∫fdμ=Jlim∫f(xJ,xL−J)dμJ(xJ), 其中极限是相对于LLL的有限子集的有向集合而取的，并且其中xJx_JxJ表示每个x∈Xx \in Xx∈X和每个J⊂LJ \subset LJ⊂L的prJ(x)\operatorname{pr}_J(x)prJ(x)；同样， f(x)=limJ∫f(xJ,xL−J) dμL−J(xL−J) f(x) = \lim_J \int f(x_J, x_{L-J}) \, d\mu_{L-J}(x_{L-J}) f(x)=Jlim∫f(xJ,xL−J)dμL−J(xL−J) 对于每个x∈Xx \in Xx∈X，前提是所有度量μλ (λ∈L)\mu_\lambda \ (\lambda \in L)μλ (λ∈L)的总质量为1（其中，对于LLL的每个子集KKK，μK\mu_KμK表示度量子族(μλ)λ∈K(\mu_\lambda)_{\lambda \in K}(μλ)λ∈K的乘积）。 解答 尚未写出解答。 被以下引用 无。 引用了 Exercise 6