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
17 views

How to prove that the dimension of the twisted cubic is 12?

The twisted cubic $C=AX$, $A$ is $4*4$ non-singular matrix. $X=[1\quad t \quad t^2 \quad t^3]^T$. How to prove that the dimension of $C$ is $12$? As I have known that the dimension of $A$ is $15$ ...
1
vote
0answers
22 views

On the covering dimension of an image under a continuous function

I'm trying to solve the following exercise: Let $X$ be a compact Hausdorff space and let $U_1,...,U_n$ be a cover of $X$ of order $m$. Let $z_1,...,z_n\in\mathbb{R}^N$ for some $N$ be in general ...
3
votes
1answer
39 views

If $\dim(X)=\dim(Y)>0$, and $X\to Y$ is onto, does affineness of $X$ imply affineness of $Y$?

Suppose you have a pair of integral varieties $X$ and $Y$ such that $\dim(X)=\dim(Y)>0$, and there exists a surjective morphism $X\to Y$ between them. I was wondering, if $X$ is affine, does this ...
3
votes
1answer
19 views

Sufficient condition for integer Hausdorff dimension.

It is pretty much in the title: is there a non-trivial sufficient condition on geometrical shapes that forces the Hausdorff dimension to be an integer ? Most fractals look "complicated" in some way, ...
-1
votes
1answer
41 views

Paper: Complex structure of the sixth dimensional sphere from an symmetrical fracturing [closed]

Is this abstract okay for the title of the paper? Sorry I am new to this!! 'There is much evidence of a complex structure that can occur on the 6th dimensional sphere. In this paper I aim to prove ...
0
votes
0answers
14 views

Hyperplane Equation

Would it be correct to say that the function $$ A\cdot T_1+B\cdot T_2+C\cdot T_3=D\cdot x_1+E\cdot x_2+F\cdot x_3+G $$ Generates a hyperplane in 6D? (A through G are constant parameters) Thank you.
-1
votes
1answer
40 views

What is the name of the measurement along a 4th dimensional axis?

Given that measurement along the X, Y and Z axes correspond to the terms "width", "height", and "depth", is there an accepted term for spatial measurement along the W axis when dealing in four ...
5
votes
0answers
36 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 ...
1
vote
0answers
50 views

Do mathematicians visualise what 4D would look like when they are working with abstract 4D concepts?

I was wondering if mathematicians do truly have a sense of visualising what the fourth dimension would look like in general, such as the fourth dimension as found in hypercubes. I know that we, as 3D ...
0
votes
0answers
18 views

What is the dimension of the space $W_2$ if $\text{dim}(W_1+W_2) = 2$, $\text{dim}(W_1 \cap W_2) = 1$ and $W_1 = \langle a_1, a_2 \rangle$?

What is the dimension of the space $W_2$ if $\text{dim}(W_1+W_2) = 2$, $\text{dim}(W_1 \cap W_2) = 1$ and $W_1 = \langle a_1, a_2 \rangle$, where $a_1 = (1,0,0)$, $a_2=(2,0,0)$? Okay so I know and ...
0
votes
0answers
20 views

Can we estimate the dimension of some function space?

Can we estimate the dimension of some function space? e.g. if $X$ is a locally compact Hausdorff space, what is the (linear) dimension of $C(X)$(as a linear space), which represents the set of all ...
1
vote
0answers
12 views

Cohomological dimension of an orbit space in Alexander-Spanier theory

Take a ring $R$ and define $cd_R(X)$ ("cohomological dimension over $R$") to be the maximum of the integers $m$ such that $H^m(X; R)\neq 0$, where $H^*$ denotes the Alexander-Spanier cohomology. Now ...
1
vote
2answers
35 views

How can the Hausdorff measure be nonzero?

We have dim$F := \inf \left\{s > 0 : \mathcal{H}^s (F) = 0\right\}$. My question is, with dim$F$ defined as the value where the Hausdorff measure equals zero, then how can ...
1
vote
0answers
46 views

Proof of an inequality about set in four-dimensional space

