Homogeneity and non-coincidence of Hausdorff and box dimensions for subsets of ℝⁿ

Anders Nilsson; Peter Wingren

Displaying similar documents to “Homogeneity and non-coincidence of Hausdorff and box dimensions for subsets of ℝⁿ”

Characterization of local dimension functions of subsets of $ℝ^{d}$

L. Olsen (2005)

Colloquium Mathematicae

Similarity:

For a subset $E \subseteq ℝ^{d}$ and $x \in ℝ^{d}$ , the local Hausdorff dimension function of E at x is defined by $d i m_{H, l o c} (x, E) = l i m_{r ↘ 0} d i m_{H} (E \cap B (x, r))$ where $d i m_{H}$ denotes the Hausdorff dimension. We give a complete characterization of the set of functions that are local Hausdorff dimension functions. In fact, we prove a significantly more general result, namely, we give a complete characterization of those functions that are local dimension functions of an arbitrary regular dimension index.

$ℰ_{B}$ -dimension function of bitopological spaces

M. Jelić (1987)

Matematički Vesnik

Similarity:

On the Separation Dimension of $K_{ω}$

Yasunao Hattori, Jan van Mill (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that $t r t K_{ω} > ω + 1$ , where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

Infinite Iterated Function Systems Depending on a Parameter

Ludwik Jaksztas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0, σ}$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0, σ}$ , given by Urbański and Zinsmeister. The closure of the limit set of our IFS $ϕ_{σ, α}^{n, k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

Maps with dimensionally restricted fibers

Vesko Valov (2011)

Colloquium Mathematicae

Similarity:

We prove that if f: X → Y is a closed surjective map between metric spaces such that every fiber $f^{- 1} (y)$ belongs to a class S of spaces, then there exists an $F_{σ}$ -set A ⊂ X such that A ∈ S and $d i m f^{- 1} (y) ∖ A = 0$ for all y ∈ Y. Here, S can be one of the following classes: (i) M: e-dim M ≤ K for some CW-complex K; (ii) C-spaces; (iii) weakly infinite-dimensional spaces. We also establish that if S = M: dim M ≤ n, then dim f ∆ g ≤ 0 for almost all $g \in C (X,^{n + 1})$ .

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

Birational positivity in dimension $4$

Behrouz Taji (2014)

Annales de l’institut Fourier

Similarity:

In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of $Ω^{p}$ is bounded from above by the Kodaira dimension of the variety. This implies the finiteness of the fundamental group for such an $X$ provided that $X$ has vanishing Kodaira dimension and non-trivial holomorphic Euler characteristic.

Univoque sets for real numbers

Fan Lü, Bo Tan, Jun Wu (2014)

Fundamenta Mathematicae

Similarity:

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_{i} \in 0, 1$ . We prove that for any x ∈ (0,1), (x) contains a sequence ${β_{k}}_{k \geq 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\bar{(x)}$ are nowhere dense.

On dimensionally restricted maps

H. Murat Tuncali, Vesko Valov (2002)

Fundamenta Mathematicae

Similarity:

Let f: X → Y be a closed n-dimensional surjective map of metrizable spaces. It is shown that if Y is a C-space, then: (1) the set of all maps g: X → ⁿ with dim(f △ g) = 0 is uniformly dense in C(X,ⁿ); (2) for every 0 ≤ k ≤ n-1 there exists an $F_{σ}$ -subset $A_{k}$ of X such that $d i m A_{k} \leq k$ and the restriction $f | (X ∖ A_{k})$ is (n-k-1)-dimensional. These are extensions of theorems by Pasynkov and Toruńczyk, respectively, obtained for finite-dimensional spaces. A generalization of a result due to Dranishnikov and Uspenskij...

On the continuity of the Hausdorff dimension of the Julia-Lavaurs sets

Ludwik Jaksztas (2011)

Fundamenta Mathematicae

Similarity:

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{σ}$ . We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0, σ}$ is continuous at σ₀ as the function of the parameter $σ \in \bar{₀}$ if and only if $H D (J_{0, σ ₀}) \geq 4 / 3$ . Since $H D (J_{0, σ}) > 4 / 3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $H D (J_{0, σ})$ on an open and dense subset of...

Szpilrajn type theorem for concentration dimension

Jozef Myjak, Tomasz Szarek (2002)

Fundamenta Mathematicae

Similarity:

Let X be a locally compact, separable metric space. We prove that $d i m_{T} X = i n f d i m_{L} X^{'} : X^{'} i s h o m e o m o r p h i c t o X$ , where $d i m_{L} X$ and $d i m_{T} X$ stand for the concentration dimension and the topological dimension of X, respectively.

A first countable supercompact Hausdorff space with a closed $G_{δ}$ nonsupercompact subspace

Murray G. Bell (1980)

Colloquium Mathematicae

Similarity:

A two-dimensional univoque set

Martijn de Vrie, Vilmos Komornik (2011)

Fundamenta Mathematicae

Similarity:

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x = \sum_{i = 1}^{\infty} c_{i} q^{- i}$ with integer coefficients $c_{i}$ satisfying $0 \leq c_{i} < q$ , i ≥ 1. In this case we say that $(c_{i}) = c ₁ c ₂ . . .$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...

On the Hausdorff dimension of certain self-affine sets

Abercrombie Alex G.., Nair R. (2002)

Studia Mathematica

Similarity:

A subset E of ℝⁿ is called self-affine with respect to a collection ϕ₁,...,ϕₜ of affinities if E is the union of the sets ϕ₁(E),...,ϕₜ(E). For S ⊂ ℝⁿ let $Φ (S) = ⋃_{1 \leq j \leq t} ϕ_{j} (S)$ . If Φ(S) ⊂ S let $E_{Φ} (S)$ denote $⋂_{k \geq 0} Φ^{k} (S)$ . For given Φ consisting of contracting “pseudo-dilations” (affinities which preserve the directions of the coordinate axes) and subject to further mild technical restrictions we show that there exist self-affine sets $E_{Φ} (S)$ of each Hausdorff dimension between zero and a positive number depending on Φ. We also...

Borsuk-Sieklucki theorem in cohomological dimension theory

Margareta Boege, Jerzy Dydak, Rolando Jiménez, Akira Koyama, Evgeny V. Shchepin (2002)

Fundamenta Mathematicae

Similarity:

The Borsuk-Sieklucki theorem says that for every uncountable family ${X_{α}}_{α \in A}$ of n-dimensional closed subsets of an n-dimensional ANR-compactum, there exist α ≠ β such that $d i m (X_{α} \cap X_{β}) = n$ . In this paper we show a cohomological version of that theorem: Theorem. Suppose a compactum X is $c l c_{ℤ}^{n + 1}$ , where n ≥ 1, and G is an Abelian group. Let ${X_{α}}_{α \in J}$ be an uncountable family of closed subsets of X. If $d i m_{G} X = d i m_{G} X_{α} = n$ for all α ∈ J, then $d i m_{G} (X_{α} \cap X_{β}) = n$ for some α ≠ β. For G being a countable principal ideal domain the above result was proved by Choi...

Universal acyclic resolutions for arbitrary coefficient groups

Michael Levin (2003)

Fundamenta Mathematicae

Similarity:

We prove that for every compactum X and every integer n ≥ 2 there are a compactum Z of dimension ≤ n+1 and a surjective $U V^{n - 1}$ -map r: Z → X such that for every abelian group G and every integer k ≥ 2 such that $d i m_{G} X \leq k \leq n$ we have $d i m_{G} Z \leq k$ and r is G-acyclic.

The growth speed of digits in infinite iterated function systems

Chun-Yun Cao, Bao-Wei Wang, Jun Wu (2013)

Studia Mathematica

Similarity:

Let ${f ₙ}_{n \geq 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${a ₙ (x)}_{n \geq 1}$ of integers, called the digit sequence of x, such that $x = l i m_{n \to \infty} f_{a ₁ (x)} \circ \dots \circ f_{a ₙ (x)} (1)$ . We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x \in Λ : a ₙ (x) \in B (\forall n \geq 1), l i m_{n \to \infty} a ₙ (x) = \infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Module-valued functors preserving the covering dimension

Jan Spěvák (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove a general theorem about preservation of the covering dimension $dim$ by certain covariant functors that implies, among others, the following concrete results. If $G$ G is a pathwise connected...

Appendix to the article of T. Peternell: the Kodaira dimension of Kummer threefolds

Frédéric Campana, Thomas Peternell (2001)

Bulletin de la Société Mathématique de France

Similarity:

We prove that Kummer threefolds $T / G$ with algebraic dimension $0$ have Kodaira dimension 0.

$L^{p}$ -improving properties of measures of positive energy dimension

Kathryn E. Hare, Maria Roginskaya (2005)

Colloquium Mathematicae

Similarity:

A measure is called $L^{p}$ -improving if it acts by convolution as a bounded operator from $L^{p}$ to $L^{q}$ for some q > p. Positive measures which are $L^{p}$ -improving are known to have positive Hausdorff dimension. We extend this result to complex $L^{p}$ -improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^{p}$ -functions.

Metric Diophantine approximation on the middle-third Cantor set

Yann Bugeaud, Arnaud Durand (2016)

Journal of the European Mathematical Society

Similarity:

Let $μ \geq 2$ be a real number and let $ℳ (μ)$ denote the set of real numbers approximable at order at least $μ$ by rational numbers. More than eighty years ago, Jarník and, independently, Besicovitch established that the Hausdorff dimension of $ℳ (μ)$ is equal to $2 / μ$ . We investigate the size of the intersection of $ℳ (μ)$ with Ahlfors regular compact subsets of the interval $[0, 1]$ . In particular, we propose a conjecture for the exact value of the dimension of $ℳ (μ)$ intersected with the middle-third Cantor set and give several...

Finitistic dimension and restricted injective dimension

Dejun Wu (2015)

Czechoslovak Mathematical Journal

Similarity:

We study the relations between finitistic dimensions and restricted injective dimensions. Let $R$ be a ring and $T$ a left $R$ -module with $A = {End}_{R} T$ . If $_{R} T$ is selforthogonal, then we show that $rid (T_{A}) \leq findim (A_{A}) \leq findim (_{R} T) + rid (T_{A})$ . Moreover, if $R$ is a left noetherian ring and $T$ is a finitely generated left $R$ -module with finite injective dimension, then $rid (T_{A}) \leq findim (A_{A}) \leq fin . inj . \dim (_{R} R) + rid (T_{A})$ . Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.

Strong bifurcation loci of full Hausdorff dimension

Thomas Gauthier (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In the moduli space $ℳ_{d}$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1, 1)$ positive current $T_{bif}$ which is called the bifurcation current. This current gives rise to a measure $μ_{bif} : = {(T_{bif})}^{2 d - 2}$ whose support is the seat of strong bifurcations. Our main result says that $supp (μ_{bif})$ has maximal Hausdorff dimension $2 (2 d - 2)$ . As a consequence, the set of degree $d$ rational maps having $(2 d - 2)$ distinct neutral cycles is dense in a set of full Hausdorff dimension.

An obstruction to $ℓ^{p}$ -dimension

Nicolas Monod, Henrik Densing Petersen (2014)

Annales de l’institut Fourier

Similarity:

Let $G$ be any group containing an infinite elementary amenable subgroup and let $2 < p < \infty$ . We construct an exhaustion of $ℓ^{p} G$ by closed invariant subspaces which all intersect trivially a fixed non-trivial closed invariant subspace. This is an obstacle to $ℓ^{p}$ -dimension and gives an answer to a question of Gaboriau.

A compact Hausdorff topology that is a T₁-complement of itself

Dmitri Shakhmatov, Michael Tkachenko (2002)

Fundamenta Mathematicae

Similarity:

Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces $(X, τ_{X})$ and $(Y, τ_{Y})$ are called T₁-complementary provided that there exists a bijection f: X → Y such that $τ_{X}$ and $f^{- 1} (U) : U \in τ_{Y}$ are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size $2^{}$ which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact...