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
1answer
27 views

Are the following quotient spaces finite dimensional?

If we take $\mathbb{F}[x]$ to be the set of all polynomials over the field $\mathbb{F}$, $E$ to be the subset of all such even polynomials, $N$ to be the set of these polynomials that have degree less ...
0
votes
1answer
33 views

Subspaces and annihilators

I am trying to show this question. My understanding of annihilators is that for a vector space $V$ over $K$, with $S$ being a subset, the annihilator of $S$ is the subspace $S^0$ of linear functions ...
0
votes
0answers
9 views

Showing that a precursor to the packing measure is not a measure

I am trying to prove the highlighted sentence. What countable dense sets should I consider? and how am I trying to prove this is not a measure?
0
votes
1answer
15 views

Showing the equivalence of different definitions of the box-counting dimension

I am trying to prove the statment "by taking logarithms...". $\lim\limits_{\delta \rightarrow 0} \frac{log(N_{4\delta}(F))}{log(\frac{1}{4 \delta})} \leq \lim\limits_{\delta \rightarrow 0} ...
0
votes
1answer
25 views

alternative solution for $\dim R[T]\geq\dim R+1$.

please give some comments regarding my proof to the $$\dim R[T]\geq\dim R+1$$ Let $R$ be a noetherian ring, and let $n\geq 0$ by induction we only have to show that $\dim R[T]=\dim R+1$. It is easy ...
1
vote
1answer
51 views
+50

Evaluating the limit for the Minkowski content of $F_{\alpha}=\{0,1,\frac{1}{2^{\alpha}},\frac{1}{3^{\alpha}},\frac{1}{4^{\alpha}},\dots\}$.

The Minkowski content is defined as $\displaystyle M_{\beta}(A)=\lim_{\delta \rightarrow 0} \frac{\mu(A_{\delta})}{(2\delta)^{1-\beta}}$ where $0 < \beta < 1$, $A \subset \mathbb{R}$, and ...
1
vote
2answers
48 views

Proof that $[v, Tv, T²v, … , T^n v]$ is a basis for $V$ ($dim(V)=n$)?

Let $T:V\to V$ be a linear map from a finite dimensional vector space over a field $F$ to itself. Assume $[v,Tv,T²v,...]$ spans $V$ for some $v \in V$. Don't know at all how to prove that $[v, Tv, ...
1
vote
1answer
29 views

Hausdorff dimension of a Modified Cantor like set

Suppose you have the unit interval $[0,1]$. For the first iteration you remove the segment $(1/5,3/5)$. So you are left with two intervals of lengths $1/5$ and $2/5$. You now repeat the process on the ...
1
vote
1answer
26 views

Relationship between the Hausdorff dimension and the Box-counting dimension

In Fractal Geometry by Falconer the author writes: If $1<\mathcal H^s(F)=\lim_{\delta\to0}\mathcal H_\delta^s(F)$ then $\log N_\delta(F)+s\log\delta>0$ if $\delta$ is sufficiently small. ...
3
votes
1answer
51 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 ...
0
votes
1answer
25 views

Problem with Hausdorff dimension

