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

**6**

votes

**1**answer

117 views

### Can a smooth diffeomorphism of a Riemannian manifold have only positive Lyapunov exponents on a large set?

Let $M$ be a compact Riemannian manifold, $f: M \to M$ a diffeomorphism, and $\mu$ an ergodic measure for $M$. Suppose that the support of $\mu$ is not a finite set. Is it possible that all the ...

**10**

votes

**1**answer

298 views

### Dimension in CW-approximation

The following question was something that came to my mind during my (unsuccessful) attempt at answering this MO-question.
Let $X$ be a topological space, and let $\tilde{X}\to X$ be a ...

**6**

votes

**1**answer

229 views

### Two definitions of Lebesgue covering dimension

Maybe this question has already been considered here, but after a quick search I didn't find what I was looking for.
As I see, in the literature there are two different definitions of the ...

**5**

votes

**1**answer

244 views

### Factorization of a certain map through a CW-complex

Suppose that $X$ is a paracompact Hausdorff space (e.g. a metric space) with $\dim X=n$ (the Lebesgue covering dimension). I want to find a proof (or a reference) that any (continuous) map $f: X \to ...

**8**

votes

**1**answer

184 views

### $U_q(\mathfrak{sl}_2)$ representations of “quantum dimension” zero

I'm reading up on quantum groups and their applications and I've come across a question I just can't find an answer to. I know about the basic representation theory of $U_q(\mathfrak{sl}_2)$ and I ...

**2**

votes

**0**answers

139 views

### What is the connection between the Riemann Xi-function and n-sphere? [closed]

Riemann's Xi-function is defined as
$$\xi(s) = \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$
At the same time we have the following formulas for n-sphere's area and volume:
...

**3**

votes

**1**answer

110 views

### Sort shapes in 4 dimensions [closed]

I'm sure you know the baby game about sorting shapes by putting them in holes:
I'm wondering if such a game could exist in 4 dimensions? I imagine the shapes would have 4 dimensions and the holes 3 ...

**4**

votes

**1**answer

63 views

### Bound for the generalised Rényi dimension of a measure

If $\mu$ is a measure on $\mathbb{R}^d$, and for each $r>0$ we let $\mathcal{M}_r$ denote the set of all ``cubes'' of the form $[j_1r,(j_1+1)r) \times \cdots \times [j_dr,(j_d+1)r)$ for ...

**10**

votes

**3**answers

569 views

### Self-Similar Graphs

Many fractals can be generated using and infinite sequence of graphs. For example, Sierpinski's Gasket could be generated by the following sequence of graphs.
Many definitions of fractal dimensions ...

**0**

votes

**0**answers

75 views

### Distortion of the Hausdorff dimension of sums of Cantor sets under local scaling

The following question deals with possible distortion of the Hausdorff dimension of sums of Cantor sets as one "zooms in" on the sum around any given point.
Let us assume that $C_1$ and $C_2$ are two ...

**7**

votes

**3**answers

348 views

### How can dimension depend on the point?

Let $M$ be a metric space.
For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension.
For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...

**4**

votes

**1**answer

102 views

### Existence of small projective dimensioned modules

Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$.
Then do either of the ...

**6**

votes

**1**answer

408 views

### Geometric measures different from Hausdorff

$\newcommand{\RR}{\mathbb{R}}\newcommand{\calF}{\mathcal{F}}\newcommand{\diam}{\mathrm{diam}}$
In geometric measure theory there are various notions of $m$-dimensional measure for sets $A\subset ...

**1**

vote

**0**answers

225 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**12**

votes

**3**answers

498 views

### Dimensions of self-affine sets

Let $A$ be a $2\times 2$ matrix which we assume to be contracting, i.e., the exists $\alpha\in(0,1)$ such that
$$
\|A {\mathbf x}\|_2\le \alpha\|{\mathbf x}\|_2,\quad \forall {\mathbf x}\in\mathbb ...

**1**

vote

**1**answer

318 views

### Hochschild cohomology and formal smoothness

Hochschild cohomology can be used to characterise formal smoothness of unital associative algebras; in that such an algebra $A$ is formally smooth if and only if it is of Hochschild cohomological ...

**10**

votes

**1**answer

222 views

### Why do convex polytope options constrict with dimension, rather than expand?

There are an infinite number of regular polygons in the plane,
five regular polyhedra,
six regular polytopes in $\mathbb{R}^4$,
and then three regular polytopes in every dimension $d > 4$.
There ...

