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

105
votes
0answers
4k 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 ...
25
votes
1answer
732 views

Which sets are removable for holomorphic functions?

Let $\Omega$ be a domain in $\mathbb C$, and let $\mathscr X$ be some class of functions from $\Omega$ to $\mathbb C$. A set $E\subset \Omega$ is called removable for holomorphic functions of class ...
18
votes
4answers
408 views

Can a 2D person walking on a Möbius strip prove that it's on a Möbius strip?

Or other non-orientable surface, can a 2D walker on a non-orientable surface prove that the surface is non-orientable or does it always take an observer from a next dimension to prove that an entity ...
16
votes
5answers
290 views

Looking for Cover's hubris-busting ${\mathbb R}^{N\gg3}$ counterexamples

In lecture 4 of his Introduction to Dynamical Linear Systems course, right after interpreting the inner product in ${\mathbb R}^N$ in terms of the cosine of the subtended angle, Stanford's Stephen ...
11
votes
2answers
557 views

$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$

Let $A$ be an integral domain of finite Krull dimension. Let $\mathfrak{p}$ be a prime ideal. Is it true that $$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$$ where $\dim$ ...
11
votes
4answers
469 views

Has the notion of having a complex amount of dimensions ever been described? And what about negative dimensionality?

The notion of having a number $a \in \mathbb{R}_{\geq 0} $ associated to any metric space is described by the definition of a "Hausdorff Dimension". I was wondering if work has been done on spaces ...
11
votes
1answer
183 views

Topological manifolds (dimension)

I am taking an introductory course to topology and the professor defined a topological manifold of dimension $n$ if it is hausdorff and if for every point $x$ there exists an open set $U$ around $x$ ...
10
votes
1answer
259 views

Fractional versions of euclidean space?

This is going to be a somewhat vague question, but I'll be happy if you indulge me. Euclidean space $\mathbb{R}^n$ is equipped with a lot of nice (algebraic, metric, topological,...) structure and ...
9
votes
3answers
871 views

Krull dimension of $\mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 x_4-x_3^2,x_1x_4-x_2 x_3\right>$

Krull dimension of a ring $R$ is the supremum of the number of strict inclusions in a chain of prime ideals. Question 1. Considering $R = \mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 ...
8
votes
4answers
161 views

Dimension of an object?

One simple way to define dimension is "the number of numbers required to describe an object." If we consider the set of circles, we can describe each of them by one number -- radius, or ...
8
votes
1answer
547 views

For an $n$-dimensional object, how many types of holes are possible?

Update 2012-06-06: At some point I'll attempt to answer my own question by using a dual-fluid model that places the dimensionality and connectivity of "solids" and "holes" on an equal footing. With ...
8
votes
2answers
396 views

Why should Gaussian noise have fractal dimension of 1.5?

In a paper I'm trying to understand, the following time series is generated as "simulated data": $$Y(i)=\sum_{j=1}^{1000+i}Z(j) \:\:\: ; \:\:\: (i=1,2,...,N)$$ where $Z(j)$ is a Gaussian noise with ...
7
votes
2answers
237 views

What does it mean to be $0.9-$Dimension?

We can visualize $1\mathrm D$, $2\mathrm D$, $3\mathrm D$ and we can think of a higher $M-\mathrm {Dimension}$ where $M\in \mathbb N^+$as a vector. But I recently learned that there are non integer ...
7
votes
1answer
189 views

Which definition of dimension came first?

In my algebraic geometry class, the dimension of an affine variety $X=V(I)$ was defined as the supremum of the length of chains of prime ideals in the coordinate ring $R=k[x_1,\ldots,x_n]/\sqrt{I}$, ...
6
votes
1answer
170 views

Fractals - when the number of seed shapes that can fit into the scaled-up copy is non-integer.

I've heard people say (for eg. here) that the dimension of fractal patterns (particularly, in this question, Lindenmayer fractals) can be formulated as follows: $$D=\frac{\ln N}{\ln S}$$ Where $N$ ...
5
votes
1answer
145 views

Equivalence of definitions of Krull dimension of a module

I've seen two definitions of Krull dimension of a module $M$ over a (commutative) ring $R$, and their equivalence does not seem obvious: Matsumura on page 31 of his book Commutative Ring Theory ...
5
votes
1answer
166 views

Dimension of subspace is greater then dimension of space

If $X$ is a topological space then it's (covering) dimension is defined as a minimal number $n$ such that for every finite open cover $\{U\}$ of $X$ there is a finite open cover $\{V\}$ of $X$ that ...
5
votes
2answers
114 views

Question about “equivalent” definitions for small inductive dimension of topological spaces

