The packing measure and Fubini's theorem (Q1194685): Difference between revisions

This paper deals with the question whether Fubini's theorem holds in the plane with respect to packing measure. Therefore the authoress considers the \(\alpha\)-dimensional packing measure \(\alpha-p\) on the line based on packing with open centred intervals and the so-called integral measure \(\gamma-\hat s\) on the plane, which is defined as follows. Let \(\gamma=\alpha+\beta\), \(\delta(x,y)>0\) be a positive real function on the plane and \[ \gamma-\hat s_ \delta(G)=\sup\sum_{i,j}(2r_ i)^ \alpha(2t_ j)^ \beta \] for a closed plane set \(G\), where the supremum is over all disjoint sequences \((x_ i-r_ i,x_ i+r_ i)\times(y_ j-t_ j,y_ j+t_ j)\) of open rectangles with \((x_ i,y_ j)\to G\) and the rectangle is contained in a circle of radius \(\delta(x_ i,y_ j)\) and centre \((x_ i,y_ j)\). Then \[ \gamma-\hat s(G)=\inf\{\gamma- \hat s_ \delta(G);\;\delta(x,y)\text{ is any positive real function}\}. \] If \(E\) is the projection of \(F\) onto the \(y\)-axis and \(F\) its projection onto the \(x\)-axis, \(\text{Dim} F=\beta\), \(\alpha=\text{Dim} E=\text{Dim} G[x]\) for all \(x\)-sections \(G[x]\) of \(G\) for \(x\in F\), where Dim stands for packing dimension, then provided that \(\gamma-\hat s(E\times F)<\infty\) the formula \[ \int_ F\alpha- p(G[x])d\beta-p=\gamma-\hat s(G) \] is true. Since in the general case \(\text{Dim} E\times F<\text{Dim} E+\text{Dim} F\), the authoress gives also an example for this inequality, so the answer to the above question is no.