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
744 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
899 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 ...
14
votes
7answers
597 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 ...
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 ...
12
votes
2answers
590 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
188 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
73 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 ...
2
votes
0answers
192 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
141 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
255 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 ...
-1
votes
1answer
98 views

Proving ineqalities for the similarity dimension

a. Let $K$ be the attractor of the IFS $\{f_1,\dots f_n\}$ which satisfies SSC (i.e $f_i(K)\cap f_j(K)=\emptyset\forall i\neq j$) where for all $i, c_i$ such that $ 1\le i\le n, \space ...
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
202 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
61 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
689 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
1answer
26 views

Conditions so that Lebesgue Covering Dimension and “Usual” Dimension are Equal

The definition of covering dimension is as follows: The ply of a cover is the smallest number $n$ (if it exists) such that each point of the space belongs to at most n sets in the cover. A refinement ...
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
1answer
296 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
47 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?