
arXiv: 1107.0424
We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Let K_{1},\ldots,K_{n} be Borel subsets of \mathbb{R}^{m_{1}},\ldots,\mathbb{R}^{m_{n}} respectively, and \pi :\mathbb{R}^{m_{1}} \times \cdots \times \mathbb{R}^{m_{n}}\rightarrow \mathbb{R}^{k} be a surjective linear map. We set \mathfrak{m}: = \mathrm{\min }\Bigg\{\sum \limits_{i \in I}\mathrm{\dim }_{H}(K_{i}) + \mathrm{\dim }\pi \Bigg(\bigoplus \limits_{i \in I^{c}}\mathbb{R}^{m_{i}}\Bigg),\:I \subset \{1,\ldots,n\},\:I \neq \emptyset \Bigg\}. Consider the space \Lambda _{m} = \{(t,O),\:t \in \mathbb{R},\:O \in \mathrm{SO}(m)\} with the natural measure and set \Lambda = \Lambda _{m_{1}} \times\cdots\times \Lambda _{m_{n}} . For every \lambda = (t_{1},O_{1},\ldots,t_{n},O_{n}) \in \Lambda and every x = (x^{1},…,x^{n}) \in \mathbb{R}^{m_{1}} \times \cdots \times \mathbb{R}^{m_{n}} we define \pi _{\lambda }(x) = \pi (t_{1}O_{1}x^{1},\ldots,t_{n}O_{n}x^{n}) . Then we have Theorem. (i) If \mathfrak{m} > k , then \pi _{\lambda }(K_{1} \times \cdots \times K_{n}) has positive k-dimensional Lebesgue measure for almost every \lambda \in \Lambda . (ii) If \mathfrak{m}⩽k and \mathrm{\dim }_{H}(K_{1} \times\cdots \times K_{n}) = \mathrm{\dim }_{H}(K_{1}) + \cdots + \mathrm{\dim }_{H}(K_{n}) , then \mathrm{\dim }_{H}(\pi _{\lambda }(K_{1} \times … \times K_{n})) = \mathfrak{m} for almost every \lambda \in \Lambda .
Length, area, volume, other geometric measure theory, Dynamical Systems (math.DS), dynamical systems, potential theory, Fractals, Hausdorff and packing measures, Mathematics - Classical Analysis and ODEs, Hausdorff dimensions, Fourier transform, Classical Analysis and ODEs (math.CA), FOS: Mathematics, Mathematics - Dynamical Systems, fractal geometry
Length, area, volume, other geometric measure theory, Dynamical Systems (math.DS), dynamical systems, potential theory, Fractals, Hausdorff and packing measures, Mathematics - Classical Analysis and ODEs, Hausdorff dimensions, Fourier transform, Classical Analysis and ODEs (math.CA), FOS: Mathematics, Mathematics - Dynamical Systems, fractal geometry
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
