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

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 ...
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 ...
11
votes
4answers
468 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
2answers
556 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$ ...
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
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 ...
1
vote
1answer
71 views

Dimension Recovery of $S \subset P_n(F)$

How is the subset of $P_n(F)$ consisting of all polynomials $f$ such that $f(1) = 0$ a subspace of $P_n(F)$? What is the dimension of this subset? Added from answer posted by Trancot on 18 Apr ...
104
votes
0answers
4k views
+100

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 ...
2
votes
0answers
188 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$?
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 ...
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 ...
2
votes
1answer
115 views

Finding Potential with d dimensions terms

Lagrangian for a spherically-symmetric, real scalar field in d spatial dimensions, $$L=c_d \int r^{d-1}dr\left[ \frac{1}{2} \dot\phi^2 - \frac{1}{2} \left(\frac{\partial \phi}{\partial r} \right)^2 ...
2
votes
1answer
191 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 ...
1
vote
2answers
60 views

spherically symmetric configurations

$$\Delta S -S +S^3=0$$ How this Differential equation can be written in this form: \begin{equation} \frac{d^2S}{d\rho^2}+\frac{D-1}{\rho}\,\frac{dS}{d\rho} -S+S^3=0 \end{equation} Which is ...
1
vote
2answers
642 views

In what sense is a tesseract (shown) 4-dimensional?

This video and this image show a tesseract, which is a 4d cube: In what sense is this cube 4 dimensional? Where is time? (commonly called the 4th dimension, although I realize here its probably ...
0
votes
0answers
32 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
1answer
282 views

If $(V,k)$ is a finite-dimensional vector space, then the space of all linear transformations on $V$ is finite dim and find its dim?

My issue with this is the only way I know how to prove it is to set $\dim V=n$, but then that wouldn't make sense because the second part is find the $\dim$. What I was thinking is using the ...
0
votes
1answer
46 views

Derricks Theorem for D= 2 and 3

According to Derrick's theorem we can write \begin{align} E &= \frac{1}{2} \int d^Dx \frac{1}{\lambda^2}\left( \nabla \phi_i (\frac{x}{\lambda})\right)^2 + \int d^Dx ...
0
votes
0answers
78 views

How to show an ideal is zero-dimensional? [duplicate]

Let $J$ denote the ideal in $\mathbb{Q}[x,y,z]$ generated by $\{y^2-xy-2xz,y^3+z^2+1, x^2yz-yz\}$. Show that $J$ is zero-dimensional. How do I go about showing this?