Naar inhoud springen

Productmaat

Uit Wikipedia, de vrije encyclopedie

In de maattheorie, een deelgebied van de wiskunde, kan men, gegeven twee meetbare ruimten en gegeven de hierop gedefinieerde maten, de productmaatruimten en de productmaten over deze ruimten verkrijgen. Conceptueel is een productmaat vergelijkbaar met het definiëren van het Cartesisch product van twee verzamelingen en de producttopologie van twee topologische ruimten.

Laten en twee meetbare ruimten zijn, dat wil zeggen dat en sigma-algebra's op respectievelijk en zijn, en laten and twee maten op deze ruimten zijn. Duidt de sigma algebra, op het Cartesisch product door aan. Deze sigma-algebra wordt gegenereerd door deelverzamelingen van de vorm , waar en

De productmaat wordt gedefinieerd als de unieke maat op de meetbare ruimte die voldoet aan de eigenschap

voor alle

In feite voor elke meetbare verzameling E,

waar Ex = {yX2|(x,y)∈E} en Ey = {xX1|(x,y)∈E} beiden meetbare verzamelingen zijn.

Het bestaan van deze maat wordt gegarandeerd door de stelling van Hahn-Kolmogorov. De uniciteit van de productmaat wordt alleen gegarandeerd in het geval dat zowel (X1,Σ1,μ1) als (X2,Σ2,μ2) σ-eindig zijn.

De Borel-maat op de Euclidische ruimte Rn kan worden verkregen als het product van n kopieën van de Borel-maat op de reële lijn, R.

Zelfs als de twee factoren van de productruimte volledige maatruimten zijn, hoeft de productruimte dit niet te zijn. Dientengevolge is de vervolledigingsproduce nodig om de Borel-maat uit te breiden naar de Lebesgue-maat of om het product van twee Lebesgue-maten uit te breiden om zo de Lebesgue-maat van de productruimte te verkrijgen.

De tegengestelde constructie aan de formatie van het product van twee maten is de desintegratie, waar een gegeven maat in zekere zin "splitst" in een familie van maten die weer kan worden geïntegreerd om zo weer de oorspronkelijke maat te geven.