It is needed to prove that for set $A \subset N^4$ $3\log|A|\le \log|\pi_{1,2,3}(A)|+\log|\pi_{1,2,4}(A)|+\log|\pi_{1,3,4}(A)|+\log|\pi_{2,3,4}(A)|$ where $\pi_{i,j,k}(A)$ is a projection of $A$ on ...
1
vote
1answer
34 views

an example of when Hausdorff and box-counting dimensions are equal?

I am new to fractals and dimension theory, so please excuse any errors in my understanding. For a set $F$, let $dim_b (F)$ be the box counting dimension of $F$, and $dim_H (F)$ be the Hausdorff ...
6
votes
0answers
79 views

Distance and Coordinates in fractional dimensions and the creation of functions with non-integral numbers of paramters.

Background: The Euclidean distance between two points in $n$ dimensions, where $n$ is a positive integer, and position can be described by a vector is given by... $$D_E=\left(\sum_{k=1}^n ...
3
votes
1answer
43 views

Proof of fractal dimension of Thomae's function

Thomae's function is defined to be $0$ if x is irrational. Its defined to be $1 \over q$ where $x={p \over q}$ in lowest terms and $q \gt 0$. Its measure is $0$ since the set of rational numbers is ...
0
votes
1answer
34 views

Dimension Theorem Corollary

Let $V$ and $W$ be vector spaces with $\dim V = \dim W$. If $T : V → W$ is linear then $T$ is one-to-one if and only if $T$ is onto. But this is true only when the dimensions of $V$ and $W$ are ...
0
votes
1answer
130 views

How does one estimate the Hausdorff measure for arbitrary fractals, and does the constant c in $N=c\epsilon^d$ provide a good estimate?

Background: When one finds the fractal dimension of a fractal in real life, they will generally use the relation $N=c\epsilon^d$ to do so. However, the constant c is almost always neglected in ...
1
vote
2answers
95 views

Dimension of local rings on scheme of finite type over a field.

In chapter III Hartshorne seems to be using without proof or mention a theorem on the dimensions of local rings of schemes of finite type over a field. I know that for an integral scheme of finite ...
-1
votes
2answers
28 views

Finding dimension of vector spaces

Let V be a vector space and W a subspace of V . Let q : V → V/W be defined by q(v) = v + W for v ∈ V. a) Prove that q : V → V/W is a linear transformation which is onto and show that N(q) = W. b) ...
0
votes
0answers
18 views

Higher dimension leads to different optimization?

It appears z= f(x,y) has a global max/min at another particular (x,y). Using only one independent variable $x$ at fixed $y$ i.e., for z = f(x) I get another max/min point for $x$ optimum point ...
-1
votes
1answer
44 views

Isn't three-dimensional really three-directional?

This occured to me while writing a mathematics/physics library. Given a 3d shape such as a cube, since it provides a simple demonstration, you have three commonly used measures: length, width, and ...
0
votes
1answer
27 views

Dimension of a LOTS in $\mathbb{R}^2$

Equip $\mathbb{R}^2$ with the lexicographic order $(x_1,y_1) < (x_2,y_2)$ iff $x_1 < x_2$ or $x_1 = x_2 \Rightarrow y_1 < y_2$. Consider the induced order topology generated by the subbase ...
0
votes
0answers
56 views

Example of affine variety with infinite dimension

It is a typical question in Algebraic Geometry to find a Noetherian topological space with infinite dimension: we can take $X=[0,1]$ and check that. However, it is not so obvious for me to: Find ...
1
vote
0answers
74 views

Prove that this condition is true on an Zariski open set

Why is there an Zariski open set of $P\in GL(n,\mathbb{R})$ such that $P\,\text{diag}(1,\dots,1,-1)P^{-1}$ can be conjugated by a diagonal matrix $D$ to get an orthogonal matrix? Note that ...
0
votes
0answers
41 views

Length of a vector in 3 dimension spaces

