Abstract:It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that a Fubini theorem for Hausdorff dimension does hold modulo sets that are small on all Lipschitz graphs. We say that $G\subset \mathbb{R}^k\times \mathbb{R}^n$ is $\Gamma_k$-null if for every Lipschitz function $f:\mathbb{R}^k\to \mathbb{R}^n$ the set $\{t\in\mathbb{R}^k\,:\,(t,f(t))\in G\}$ has measure zero. We show that for every Borel set $E\subset \mathbb{R}^k\times \mathbb{R}^n$ with $\dim (\text{proj}_{\mathbb{R}^k} E)=k$ there is a $\Gamma_k$-null subset $G\subset E$ such that $$\dim (E\setminus G) = k+\text{ess-}\sup(\dim E_t)$$ where $\text{ess-}\sup(\dim E_t)$ is the essential supremum of the Hausdorff dimension of the vertical sections $\{E_t\}_{t\in \mathbb{R}^k}$ of $E$. In addition, we show that, provided that $E$ is not $\Gamma_k$-null, there is a $\Gamma_k$-null subset $G\subset E$ such that for $F=E \setminus G$, the Fubini-property holds, that is, $\dim (F) = k+\text{ess-}\sup(\dim F_t)$. We also obtain more general results by replacing $\mathbb{R}^k$ by an Ahlfors-David regular set. Applications of our results include Fubini-type results for unions of affine subspaces, connection to the Kakeya conjecture and projection theorems.

Removability of product sets for Sobolev functions in the plane

Rigidity of Euclidean product structure: breakdown for low Sobolev exponents

Removable sets for Orlicz-Sobolev spaces

Removable Sets for Intrinsic Metric and for Holomorphic Functions

BREGMAN DISTANCES AND KLEE SETS IN BANACH SPACES

On the Sobolev removability of the graph of one-dimensional Brownian motion

Hausdorff dimension of removable sets for elliptic and canceling homogeneous differential operators in the class of bounded functions

Traces of Sobolev spaces to piecewise Ahlfors--David regular sets

Products of Lipschitz-free spaces and applications

Removable singularities for Hölder continuous quasiregular mappings in the plane

Sobolev homeomorphic extensions from two to three dimensions

Manifold-constrained free discontinuity problems and Sobolev approximation

A Fubini-type theorem for Hausdorff dimension

A note on nonseparable Lipschitz-free spaces

Upper bounds for the relaxed area of $\mathbb S^1$-valued Sobolev maps and its countably subadditive interior envelope

On Removable Singularities of Harmonic Functions on a Stratified Set

$L^{\vec{p}}-L^{\vec{q}}$ Boundedness of Multiparameter Forelli-Rudin Type Operators on the Product of Unit Balls of $\mathbb{C}^n$

Discrete logarithmic Sobolev inequalities in Banach spaces

Approximation order of Kolmogorov, Gel'fand, and linear widths for Sobolev embeddings in euclidian measure spaces