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

0
votes
0answers
9 views

How do I derive the Minkowski dimension of the following set?

I have been trying to (rigorously) get the Minkowski's dimension (refer here for a basic definition) of a parabola: $(x,y) \in \mathbb{R}^2 : \{ y = x^2\} $.
1
vote
1answer
16 views

Hausdorff dimension of a Cantor Set: attaining a lower bound

I'm considering the problem of calculating the Hausdorff dimension of a Cantor set, according to the following lemmas: Lemma 1 Let $C: [0, 1] \rightarrow [0, 1]$ be a Cantor staircase function. Then ...
0
votes
1answer
12 views

How do I derive the Minkowski (Box Counting) dimension of the following set?

I have been trying to (rigorously) get the Minkowski's dimension (refer here for a basic definition) of the following: $(x,y) : \{ y=x, x \in [-2, -1) \ \cup \ (1, 2]\} \ \ \cup \ \ \{ y=0, x \in [-1,...
0
votes
3answers
23 views

find the basis of this subspace of $R^3$

How would I go about finding the basis of the subspace of $R^3$ consisting of all (x,y,z) such that x+y+z= 0? I understand that even though its three dimensional, the span could be of less dimensions....
0
votes
1answer
46 views

How to show the dimension of the vector space K[X]/fK[X]?

Let K be a field and f$\neq$0 $\in$ K[X] a polynom. a) Show that the Ring K[X]/fK[X] is a K-vector space with the dimension n=deg(f) b) f is called irreducible, if for g,h \in K[X] we have f=g*h $\...
2
votes
1answer
46 views

Let $U\subset\Bbb{R}^n$ be open bounded nonempty. What is the topological dimension of $\partial U$?

An exercise in Munkres' Topology (Exercise 50.8) shows that if $X$ is a $\sigma$-compact Hausdorff(*) space s.t. every compact subset has topological dimension $\leq n$, then so does $X$. If we define ...
3
votes
2answers
40 views

Hausdorff dimension via ergodic theory

This is definitely a soft question, but it was recently mentioned to me that one can study the dimension of fractals via ergodic methods. I'm familiar with ergodic theory on about the level of ...
1
vote
1answer
80 views

Lower bound on dimension of fibres of a dominant mophism of irreducible affine varieties

Whilst doing exercise $11.4.B$ of Ravi Vakil's "Foundations of Algebraic Geometry", I got stuck with the following problem (although I think that many of the hypotheses are unnecessary and a more ...
-1
votes
1answer
27 views

Dimention of span of subspace

Let $V$ be a vector space over$\mathbb R$ and $B = { v_1,v_2,v_3 }$ a base of $V$. $S = { v1-v2, v2-v3, v3+v1 }$ $A$. is $S$ a base of $V$? $B$. is $dim(span(s)) = 1$ ? I really hope I correctly ...
0
votes
0answers
16 views

Dimension Theory

Let $F$ be a closed subset of a manifold $M$ of dimension $n$ such that $M\setminus F $ is disconnected and F contains no open sets. Is that true the small inductive dimension of F is $n-1$? Small ...
-1
votes
1answer
42 views

Why the topological dimension of C is 2?

From what I know, the topological dimension of a set has to do with open sets covering it, homeomorphic to R^{n}. Then we can cover C with balls, for instance,of <...
0
votes
1answer
25 views

Doubts in Volume, Hypervolume in $R^4$

Recently I was reading about triple integrals and I came across the statement - "We saw that a double integral could be thought of as the volume under a two-dimensional surface. It turns out ...
8
votes
1answer
287 views

When is a function a dimension?

The concept of dimension is used in many different contexts. Generally a dimension is a function that has as domain some family of sets ad has value on a set that, in the most common situations, is $...
0
votes
2answers
597 views

How to prove $\dim(U)=\dim(W)=\dim(V)-1 \implies V=U+W$ based on the following assumption?

Suppose $U$ and $W$ are subspaces of a vector space $V$ such that $\dim(U) =\dim(W)$ and $U\ne W$, how to prove $\dim(U)=\dim(W)=\dim(V)-1 \implies V=U+W$? My approach is to use $\dim(U+W)=\dim(U)+\...
3
votes
1answer
115 views

Is a hypersphere of non-integer dimension a fractal?

