Satz von Kadets-Snobar

Der Satz von Kadets-Snobar, benannt nach M. I. Kadets und M. G. Snobar, ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis. Er stellt eine Abschätzung für minimale Normen von Projektionsoperatoren mit endlichdimensionalem Bildraum dar. Diese Abschätzung erweist sich als in gewisser Weise optimal.

Formulierung des Satzes

Es sei $X$ ein reeller, normierter Raum und $Y\subset X$ ein endlichdimensionaler Unterraum. Dann gibt es einen stetigen, linearen Operator $P:X\rightarrow X$ mit

• $P\circ P=P$,   ($P$ ist ein Projektionsoperator),
• $\mathrm {Bild} (P)=Y$,   (der Bildraum des Projektionsoperators ist $Y$),
• $\|P\|\leq {\sqrt {\mathrm {dim} (Y)}}$,   (die Operatornorm ist beschränkt durch die Wurzel aus der Dimension).

Anmerkungen

Aus dem Lemma von Auerbach kann man leicht einen analogen Satz mit der Abschätzung $\|P\|\leq \mathrm {dim} (Y)$ herleiten. Obiger Satz von Kadets-Snobar stellt daher eine verbesserte Abschätzung möglicher Projektornormen dar und es stellt sich die Frage, ob weitere Verbesserungen möglich sind. Es soll im Folgenden kurz erläutert werden, dass der Satz von Kadets-Snobar in einem asymptotischen Sinne bereits optimal ist.

Man definiert für einen endlichdimensionalen Unterraum $Y$ eines Banachraums $X$

$\lambda (Y,X):=\inf\{\|P\|\,\mid P:X\rightarrow X{\text{ stetiger linearer Projektor mit Bild }}Y\}$

und nennt diese Größe die Projektionskonstante von $Y$ relativ zu $X$. Ohne Einschränkung kann man einen endlichdimensionalen normierten Raum $Y$ als Unterraum von $\ell _{\infty }$, dem Folgenraum der beschränkten Folgen, auffassen. Dann kann man zeigen, dass

$\lambda (Y):=\sup\{\lambda (Y,X)\mid X{\text{ Oberraum von }}Y\}=\lambda (Y,\ell _{\infty })$.

Diese Größe nennt man die absolute Projektionskonstante von $Y$. Diese Begriffe gehen im Wesentlichen auf B. Grünbaum zurück. Der Satz von Kadets-Snobar besagt gerade, dass

$\lambda (Y)\leq {\sqrt {n}}$,   für jeden $n$-dimensionalen normierten Raum $Y$.

Fasst man den Satz von Kadets-Snobar als asymptotische Abschätzung auf, so erhält man

$\limsup _{n\to \infty }{\frac {\lambda (Y_{n})}{\sqrt {n}}}\leq 1$ für jede Folge $(Y_{n})_{n\in \mathbb {N} }$ $n$-dimensionaler Räume.

Die Ordnung ${\sqrt {n}}$ dieser asymptotischen Abschätzung kann man nicht weiter verbessern, denn H. König hat 1985 eine Folge endlichdimensionaler Räume konstruiert, für die in obiger Formel das Gleichheitszeichen steht. König und D. R. Lewis konnten aber 1987 zeigen, dass stets

$\lambda (Y)<{\sqrt {\mathrm {dim} (Y)}}$

gilt. Setzt man

$\lambda _{n}:=\sup\{\lambda (Y)\mid Y{\text{ normierter Raum mit }}\mathrm {dim} (Y)=n\}$,

so liefert der Satz von Kadets-Snobar die Ungleichung $\lambda _{n}\leq {\sqrt {n}}$. Die exakte Bestimmung der $\lambda _{n}$ hat sich als schwierig erwiesen. Im Jahre 2010 haben B. Chalmers und G. Lewicki die schon in formulierte und später sogenannte Grünbaum-Vermutung $\lambda _{2}={\tfrac {4}{3}}$ beweisen können. Für die Dimension 2 haben wir mit $\lambda _{2}={\tfrac {4}{3}}=1,3333\ldots$ eine deutlich bessere Abschätzung als aus dem Satz von Kadets-Snobar, der nur $\lambda _{2}\leq {\sqrt {2}}=1,4142\ldots$ liefert.