Quasinormierbare Räume bilden eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse lokalkonvexer Räume. Diese auf A. Grothendieck zurückgehende Begriffsbildung erlaubt eine Charakterisierung von Schwartzräumen. Man findet in der Literatur auch die Bezeichnung quasinormabel.

Definition

Bearbeiten

Ein lokalkonvexer Raum   heißt quasinormierbar, falls es zu jeder Nullumgebung   eine weitere Nullumgebung   gibt, so dass man zu jedem   eine beschränkte Menge   mit   finden kann.

Würde diese Bedingung sogar für   gelten, so wäre   eine beschränkte Nullumgebung und damit der Raum   normierbar. Diese Betrachtung rechtfertigt den Namen quasinormierbar.

Beispiele

Bearbeiten
  • Normierte Räume sind quasinormierbar, da man als   in obiger Definition eine beschränkte Nullumgebung wählen kann, zum Beispiel die offene Einheitskugel. Dann gilt   für jedes  , sogar für  .
  • (DF)-Räume sind quasinormierbar.
  • Schwartz-Räume sind quasinormierbar.

Eine der Charakterisierungen der Schwartz-Räume besteht gerade darin, dass man in obiger Definition die beschränkte Menge   sogar endlich wählen kann. Man kann sich nun fragen, welche Bedingung umgekehrt ein quasinormierbarer Raum erfüllen muss, um ein Schwartz-Raum zu sein. Es gilt folgender Satz:

  • Ein lokalkonvexer Raum ist genau dann ein Schwartz-Raum, wenn er quasinormierbar ist und jede beschränkte Menge präkompakt ist.

Eigenschaften

Bearbeiten
  • Reinhold Meise, Dietmar Vogt: Einführung in die Funktionalanalysis (= Vieweg-Studium 62 Aufbaukurs Mathematik). Vieweg, Braunschweig u. a. 1992, ISBN 3-528-07262-8.
  • M. P. Katz: Every DF-space is quasinormable, Functional Analysis and Its Applications, Band 7 (1973), Seiten 157–158