Hausdorff dimension of Furstenberg-type sets associated to families of affine subspaces

Abstract: We show that if

B s u b s e t m a t h b b R^{n}

and

E s u b s e t A (n, k)

is a nonempty collection of

k

-dimensional affine subspaces of

m a t h b b R^{n}

such that every

P i n E

intersects

B

in a set of Hausdorff dimension at least

a l p h a

with

k - 1 < a l p h a l e q k

, then

d i m B g e q a l p h a + d i m E / (k + 1)

, where

d i m

denotes the Hausdorff dimension. This estimate generalizes the well known Furstenberg-type estimate that every

a l p h a

-Furstenberg set in the plane has Hausdorff dimension at least

a l p h a + 1 / 2

. More generally, we prove that if

B

and

E

are as above with

0 < a l p h a l e q k

, then

d i m B g e q a l p h a + (d i m E - (k - l c e i l a l p h a c e i l) (n - k)) / (l c e i l a l p h a c e i l + 1)

. We also show that this bound is sharp for some parameters. As a consequence, we prove that for any

1 l e q k < n

, the union of any nonempty

s

-Hausdorff dimensional family of

k

-dimensional affine subspaces of

m a t h b b R^{n}

has Hausdorff dimension at least

k + f r a c s k + 1

.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Hausdorff dimension of Furstenberg-type sets associated to families of affine subspaces