In general topology, dimension theory studies various notions of dimension defined for topological spaces, for example Lebesgue covering dimension, small and large inductive dimension or Hausdorff dimension. In commutative algebra, dimension can be defined for commutative rings.

learn more… | top users | synonyms

308
votes
0answers
14k views

A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
5
votes
0answers
143 views

Distance and Coordinates in fractional dimensions and the creation of functions with non-integral numbers of paramters.

Background: The Euclidean distance between two points in $n$ dimensions, where $n$ is a positive integer, and position can be described by a vector is given by... $$D_E=\left(\sum_{k=1}^n ...
5
votes
0answers
248 views

Fourier dimension of a measure restricted to an open set

Suppose that the measure $\mu$ on $\mathbb{R}^n$ has Fourier dimension $\beta$, which is to say that \begin{equation*} \beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq ...
4
votes
0answers
63 views

Singular points of one-to-one mapping on rectifiable set

Let $E$ be an $s$-rectifiable set in $\mathbb{R}^n$ of positive $s$-dimensional Hausdorff measure $H^s(E)>0$. The original question I have is: Can there exist a one-to-one Lipschitz function ...
4
votes
0answers
227 views

The unit square has dimension two?

Show that the Lebesgue Covering Dimension of the unit square $I^2$ with $I=[0,1]$ is two. I know that a compact subset of Euclidean space $\Bbb R^n$ has Lebesgue dimension at most $n$. So it ...
3
votes
0answers
65 views

Proving how to reduce a Brownian walk on a plane to a line (2D to 1D)

I have a Brownian motion on a plane and would like to find the time of when it is expected to hit a set of parallel lines, i.e the hitting time. In order to do so, I understand that I can reduce the ...
3
votes
0answers
38 views

Interpreting infinite integer lattice as a manifold of negative dimension

Various fractal dimensions coincide on self-similar fractals as the logarithm of self-copies the fractal includes divided by the logarithm of the factor by which the copies are smaller than the ...
3
votes
0answers
36 views

Short proof of the coincidence of left dom.dim., right dom.dim. and relative dom.dim. for semi-primary left QF-3 rings?

is there a short and/or elementary proof of the following fact (which is taken from theorem 7.7 from H. Tachikawa, ‘‘Quasi-Frobenius Rings and Generalizations’’, Springer Lecture Notes in ...
3
votes
0answers
216 views

Canonical $\pi$ dimensional space?

Can we talk about a canonical space of dimension $\pi$? Is there anything like $\mathbb R^\pi$? Have anyone met any fractal of dimension $\pi$?
3
votes
0answers
163 views

Topological dimension of a countable dense set

I'm reading a (dynamical systems) paper in which topological dimension figures. In my situation, I'm trying to compute the topological dimension of the subset of the $d$-dimensional torus consisting ...
2
votes
0answers
45 views

$\mathrm{R}^n$ for non-integer values of $n$?

If I have a set of all possible $x$ for $x \in \mathrm{R}^n$ for non-natural number $n$, what meaning would this have and how would it be used? For instance, if I had $\mathrm{R}^{2.5}$, would this ...
2
votes
0answers
67 views

(quasi)coherent rings for which $\dim R[T]\neq \dim R+1$

What are some some examples of (quasi)coherent rings for which $\dim R[T]\neq \dim R+1$? Why (hopefully geometrically) should we not always have equality? Notation. Let $I,J$ be two ideals of ...
2
votes
0answers
63 views

Rank of a matrix over a principal ideal domain

I apologize if my question is stupid but I'm not very familiar with matrices over a principal ideal domain $R$ (For example, $R=\mathbb{Z}$ or $R=\mathbb{R}[X]$). I was wondering how to define the ...
2
votes
0answers
44 views

Can more 2 dimensional shapes be tessellated in higher dimensions?

I know only triangles, parallelograms, and hexagons can be tessellated on a plane, but could something like a regular pentagon be tessellated infinitely in 3 dimensions or more? I think a bit of a ...
2
votes
0answers
65 views

What is the point of view when we say $\mathbb{R}^n$ has dimension $n$ in mathematical analysis?

I know there are several different ways to define the dimension. What is the correct point of view to say that $\mathbb{R}^n$ has dimension $n$ in mathematical analysis?
2
votes
0answers
45 views

Reference Needed: Krull Dimension equals Minkowski Dimension

I'm looking for a reference that basically states that the Krull dimension of an algebraic set in $\mathbb{R}$ equals the Minkowski dimension of the set. It is common knowledge that the Krull ...
2
votes
0answers
103 views

Defining the Rank of a Projective Module

I am trying to understand the definition of rank for a projective module over a noncommutative ring. The definition I am using is: A sufficient condition for the rank of a free module over a ring ...
1
vote
0answers
15 views

When the self-similar dimension and the Hausdorff dimension are different?

By the en.wikipedia, for the self-similar sets in a metric space, the self-similar dimension and the Hausdorff dimension are often the same, but not always. Is there a known sufficient-necessary ...
1
vote
0answers
38 views

Base change and relative dimension

Let $B$ a ring of Krull dimension $1$ and suppose that $\text{Spec }B$ is irreducible. And let $f:X\to\text{Spec}(B)$ a $B$ scheme with the following properties: $X$ is projective, regular and ...
1
vote
0answers
16 views

Bounding below Hausdorff measure of conected set

I'm trying to prove that for every connected set $E\subset\mathbb{R}$, $H^1(E)$, the Hausdorff measure is bounded below by $\text{diam}(E)$. In the answer there, it was suggested to use a Lipschitz ...
1
vote
0answers
35 views

Compute Hausdorff dimension of cantor set.

I have to show that $0<\mathcal H_{\alpha }^\delta(\mathcal C)<\infty $ where $\mathcal C$ is the cantor set, $\alpha =\frac{\ln(2)}{\ln(3)}$ and $$\mathcal H_\alpha ...
1
vote
0answers
35 views

How to find family of functions

I want to find the family of functions with this property: $$\epsilon F\left(\frac{x}{\epsilon}\right)=\epsilon^r F(x)\quad\text{with}\ x,\epsilon, r \in \mathbb{R}$$ ($\epsilon$ and r are ...
1
vote
0answers
25 views

The critical value of an infinte sum over [0,1).

Consider $f(s)=\displaystyle\sum_{i=1}^\infty r_i^s$ where $s\in[0,\infty)$ and $0<r_i<1$. Under what conditions can we claim that there exists some $s$ such that $f(s)=1$. I know that some ...
1
vote
0answers
32 views

How to characterize the dimension of a manifold using homology?

This might be a trivial question but I'm a physicist, not a mathematician. For me, the n dimensional euclidean space is n dimensional as a vector space. I have heard however that there more intrinsic ...
1
vote
0answers
34 views

Why is there a need for other coordinate systems?

I have been wondering a lot about this. I have just reached A-Levels, and I have chosen the course Further Math. In class, we were talking about the Parallel coordinate system, but I didn't really see ...
1
vote
0answers
29 views

Multi-dimensional naughts and crosses: victory for first player?

In a $2$-dimensional checkerboard which is $2\times2$, the player going first necessarily achieves $2$ in a row. In a $3$-dimensional board which is $3\times3\times3$, a player going first using a ...
1
vote
0answers
35 views

On the covering dimension of an image under a continuous function

I'm trying to solve the following exercise: Let $X$ be a compact Hausdorff space and let $U_1,...,U_n$ be a cover of $X$ of order $m$. Let $z_1,...,z_n\in\mathbb{R}^N$ for some $N$ be in general ...
1
vote
0answers
94 views

Do mathematicians visualise what 4D would look like when they are working with abstract 4D concepts?

I was wondering if mathematicians do truly have a sense of visualising what the fourth dimension would look like in general, such as the fourth dimension as found in hypercubes. I know that we, as 3D ...
1
vote
0answers
21 views

Cohomological dimension of an orbit space in Alexander-Spanier theory

Take a ring $R$ and define $cd_R(X)$ ("cohomological dimension over $R$") to be the maximum of the integers $m$ such that $H^m(X; R)\neq 0$, where $H^*$ denotes the Alexander-Spanier cohomology. Now ...
1
vote
0answers
48 views

Proof of an inequality about set in four-dimensional space

It is needed to prove that for set $A \subset N^4$ $3\log|A|\le \log|\pi_{1,2,3}(A)|+\log|\pi_{1,2,4}(A)|+\log|\pi_{1,3,4}(A)|+\log|\pi_{2,3,4}(A)|$ where $\pi_{i,j,k}(A)$ is a projection of $A$ on ...
1
vote
0answers
80 views

Prove that this condition is true on an Zariski open set

Why is there an Zariski open set of $P\in GL(n,\mathbb{R})$ such that $P\,\text{diag}(1,\dots,1,-1)P^{-1}$ can be conjugated by a diagonal matrix $D$ to get an orthogonal matrix? Note that ...
1
vote
0answers
23 views

Infimum of fractal dimensions left by almost-disjoint-disk covering of plane

Answers to this question show that it is not possible to cover the plane by almost-disjoint closed disks. As note in the comments, the Appollonian Gasket leaves a set of fractal dimension ...
1
vote
0answers
75 views

Hausdorff dimension of a ball

Let $\{f_1,\dots,f_m\}$ be an IFs and $E_n$ be the associated self similar set. It's known that $E_n$ is a union of disjoint balls $B(x_i,R\cdot r^n)$ (balls with same radius but not the same ...
1
vote
0answers
45 views

Hausdorff dimension of closed intervals is not changed under $f(x)$

Let $f(x)=x^2$. Prove that for any $E\subseteq\mathbb{R}$ the dimension of image is not changed i.e $$\dim_HE=\dim_H(f(E))$$ Any set in $\mathbb{R}$ can be represnted as a countable union of ...
1
vote
0answers
108 views

Von Neumann and Hausdorff continuous dimensions are related?

Von Neumann in his book Continuous Geometry introduced (in a suitable lattice) a dimension function that has a continuous range. The definition of a dimension function is axiomatic: see Continuous ...
1
vote
0answers
54 views

Depth and kernel of multiplication map

If $A$ is a commutative $k$-algebra, $\mu: A\otimes_k A\rightarrow A$ is its multplication map and $I$ is the kernel of that map (viewed as an $A\otimes_k A$-module map) then what is the relationship ...
1
vote
0answers
116 views

Krull dimension of localization

If $R$ is a commutative ring and $m$ a maximal ideal therein, then what are the conditions for the Krull dimension of $R$ equaling to the Krull dimension of $R_m$?
1
vote
0answers
65 views

Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
1
vote
0answers
37 views

On the definition of (small) inductive dimension

A regular topological space $X$ has inductive dimension smaller or equal to n if and only if: ($n=-1$) $X=\emptyset$; ($n>-1$) The space $X$ has a base of opens $\mathscr{B}$ such that, for all ...
1
vote
0answers
40 views

Number of touching triplets in hypersphere packing contact graph

I would like to know what is curently known about the number $N$ of touching-triplets involving a given vertex $V$ in the contact-graph of $d$-hypersphere packings. For $d=2$ and $d=3$, one has $N = ...
1
vote
0answers
16 views

Can correlation dimension of an attractor exceed the dimension of the space?

Here is the definition of the correlation dimension: http://en.wikipedia.org/wiki/Correlation_dimension Is there a proof that the correlation dimension cannon exceed the dimension of the space?
1
vote
0answers
82 views

Kernel of an infinite dimensional operator

Can the Kernel of an infinite dimensional operator have $\dim=0$? I am thinking to the annihilation ($\hat E$) and creation ($\hat E^\dagger$) operators. Suppose, in fact, we have an infinite but ...
1
vote
0answers
37 views

How can i evaluate a parabolic region in 2-Dimensions onto n-Dimensions?

I am working on the K-Nearest Neighbor algorithm and have the solution to a problem as a parabola in 2-dimensional space. Should I continue this solution onwards to n-dimensions (and thereby create ...
1
vote
0answers
71 views

Buckingham Π-Theorem

I'm about to conduct some experiments concerning a welding process. To prepare for this I wanted to do a dimensional analysis of the process. So I read a lot about the Π-Theorem and I was able to ...
1
vote
0answers
73 views

Separation of Euclidean Space

Consider a finite collection $\mathcal{H}$ of hyperplanes of $\mathbb{R}^n$ that have a common line. Given some $A \subseteq \mathbb{R}^n$ that is homeomorphic to a subset of $\bigcup\mathcal{H}$, ...
1
vote
0answers
197 views

Hilbert (polynomial) dimension and dimension of a support of a module

$\newcommand{\Supp}{\mathrm{Supp}}$ $\newcommand{\Ann}{\mathrm{Ann}}$ Let $X$ be an affine algebraic variety (over a field $K$, can assume it is algebraicaly closed), $M$ a finitely generated ...
1
vote
0answers
45 views

Covering dimension of the union

Let $\{{A_n}\}$ be the closed subsets of $X$, such that ${A_n} \subset \operatorname{Int}{A_{n + 1}}$ and $ \cup {A_n} = X$, if $A_1$ and all $\operatorname{cl}(A_n-A_{n-1})$ have the covering ...
1
vote
0answers
58 views

Disjointness of stars in a simplicial complex in $\ell_2$

Definitions Let's consider a full $n$-dimensional simplicial complex $C$ in $\ell_2(X)$. By that I mean a set of all functions $f:X \to[0,1]$ such that $\sum_{x\in X}f(x)=1$ and there are at most ...
0
votes
0answers
10 views

Lie Algebra: Dimension of a one-parameter group (dimension of orbit)?

I am reading a book about Applications of Lie Groups to Differential Equations by Peter Olver. Lets say we have a PDE with $p$ independent variables and $q$ dependent variables In Chapter 3.1 (page ...
0
votes
0answers
13 views

Simulating 4D on a 3D mean

Why if we can simulate 3D on a 2D mean, why isn't possible to simulate 4D on a 3D mean (real world)? Has someone tried?