Cylinder set mesures

Def Cylinder set §

Sia $S$ una famiglia di insiemi e l’insieme prodotto cartesiano $X={\Pi }_{Y\in S}Y$. La mappa di proiezione canonica $p_{Y}X\mapsto Y$ rispetto un certo insieme $Y$ è definita naturalmente come la componente $Y$.

Un insieme di cilindri è la preimmagine di queste proiezioni canoniche (o l’intersezione finita di esse):

$$C(a_i):=p_{Y_i}^{-1}(a_i)=\{x\in X|p_{Y_i}(x)=a_i\}$$

Def Cylinder set mesure §