Results true in a dimension and false for higher dimensions

Question

Some theorems are true in vector spaces or in manifolds for a given dimension $n$ but become false in higher dimensions.

Here are two examples:

• A positive polynomial not reaching its infimum. Impossible in dimension $1$ and possible in dimension $2$ or more. See more details here.
• A compact convex set whose set of extreme points is not closed. Impossible in dimension $2$ and possible in dimension $3$ or more. See more details here.

What are other "interesting" results falling in the same category?

Answer 1

A set X is said to be m-convex m>=2 if for every m distinct points in X at least one of the line segments determined by those points belongs to X.

For compact sets and m=3 the decomposition into convex, aka 2-convex ,sets has been known for many years. In the plane F.A.Valentine of UCLA showed in 1957 that every 3-convex set was the union of 3 convex sets , see the 5 pointed star on the USA flag. H.G.Eggleston in 1976 gave an example of a compact 3-convex set in R4 which was not the union of finitely many convex sets. In R3 some years ago I outlined an easy proof in sci.math.research that in R3 a compact 3 convex set was the union of 4 convex sets, using the 4 colour theorem of graph theory.

For information but off topic : Many years ago much was published in the Israel Journal Of Mathematics on planar decomposition, into convex sets , bounds as a function of m for compact m-convex sets. There was also a comprehensive treatment by M. Breen of planar non-closed 3-convex sets in 1977. I know of no associated higher dimension work.

Answer 2

By Liouville's theorem, a bounded subharmonic function in $\mathbb{R}^n$ is a constant. This holds not true if $n\ge 3$.

There are many similar corresponding facts in potential theory.

Answer 3

$S^{2}$ and $\mathbb{R}^{2}$ satisfies the Poincare Bendixon theorem but this theorem is not satisfied by higher dimensional spheres or Euclidean spaces.

For a related MSE post see the following.

https://math.stackexchange.com/questions/861231/extension-of-poincar%C3%A9-bendixson-theorem-to-mathbbr3

As another example: For $n>8$ there is no a $n$-dimensional subvector space of $M_{n}(\mathbb{R})$ which all non zero elements are invertible matrix. The only possible $n$ are $n=1,2,4,8$. Such subvector spaces correspond to matrix representation of real numbers, complex numbers, Quaternions and Cayley numbers, respectively.

Answer 4

A series of essentially equivalent statements on zonoids which hold for $d=2$ but fail for $d\geq 3$:

any convex symmetric polytope in $\mathbb{R}^d$ is a Minkowski sum of segments;

any convex symmetric body in $\mathbb{R}^d$ is a section of a unit ball in $L^1$-type space (for polytope finite-dimensional hyperoctahedron is enough);

any convex symmetric body in $\mathbb{R}^d$ is a projection of a unit ball in $L^{\infty}$-type space (for polytope finite-dimensional cube is enough);

any Banach norm in $\mathbb{R}^d$ may be expressed as $\|x\|=\int |(x,y)| d\mu(y)$ for some Borel measure $\mu$ on $\mathbb{R}^d$, where $(x,y)$ is a scalar product;

for any norm $\|\cdot\|$ on $\mathbb{R}^d$ and any vectors $v_1,u_1,\dots,v_n,u_n$ we have $\sum \|u_i\|\geq \sum \|v_i\|$ provided that $\sum |(u_i,y)|\geq \sum |(v_i,y)|$ for any vector $y$.

Answer 5

The James-Stein Estimator.

Suppose $Y \in \mathbb{R}^n$ is a Gaussian vector with unknown mean $\mu$ and known spherical variance $\sigma^2I$. Given an observation of $Y$, we are interested in finding an estimator $\hat{\mu}$ of $\mu$ which minimizes the expected mean squared risk $R(\hat{\mu}) := E(||\hat{\mu} - \mu||^2)$.

For $n \le 2$, the Gauss-Markov estimator, $\hat{\mu}_{GM} = Y$ minimizes $R(\hat{\mu})$. But for $n \ge 3$ the James-Stein estimator

$$ \hat{\mu}_{JS} = \left(1 - \frac{(n-2)\sigma^2}{||Y||^2}\right)Y $$

satisfies $R(\hat{\mu}_{JS}) \le R(\hat{\mu}_{GM})$. Note however, that the James-Stein estimator itself does not minimize the mean squared risk.

Answer 6

If $F=(f_\lambda)_{\lambda\in\Lambda}$, is an analytic family of quadratic-like maps (with some conditions), and $M_F$ is the set of $f_\lambda$ with connected Julia set, then there is a homeomorphism of $M_F$ with the Mandelbrot set $\{c\in\mathbb{C}:f_c(z)=z^2+c\text{ has connected Julia set}\}$. See http://www.math.cornell.edu/~hubbard/PolyLikeMaps.pdf. Douady called this the "miracle of continuity" coming from the measurable Riemann mapping theorem.

Analytic families of polynomial-like maps of degree $\geq 3$ have discontinuous straighting maps. See http://arxiv.org/pdf/0903.4289v2.pdf.

Answer 7

It's interesting that no one has so far mentioned Pythagorean triples and Fermat's Last Theorem :)

EDIT: With sufficient imagination any integer can be interpreted as the dimension of an appropriate vector space. However, in this particular case hardly any imagination is necessary: it is in dimensions 1 and 2 only that there exists 3 hypercubes with integer sides such that the sum of volumes of the first two is equal to the volume of the third one.

Answer 8

Let $B_2^n$ denote the Euclidean unit ball in $\mathbb{R}^n$. Then the Minkowski-sum $B_2^{n-1}+B_2^n$ is a zonoid whose polar is also a zonoid for $n\leq 4$, but not for $n\geq 6$. (here).

P.S -- I never did get to check the case $n=5$.

Answer 9

Theorem(Samelson). The only Euclidean spheres that can be made into topological groups are $\mathbb S^0,\mathbb S^1$ and $\mathbb S^3$.