Projections of cartesian products of the self-similar sets without the irrationality assumption

arXiv1806.01080MaRDI QIDQ6302514FDOQ6302514

Publication date: 4 June 2018

Abstract: Let

. Define a class of similitudes [S=left{f_{i}(x)=dfrac{x}{�eta^{n_i}}+a_i:n_iin mathbb{N}^{+}, a_iin mathbb{R} ight}.] Let

m a t h c a l A

be the collection of all the self-similar sets generated by the similitudes from

S

. In this paper, we prove that for any

h e t a i n (0, p i)

and

K_{1}, K_{2} i n m a t h c a l A

,

P r o j_{h e t a} (K_{1} i m e s K_{2})

is similar to a self-similar set or an attractor of some infinite iterated function system, where

P r o j_{h e t a}

denotes the orthogonal projection onto

L_{h e t a}

, and

L_{h e t a}

denotes the line through the origin in direction

h e t a

. As a corollary,

d i m_{P} (P r o j_{h e t a} (K_{1} i m e s K_{2})) = o v e r l i n e {d i m}_{B} (P r o j_{h e t a} (K_{1} i m e s K_{2}))

holds for any

h e t a i n (0, p i)

and any

K_{1}, K_{2} i n m a t h c a l A

, where

d i m_{P}

and

o v e r l i n e {d i m}_{B}

denote the packing and upper box dimension. Whether

P r o j_{h e t a} (K_{1} i m e s K_{2})

is similar to a self-similar set or not is uniquely determined by the similarity ratios of

K_{1}

and

K_{2}

rather than the angle

h e t a .

When

P r o j_{h e t a} (K_{1} i m e s K_{2})

is similar to a self-similar set, in terms of the finite type condition cite{NW}, we are able to calculate in cerntain cases the Hausdorff dimension of

P r o j_{h e t a} (K_{1} i m e s K_{2})

. If

P r o j_{h e t a} (K_{1} i m e s K_{2})

is similar to an attractor of some infinite iterated function system, then by virtue of the Vitali covering lemma cite{FG} we give an estimation of the Hausdorff dimension of

P r o j_{h e t a} (K_{1} i m e s K_{2})

. For some cases, we can calculate, by means of Mauldin and Urbanski' result cite{MRD}, the exact Hausdorff dimension of

P r o j_{h e t a} (K_{1} i m e s K_{2})

. We also find some non-trivial examples such that for some angle

h e t a i n [0, p i)

and some

K_{1}, K_{2} i n m a t h c a l A

,

d i m_{H} (P r o j_{h e t a} (K_{1} i m e s K_{2})) = d i m_{H} (K_{1}) + d i m_{H} (K_{2})

.

This page was built for publication: Projections of cartesian products of the self-similar sets without the irrationality assumption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6302514)