In der Funktionalanalysis , einem Teilgebiet der Mathematik, wird ein lokal konvexer topologischer Vektorraum (TVS) als infrabarreliert (auch infrabarreliert geschrieben ) bezeichnet , wenn jedes beschränkte Fass eine Umgebung des Ursprungs ist. [ 1 ]

Analog dazu sind Quasi-Fassräume topologische Vektorräume (TVS), in denen jede bornivore Menge eine Umgebung des Ursprungs ist. Quasi-Fassräume werden untersucht, da sie eine Abschwächung der definierenden Bedingung für Fassräume darstellen , für die eine Form des Satzes von Banach-Steinhaus gilt.

Definition

Eine Teilmenge eines topologischen Vektorraums (TVS) heißt bornivorisch, wenn sie alle beschränkten Teilmengen von absorbiert ; das heißt, wenn es für jede beschränkte Teilmenge von einen Skalar gibt, sodass . Eine Barrel-Menge oder ein Barrel in einem TVS ist eine Menge , die konvex , balanciert , absorbierend und abgeschlossen ist . Ein Quasi-Barrel-Raum ist ein TVS, in dem jede bornivorische Barrel-Menge eine Umgebung des Ursprungs ist. [ 2 ] [ 3 ]

Charakterisierungen

Ist ein lokal konvexer Hausdorff-Raum, so ist die kanonische Injektion von in seinen Bidual genau dann eine topologische Einbettung, wenn infrabarreliert ist. [ 4 ]

Ein topologischer Vektorraum nach Hausdorff heißt quasifassed genau dann, wenn jeder beschränkte, abgeschlossene lineare Operator von in einen vollständigen metrisierbaren Vektorraum stetig ist. [ 5 ] Per Definition heißt ein linearer Operator abgeschlossen , wenn sein Graph eine abgeschlossene Teilmenge von ist.

Für einen lokal konvexen Raum mit stetigem Dualraum sind die folgenden Ausdrücke äquivalent:

  1. ist quasifassförmig.
  2. Jede beschränkte unterhalbstetige Halbnorm auf ist stetig.
  3. Jede -beschränkte Teilmenge des stetigen Dualraums ist gleichstetig.

Wenn es sich um einen metrisierbaren, lokal konvexen TVS handelt, dann sind die folgenden Ausdrücke äquivalent:

  1. Der starke Dual von ist quasifassed.
  2. The strong dual of is barrelled.
  3. The strong dual of is bornological.

Properties

Every quasi-complete infrabarrelled space is barrelled.[1]

A locally convex Hausdorff quasibarrelled space that is sequentially complete is barrelled.[6]

A locally convex Hausdorff quasibarrelled space is a Mackey space, quasi-M-barrelled, and countably quasibarrelled.[7]

A locally convex quasibarrelled space that is also a σ-barrelled space is necessarily a barrelled space.[3]

A locally convex space is reflexive if and only if it is semireflexive and quasibarrelled.[3]

Examples

Every barrelled space is infrabarrelled.[1] A closed vector subspace of an infrabarrelled space is, however, not necessarily infrabarrelled.[8]

Every product and locally convex direct sum of any family of infrabarrelled spaces is infrabarrelled.[8] Every separated quotient of an infrabarrelled space is infrabarrelled.[8]

Every Hausdorff barrelled space and every Hausdorff bornological space is quasibarrelled.[9] Thus, every metrizable TVS is quasibarrelled.

Note that there exist quasibarrelled spaces that are neither barrelled nor bornological.[3] There exist Mackey spaces that are not quasibarrelled.[3] There exist distinguished spaces, DF-spaces, and -barrelled spaces that are not quasibarrelled.[3]

The strong dual space of a Fréchet space is distinguished if and only if is quasibarrelled.[10]

Counter-examples

There exists a DF-space that is not quasibarrelled.[3]

There exists a quasibarrelled DF-space that is not bornological.[3]

There exists a quasibarrelled space that is not a σ-barrelled space.[3]

See also

Referenzen

Bibliographie