Sigma-porous sets in products of metric spaces and sigma-directionally porous sets in Banach spaces (Q1978964)

The authors study what statement of the Fubini type theorem is valid for the \(\sigma \)-ideal of \(\sigma \)-porous sets of various types. It is known that the most direct analogy fails. Moreover, the paper contains even a stronger example: There is a \(\sigma \)-strongly porous set \(M\subset \mathbb {R}^2\) such that the vertical sections \(M_x\) are of full Lebesgue measure for the residual set of \(x\in \mathbb {R}\). On the other hand, the following assertion follows from the general statement (Theorem 3.8): Let \((X,\rho),(Y,\eta)\) be metric spaces and let \(X\times Y\) be equipped with the sum metric. If \(A\subset X\times Y\) is a \(\sigma \)-porous set, then \(A=A_1\cup A_2\), where \(A_1\) (\(A_2\)) has all sections \((A_1)_x\) (\((A_2)^y\), resp.) \(\sigma \)-porous. Consequently, if \(\mu \) and \(\nu \) are Radon measures on \(X\) and \(Y\), resp., which are absolutely continuous with respect to \(\sigma \)-porous sets, then the same holds true for \(\mu \times \nu \). The last section deals with \(\sigma \)-directionally porous sets: Let \(X\) be a separable normed linear space and let \((v_n)\subset X\) be such that span\(\{v_n\mid n\geq 1\}=X\). If \(A\subset X\) is a \(\sigma \)-directionally porous set, then \(A=\bigcup (A^+_n\cup A^-_n)\), where \(A^+_n, A^-_n\) are \(\sigma \)-porous in the directions \(v_n, -v_n\), resp.