Let $\varepsilon>0,s\geq0$ and $C\subseteq \mathbb{R}^d$ be randomly given. Now define: $$ \mathcal{H}^s_\varepsilon(C)= \inf\biggl\{\,\sum^\infty_{n=1}(\rho (A_n))^s\biggm| C\subseteq ...
1
vote
1answer
35 views

Does interval spacing effect Hausdorff dimension of Cantor set?

Let $C=\bigcap_{j=0}^{2^n}C_j$, $C_0=[0,1]$, and the intervals in the construction of each stage of $C_j$ consists of removing the center 1/3 from the $j-1$ stage intervals. In other words, the ...
1
vote
1answer
19 views

Questions about open balls and convergence in Hilbert space

So, I've started reading about dimension theory and currently am dealing with a lemma which is used in a proof of $\dim(\mathcal{\ell}^{2}_{\mathbb{Q}})=1$. This lemma says that convergence of a ...
0
votes
1answer
24 views

What is the (algebraic) dimension of the dual of a vector space?

Let $V$ be a vector space over the field $\mathbb F (=\mathbb R$ or$ \mathbb C$). If $\alpha$ is the dimension of $V$, for some cardinal number $\alpha$, I want to know, what is the dimension of ...
2
votes
1answer
55 views

Wormhole - How to model it?

I am trying to model wormhole between two points in 3D space, but do not know/understand how to do so. A concrete example: Think of something like a game where we have a 3D world with a size of ...
3
votes
0answers
41 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 ...
1
vote
0answers
39 views

Depth and kernel of multiplication map

If $A$ is a commutative $k$-algebra, $\mu: A\otimes_k A\rightarrow A$ is its multplication map and $I$ is the kernel of that map (viewed as an $A\otimes_k A$-module map) then what is the relationship ...
1
vote
0answers
57 views

Krull dimension of localization

If $R$ is a commutative ring and $m$ a maximal ideal therein, then what are the conditions for the Krull dimension of $R$ equaling to the Krull dimension of $R_m$?
2
votes
0answers
57 views

What is the point of view when we say $\mathbb{R}^n$ has dimension $n$ in mathematical analysis?

I know there are several different ways to define the dimension. What is the correct point of view to say that $\mathbb{R}^n$ has dimension $n$ in mathematical analysis?
0
votes
2answers
66 views

Is the space of probability distributions an infinite dimensional space?

Is the space of probability distributions an infinite dimensional space? If so, would you explain how? This is a follow up question to an answer to this question.
2
votes
1answer
82 views

Is a Möbius Strip in > 4 dimensions impossible?

I seem to remember reading, on a plaque in the math building at Penn State, that Möbius Strips are only possible in 3 and 4 dimensions. In higher dimensional spaces, a Möbius strip will use the extra ...
3
votes
1answer
71 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 ...
1
vote
1answer
81 views

Can an n dimensional object cover an n+1 dimensional object?

Is it possible for an n dimensional object to ever cover an n+1 dimensional object? For example, could a square ever cover a cube? Note: Definition of "cover" here means to completely cover the ...
0
votes
1answer
24 views

Showing that the upper packing dimension is the packing dimension

I cannot see how the first inclusion in this proof works. $P$ is the maximum number of disjoint $B(\epsilon/2)$ with centres in $A$ and the following will help. Moreover I cannot see how it ...
0
votes
1answer
19 views

Equalities for the Upper and Lower Minkowski dimension definition

In a Geometric Measure Theory textbook the following was written: I cannot see how any of these equalities hold and dont believe they are obvious. If they are relatively obvious could someone ...
0
votes
0answers
34 views

Find a basis and state its dimension of a $C$-vector space polynomial.

The $C$ vector space $V$ of polynomials $P(t) \in C[t]$ of degree at most $n$ and such that $P(a) = P'(a) = 0$ for $a \in C$ fixed. Indication : prove that $P(t) \in V \Leftrightarrow (t − a)^2$ ...
1
vote
3answers
81 views

Find a basis of $A = (\{1, \sin(x), (\cos)^2(x), (\sin)^2(x)1\})$ and determining its dimension.

We consider a space F(R,R) of functions of R in R. Let A = ({1, \sin(x), $\cos^2(x)$, $\sin^2(x)$}) Find a basis of the vector subspace of F(R,R) and determine its dimension. So I used the identity ...
0
votes
3answers
51 views

Why should anyone care about computing the Hausdorff Dimension?

I am trying to justify an thesis/investigation that will (hopefully) lead to a formula for computing a particular class of Cantor-like sets. The question that I have not satisfactorily answered, ...
0
votes
0answers
19 views

Why $\dim(K\cap N(I)) +1 \geq \dim(K)$ if the index of the index form equals 1?

Let $c:[0,1]\rightarrow O$ a geodesic, $O$ Riemann manifold and let $\mathcal{W}$ the space of piecewise smoothl normal vector fields $W(t)$ along $c$ mit $W(0)=W(1)=0$. $N(I)$ is the nullspace of ...
1
vote
0answers
47 views

Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
0
votes
3answers
48 views

Finding ker, im, dim of a linear transformation

1Ok, I am a student trying to wrap my head around some of these concepts and need help understanding how to approach some problems. Question: Let $\alpha:\mathbb{R}^3 \rightarrow \mathbb{R}^3$ be the ...
1
vote
2answers
30 views

Questions about the Nature of Chirality (with some focus on dimensionality)

Are all chiralities the same? (Not in the sense of "is the right hand the same as the left hand?" but in the sense of "is the way in which X is chiral the same (or negative of the same) as the way in ...
2
votes
1answer
32 views

Hausdorff dimension of computable real numbers

This might be a trivial question but do the computable numbers have a positive Hausdorff dimension?
0
votes
0answers
54 views

prove $\dim\mathbb{Z}[X_1,X_2]=3$ from first principles

Since $\dim R[X] =\dim R+1$ for any Noetherian ring $R$, the ring $\mathbb{Z}[X_1,X_2]$ must have dimension 3. But how can this be proved 'from first principles', i.e. without using any big theorems ...
0
votes
0answers
55 views

$\dim V + \dim (V^{\perp} + W) = \dim W + \dim (V + W^{\perp}).$

Show that if $V$ and $W$ are two subspaces of $\Bbb{R}^n$ it is true that $\dim V + \dim (V^{\perp} + W) = \dim W + \dim (V + W^{\perp}).$ I used some properties like $\dim (V^{\perp} + W) = \dim ...
0
votes
0answers
37 views

Covering dimension of a compact metric space

I would like to see the proof of the following fact (references appreciated). A compact metric space $X$ has covering dimension $\leqslant n$ if and only if there is a continuous surjection $\pi ...
6
votes
1answer
158 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$ ...
0
votes
1answer
66 views

Hausdorff dimension mathces Box-counting dimension

I need to compute the Hausdorff dimension of certain sets using a computer and, to date, my approach has been to use a Box-counting algorithm, for I once read that the Hausdorff dimension of an ...
0
votes
1answer
27 views

relationship between number of polynomials and dimension of the space.

If p1,p2,...,pk are linearly independent polynomials in Pn, a mathematical relationship between k and n is: k<=n. If the k will be more than n, the set of polynomials can not be linearly ...
0
votes
2answers
49 views

dimension of the sum of two planes in $\mathbb{R}^3$

$\dim( U + V)=\dim( U) + \dim(V) - \dim( U \cap V)$ where U and V are linear subspaces and $U+V$ is algebraic sum (the least linear space that contains both $U$ and $V$). In case of two planes in ...
0
votes
0answers
45 views

Examples and counterexamples in dimension theory

I am looking for examples of topological spaces that are interesting from a dimension theoretical point of view - in particular I am looking for these three notions of dimension: Little inductive ...
2
votes
1answer
39 views

Hausdorff dimension of $\mathrm{R}^d$

I assume the Hausdorff Dimension of $\mathrm{R}^d$ is $d$.. To prove this I guess one hast to prove these two statements: the $\alpha$-dimensional Hausdorff measure of $\mathrm{R}^d$ is $0$ for $d ...
0
votes
0answers
26 views

Equal fields and dimension

Let $K \subseteq L$ be fields. Show that K=L if and only if $dim_k L=1$ I know that I will have to show both directions of the implication. I'm very new to the topic of fields so I'm still ...
0
votes
1answer
31 views

Solid Ball Bearing 4 Dimensional?

Is a solid ball bearing a 4 dimensional object, but all we see is one particular level surface? When we look at a solid ball bearing, we can only see the outside of it, we cannot see inside even ...
0
votes
2answers
146 views

Can four lines be perpendicular

my question is a little weird, but it bothers me to not find an answer. Since in 2D two lines can be perpendicular and in 3D three lines can be perpendicular, how about 4D? Is it possible to have ...
0
votes
1answer
45 views

Question on dimensions

It is well known that a line has 2 points. A square has 4 lines. A cube has 6 squares. A tesseract has 8 cubes. And continuing there will be 10, 12, 14, etc. Why does the sequence increase by 2? ...
0
votes
2answers
48 views

Topological dimension and derham cohomological dimension

If G is a compact complex manifold then does the topological dimension bound the deRham cohomological dimension below? By derham cohomological dimension, I mean the largest extended natrual number ...
0
votes
0answers
85 views

Hausdorff dimension is less than box counting dimension?

I have been asked to prove that for a bounded set $F\subset\mathbb{R}^n$, $dim_H F\le \underline{dim}_B F \le \overline{dim}_B F$ where $dim_H F$ is the Hausdorff dimension, $\underline{dim}_B ...
1
vote
2answers
62 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 ...
0
votes
0answers
53 views

laplace-beltrami and angular momentum operator

Im trying to understand this formula: In $\mathbb{R}^n$ we say that the laplacian can be seen as (radial part and angular part). : $$\triangle=(\frac{\partial^2}{\partial ...