请输入您要查询的字词:

 

单词 InfiniteProductMeasure
释义

infinite product measure


Let (Ei,i,μi) be measure spacesMathworldPlanetmath, where iI an index setMathworldPlanetmathPlanetmath, possibly infiniteMathworldPlanetmathPlanetmath. We define the productPlanetmathPlanetmath of (Ei,i,μi) as follows:

  1. 1.

    let E=Ei, the Cartesian product of Ei,

  2. 2.

    let =σ((i)iI), the smallest sigma algebra containing subsets of E of the form Bi where Bi=Ei for all but a finite number of iI.

Then (E,) is a measurable spaceMathworldPlanetmathPlanetmath. The next task is to define a measure μ on (E,) so that (E,,μ) becomes in addition a measure space. Before proceeding to define μ, we make the assumptionPlanetmathPlanetmath that

each μi is a totally finite measure, that is, μi(Ei)<.

In fact, we can now turn each (Ei,i,μi) into a probability space by introducing for each iI a new measure:

μ¯i=μiμi(Ei).

With the assumption that each (Ei,i,μi) is a probability space, it can be shown that there is a unique measure μ defined on such that, for any B expressible as a product of Bii with Bi=Ei for all iI except on a finite subset J of I:

μ(B)=jJμj(Bj).

Then (E,,μ) becomes a measure space, and in particular, a probability space. μ is sometimes written μi.

Remarks.

  • If I is infinite, one sees that the total finiteness of μi can not be dropped. For example, if I is the set of positive integers, assume μ1(E1)< and μ2(E2)=. Then μ(B) for

    B:=B1×i>1Ei=B1×E2×i>2Ei, where B11

    would not be well-defined (on the one hand, it is μ1(B1)<, but on the other it is μ1(B1)μ2(E2)=).

  • The above construction agrees with the result when I is finite (see finite product measureMathworldPlanetmath (http://planetmath.org/ProductMeasure)).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 5:41:01