On Hausdorff and packing dimension of product spaces

1996 ◽  
Vol 119 (4) ◽  
pp. 715-727 ◽  
Author(s):  
J. D. Howroyd

AbstractWe show that for arbitrary metric spaces X and Y the following dimension inequalities hold:where ‘dim’ denotes Hausdorff dimension and ‘Dim’ denotes packing dimension. The main idea of the proof is to use modified constructions of the Hausdorff and packing measure to deduce appropriate inequalities for the measure of X × Y.

1996 ◽  
Vol 28 (2) ◽  
pp. 344-345
Author(s):  
Martina Zähle

Let dimH, E be the Hausdorff dimension and dimP, E the packing dimension of the subset E of ℝn given by the unique exponent where the corresponding Hausdorff or packing measure of E jumps from infinity to zero.


1996 ◽  
Vol 28 (02) ◽  
pp. 344-345
Author(s):  
Martina Zähle

Let dimH, E be the Hausdorff dimension and dimP, E the packing dimension of the subset E of ℝ n given by the unique exponent where the corresponding Hausdorff or packing measure of E jumps from infinity to zero.


2013 ◽  
Vol 78 (4) ◽  
pp. 1229-1246 ◽  
Author(s):  
Ian Herbert

AbstractWe examine a definition of the mutual information of two reals proposed by Levin in [5]. The mutual information iswhereK(·) is the prefix-free Kolmogorov complexity. A realAis said to have finite self-information ifI (A : A)is finite. We give a construction for a perfect Π10class of reals with this property, which settles some open questions posed by Hirschfeldt and Weber. The construction produces a perfect set of reals withK(σ)≤+KA(σ)+f (σ)for any given Δ20fwith a particularly nice approximation and for a specific choice of f it can also be used to produce a perfect Π10set of reals that are low for effective Hausdorff dimension and effective packing dimension. The construction can be further adapted to produce a single perfect set of reals that satisfyK(σ)≤+KA(σ)+f (σ)for allfin a ‘nice’ class of Δ20functions which includes all Δ20orders.


1995 ◽  
Vol 15 (1) ◽  
pp. 77-97 ◽  
Author(s):  
Irene Hueter ◽  
Steven P. Lalley

Let A1, A2,…,Ak be a finite set of contractive, affine, invertible self-mappings of R2. A compact subset Λ of R2 is said to be self-affine with affinitiesA1, A2,…,Ak ifIt is known [8] that for any such set of contractive affine mappings there is a unique (compact) SA set with these affinities. When the affine mappings A1, A2,…,Ak are similarity transformations, the set Λ is said to be self-similar. Self-similar sets are well understood, at least when the images Ai(Λ) have ‘small’ overlap: there is a simple and explicit formula for the Hausdorff and box dimensions [12, 10]; these are always equal; and the δ-dimensional Hausdorff measure of such a set (where δ is the Hausdorff dimension) is always positive and finite.


2018 ◽  
Vol 97 (3) ◽  
pp. 459-470 ◽  
Author(s):  
IZ-IDDINE EL-FASSI ◽  
JANUSZ BRZDĘK

Motivated by the notion of Ulam stability, we investigate some inequalities connected with the functional equation $$\begin{eqnarray}f(xy)+f(x\unicode[STIX]{x1D70E}(y))=2f(x)+h(y),\quad x,y\in G,\end{eqnarray}$$ for functions $f$ and $h$ mapping a semigroup $(G,\cdot )$ into a commutative semigroup $(E,+)$, where the map $\unicode[STIX]{x1D70E}:G\rightarrow G$ is an endomorphism of $G$ with $\unicode[STIX]{x1D70E}(\unicode[STIX]{x1D70E}(x))=x$ for all $x\in G$. We derive from these results some characterisations of inner product spaces. We also obtain a description of solutions to the equation and hyperstability results for the $\unicode[STIX]{x1D70E}$-quadratic and $\unicode[STIX]{x1D70E}$-Drygas equations.


