Product measure

Product measure

In mathematics, given two measurable spaces and measures on them, one can obtain the product measurable space and the product measure on that space. Conceptually, this is similar to defining the Cartesian product of sets and the product topology of two topological spaces.

Let (X_1, Sigma_1) and (X_2, Sigma_2) be two measurable spaces, that is, Sigma_1 and Sigma_2 are sigma algebras on X_1 and X_2 respectively, and let mu_1 and mu_2 be measures on these spaces. Denote by Sigma_1 imes Sigma_2 the sigma algebra on the Cartesian product X_1 imes X_2 generated by subsets of the form B_1 imes B_2, where B_1 in Sigma_1 and B_2 in Sigma_2.

The "product measure" mu_1 imes mu_2 is defined to be the unique measure on the measurable space (X_1 imes X_2, Sigma_1 imes Sigma_2) satisfying the property

: (mu_1 imes mu_2)(B_1 imes B_2) = mu_1(B_1) mu_2(B_2)

for all

: B_1 in Sigma_1, B_2 in Sigma_2.

In fact, for every measurable set "E",

:(mu_1 imes mu_2)(E) = int_{X_2} mu_1(E^y),mu_2(dy) = int_{X_1} mu_2(E_{x}),mu_1(dx),

where "E""x" = {"y"∈"X"2|("x","y")∈"E"}, and "E""y" = {"x"∈"X"1|("x","y")∈"E"}, which are both measurable sets.

The existence of this measure is guaranteed by the Hahn-Kolmogorov theorem. The uniqueness of product measure is guaranteed only in case that both (X1,Σ1,μ1) and (X2,Σ2,μ2) are σ-finite.

The Borel measure on the Euclidean space R"n" can be obtained as the product of "n" copies of the Borel measure on the real line R.

Even if the two factors of the product space are complete measure spaces, the product space may not be. Consequently, the completion procedure is needed to extend the Borel measure into the Lebesgue measure, or to extend the product of two Lebesgue measures to give the Lebesgue measure on the product space.

The opposite construction to the formation of the product of two measures is disintegration, which in some sense "splits" a given measure into a family of measures that can be integrated to give the original measure.

----


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Measure (mathematics) — Informally, a measure has the property of being monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B. Furthermore, the measure of the empty set is required to be 0. In mathematical analysis …   Wikipedia

  • Product placement — Product placement, or embedded marketing, [cite web last = Schiller first = Gail authorlink = coauthors = title = Win, draw for Burnett branding work = publisher = The Hollywood Reporter date = 2005 06 01 url =… …   Wikipedia

  • Product data management — (PDM) is the business function within product lifecycle management that is responsible for the creation, management and publication of product data. Introduction Product data management (PDM) is focused on information relative to core operations… …   Wikipedia

  • Product certification — or product qualification is the process of certifying that a certain product has passed performance and quality assurance tests or qualification requirements stipulated in regulations such as a building code and nationally accredited test… …   Wikipedia

  • product basket — measure that includes all basic products and their prices that are necessary for a family …   English contemporary dictionary

  • Measure for Measure — Facsimile of the title page of Measure for Measure from the First Folio, published in 1623 Measure for Measure is a play by William Shakespeare, believed to have been written in 1603 or 1604. It was (and continues to be) classified as comedy, but …   Wikipedia

  • measure — ▪ I. measure mea‧sure 1 [ˈmeʒə ǁ ər] noun 1. [countable] an official action, taken to deal with a particular problem: • The company has had to take cost cutting measures, including reducing spending on certain marketing programs. ausˈterity… …   Financial and business terms

  • measure — I (New American Roget s College Thesaurus) n. quantity, extent; gauge; standard; amount, allot ment; [legislative] bill; step, course. See measurement, apportionment, degree, rule. II (Roget s IV) n. 1. [A unit of measurement] Syn. dimension,… …   English dictionary for students

  • Measure (data warehouse) — For other senses of this word, see Measure (disambiguation). In a data warehouse, a measure is a property on which calculations (e.g., sum, count, average, minimum, maximum) can be made using precomputed aggregates. Contents 1 Example 2 Use of… …   Wikipedia

  • Product category volume (PCV) — Marketing Key concepts Product marketing · Pricing …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”