$\DeclareMathOperator{\ind}{ind}$I've been reading through this document, trying to get a better handle on the interrelationships between various notions of topological dimension, and I came across ...
4
votes
1answer
120 views

How can I understand is the picture $2D$ or $3D$

I can not understand is this picture 2D or 3D .what is the rule or condition to be a 2D or 3D picture.How can I understand that?please help me?
4
votes
3answers
980 views

Do negative dimensions make sense? [duplicate]

Some time ago I read in a popular physics book that in M-theory, there are some "things" which can be said to have dimension $-1$. Probably, the author was vastly exaggerating, but this left me ...
4
votes
3answers
101 views

Converse of a dimension lemma

Consider the following lemma. It comes from the Stacks Project. Lemma 9.59.11. Suppose that $R$ is a Noetherian local ring and $x\in\mathfrak m$ an element of its maximal ideal. Then $\dim R\le ...
4
votes
2answers
66 views

What is the name for the region enclosed by an $n$ dimensional object?

In a $1$ dimensional object, the name for the region enclosed by it is the length of the object. In a $2$ dimensional object, the name for the region is the area of the object. In a $3$ dimensional ...
4
votes
3answers
139 views

$T:V\rightarrow W$ such that $N(T)=V'\subset V$ and $R(T)=W'\subset W$

How should one prove that there exists a linear map $T:V\rightarrow W$ such that $N(T)=V'\subset V$ and $R(T)=W'\subset W$ if $\dim(V')+\dim(W')=\dim(V)$, where $V$ and $W$ are finite-dimensional ...
4
votes
1answer
117 views

algebraic geometry exercise: infinite subset is dense

A hypersurface $C \subset \mathbb{A}^2$ we call a plane curve. Show that any infinite subset of an irreducible plane curve $C \subset \mathbb{A}^2$ is dense in $C.$ Note. We call hypersurface the ...
4
votes
1answer
144 views

If the special fiber of a flat morphism is reduced, then any other fiber is reduced?

Suppose $R=\mathbb{C}[x_1,\ldots, x_n]$ is a polynomial ring with $I$ being an ideal of $R$. Let $I'$ be an ideal of $R[t]$. If $R[t]/I'$ is flat as a $\mathbb{C}[t]$-module and over $0$, ...
4
votes
1answer
131 views

Is there a dimension which extends to negative or even irrational numbers?

Just elaborating on the question: We all use to natural numbers as dimensions: 1 stands for a length, 2 for area, 3 for volume and so on. Hausdorff–Besicovitch extends dimensions to any positive real ...
4
votes
0answers
197 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 ...
4
votes
2answers
308 views

Algorithm to generate an uniform distribution of points in the volume of an hypersphere/on the surface of an hypersphere.

I am searching two simple/efficient/generic algorithms to generate a uniform distribution of random points: in the volume of a n-dimensional hypersphere on the surface of a n-dimensional hypersphere ...
3
votes
3answers
247 views

Is there a notion in mathematics saying that, in a sense, all finite dimensions are actually infinite dimensional?

So then every ordered pair or triplet and so on would be actually represented by an infinite sequence of numbers, and what we think of as 3 dimensions would mean that the point has an infinite number ...
3
votes
2answers
1k views

Hausdorff measure for Lebesgue measurable sets?

As I never had a course which dealt with Hausdorff measures and every time I heard about Hausdorff measure I was only thinking using my intuition what that should be. So I decided to take a look at ...
3
votes
1answer
166 views

3D - 1D = 2D? Doing arithmetic with dimension

If you consider $\mathbb{R}^3$ and a one-dimensional space curve, by "removing" the curve from $\mathbb{R}^3$ you are left with a space that is still three dimensional, for an appropriate definition ...
3
votes
1answer
90 views

Prime ideals of height less than the dimension

Let $A$ be a noetherian local ring with maximal ideal $\mathfrak{m}$ of height $d$, and suppose $\mathfrak{p}_1, \ldots, \mathfrak{p}_s$ are prime ideals of height $i - 1 < d$. It's quite clear ...
3
votes
1answer
55 views

Hausdorff dimension of $\lim_{n\to\infty}\sin(2^nx)$

Calculate the Hausdorff dimension,$\dim_H$ of $$S=\{x\in(0,1):\lim_{n\to \infty}\sin2^nx=0\}$$ By definition We need to find the minimal $\alpha$ s.t $\sum_{i\in I}|U_i|^\alpha$ is minimal where ...
3
votes
1answer
83 views

Lebesgue covering dimension of $[0,1]$