Thanks to the gamma function the formula for the surface of a unit http://mathworld.wolfram.com/Hypersphere.html $$ S(n) = \frac{2 \pi^{n/2}}{\Gamma(n/2)} $$ allows to calculate the surface of a ...
10
votes
2answers
2k views

Can a polygon be one dimensional?

When looking up the definition of polygon, Wikipedia tells me: In elementary geometry, a polygon /ˈpɒlɪɡɒn/ is a plane figure that is bounded by a finite chain of straight line segments closing ...
0
votes
0answers
13 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 ...
1
vote
1answer
356 views

Hausdorff Dimension of a Smooth Manifold

I read a book about fractals which stated without proof: Every $m$-dimensional $(m<n)$ smooth manifold $M$ in $\mathbb{R}^n$ has Hausdorff dimension $m$. How can we prove this?
1
vote
0answers
17 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 ...
0
votes
0answers
14 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?
4
votes
2answers
223 views

How to list all possible dimension of $\ker{T},\ker{T^2},…,\ker{T^{k-1}}$ and the corresponding canonical forms?

Let $V$ be $5$-dimension vectorspace, and $T:\ V\rightarrow V$ a nilpotent linear transofrmation of order (index) $k$ where $1\le k\le 5$. How to list all possible dimension of $\ker{T},\ker{T^2},...,\...
1
vote
1answer
30 views

System of parameters in Noetherian local rings

I'm trying to understand the theorem for systems of parameters in Noetherian local rings, which says: Let $R$ be a Noetherian local ring with maximal ideal $m$. Then there exists an $m$-primary ideal ...
2
votes
0answers
57 views

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

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 ...
1
vote
3answers
36 views

Extension of Up/Down/Right/Left in n dimensions

I'm wondering if there are extensions of the right/left/up/down concepts in n dimensions, i.e. "if $x_0$ points ahead of me, I'm looking LEFT/RIGHT along $x_1$, UP/DOWN along $x_2$, XXX/YYY along $x_3$...
1
vote
0answers
42 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 ...
0
votes
1answer
166 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 ...
2
votes
2answers
233 views

The 1-dimensional Hausdorff measure of a curve in the plane

For a set $X\subseteq\mathbb{R}^2$, let $H^1(X)$ be its 1-dimensional Hausdorff measure. Suppose $X$ is a regular curve (say, a graph of a continuous function $f:\mathbb{R}\to\mathbb{R}$). In that ...
5
votes
1answer
87 views

Proof of algebraic set involving dimension

I need some help to understand the following proof. Let $k$ a field and $V$ an algebraic set. I note $\mathfrak{m}_P$ the ideal generated by $X_1-a_1,\dots ,X_n-a_n$ in $k[V]=k[X_1,\dots ,X_n]/I(V)$ ...
1
vote
0answers
17 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 ...
2
votes
1answer
42 views

Dimension about space of matrices of order 3 over the field of the real.

Consider the vector space of the matrices of order 3 over the field of the real $M_{3}\left(\Re\right)$ numbers. and let S be the subspace such that is spanned by the matrices of the form $AB-BA$. ...
7
votes
1answer
236 views

What would a tesseract actually look like?

Say our world is actually 4-dimensional, and I have a tesseract sitting on my table. To a being only capable of perceiving 3 dimensions, what would it actually look like? Would it just look like a ...
0
votes
1answer
42 views

Is the dimension $-1$ the real $0$th dimension and does this all make sense?

I know there are at least two questions on this site that ask about the negative dimensions. But I want to ask something more than that. We have a number line. It contains all the real numbers we can ...
0
votes
1answer
33 views

Relation between eigenvalue and the kernel

Consider the $0$ matrix. It has one eigenvalue: $0$, and the dimension of its eigenspace is $n$, since it sends everything to $0$. If I have $n$ distinct eigenvalues, one of them zero, then the ...
1
vote
2answers
244 views

How to correctly calculate the fractal dimension of a finite set of points?

The box-counting dimension is defined by: $\lim\limits_{\epsilon \to 0} \dfrac{N(\epsilon)}{1/ \epsilon}$ What works well if you are solving algebraically or if you can recursively generate more ...
0
votes
1answer
22 views

Lebesgue measure of union of a finite number of hyperplane and isolated points in $\mathbb{R}^n$

