Questions tagged [dimension-theory]

Hausdorff dimension, box dimension, packing dimension and similar concepts.

Filter by
Sorted by
Tagged with
-4 votes
0 answers
417 views

N dimensional, not-locally Euclidean, non-Hausdorff topological space

Take a topological space $(M, \tau) $ where $\tau$ is the collection of open sets of $M$. Suppose: the Lebesgue covering dimension of this space is $N \geq 1$ Non-Hausdorff Not locally Euclidean The ...
3 votes
1 answer
565 views

What is the Lebesgue covering dimension of this topological space?

Take the 4 dimensional time-oriented spacetime $(M,g)$ such that it's not strongly causal. Take the induced topology defined by the Lorentzian metric called Alexandrov topology. This topology matches ...
4 votes
0 answers
58 views

Existence of finite 3-dimensional hyperbolic balanced geometry

Together with @TarasBanakh we faced the problem described in the title. Let me start with definitions. A linear space is a pair $(S,\mathcal L)$ consisting of a set $S$ and a family $\mathcal L$ of ...
3 votes
1 answer
178 views

Dimension of Alexandrov space which is homeomorphic to a manifold

Let $M^n$ be a smooth manifold of dimension $n$. Let $M$ given a metric with curvature bounded below in the sense of Alexandrov which induces the original topology of $M$. It is true that the ...
0 votes
1 answer
39 views

Box dimension and graph of Hölder function

