Related papers: Arithmetic on self-similar sets

Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an…

We show that for all Cantor set $K_1$ on ${\mathbb R}^d$, it is always possible to find another Cantor set $K_2$ so that the sum $g(K_1)+ K_2$ (where $g$ is a $C^1$ local diffeomorphism) has non-empty interior, and the existence of the…

Let $(\mathcal{M}, c_k, n_k,\kappa)$ be a class of homogeneous Moran sets. Suppose $f(x,y)\in C^3$ is a function defined on $\mathbb{R}^2$. Given $E_1, E_2\in(\mathcal{M}, c_k, n_k,\kappa) $, in this paper, we prove, under some checkable…

Let $C$ be the middle-third Cantor set, and $f$ a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the image \begin{equation*} f_{U}(C,C)=\{f(x,y):(x,y)\in (C\times C)\cap U\}. \end{equation*} If $\partial…

Let $K\subset\mathbb{R}^d$ be a self-similar set generated by an iterated function system $\{\varphi_i\}_{i=1}^m$ satisfying the strong separation condition and let $f$ be a contracting similitude with $f(K)\subset K$. We show that $f(K)$…

Let $A(K)$ be the algebra of continuous functions on a compact set $K\subset\mathbb C$ which are analytic on the interior of $K$, and $R(K)$ the closure (with the uniform convergence on $K$) of the functions that are analytic on a…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

Let K be a self-similar or self-affine set in R^d, let \mu be a self-similar or self-affine measure on it, and let G be the group of affine maps, similitudes, isometries or translations of R^d. Under various assumptions (such as separation…

For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…

Given two real numbers $q_0,q_1>1$ satisfying $q_0+q_1\geq q_0q_1$ and two real numbers $d_0\ne d_1$, by a {double-base expansion} of a real number $x$ we mean a sequence $(i_k)\in \{0,1\}^{\infty}$ such that \begin{equation*}…

Let $\beta>1$. We define a class of similitudes \[S:=\left\{f_{i}(x)=\dfrac{x}{\beta^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Taking any finite similitudes $\{f_{i}(x)\}_{i=1}^{m} $ from $S$, it is well known that…

Let $\beta_1,\beta_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{\beta_1}, \frac{y+i}{\beta_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{\beta_1, \beta_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a…

In this paper we prove that the set of tuples of edge lengths in $K_1\times K_2$ corresponding to a finite tree has non-empty interior, where $K_1,K_2\subset \mathbb{R}$ are Cantor sets of thickness $\tau(K_1)\cdot \tau(K_2) >1$. Our method…

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\| <1/2$ for $1\leq i\leq m$. We provide some sufficient conditions on these matrices such that the self-affine set generated by the iterated function…

In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that…

We consider projections of planar self-similar sets, and show that one can create nonempty interior in the projections by applying arbitrary small perturbations, if the self-similar set satisfies the open set condition and has Hausdorff…

We give several different geometric characterizations of the situation in which the parallel set $F_\epsilon$ of a self-similar set $F$ can be described by the inner $\epsilon$-parallel set $T_{-\epsilon}$ of the associated canonical tiling…

Suppose $n\geq 2$ and $\mathcal{A}_{i}\subset \{0,1,\cdots ,(n-1)\}$ for $ i=1,\cdots ,l,$ let $K_{i}=\bigcup\nolimits_{a\in \mathcal{A}_{i}}n^{-1}(K_{i}+a)$ be self-similar sets contained in $[0,1].$ Given $ m_{1},\cdots ,m_{l}\in…

The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$…

Arakelian's classical approximation theorem \cite{Ar} gives necessary and sufficient conditions such that functions can be uniformly approximated in (unbounded) closed sets $F\subset \mathbb{C}$ by entire functions. The conditions are…