Here a question for you guys. Let $S_1,S_2,\dots, S_l\subset \mathbb{R}^{n}$ be some affine spaces of dimension $n-1$, and let $P_1,P_2,\dots,P_j\in\mathbb{R}^n$ be some points. Let $\mathcal{S}=\...
3
votes
6answers
6k views

Orthogonal planes in n-dimensions

In three dimensions two planes are orthogonal when their normal vectors are orthogonal (their inner product is zero). For example, planes $xy$ and $xz$ are orthogonal because the vectors $\hat{z}$ and ...
4
votes
1answer
232 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!
323
votes
0answers
15k 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 ...
1
vote
1answer
30 views

Polish groups having finite covering dimension

The paradigm examples of Polish groups that have finite covering dimension are obviously $\mathbb{R}^n$ for any finite $n$. They are also locally compact. Is it possible to construct a sequence $G_n$ ...
1
vote
1answer
79 views

Are there any practical applications for higher dimensional geometry?

My current understanding of higher dimensions is that we can take geometric properties from 2D or 3D, and simply extend them further theoretically. So in the same way that 3D objects can be projected ...
0
votes
1answer
14 views

Dimensionality of shapes in two space

I'm having trouble properly understanding the dimension of shapes. Take a square or triangle. Are the boundaries of these two-dimensional shapes one-dimensional? Is the entire figure two dimensional? ...
4
votes
2answers
109 views

Why study dimensions?

I am quite new to the forum so please feel free to correct/give pointers if I am posting something in the wrong place. I have been perusing "Dimension Theory" by Witold Hurewicz & Henry Wallman ...
1
vote
2answers
61 views

Dimension of a Noetherian topological spaces

We know that the definition of (Krull) dimension of a Noetherian topological spaces $X$ is the following: $$ \dim X=\max\{n\in\mathbb{N}\mid\emptyset=Z_{-1}\subsetneqq Z_0\subsetneqq\dots\subsetneqq ...
0
votes
1answer
26 views

Proving rank$(S\circ T)\le$ rank $S$ and null$(S\circ T)\ge$ null $T$ [closed]

Let $T$:$V\rightarrow W$ and $S$:$W\rightarrow U$ be linear transformations. I need to prove the two statements in the title. I don't know how to approach this problem. I am quite sure it involves ...
0
votes
1answer
39 views

Using Rank-Nullity Theorem

If $T$:$V\rightarrow W$ and $S$:$W\rightarrow U$ are linear transformations: How do we define $\text{rank}(ST)$ and $\text{null}(ST)$? I know $\text{rank}(S)=\text{dim}(\text{Im}(S))$ and $\text{null}...
1
vote
3answers
64 views

Proving that the space $\mathbb{P}$ of all polynomials is not finite dimensional

Just want to know if my approach to this problem is correct: Suppose that the space P of all polynomials is finite dimensional. Then we can call it $\mathbb{P_{n}}$ with $n<\infty$. Therefore the ...
0
votes
0answers
22 views

Can you characterize dimension in terms of the touching axioms?

One alternative axiomatization of topology is the touching axioms. It's basically the same as the closure axioms, and is in fact equivalent to the open set definition. Can we define dimension in a ...
0
votes
2answers
63 views

Let $S:U\rightarrow V, \ T:V\rightarrow W$ and if $S$ and $T$ are both injective/surjective, is $TS$ injective/surjective?

For injective side, in my opinion, we can find two square matrices $A, B$ with each injective but $AB$ has a zero row ($\dim\ker(AB)\ne 0$), so $TS$ is not injective. But I don't know how to find such ...
30
votes
4answers
1k views

How to tell what dimension an object is?

I was reading about dimensions and in the Wikipedia article it states the following: In mathematics, the dimension of an object is an intrinsic property independent of the space in which the ...
4
votes
2answers
124 views

Lipschitz continuous one-to-one mapping from subset $K\subset\mathbb{R}^n$ of positive measure to $\mathbb{R}^{n-1}$

Let $f:\mathbb{R}^n\to \mathbb{R}^{n-1}$ and $K\subseteq \mathbb{R}^n$ be a set of positive Lebesgue measure. What kind of regularity do we have to impose on $f$ (e.g., $C^1$, Lipschitz) to conclude ...