Say, we define the Lebesgue covering dimension (LCD) like this: A set $S\in \mathbb R^n$ has LCD $d\in \mathbb N$ if and only if $d$ is the smallest natural number such that for any open cover ...
3
votes
2answers
250 views

Easy visualizations of small countable ordinals

The ordinal number $\omega^2$ can be visualized as $\omega$-many copies of $\omega$. Likewise, the ordinal number $\omega^3$ can be visualized as $\omega^2$-many copies of $\omega$, arranged as ...
3
votes
1answer
185 views

Matrices to model 3D object

I'm toying around with an algorithm to determine placement of 3D objects into a larger 3D space. I immediately thought of using matrices. It's been some years since my Linear Algebra courses. I was ...
3
votes
2answers
185 views

Krull dimension of the injective hull of residue field

Let $(R,\mathfrak{m})$ be a noetherian local ring, and $E=E_R(R/\mathfrak{m})$ the injective hull of $R/\mathfrak{m}$. What do we know about the Krull dimension of $E$? Thank you.
3
votes
1answer
63 views

Compute the transcendence degree (transcendence degree and tensor products)

$\DeclareMathOperator{\quot}{Quot}\DeclareMathOperator{\tr}{tr}$ Let $I_1$ and $I_2$ be nontrivial ideals in $\mathbb C[x_1,\ldots,x_k]$ and $\mathbb C[y_1,\ldots,y_m]$, respectively. Define $$ R_1 ...
3
votes
1answer
247 views

Cantor set exercise

This is an exercise from Abbott's real analysis book. It's exercise 3.4.4.(b) on page 93. I couldn't find a definition of ''dimension'' in the book. The only thing I could find is something on page ...
3
votes
1answer
129 views

Krull dimension of a $\mathbb Q$-algebra

I'm trying to find the Krull dimension of $\mathbb{Q}[X,Y,Z]/(X^{2}-Y,Z^{2})$. My professor said that I have to consider that $\mathbb{Q}[X,Y,Z]/(X^{2}-Y,Z^{2})$ is a $\mathbb{Q}$-algebra but I ...
3
votes
1answer
149 views

Hilbert function on ideal generated by linear forms.

This is a slight extension of a remark a read a few days ago. Let $K$ be a field, and let $A=K[X_0,\dots,X_N]$ be a polynomial ring, which is graded in the standard way (the elements of degree $n$ ...
3
votes
1answer
80 views

Principal ideal domain is universally catenary …

... actually, even more general statement is true: Theorem. Every regular ring is universally catenary. (see for example Algebraic Geometry by Qing Liu, Corollary 2.16, Chapter 8) Though, the ...
3
votes
1answer
209 views

Proof details of Theorem 11.1 in Atiyah-Macdonald

I have some trouble filling in the details of this proof from Atiyah-Macdonald. In this result, the authors assume what follows: 1) $A = \oplus_{n=0}^\infty A_n$ is a Noetherian graded ring, and ...
3
votes
2answers
154 views

Measuring Vitali sets

If $V$ is a vector space and $m$ is the counting measure, then $$\dim(V) = \inf \{m(U) : U \subset V, \text{ span}(U) = V\}.$$ Given a measure space $(V, \mathcal M, \mu)$ such that $V$ is a vector ...
3
votes
1answer
176 views

Doubts about Hausdorff measure.

I am studying real analysis and I have some problems in understanding properties of Hausdorff measure. Let $\mathcal{E}_\delta$ be collection of subsets of $\mathbb{R}^N$ whose diameter is less then ...
3
votes
1answer
54 views

n points and (n-1) dimensions

2 points make a line -1D 3 points at most make a plane -2D similary can we find $n$ points making up a $n-1$-dimensional object in $\mathbb{R}^n$?
3
votes
1answer
101 views

Cutting a $n$-dimensional cubic cake

Given a cubic cake, defined as $\{(x,y,z)|0\leq x,y,z\leq 1\}$. We cut it by the planes $p_1\leftrightarrow x=y$ $p_2\leftrightarrow y=z$ $p_3\leftrightarrow x=z$. How many pieces will we have ...
3
votes
0answers
44 views

Dimension of a topological space [duplicate]

I want to prove this fact that if X is a topological space which is covered by a family of open subsets {U_i} than dimX=supdimU_i One direction I can see that the RHS is less than or equal to the ...
3
votes
0answers
137 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
1answer
192 views

Transcendence degree of $K[X_1,X_2,\ldots,X_n]$

Let $K$ be field. How do I proof that transcendence degree of $K[X_1,X_2,\ldots,X_n]$ is $n$? The set $\{X_1,X_2,\ldots,X_n\}$ is algebraically independent over $K$. So, I have to show that every ...