Computability ◽  
2021 ◽  
pp. 1-28
Author(s):  
Neil Lutz ◽  
D.M. Stull

This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp ( L ) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim ( a , b ) is equal to the effective packing dimension Dim ( a , b ), then sp ( L ) contains a unit interval. We also show that, if the dimension dim ( a , b ) is at least one, then sp ( L ) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite.


2019 ◽  
Vol 85 (1) ◽  
pp. 486-510
Author(s):  
RUPERT HÖLZL ◽  
WOLFGANG MERKLE ◽  
JOSEPH MILLER ◽  
FRANK STEPHAN ◽  
LIANG YU

AbstractWe prove that the continuous function${\rm{\hat \Omega }}:2^\omega \to $ that is defined via$X \mapsto \mathop \sum \limits_n 2^{ - K\left( {Xn} \right)} $ for all $X \in {2^\omega }$ is differentiable exactly at the Martin-Löf random reals with the derivative having value 0; that it is nowhere monotonic; and that $\mathop \smallint \nolimits _0^1{\rm{\hat{\Omega }}}\left( X \right)\,{\rm{d}}X$ is a left-c.e. $wtt$-complete real having effective Hausdorff dimension ${1 / 2}$.We further investigate the algorithmic properties of ${\rm{\hat{\Omega }}}$. For example, we show that the maximal value of ${\rm{\hat{\Omega }}}$ must be random, the minimal value must be Turing complete, and that ${\rm{\hat{\Omega }}}\left( X \right) \oplus X{ \ge _T}\emptyset \prime$ for every X. We also obtain some machine-dependent results, including that for every $\varepsilon > 0$, there is a universal machine V such that ${{\rm{\hat{\Omega }}}_V}$ maps every real X having effective Hausdorff dimension greater than ε to a real of effective Hausdorff dimension 0 with the property that $X{ \le _{tt}}{{\rm{\hat{\Omega }}}_V}\left( X \right)$; and that there is a real X and a universal machine V such that ${{\rm{\Omega }}_V}\left( X \right)$ is rational.


2006 ◽  
Vol 74 (3) ◽  
pp. 443-448 ◽  
Author(s):  
H.K. Baek

For a class of homogeneous Cantor sets, we find an explicit formula for their packing dimensions. We then turn our attention to the value of packing measures. The exact value of packing measure for homogeneous Cantor sets has not yet been calculated even though that of Hausdorff measures was evaluated by Qu, Rao and Su in (2001). We give a reasonable lower bound for the packing measures of homogeneous Cantor sets. Our results indicate that duality does not hold between Hausdorff and packing measures.


1996 ◽  
Vol 119 (2) ◽  
pp. 287-295 ◽  
Author(s):  
K. J. Falconer ◽  
J. D. Howroyd

AbstractWe show that if E is an analytic subset of ℝn thenfor almost all m–dimensional subspaces V of ℝn, where projvE is the orthogonal projection of E onto V and dimp denotes packing dimension. The same inequality holds for lower and upper box counting dimensions, and these inequalities are the best possible ones.


2018 ◽  
Vol 167 (02) ◽  
pp. 249-284 ◽  
Author(s):  
YANN BUGEAUD ◽  
YITWAH CHEUNG ◽  
NICOLAS CHEVALLIER

AbstractIn this paper we prove that the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponentμin (1/2, 1) is equal to 2(1 −μ) forμ⩾$\sqrt2/2$, whereas forμ<$\sqrt2/2$it is greater than 2(1 −μ) and at most equal to (3 − 2μ)(1 − μ)/(1 −μ+μ2). We also establish that this dimension tends to 4/3 (which is the dimension of the set of singular two-dimensional vectors) whenμtends to 1/2. These results improve upon previous estimates of R. Baker, joint work of the first author with M. Laurent, and unpublished work of M. Laurent. Moreover, we prove a lower bound for the packing dimension, which appears to be strictly greater than the Hausdorff dimension for μ ⩾ 0.565. . . .


Sign in / Sign up

Export Citation Format

Share Document