# Is the notion of fractional dimension compatible with considering a dimension a set of n-tuples?

Hi there,

I am trying to teach a friend about higher-dimensions and I have explained them in the following two manners:

1. A higher dimension, e.g. the 56th is the set of all 56-tuples.
2. A fractional dimension, e.g. 3/4 means that when size doubles, volume increases at a factor of 2^3/4

To me, it is obvious that both of these hold in a dimension with an integral number of coordinates. However, does statement one hold in a fractional dimension?

-
A quick comment, your first statement is about the size of a basis of a vector space with no reference to a metric or a measure. The second is a statement about the volume growth in a metric measure space which vitally depends on the choice of metric and of measure. If you want to explain to your friend about fractional dimensions, look up box counting dimension. –  BSteinhurst Jun 3 '11 at 14:35
In item 2, the volume should increase by a factor of $2^{3/4}$, not 3/4. –  Andreas Blass Jun 3 '11 at 15:39

The notion of "dimension" occurs in various contexts and its meaning is not always the same. There are:

(1) Topological dimension. The topological dimension ${\rm dim}(X)$ of a space $X\ne\emptyset$ is an integer $\geq0$ or $\infty$. It is defined inductively or by means of coverings: An $X$ is, e.g., two-dimensional, if any open covering of $X$ can be "refined" to a covering that covers no point more than three times. This concept of "dimension" is not easy to handle and gives rise to strange theorems, e.g., that a space of dimension $n$ can be the union of $n+1$ spaces of dimension $0$.

(2) Dimension of vector spaces $V$. Any vector space $V$ (over an arbitrary field $K$) has a dimension ${\rm dim}(V)$ which is an integer $\geq 0$ or $\infty$. This is an algebraic concept. If ${\rm dim}(V)=n$ then one can choose $n$ vectors $e_1$, $\ldots$, $e_n\in V$ such that any vector $x\in V$ can be written as $x=\sum_{k=1}^n x_k \ e_k$ or $x=(x_1,\ldots, x_n)$ for short. People say that we have $n$ "degrees of freedom" in such a $V$.

When the ground-field $K$ is the field ${\mathbb R}$ of real numbers then the topological dimension of $V$ is equal to its algebraic dimension $n$; in particular, the real line ${\mathbb R}$ is also topologically one-dimensional. Furthermore there is a natural measure of volume for arbitrary subsets $A\subset V$, given that the volume of the unit cube should be $1$. When a set $A$ is stretched by a factor $\lambda>0$ then its volume increases by the factor $\lambda^n$. If in ${\mathbb R}^n$ the euclidean metric $|x|:=\sqrt{\sum_{k=1}^n x_k^2}$ is adopted then also sets $A$ in $d$-dimensional "planes" $\ U\subset {\mathbb R}^n$ get a natural $d$-dimensional volume, and this volume multiplies by $\lambda^d$ under a linear stretching of $A$ by $\lambda$. This implies that also curved $d$-dimensional "surfaces" in ${\mathbb R}^n$ have a natural $d$-dimensional length or area.

(3) "Fractal" dimension. Given euclidean $n$-space with its bodies, surfaces and curves all having an intuitive dimension $d\leq n$ and a $d$-dimensional "volume" scaling in the expected way one may ask whether there is a way of measuring arbitrary sets $A\subset{\mathbb R}^n$ that is able to scale with noninteger exponents $\alpha$, and whether there are sets $A\subset{\mathbb R}^n$ that for such a value $\alpha\notin{\mathbb N}$ would have an $\alpha$-dimensional volume which is neither zero nor infinity.

The so-called Hausdorff measure (invented in 1919) has the necessary flexibility; and indeed there are "crazy" sets $A$, called "fractals", that for precisely one noninteger value $\alpha$ have $\alpha$-dimensional volume $\ne 0, \infty$. This value $\alpha$ is then called the Hausdorff or fractal dimension of $A$. This "dimension" is nothing esoteric but a certain geometrical quantity associated to $A$, as the semi-axes $a$ and $b$ are associated to an ellipse. There is one deep theorem though: The Hausdorff dimension of a set is never larger than its topological dimension. In particular, all "fractals" in ${\mathbb R}^3$ have a Hausdorff dimension $\leq 3$.

There are mathematically defined fractal sets, e.g., the Cantor set or the snowflake curve, and there are such sets found in nature, e.g. "the coast line of Britain", or cumulus clouds in the atmosphere. Given such a "natural" set the essential problem is to find its fractal dimension $\alpha$ by computational means.

-
It is worth noting that Hausdorff dimension does not require a Euclidean ambient space, just a metric. So it can still be used in the case of an abstract metric space. Also the Hausdorff measure of a $\alpha$ Hausdorff dimensional space can actually be zero or infinity. The number $\alpha$ is where the transition from infinity to zero happens. –  BSteinhurst Jun 3 '11 at 20:37