En matemáticas, dados dos espacios medibles y medidas en ellos, se puede obtener un espacio medible producto y una medida producto en ese espacio.
Conceptualmente, esto es similar a definir el producto cartesiano de conjuntos y la topología del producto de dos espacios topológicos, excepto que puede haber muchas opciones naturales para la medida del producto.
ser dos espacios medibles, es decir,
son álgebras sigma en
respectivamente, y dejar
μ
μ
Se tomarán medidas sobre estos espacios.
el álgebra sigma sobre el producto cartesiano
generado por subconjuntos del formulario
Esta álgebra sigma se llama álgebra σ del producto tensorial en el espacio del producto.
Una medida de producto
por muchos autores) se define como una medida en el espacio mensurable
satisfacer la propiedad para todos (Al multiplicar medidas, algunas de las cuales son infinitas, definimos que el producto es cero si algún factor es cero).
De hecho, cuando los espacios son
-finito, la medida del producto está definida de forma única, y para cada conjunto medible E, dónde
( x , y ) ∈
{\displaystyle E_{x}=\{y\in X_{2}|(x,y)\in E\}}
( x , y ) ∈
{\displaystyle E^{y}=\{x\in X_{1}|(x,y)\in E\}}
, que son ambos conjuntos medibles.
La existencia de esta medida está garantizada por el teorema de Hahn-Kolmogorov.
La unicidad de la medida del producto se garantiza sólo en el caso de que ambos
son σ-finitos.
Las medidas de Borel en el espacio euclidiano Rn se pueden obtener como producto de n copias de las medidas de Borel en la recta real R. Incluso si los dos factores del espacio del producto son espacios de medida completos, el espacio del producto puede no serlo.
En consecuencia, el procedimiento de compleción es necesario para extender la medida de Borel a la medida de Lebesgue, o para extender el producto de dos medidas de Lebesgue para dar la medida de Lebesgue en el espacio del producto.
La construcción opuesta a la formación del producto de dos medidas es la desintegración, que en cierto sentido "divide" una medida determinada en una familia de medidas que pueden integrarse para dar la medida original.