**5**

votes

**1**answer

135 views

### Multifractal Analysis and Dimension Spectrum of Unions

Consider the classical Multifractal Analysis, and the decomposition of the state space $X$ into level sets
$$X=\bigcup_{\alpha}\left\{x\mid d_\mu(x)=\alpha\right\}\cup\left\{x\mid d_\mu(x) ...

**4**

votes

**2**answers

554 views

### Do constructible sets have Krull dimension?

Let $(I,\leq)$ be a poset. Recall that the Krull dimension of $I$ is defined as follows:
-- $K.dim(I)=-1$ if and only if $I=\{0\}$;
-- if $\alpha$ is an ordinal and we already defined what it means ...

**5**

votes

**1**answer

153 views

### Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...

**3**

votes

**0**answers

122 views

### Possible Hausdorff dimension of intersection of Besicovitch-Eggleston like sets

Let $b \geq 2$ be an integer and suppose that $v=(p_0,\cdots,p_{b-1})$ be a probability vector. Let $S_{b,v}$ be the set of real numbers whose $b$-ary expansion has the digit $k$ with relative ...

**6**

votes

**1**answer

499 views

### Arithmetic products of Cantor sets.

Let $A,B\subseteq \mathbb{R}$ be two Cantor sets. What is known about the arithmetic product
$AB=\lbrace ab|a\in A, b\in B\rbrace$? In particular, what is known in the case that the sets are ...

**2**

votes

**2**answers

143 views

### A notion of a 'coarse', parametrized dimension of an object, where the parameter determines how finely we can distinguish (say) a very thin rod from a line

I apologize for the clumsy wording of the title-- what I'm looking for is a notion of an integer-valued dimension $d_{\epsilon}$, which we parametrize by a real positive number $\epsilon$, of, say, a ...

**2**

votes

**0**answers

151 views

### Is there a better function (linear or even a projection)?

Let $A$ be a finite $n$-element set. Let $\mathbb R^A$ be an $n$-dimensional Euclidean space (with the ordinary Euclidean distance). Let $X$ be an arbitrary topological space. Consider a continuous ...

**0**

votes

**0**answers

106 views

### When does the rank of a module behave sub-multiplicatively under tensoring?

Let $\cal{E}$ be a finitely generated projective bimodule over a (noncommutative) algebra $A$. Moreover, let us assume that $\cal{E}$ is of finite rank $n$. The tensor product
$
\cal{E} \otimes_A ...

**4**

votes

**2**answers

184 views

### Hutchinson's formula for asymptotically homogeneous Cantor sets

As everyone knows, the standard middle-thirds Cantor set is constructed by dividing the interval into three equal parts, removing the middle one, then applying the same procedure to the remaining two ...

**2**

votes

**1**answer

122 views

### Can the isoperimetric dimension of a d-generated group attain any value?

Background
The isoperimetric dimension of a finitely generated group $G$, which we denote by $\dim(G)$, is the largest number $d$ such that any Cayley graph $\Gamma$ of $G$ (constructed with respect ...

**1**

vote

**3**answers

1k views

### Zero-dimensional space

Let $X$ be a topological space with the following property: for any open subset $A$ of $X$ there is a collection of clopen subsets $\{A_{\alpha} : \alpha\in S\}$ such that ...

**6**

votes

**2**answers

402 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 ...

**19**

votes

**6**answers

1k views

### Pathological Examples of Dimension

I am trying to wrap my head around all the different notions of dimension (and their equivalences). To get a sense of this, it would be nice to know the subtle difficulties that arise. I thus think it ...

**7**

votes

**4**answers

543 views

### Tessellating $\mathbb{R}^n$ by bricks.

Let us call the $\ell_1$-product of intervals $[0,k_1]\times...\times [0,k_n]$ a brick of size $k_1+...+k_n$. Consider a tessellation $T$ of $\mathbb{R^n}$ by (shifted) bricks so that every point ...

**13**

votes

**2**answers

732 views

### infinite dimensional CAT(0) groups

Usually a CAT(0) group is defined to be a group acting properly isometrically and cocompactly on a CAT(0) space, but I would like to consider only those groups that act properly, isometrically and ...

**0**

votes

**1**answer

334 views

### existence of fractal [closed]

I have a question about fractals;
Suppose $\alpha\in[0,1]$ is real number, is there any fractal $F_\alpha$, such that $Dimension(F_\alpha)=\alpha$?
If yes, do we have any method to construct such ...

**11**

votes

**5**answers

952 views

### Is there an axiomatic approach of the notion of dimension ?

There are many notions of dimension : algebraic, topological, Hausdorff, Minkowski... (and others).
While the topological one generalize the algebraic one, the last three need not coincide for every ...

**21**

votes

**3**answers

2k views

### Krull dimension less or equal than transcendence degree?

Let $k$ be a field, and $A$ a $k$-domain, so that the fraction field of $A$ has transcendence degree $n$ over $k$.
If $A$ is finitely-generated over $k$, then $A$ has Krull dimension $n$ (Theorem A ...

**4**

votes

**3**answers

405 views

### minimum space dimension to place n-points knowing pairwise distances

Hi everyone,
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 ...

**4**

votes

**3**answers

712 views

### dimension of a real affine variety

Let $V$ be a real affine variety in $\mathbb R^n$, i.e. the zero set of a real polynomial $p(x_1,\dots,x_n)$. Consider the following three definitions of the dimension of $V$, $dim(V)$.
Definition ...

**15**

votes

**2**answers

515 views

### A “dimension” for Tychonoff spaces

It's well-known that any Tychonoff space $X$ can be embedded in $[0,1]^k$ for some cardinal $k$. It's natural to ask what the smallest such $k$ is (let's call it $k(X)$). However, this probably ...

**0**

votes

**0**answers

188 views

### Decompose a set into sets of Hausdorff-dimension n-1

Assume we can decompose a set $A$ in $\mathbb{R^n}$ of Hausdorff-dimension n into sets $(A_t)$ $t\in [0,1]$ of Hausdorff-dimension n-1 whose n-1-dimensional volume is known (for example is zero).
...

**3**

votes

**0**answers

211 views

### dimension of induced comodule

Let $\pi : G \to H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...

**4**

votes

**1**answer

717 views

### Hausdorff dimension of graphs .

Is there an easy way to calculate the Hausdorff dimension of the graph of a real "elementary" function, like $f(x)=\sin(1/x)$ ?

**3**

votes

**2**answers

256 views

### Hausdorff dimension of inverse images.

Let $f: \mathbb{R}^d \to \mathbb{R}$ be a continuous function. Let $t \in (\inf(f), \sup(f))$ and define $C = f^{-1} (t)$. Is it true that the Hausdorff dimension of C is $\geq d -1$? If no how does ...

**8**

votes

**1**answer

664 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 ...

**1**

vote

**2**answers

177 views

### Is there a relationship between the right global dimensions of R and R[1/v]?

A few days ago I asked a similar question about Krull dimension and got fantastic answers. Unfortunately, for the application I have in mind (a question on ring spectra), Krull dimension doesn't ...

**38**

votes

**3**answers

3k views

### What the heck is the Continuum Hypothesis doing in Weibel's Homological Algebra?

On page 98 of Weibel's An Introduction to Homological Algebra he mentions that the ring $R = \prod_{i=1}^\infty \mathbb{C}$ has global dimension $\geq 2$ with equality iff the continuum hypothesis ...

**6**

votes

**3**answers

979 views

### Can we say anything about the Krull dimension of a localization?

I'm looking for a theorem of the form
If $R$ is a nice ring and $v$ is a reasonable element in $R$ then Kr.Dim$(R[\frac{1}{v}])$ must be either Kr.Dim$(R)$ or Kr.Dim$(R)-1$.
My attempts to do ...

**2**

votes

**0**answers

175 views

### Finite topological dimension x local compactness

Of course, the two notions are independent one from the other, but often one of them implies the other under some additional hypotheses. For instance:
A topological vector space is finite dimensional ...

**0**

votes

**2**answers

353 views

### Dimensionality of a map — distance

Hello, I am looking for some words to describe what going on here. I'm sure this is not an original thought, so I'd like to read up on more from others who have thought out this topic further.
FORMAT
...

**5**

votes

**3**answers

424 views

### Quantitative measurement of infinite dimensionality

I recently encountered the metric mean dimension, which is a numerical metric invariant of (discrete time, compact space) dynamical systems that refines topological entropy for infinite-entropy ...

**1**

vote

**1**answer

154 views

### systems of parameters vs. minimal “exhausting” systems in a Noetherian local ring

Hello,
Probably this is a very easy question.
Fix a Noetherian local ring $A$, and an $A$-module of finite type $M$.
Lets call a system $ x_1 , \ldots , x_m \in \mathfrak{m}$ $M$-exhausting, if $M / ...