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

2
votes
1answer
96 views

Dimension of graphs (Differential Geometry)

I have a rather basic question about the dimension of a graph mapped by the exponential map. The problem is I can't really visualize it. It starts like that: Let $M$ be a smooth manifold of ...
2
votes
1answer
108 views

Injective endomorphism and Hilbert dimension

Let $\mathcal{O}$ be a finitely-generated $K$-algebra where $K$ is a field and let $M$ be a finitely-generated $\mathcal{O}$-module. For every good filtration $0 = M_0 \subset M_1 \subset M_2 \subset ...
1
vote
1answer
36 views

Question on density of a set

I am reading a paper on complex dynamics and Hausdorff dimension, and there is a result that I can't prove. I have the following situation. For each $k=1,2,...$, we denote $E_k$ a finite collection ...
0
votes
1answer
32 views

Global dimension of the center

Let $R$ be a ring. Must the global dimension of the centre $Z(R)$ of the ring $R$ always be atmost that of $R$ itself? I mean is it generally true that: $D(Z(R)) \leq D(R)$ (where D is the global ...
0
votes
1answer
15 views

Drawing (multifractals) of any specified dimension

How could anyone draw or plot fractals with a given Haussdorf non-intenger dimension? Examples: D=0.5 D=1/3
0
votes
1answer
37 views

What is the (algebraic) dimension of the dual of a vector space?

Let $V$ be a vector space over the field $\mathbb F (=\mathbb R$ or$ \mathbb C$). If $\alpha$ is the dimension of $V$, for some cardinal number $\alpha$, I want to know, what is the dimension of ...
110
votes
0answers
5k 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 ...
4
votes
0answers
34 views

Can these characterisations of finite dimensionality be proven equivalent without using a basis?

I was wondering about how to define "finite dimensional" without talking about bases. Two possibilities occurred to me: Say $V$ is finite dimensional if the canonical inclusion $V\hookrightarrow ...
4
votes
0answers
201 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
140 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
62 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
41 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
80 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 ...
2
votes
0answers
189 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$?
1
vote
0answers
25 views

Intuitive meaning of fractal dimension.

I'm studying M. Barnsley's book 'Fractals Everywhere', but I'm stuck in the chapter 'Fractal Dimension'. Suppose $(X, d)$ is a complete metric space and let $A \in \mathcal{H}(X)$ be a nonempty ...
1
vote
0answers
35 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
32 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
87 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
41 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
62 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
53 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
20 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
37 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
15 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
63 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
33 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
64 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
66 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
168 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
40 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
55 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
15 views

Compute the dimesion of these subsets of $\mathbb{R}^4$

I need to compute the codimension of the subsets $S_1,S_2,S_3\subseteq\mathbb{R}^4$ given by \begin{align} S_1&=\{(a,b,c,d)\in\mathbb{R}^4:ad-bc\neq0,\},\\ ...
0
votes
0answers
9 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 ...
0
votes
0answers
25 views

To prove existence of an open set of functions

I am trying to prove the following: In $C(X,Y)$ with $X=[0,1]$ and $Y$ of finite dimension $K$, $C(X,Y)$ having the topology of uniform convergence, for any $K$ finite there exists an open set of ...
0
votes
0answers
20 views

Vertex Figure of Leech Lattice

I'm doing some research on the newton number (kissing #) problem and it would be extremely useful to know the type and number of elements, particularly the facets, of the vertex figure formed from the ...
0
votes
0answers
18 views

Proving that $\dim_M{K_{\lambda,\gamma}}=\dim_HK_{\lambda,\gamma}$

Define $K_{\lambda,\gamma}$ to be the attractor of the IFS $$\bigg\{\bigg(\matrix {\lambda&0\\0&\gamma}\bigg)\bigg(\array{x\\y}\bigg),\bigg(\matrix ...
0
votes
0answers
49 views

Identity of dimensions related to cohomology group of projective space

Let $k$ be a field, $S=k[T_0,\ldots T_r]$, $\mathbb P=\mathbb P_k^r=\operatorname{Proj}S$ and $O$ a structure sheaf of $\mathbb P$. How can I show the identity $$\operatorname{dim}_kH^0(\mathbb ...
0
votes
0answers
33 views

Proving that plane - cantor - set contains an interval

Let $C_\lambda$ the cantor set which is defined by the IFS $\{\lambda x,\lambda x+(1-\lambda)\}$ and also let $E=C_\lambda\times C_\lambda$. Denote the orthogonal projection of the set from the ...
0
votes
0answers
12 views

Extensions to higher dimensions by tensorization. Unitary DFT in 2D?

I have problem understanding the underlying concept of tensoration (if there is such term). Fist of all the unitary DFT is NxN. Is it 1D ? How does it look when we increase the dimension let say to ...
0
votes
0answers
35 views

Showing that $\mathcal{H}^s$ is Borel regular (assuming we know already know that $\mathcal{H}^s$ is measure)

I am trying to show that $\mathcal{H}^s$ (s-dimensional Hausdorff measure) is Borel regular. I am using the defintion $\mathcal{H}^s_{\delta}(F)=inf \Bigg\{ \sum_{i=1}^{\infty}|V_i|^s : \{V_i\} \text{ ...
0
votes
0answers
22 views

$\ell_2^\mathbb{Q}$ as countable cartesian product

Since countable cartesian product of $0$-dimensional spaces (metrizable, separable) is $0$-dimensional, why $\ell_2^\mathbb{Q}$ being $1$-dimensional doesn't contradict that statement? ...
0
votes
0answers
46 views

Find a basis and state its dimension of a $C$-vector space polynomial.

The $C$ vector space $V$ of polynomials $P(t) \in C[t]$ of degree at most $n$ and such that $P(a) = P'(a) = 0$ for $a \in C$ fixed. Indication : prove that $P(t) \in V \Leftrightarrow (t − a)^2$ ...
0
votes
0answers
66 views

prove $\dim\mathbb{Z}[X_1,X_2]=3$ from first principles

Since $\dim R[X] =\dim R+1$ for any Noetherian ring $R$, the ring $\mathbb{Z}[X_1,X_2]$ must have dimension 3. But how can this be proved 'from first principles', i.e. without using any big theorems ...
0
votes
0answers
56 views

$\dim V + \dim (V^{\perp} + W) = \dim W + \dim (V + W^{\perp}).$

Show that if $V$ and $W$ are two subspaces of $\Bbb{R}^n$ it is true that $\dim V + \dim (V^{\perp} + W) = \dim W + \dim (V + W^{\perp}).$ I used some properties like $\dim (V^{\perp} + W) = \dim ...
0
votes
0answers
45 views

Covering dimension of a compact metric space

I would like to see the proof of the following fact (references appreciated). A compact metric space $X$ has covering dimension $\leqslant n$ if and only if there is a continuous surjection $\pi ...
0
votes
0answers
49 views

Examples and counterexamples in dimension theory

I am looking for examples of topological spaces that are interesting from a dimension theoretical point of view - in particular I am looking for these three notions of dimension: Little inductive ...
0
votes
0answers
28 views

Equal fields and dimension

Let $K \subseteq L$ be fields. Show that K=L if and only if $dim_k L=1$ I know that I will have to show both directions of the implication. I'm very new to the topic of fields so I'm still ...
0
votes
0answers
110 views

Hausdorff dimension is less than box counting dimension?

I have been asked to prove that for a bounded set $F\subset\mathbb{R}^n$, $dim_H F\le \underline{dim}_B F \le \overline{dim}_B F$ where $dim_H F$ is the Hausdorff dimension, $\underline{dim}_B ...
0
votes
0answers
71 views

laplace-beltrami and angular momentum operator

Im trying to understand this formula: In $\mathbb{R}^n$ we say that the laplacian can be seen as (radial part and angular part). : $$\triangle=(\frac{\partial^2}{\partial ...
0
votes
0answers
35 views

How to apply other than trivial dimensions?

I only used natural dimensions so far but I understand there could be Negative dimension with application e.g. dimension -2 definition and usage Non-integer dimension with application e.g. dimension ...