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.[1] Diese Abschätzung erweist sich als in gewisser Weise optimal.

Formulierung des Satzes

Bearbeiten

Es sei   ein reeller, normierter Raum und   ein endlichdimensionaler Unterraum. Dann gibt es einen stetigen, linearen Operator   mit

  •  ,   (  ist ein Projektionsoperator),
  •  ,   (der Bildraum des Projektionsoperators ist  ),
  •  ,   (die Operatornorm ist beschränkt durch die Wurzel aus der Dimension).[2][3]

Anmerkungen

Bearbeiten

Aus dem Lemma von Auerbach kann man leicht einen analogen Satz mit der Abschätzung   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   eines Banachraums  

 

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

 .

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

 ,   für jeden  -dimensionalen normierten Raum  .[6]

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

  für jede Folge    -dimensionaler Räume.

Die Ordnung   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

 

gilt.[7] Setzt man

 ,

so liefert der Satz von Kadets-Snobar die Ungleichung  . Die exakte Bestimmung der   hat sich als schwierig erwiesen. Im Jahre 2010 haben B. Chalmers und G. Lewicki die schon in [5] formulierte und später sogenannte Grünbaum-Vermutung   beweisen können.[8] Für die Dimension 2 haben wir mit   eine deutlich bessere Abschätzung als aus dem Satz von Kadets-Snobar, der nur   liefert.

Einzelnachweise

Bearbeiten
  1. M. I. Kadets, M. G. Snobar: Certain functionals on the Minkowski compactum, Mathematical Notes 10 (1971), Seiten 694–696
  2. Hermann König: Eigenvalue Distribution of Compact Operators, Springer-Verlag 1986, ISBN 978-3-0348-6280-6, Theorem 4. b. 6
  3. R. Meise, D. Vogt: Einführung in die Funktionalanalysis. Vieweg, 1992, ISBN 3-528-07262-8, Satz 12.14
  4. Albrecht Pietsch: History of Banach Spaces and Linear Operators, Birkhäuser Boston (2007), ISBN 978-0-8176-4367-6, Abschnitt 6.1.1.6
  5. a b B. Grünbaum: Projection constants, Trans. Amer. Math. Soc. 95 (1960), Seiten 451–465
  6. Albrecht Pietsch: History of Banach Spaces and Linear Operators, Birkhäuser Boston (2007), ISBN 978-0-8176-4367-6, Abschnitt 6.1.1.7
  7. H. König, D. R. Lewis: A strict inequality for projection constants Journal of Functional Analysis 74(2), 1987, Seiten 328–332
  8. B. Chalmers, G. Lewicki: A proof of the Grünbaum conjecture, Studia Mathematica (2010), Band 200(2), Seiten 103–129