Related papers: Ultrametric subsets with large Hausdorff dimension

We prove a new version of isoperimetric inequality: Given a positive real $m$, a Banach space $B$, a closed subset $Y$ of metric space $X$ and a continuous map $f:Y \rightarrow B$ with $f(Y)$ compact $$\inf_FHC_{m+1}(F(X))\leq…

We study the Hausdorff dimension and measures of full Hausdorff dimension for a compact invariant set of an expanding nonconformal map on the torus given by an integer-valued diagonal matrix. The Hausdorff dimension of a "general Sierpinski…

The notion of the ultrametrics can be considered as a zero-dimensional analogue of ordinary metrics, and it is expected to prove ultrametric versions of theorems on metric spaces. In this paper, we provide ultrametric versions of the…

We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…

Consider all the level sets of a real function. We can group these level sets according to their Hausdorff dimensions. We show that the Hausdorff dimension of the collection of all level sets of a given Hausdorff dimension can be…

Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…

Let E be a plane self-affine set defined by affine transformations with linear parts given by matrices with positive entries. We show that if mu is a Bernoulli measure on E with dim_H mu = dim_L mu, where dim_H and dim_L denote Hausdorff…

Let (X,d) be a metric space and (\Omega, d) a compact subspace of X which supports a non-atomic finite measure m. We consider `natural' classes of badly approximable subsets of \Omega. Loosely speaking, these consist of points in \Omega…

An ultrametric defined on a subset S of a metric space X can be extended to X while roughly preserving distances between pairs in S x X.

For any $x\in\mathbb{R}^d$, $d\geq 2$, denote $\pi^x: \mathbb{R}^d\backslash\{x\}\rightarrow S^{d-1}$ as the radial projection $$\pi^x(y)=\frac{y-x}{|y-x|}. $$ Given a Borel set $E\subset{\Bbb R}^d$, $\dim_{\mathcal{H}} E\leq d-1$, in this…

We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…

This paper contains two results on the dimension and smoothness of radial projections of sets and measures in Euclidean spaces. To introduce the first one, assume that $E,K \subset \mathbb{R}^{2}$ are non-empty Borel sets with…

A separable metric space X is an H-null set if any uniformly continuous image of X has Hausdorff dimension zero. upper H-null, directed P-null and P-null sets are defined likewise, with other fractal dimensions in place of Hausdorff…

If E is a nonempty closed subset of the locally finite Hausdorff (2n-2)-measure on an n-dimensional complex manifold M and all points of E are nonremovable for a meromorphic mapping of M \ E into a compact K\"ahler manifold, then E is a…

The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of…

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…

We prove that there is a residual subset of the Gromov-Hausdorff space (i.e. the space of all compact metric spaces up to isometry endowed with the Gromov-Hausdorff distance) whose points enjoy several unexpected properties. In particular,…

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…