Questions tagged [dimension-theory]
Hausdorff dimension, box dimension, packing dimension and similar concepts.
184
questions
-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 ...