Borsuk-Vermutung

Die Borsuk-Vermutung ist eine mathematische Vermutung aus dem Bereich der Geometrie. Es geht dabei um die Frage, in wie viele Teile man eine gegebene Menge beschränkten Durchmessers zerlegen muss, damit jeder Teil einen echt kleineren Durchmesser hat. Die 1933 von Karol Borsuk gestellte und später als Vermutung bezeichnete Frage, ob man in $n$ Dimensionen immer mit $n+1$ Teilen auskommt, wurde 60 Jahre später negativ beantwortet.

Eine Strecke, ein Dreieck und ein Tetraeder können in 2, 3 bzw. 4 kleinere Teile zerlegt werden.

Die Vermutung

Im n-dimensionalen Raum $\mathbb {R} ^{n}$ kann mittels der euklidischen Norm der Durchmesser einer Menge $E\subset \mathbb {R} ^{n}$ als $\sup\{\|x-y\|;\,x,y\in E\}$ (maximaler Abstand zweier Punkte der Menge) definiert werden.

Man kann nun versuchen, die Menge $E$ so in Teilmengen $E=E_{1}\cup \ldots \cup E_{k}$ zu zerlegen, dass jeder Teil $E_{i}$ einen echt kleineren Durchmesser als $E$ hat. Es stellt sich die Frage, wie viele Teilmengen $E_{i}$ dazu erforderlich sind.

Wie das regelmäßige, n-dimensionale Simplex zeigt, sind im Allgemeinen mindestens $n+1$ Mengen erforderlich, denn die $n+1$ Ecken haben alle denselben Abstand, der gleich dem Durchmesser ist. Eine Teilmenge echt kleineren Durchmessers kann daher höchstens eine Ecke enthalten, das heißt, man benötigt mindestens so viele Teilmengen, wie es Ecken gibt, und davon hat man $n+1$. Wie nebenstehende Zeichnung für die Dimensionen 1,2 und 3 deutlich macht, kommt man beim Simplex tatsächlich mit $n+1$ Teilmengen aus. Karol Borsuk schloss seine Arbeit „Drei Sätze über die n-dimensionale Sphäre“, in der er sich mit der Zerlegung von Kugeln beschäftigte, wie folgt:

Die folgende Frage bleibt offen: Lässt sich jede beschränkte Teilmenge E des Raumes $R^{n}$ in (n+1) Mengen zerlegen, von denen jede einen kleineren Durchmesser als E hat?

Die Vermutung, dass diese Frage zu bejahen sei, wurde als Borsuk-Vermutung bekannt und blieb 60 Jahre lang offen.

Widerlegung

Im Raum $\mathbb {R} ^{3}$ hatte sich die Vermutung 1955 bestätigt. Es mag daher überraschen, dass sich die Borsuk-Vermutung in höheren Dimensionen als falsch erweist. 1993 haben Jeff Kahn und G. Kalai gezeigt, dass man für genügend große Dimensionen $n$ mindestens $(1,2)^{\sqrt {n}}$ Teilmengen benötigt, womit die Borsuk-Vermutung widerlegt war, denn $(1,2)^{\sqrt {n}}$ wächst schneller als $n+1$. Ein konkretes Gegenbeispiel wurde von A. Nilli im 964-dimensionalen Raum gefunden, später ein weiteres von A. Hinrichs und C. Richter im 298-dimensionalen Raum. Heute ist bekannt, dass die Borsuk-Vermutung für Dimensionen ab 64 falsch ist. Die Frage nach der kleinsten Dimension, ab der die Borsuk-Vermutung nicht mehr zutrifft, ist offen.

Literatur

• M. Aigner, G.M. Ziegler: Das BUCH der Beweise Springer, Berlin 2002, ISBN 3-540-42535-7 (3. Auflage: ISBN 978-3-642-02258-6), Kapitel 16