In Kamont "ON THE FRACTIONAL ANISOTROPIC WIENER FIELD" (found here : https://www.math.uni.wroc.pl/~pms/files/16.1/Article/16.1.6.pdf), on page 96, it is claimed that, if a function $f:I^{d}\...
2 votes
1 answer
182 views

$\sigma$-product of the Hilbert cube

Given a homogeneous space $X$ and $p\in X$, we define the sigma product to be the following subspace of $X^\omega$: $$\sigma X=\{\mathbf x \in X^\omega:x_n=p\text{ eventually}\}$$ ("eventually&...
3 votes
0 answers
82 views

Conformal welding and Jordan loop consequences?

In the similar context as Conformal welding of rectifiable curves In classical conformal welding theory, we start with a homeomorphism $h$ of the unit circle and try to find a Jordan domain $D$ ...
7 votes
2 answers
479 views

On some finiteness properties for schemes

Consider the following properties of scheme $X$: A: $X$ is of finite type over $\mathbb{Z}$ B: $X$ is Noetherian C: $X$ is of finite Krull dimension What implications are there between these three?...
3 votes
0 answers
150 views

Local dimension of stationary measures for iterated function systems with an expanding map

Consider the iterated function system (IFS) $X_n$ on $I = [0,1] $generated by the functions $\Phi = \{f_1,f_2,f_3\}$ and the probability vector $P = (p/2,p/2,1-p),$ where: $f_1,f_2: I\to I$, where $...
2 votes
0 answers
62 views

How far can one get by counting spaces of solutions this way?

I am quite used to "counting"/computing finite dimensions. For example, one would expect a hypersurface in $\mathbb{C}^3$ to have dimension $3 - 1 = 2$. But it is often the case that the ...
2 votes
0 answers
294 views

Dimension of a subspace of $n\times n$ real symmetric matrices

Let $n\in \mathbb N.$ Let $W$ be a non-trivial subspace of $n\times n$ symmetric matrices such that for every $x\in \mathbb R^n\setminus \{0\}$ there exists $a_x\in \mathbb R^n\setminus \{0\}$ such ...
5 votes
1 answer
198 views

Iterating the dimensional kernel of a metric space

Fix $n\in \mathbb N$. Let $X$ be a separable metric space of (inductive) dimension $n$. Let \begin{align} \Lambda(X)&=\{x\in X:X\text{ is $n$-dimensional at }x\}\\ \\ \Lambda^2(X)&=\Lambda(\...
28 votes
2 answers
2k views

What is special to dimension 8?

Dimension $8$ seems special, as the partial list below might indicate. Is there any overarching reason that dim-$8$ is "more special" than, say, dim-$9$? Surely it isn't it, in the end, simply because ...
3 votes
0 answers
69 views

Is every weakly $1$-dimensional space embeddable in the plane?

A $1$-dimensional (separable metric) space $X$ is weakly $1$-dimensional if $$\Lambda(X)=\{x\in X:X\text{ is 1-dimensional at }x\}$$ is zero-dimensional (i.e. the space $\Lambda(X)$ has a basis of ...
3 votes
0 answers
87 views

Does the pseudo-arc contain Erdős space?

The pseudo-arc is the unique hereditarily indecomposable chainable continuum. The Lelek fan is the unique compact, connected subset of the Cantor fan (the cone over the Cantor set) with a dense ...
7 votes
1 answer
249 views

Can you remove a zero dimensional subspace from a cube and obtain a planar space?

The question, which came up in a conversation with my advisor Ola Kwiatkowska, is pretty much in the title: Let $Z\subseteq[0,1]^3$ be zero-dimensional. Is it possible for $[0,1]^3\setminus Z$ to be ...
3 votes
2 answers
412 views

The real dimension of any real algebraic set equals the complex dimension of its complexification

I want to prove the following statement. Please help! Given any semialgebraic set $A$, consider its real Zariski closure $V_{\mathbb{R}}$ (which always has the same real dimension of $A$). Now ...
6 votes
3 answers
662 views

Minimum space dimension to place n-points knowing pairwise distances

Let $P$ be a set of $n$ points. Assuming I know the pairwise distances for each pair of points. What would be the minimum dimension of the space in which I could place those $n$ points with respect to ...
8 votes
3 answers
2k views

How big can the Hausdorff dimension of a function graph get?

This question is inspired by How kinky can a Jordan curve get? What is the least upper bound for the Hausdorff dimension of the graph of a real-valued, continuous function on an interval? Is the ...
6 votes
0 answers
106 views

A generalized Hausdorff dimension in form of a Lower semi continuous function

Let $(X,d)$ be a compact metric space. Assume that $f:X\to \mathbb{R}$ is a positive continuous function. We say that the $f$-dimension of $(X,d)$ is equal to $0$ if for every $\epsilon>0$ ...
0 votes
1 answer
68 views

Seeking for references - Bowen Formula and a link between dimension theory and thermodynamic formalism

I'm needing references - preferably published papers and books - about this subject. I'm relatively new to the state of the art of fractal geometry and am way too inexperienced to seek for myself at ...
19 votes
3 answers
5k views

Area of the boundary of the Mandelbrot set ?

My second question about Shishikura's result : Shishikura (1991) proved that the Hausdorff Dimension of the boundary of the Mandelbrot set equals 2, in this paper 1. In a sense, could we consider it ...
3 votes
1 answer
145 views

Fiber dimension formula for compact Hausdorff spaces?

In Algebraic Geometry one has a very useful formula for the dimension of fibers. Specifically I am thinking about a statement of the following form: Let $C$ be a curve over $\mathbb{C}$, and let $S$...
6 votes
1 answer
414 views

Transitive homeomorphisms of Erdős spaces

A surjective homeomorphism $h:X\to X$ is minimal if $$\overline{\{h^n(x):n\in \mathbb N\}}=X$$ for every $x\in X$. In other words, the orbit of each point is dense. Does either of the Erdös spaces $\...
14 votes
6 answers
5k views

More upper/lower semi-continuous functions in (algebraic) geometry?

The notion of upper/lower semi-continuity is sometimes encountered in algebraic geometry. Here by upper semi-continuity one means a function on a topological space $f:X\rightarrow S$ with value in ...
9 votes
2 answers
2k views

Why do almost all points in the unit interval have Kolmogorov complexity 1?

Re-posted from math.stackexchange as I did not get any answers there. I am reading Jin-yi Cai, Juris Hartmanis, On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line, ...
6 votes
1 answer
168 views

Classification of Polish spaces up to a $\sigma$-homeomorphism

A function $f:X\to Y$ between topological spaces is called $\bullet$ $\sigma$-continuous if there exists a countable cover $\mathcal C$ of $X$ such that for every $C\in\mathcal C$ the restriction $f{\...
2 votes
0 answers
185 views

Commutative Banach algebras with zero-dimensional maximal ideal space and disjoint supports of Gelfand transforms

Let $A$ be a commutative semi-simple unital Banach algebra and let $\Delta$ be the maximal ideal space of $A$. Denote by $\widehat{\cdot}\colon A\to C(\Delta)$ the Gelfand transform. If $\Delta$ is ...
3 votes
1 answer
118 views

Dimension of sumset vs sum of dimensions

Let $A\subset \mathbb R$. Is it true that $$ \dim(A+A)\le 2\dim A $$ for some dimensions – say, lower box for the LHS and upper box for the RHS.
6 votes
1 answer
376 views

Does finite Hausdorff dimension imply finite packing dimension?

In other words, does there exist a metric space $(E,\rho)$ with finite Hausdorff dimension but infinite packing dimension? Here are my thoughts: I know that it is generally hard to relate Hausdorff ...
9 votes
1 answer
1k views

When does the homological dimension of a tensor product equal the sum of dimensions?

The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...
4 votes
0 answers
113 views

Dimension properties of some concrete hereditarily disconnected subspaces of the Hilbert cube

This question was motivated by this MO-question asking about the example of a hereditarily disconnected metrizable separable space, which is not the union of countably many totally disconnected ...
6 votes
0 answers
124 views

Is there a hereditarily disconnected space which is not the union of countably many totally disconnected subspaces?

A topological space $X$ is called $\bullet$ totally disconnected if for any distinct points $x,y\in X$ there exists a clopen set $U\subseteq X$ such that $x\in U$ and $y\notin U$; $\bullet$ ...
38 votes
1 answer
1k views

Sequences with 0's in $\mathbb R ^\omega$

Let $\mathbb R ^\omega$ be the set of all sequences of real numbers in the product topology. Let $X$ be the set of all sequences in $\mathbb R ^\omega$ which have at least one 0. Let $Y$ be the set of ...
10 votes
0 answers
158 views

Is there a universal totally disconnected Polish space?

A topological space $X$ is called totally disconnected if for any distinct points $x,y\in X$ there exists a clopen set $U\subseteq X$ such that $x\in U$ and $y\notin U$. In 1973 Roman Pol proved that ...
1 vote
1 answer
160 views

Dimension-preserving non-linear map

Let $F:\mathbb{R}^n\to\mathbb{R}^n$ be a continuous non-linear map, and let $A$ be a connected subset of $\mathbb{R}^n$ with $\text{dim}(A)=d\leq n$. When can we say that the dimension of the image, $\...
4 votes
1 answer
123 views

Sufficient conditions for the covering dimension and large inductive dimension of compact Hausdorff spaces to coincide

I have been looking through Alan Pears' "Dimension theory of general spaces" recently. In this book Pears references a 1960 paper by Aleksandrov and Ponomarev called "Some classes of $n$...
2 votes
1 answer
354 views

Fraction dimensional "Euclidean" space

The “dimension” of Euclidean space $\mathbb{E}^n$ can be explained as an algebraic property, simply as a dimension of a vector space over the field $\mathbb{R}$. It also can be understood as a ...
6 votes
3 answers
1k views

Topological dimension of the image of continuous surjective functions

Consider two topological spaces $(X,\tau)$ and $(Y,\omega)$ and a continuous surjective function $f\colon X\to Y$. Let $\mathrm{dim}(X)$ and $\mathrm{dim}(Y)$ denote the Lebesgue covering dimension ...
18 votes
3 answers
3k views

Dimension of subalgebras of a matrix algebra

If $n$ is given and $A$ is a subalgebra of $M_n(\mathbb C)$, the algebra of $n \times n$ matrices with entries in the field of complex numbers, then what are the possible values of dimension of $A$ as ...
2 votes
0 answers
153 views

Dimension of Cartesian products

Is there a notion of dimension such that for all Borel sets $A,B\subseteq\mathbb{R}^{n}$ we have $$ \dim(A\times B)=\dim(A)+\dim(B)?$$ For topological, Minkowski, packing and Hausdorff dimension this ...
3 votes
1 answer
230 views

Embedding CW-complexes into infinite-dimensional topological vector spaces

Sometimes it is desirable to embed CW-complexes into real vector spaces, to use a simple linear algebra to work with them. Result on embedding into Euclidean spaces are well known, check Hatcher‘s ...
2 votes
0 answers
78 views

Increasing a nowhere dense set in $\mathfrak E_{\mathrm{c}}$

Let $X$ be a closed nowhere dense subset of the complete Erdos space $$\mathfrak E_{\mathrm{c}}=\{x\in \ell^2:x_n\notin \mathbb Q\text{ for all }n<\omega\}.$$ Can you always find a closed nowhere ...
2 votes
0 answers
336 views

Equidimensional Morphism

I am reading the paper "Relative Cycles and Chow Sheaves" due to Suslin and Voevodsky. Here we have the following definition: Definition 2.1.2. A morphism of schemes $p:X\rightarrow S$ is ...
3 votes
0 answers
79 views

Isotopy Classes and Embeddability of Products in $\mathbb{R}^2$

On MSE I asked if the plane contains an uncountable collection of mutually disjoint copies of the Warsaw Circle; it seems to be false, and is probably already known but I'm not sure that anybody has ...
9 votes
2 answers
498 views

A natural $\mathbb Q\times \mathbb P$ subset of $\mathbb R$?

I would like a simple description of a dense subset of $\mathbb R$ which is homeomorphic to $\mathbb Q\times \mathbb P$. Preferably the description will be of an algebraic nature, and perhaps the set ...
2 votes
1 answer
105 views

Control on dimension of image

Let $f:E\rightarrow F$ be a map between Banach spaces E and F; E finite dimensional (>0) and F infinite dimensional. Let $F$ be equipped with its weak topology and suppose that $f$ is strong-weak ...
6 votes
0 answers
97 views

Existence of stable spaces

An element $X$ of a class of topological spaces is called the stable space for that class if for every space $Y$ in the class we have that $X\times Y$ is homeomorphic to $X$. Note that a stable space ...
4 votes
1 answer
199 views

$\varepsilon$-net of a $d$-dimensional unit ball formed by power set of $V = \{+1, 0 -1\}^d$

I have a set of $d$-dimensional vectors $V = \{+1, 0, -1\}^d $. Then $P(V)$ constitutes the power set of $V$. I now construct a set of unit vectors $V_{\mathrm{sum}}$ from the power set $P(V)$ such ...
6 votes
1 answer
146 views

Subset of $\mathbb R$ with equal Fourier, Hausdorff and Minkowski dimensions

It is a standard fact that for $0\leq s\le1$, there is a compact set $C\subseteq [0,1]$ with Hausdorff and Minkowski dimensions $s$ (by modifying the construction of a Cantor set). It is also a ...