while I'm studying principal-component analysis, I have misunderstanding about principal component, I was think that it's orthogonal and has a single point,which I mean by single points is if we have ...
3
votes
2answers
49 views

Explicit formula for IFS fractal dimesnion

Is there an explicit formula for finding the box counting dimension of an arbitrary IFS fractal, such as the IFS fern or any other random IFS fractal? If not, is there at least a summation, or ...
2
votes
1answer
45 views

Integral over Fractals with respect to fractal dimension

I understand that there is type of integral with respect to measures that can return values when evaluated over an integral. But is there an Integral that returns d dimensional volume where d is the ...
1
vote
1answer
52 views

Invariant dimension property and a ring epimorphism

In Hungerford's Algebra, p. 186, the Proposition 2.11 says Let $f:R\to S$ be a nonzero epimorphism of rings with identity. If $S$ has the invariant dimension property (IDP), then so does $R$. It is ...
1
vote
1answer
36 views

A question on Lebesgue's covering dimension

Roughly, a compact, Hausdorff space $X$ has covering dimension $\leqslant n$ if each finite cover $\mathcal{U}$ of $X$ can be refined by a cover $\mathcal{V}$ such that each point $x\in K$ belongs to ...
1
vote
1answer
79 views

Wheel Graphs and Dimension of Embeddings

I'd like to preface this by saying this is the tip of the iceberg for an optional question for a summer REU program application, so if you think asking this question is in bad taste, let me know and I ...
1
vote
0answers
43 views

prove the subspace is equal to L1∩L2

Let $L1,L2$ be subspaces of $V$ and $dim(L1+L2)=1+L1 \cap L2$ Show that $L1 \subseteq L2$ or $L2 \subseteq L1$ and $L1+L2= L1$ or $L2$ it's has something to do with if $L1,L2 \ne L1 \cap L2$ ...
4
votes
0answers
47 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 ...
0
votes
0answers
19 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
16 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
28 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 ...
1
vote
1answer
58 views

Bounding dimension of IFS

Given the IFS $\{\frac x {2+x},\frac 2 {2+x}\}$ ($0\le x \le 1$) with attractor K prove that $0.53<\dim_HK<0.8$ I thought using the results from my last question by saying ...
0
votes
1answer
109 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 ...
1
vote
1answer
47 views

Prove carpet has positive Hausdorff measure in its dimension

Given $D\subset\{0,1,2,\dots n-1\}\times\{0,\dots,m-1\}$, let $$K(D)=\{\sum_{k=1}^\infty(a_kn^{-k},b_km^{-k}):(a_k,b_k)\in D\forall k\}.$$ Show that if $D$ has uniform horizontal fibers (i.e. the ...
0
votes
0answers
28 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
50 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 ...
5
votes
1answer
94 views

Self-similar fractal dimension of unsymmetrial fractal

As far as I know, the following fractal has a self-similar fractal dimension of $D = -\log(3) / \log(1/2) = 1.5850$ But what is the fractal dimension of the following fractal (4 times the fractal ...
1
vote
1answer
65 views

Calculating a spread of $m$ vectors in an $n$-dimensional space

My question is regarding spreading $m$ vectors in an $n$ dimensional space such that the vectors are maximally distant from each other. For example, let us say I have a 2-D space, and 3 vectors, the ...
0
votes
1answer
56 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
1answer
62 views

Dimension of rectifiable curve

Suppose $\Gamma$ is a rectifiable curve (means a curve with finite length), I want to prove that the Hausdorff measure of the intersection of it with closed subset $A\subset \mathbb{R}$ is 0, i.e ...
1
vote
1answer
37 views

Fractal Dimension of $C_{\frac{1}{3}}\times[0,1]$

I wonder what is the dimension of the fractal set given by the product of the unit interval $[0,1]$ by the thirds-cantor-set ($C_\frac{1}{3}=\bigcap_n C_n$ where $C_0=[0,1],C_1=[0,\frac 1 3]\cup[\frac ...
0
votes
0answers
19 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 ...
2
votes
1answer
43 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 ...
3
votes
3answers
260 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 ...