Questions tagged [dimension-theory]
Hausdorff dimension, box dimension, packing dimension and similar concepts.
176
questions
-6
votes
0
answers
45
views
Are the intersections of two (n)dimensional figures in (n+1)dimensions always (n-1)dimensional figures? [closed]
I note that any two 1dimensional lines or curves ("figures") on a 2dimensional plane always intersect in 0dimensional points, and any two 2dimensional planes or surfaces (also referred to a &...
3
votes
0
answers
58
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
69
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 ...
6
votes
1
answer
219
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 ...
4
votes
1
answer
169
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(\...
3
votes
2
answers
285
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 ...
5
votes
0
answers
90
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
57
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 ...
8
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, ...
3
votes
1
answer
108
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.
2
votes
0
answers
176
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 ...
6
votes
1
answer
280
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 ...
4
votes
0
answers
112
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
102
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$ ...
6
votes
1
answer
145
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{\...
9
votes
0
answers
129
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
130
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
106
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
328
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 ...
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 ...
2
votes
0
answers
142
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
206
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
75
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
255
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
77
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 ...
2
votes
1
answer
95
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
92
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 ...
6
votes
1
answer
139
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 ...
0
votes
1
answer
96
views
Can someone please help me understand the concept of twins? [closed]
I am unable to understand Lemma 2.3 of
Carmen Hernando, Mercè Mora, Ignacio M. Pelayo, Carlos Seara, David R. Wood, Extremal Graph Theory for Metric Dimension and Diameter, Electronic J. ...
5
votes
0
answers
168
views
Which metrizable spaces can be embedded into the countable power of $\omega$ with the cofinite topology?
Let $\omega_{cf}$ be the countable space $\omega=\{0,1,2,3,\dots\}$ endowed with the cofinite topology $$\tau_{cf}=\{\emptyset\}\cup\{U\subseteq\omega:\omega\setminus U\mbox{ is finite}\}.$$
It is ...
1
vote
0
answers
236
views
Minkowski (box-counting) dimension of generalized Cantor set
I'm trying to solve this problem.
For $0<\alpha, \beta<1,$ let $K_{\alpha, \beta}$ be the Cantor set obtained as an intersection of the following nested compact sets. $K_{\alpha, \beta}^{0}=[0,...
5
votes
1
answer
267
views
Is the Hilbert cube the countable union of punctiform spaces?
Recall that a (separable) metric space is called punctiform, if all its compact subspaces are zero-dimensional. While "natural" spaces would seem to be punctiform if they already themselves ...
5
votes
2
answers
283
views
How to understand the "boundary" of subscheme, as defined in "An elementary characterisation of Krull dimension"
In An elementary characterisation of Krull dimension and A short proof for the Krull dimension of a polynomial ring, Coquand, Lombardi, and Roy give an elementary characterization of Krull dimension, ...
9
votes
2
answers
489
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 ...
0
votes
0
answers
31
views
What is the analog of the symmetrized Jacobi matrix for delay equations?
For a linear system of ODEs in $\mathbb{R}^{n}$ (with the usual inner product), say $\dot{V}(t) = A(t) V(t)$, we know that if $\xi_{1},\ldots,\xi_{k} \in \mathbb{R}^{n}$ and $V_{j}(t)=V_{j}(t,\xi_{j})$...
4
votes
1
answer
177
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 ...
9
votes
2
answers
527
views
Unknown work of Nöbeling on topological/Hausdorff dimension
Let $\mathcal{H}^n$ denote the Hausdorff measure, $\dim_H X$ the Hausdorff dimension, and $\dim X$ the topological dimension of $X$.
A well known result of
Szpilrajn (He changed his name to ...
25
votes
1
answer
1k
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 ...
1
vote
1
answer
118
views
Perfect images of complete Erdős space
Let $\mathbb P$ denote the space of irrational numbers. In an answer to this question, Taras Banakh showed that the perfect images of $\mathbb P$ are precisely the Polish spaces with no compact ...
1
vote
1
answer
209
views
Quotients of the irrationals
Everyone knows that there is a closed equivalence relation $\sim$ on the Cantor set $C$ such that each non-trivial equivalence class has exactly $2$ points and $[0,1]\simeq C/\sim$. Thus a closed ...
2
votes
0
answers
89
views
Fourier dimension of radial set
In his 1967 article "Sur un theoreme de R. Salem", Gatesoupe proved that if a set $A\subset [0,1]$ has Fourier dimension $\alpha$ then the set $\tilde A:=\{x\in \mathbb{R}^n: |x| \in A\}$ has Fourier ...
4
votes
0
answers
427
views
The "core" of complete Erdős space
This question is about the Erdős spaces:
$\mathfrak E=\{x\in \ell^2:x_n\in \mathbb Q\text{ for all $n<\omega$}\}$; and
$\mathfrak E_c=\{x\in \ell^2:x_n\in \mathbb P\text{ for all $n<\omega$}\}...
10
votes
2
answers
829
views
Is the complement of a zero-dimensional subset of the plane path-connected?
Let $X$ be a zero-dimensional subset of the plane $\mathbb R ^2$. Is $\mathbb R ^2\setminus X$ necessarily path-connected? I feel the answer must be yes but I need a reference. If it helps, assume $...
6
votes
1
answer
214
views
A classification of $G_{\delta\sigma}$ zero-dimensional spaces?
Among separable metrizable spaces:
Cantor set is the unique compact zero-dimensional space without isolated points.
$\mathbb Q$ is the unique countable space without isolated points
$\mathbb R \...
9
votes
0
answers
111
views
Real Rank of $M_n(A)$
The real rank for C*-algebras was defined by Brown-Pedersen in [1] as a noncommutative analog of covering dimension. Given a unital C*-algebra $A$, its real rank $\mathrm{rr}(A)$ is the smallest ...
3
votes
2
answers
966
views
A set whose Hausdorff dimension gradually changes?
Can there be a set whose Hausdorff dimension gradually changes?
For instance, a set of real numbers contained in an interval, whose Hausdorff dimension is 0 at the beginning and 1 closer to the end, ...
11
votes
1
answer
848
views
Why are homeomorphism groups important?
For a compact metric space $X$ let $\mathcal H(X)$ denote the set of homeomorphisms in the compact-open topology (also generated by sup metric). It is known that $\mathcal H(X)$ is a Polish ...
3
votes
0
answers
143
views
Separating a countable closed set from a point
Let 𝑋 be a separable metrizable space. An intersection of clopen subsets of $X$ is called a C-set.
Question. If each singleton of $X$ is a C-set, $A\subseteq X$ is closed and countable, $x\in X\...
6
votes
1
answer
466
views
Is there an almost strongly zero-dimensional space which is not strongly zero-dimensional
A Tychonoff space $X$ is called strongly zero-dimensional if each functionally closed subset $F$ of $X$ is a $C$-set, which means that $F$ is the intersection of a sequences of clopen sets in $X$.
A ...
5
votes
1
answer
210
views
One-dimensional compacta as projective limits
Let $X$ be a (not necessarily metrizable) Hausdorff compact space of covering dimension = 1.
Is it possible to express $X$ as a filtering projective limit of finite graphs?
Here finite graphs ...