Construcción en teoría de la medida.
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.
Sean y sean dos espacios medibles , es decir, y son álgebras sigma en y respectivamente, y sean medidas en estos espacios. Denotemos por el álgebra sigma sobre el producto cartesiano generado por subconjuntos de la forma , donde y Este álgebra sigma se llama producto tensorial σ-álgebra en el espacio del producto.![{\ Displaystyle (X_ {1}, \ Sigma _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (X_ {2}, \ Sigma _ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{1}\times X_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{1}\times B_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle B_ {1} \ en \ Sigma _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{2}\en \Sigma _{2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una medida de producto
(también denominada por muchos autores) se define como una medida en el espacio mensurable que satisface la propiedad.![{\displaystyle \mu _{1}\times \mu _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{1}\otimes \mu _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X_{1}\times X_{2},\Sigma _{1}\otimes \Sigma _{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\mu _{1}\times \mu _{2})(B_{1}\times B_{2})=\mu _{1}(B_{1})\mu _{2} (B_ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 finitos, la medida del producto está definida de forma única, y para cada conjunto medible E ,![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\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),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde y , ambos conjuntos medibles.![{\displaystyle E_{x}=\{y\in X_{2}|(x,y)\in E\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E^{y}=\{x\in X_{1}|(x,y)\in E\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La existencia de esta medida está garantizada por el teorema de Hahn-Kolmogorov . La unicidad de la medida del producto está garantizada sólo en el caso de que ambos y sean σ-finitos .![{\ Displaystyle (X_ {1}, \ Sigma _ {1}, \ mu _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (X_ {2}, \ Sigma _ {2}, \ mu _ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las medidas de Borel en el espacio euclidiano R n 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 finalizació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.
Ejemplos
- Dados dos espacios de medida, siempre hay una medida de producto máxima única μ max en su producto, con la propiedad de que si μ max ( A ) es finita para algún conjunto mensurable A , entonces μ max ( A ) = μ( A ) para cualquier medida del producto μ. En particular, su valor en cualquier conjunto mensurable es al menos el de cualquier otra medida de producto. Esta es la medida que produce el teorema de extensión de Carathéodory .
- A veces también hay una medida de producto mínima única μ min , dada por μ min ( S ) = sup A ⊂ S , μ max ( A ) finita μ max ( A ), donde se supone que A y S son medibles.
- A continuación se muestra un ejemplo en el que un producto tiene más de una medida de producto. Tome el producto X × Y , donde X es el intervalo unitario con medida de Lebesgue e Y es el intervalo unitario con medida de conteo y todos los conjuntos son medibles. Entonces, para la medida mínima del producto la medida de un conjunto es la suma de las medidas de sus secciones horizontales, mientras que para la medida máxima del producto un conjunto tiene medida infinita a menos que esté contenido en la unión de un número contable de conjuntos de la forma A × B , donde A tiene medida de Lebesgue 0 o B es un solo punto. (En este caso, la medida puede ser finita o infinita). En particular, la diagonal tiene medida 0 para la medida mínima del producto y medida infinita para la medida máxima del producto.
Ver también
Referencias
- Loève, Michel (1977). "8.2. Medidas de producto e integrales iteradas". Teoría de la probabilidad vol. Yo (4ª ed.). Saltador. págs. 135-137. ISBN 0-387-90210-4.
- Halmos, Paul (1974). "35. Medidas sobre productos". Teoría de la medida . Saltador. págs. 143-145. ISBN 0-387-90088-8.
Este artículo incorpora material de Medición de producto en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .