数学において、ある2つの可測空間とその上の測度が与えられたとき、その空間に対する直積可測空間（ちょくせきかそくくうかん、英:product measurable space）と積測度（せきそくど、英:product measure）を導出することができる。概念としては、これは集合の直積や2つの位相空間の直積位相を定義することと似ている。しかし積測度に関しては多くの自然な選び方が存在する。

${\displaystyle (X_1,{\mathrm{\Sigma }}_1)}$ と${\displaystyle (X_2,{\mathrm{\Sigma }}_2)}$ を2つの可測空間とする。すなわち${\displaystyle {\mathrm{\Sigma }}_1}$ と${\displaystyle {\mathrm{\Sigma }}_2}$ はそれぞれ${\displaystyle X_1}$ と${\displaystyle X_2}$ の上のσ-代数である。また${\displaystyle {\mu }_1}$ と${\displaystyle {\mu }_2}$ をそれらの空間上の測度とする。${\displaystyle {\mathrm{\Sigma }}_1\otimes {\mathrm{\Sigma }}_2}$ によって、${\displaystyle B_1\times B_2}$ の形の部分集合によって生成されるデカルト積${\displaystyle X_1\times X_2}$ 上のσ-代数を表す。ただし${\displaystyle B_1\in {\mathrm{\Sigma }}_1}$ および${\displaystyle B_2\in {\mathrm{\Sigma }}_2}$ である。このような${\displaystyle {\mathrm{\Sigma }}_1\otimes {\mathrm{\Sigma }}_2}$ はその直積空間上の「テンソル積σ-代数」（tensor-product σ-algebra）と呼ばれる。

積測度${\displaystyle {\mu }_1\times {\mu }_2}$ は、可測空間${\displaystyle (X_1\times X_2,{\mathrm{\Sigma }}_1\otimes {\mathrm{\Sigma }}_2)}$ 上の測度で、すべての${\displaystyle B_1\in {\mathrm{\Sigma }}_1,B_2\in {\mathrm{\Sigma }}_2}$ に対して次の性質を満たすものとして定義される。

${\displaystyle ({\mu }_1\times {\mu }_2)(B_1\times B_2)={\mu }_1(B_1){\mu }_2(B_2).}$

無限大となることもあるような測度の掛け算において、その積がゼロであるとは任意の因子がゼロであることとして定義する。

実際、空間が${\displaystyle \sigma }$-有限であるとき、積測度は一意的に定義され、すべての可測集合E に対して

${\displaystyle ({\mu }_1\times {\mu }_2)(E)={\int }_{X_2}{\mu }_1(E^y)d{\mu }_2(y)={\int }_{X_1}{\mu }_2(E_x)d{\mu }_1(x)}$

が成立する。ただしE_x = {y∈X₂|(x,y)∈E} およびE^y = {x∈X₁|(x,y)∈E} で、それらはいずれも可測集合である。

この測度の存在はコルモゴロフの拡張定理によって保証される。積測度の一意性は、(X1,Σ1,μ1) および (X2,Σ2,μ2) のいずれもがσ-有限（英語版）であるときにのみ保証される。

ユークリッド空間Rⁿ 上のボレル測度は、実数直線R 上のボレル測度のn 個のコピーの積として得られる。

直積空間の二つの因子がたとえ完備測度空間であっても、その直積空間自身が完備測度空間であるとは限らない。したがって、ボレル測度をルベーグ測度に拡張したり、二つのルベーグ測度の積を直積空間上のルベーグ測度を与える上で拡張するためには、完備化の手順が必要となる。

二つの測度の積の構成と反対の手順は、分解（英語版）として知られている。これはある意味において、与えられた測度を測度の族に「分ける」作業である。そのようにして分けられた測度から、元の測度を得ることも可能である。

• 2つの測度空間が与えられたとき、それらの直積空間上の唯一つの極大積測度μ_max で次の性質を満たすものが存在する：ある可測集合A に対してμ_max(A) が有限であるなら、任意の積測度μ に対してμ_max(A) =μ(A) が成立する。特に、任意の可測集合に関するその測度の値は、他の任意の積測度の値を下回ることはない。これはホップの拡張定理によって作られる測度である。
• A,S を可測集合とするとき、μ_min(S) =supA⊂S,μ_max(A) finiteμ_max(A) で与えられる唯一つの極小積測度μ_min が存在する。
• ここで直積空間が複数の積測度を持つ例を考える。X はルベーグ測度を伴う単位区間、Y は数え上げ測度を伴う単位区間とし、すべての集合は可測であるとしたとき、直積空間X×Y を考える。このとき、極小積測度に対しては、ある集合の測度はその水平部分の測度の和となるが、一方、極大積測度に対しては、A×Bの形式の可算集合の和集合に含まれていない限り、無限大となる。ここで、Aはルベーグの測定値0、またはBのいずれかが単一点である。（この場合、測度は有限または無限となるだろう。）特に、極小積測度に対してはその対角部分は測度 0 となるが、極大積測度に対しては無限大となる。

• フビニの定理

• Michel Loève (1977). “8.2. Product measures and iterated integrals”. Probability Theory vol. I (4th ed.). Springer. pp. 135-137. ISBN 0-387-90210-4 
• Paul Halmos (1974). “35. Product measures”. Measure theory. Springer. pp. 143-145. ISBN 0-387-90088-8 

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Product measureの本文を含む

• 測度論
• 積分法
• 数学に関する記事

• PlanetMath 由来の文章を含むウィキペディアの記事