Uniform convergence of biorthogonal basis expansions and semireflexivity of locally convex spaces (Q579576)

Für eine Schauderbasis \((x_ n)\) in einem lokalkonvexen Raum E bezeichne \((x_ n')\) die Folge der biorthogonalen Funktionale im Dualraum \(E'\). In der vorliegenden Arbeit werden zwei Sätze bewiesen. Satz 1. Eine Basis \((x_ n)\) in einem folgenvollständigen lokalkonvexen Raum E ist ``shrinking'' genau dann, wenn gilt (1) für jedes \(f\in E'\) konvergiert die Reihe \(\sum^{\infty}_{k=1}x_ k'(x)f(x_ k)\) gleichmäßig auf jeder beschränkten Teilmenge. Satz 2. Ein folgenvollständiger lokalkonvexer Raum E mit einer Basis \((x_ n)\) ist halbreflexiv genau dann, wenn die Bedingungen (1) und (2) für jedes \(F\in E''\) konvergiert die Reihe \(\sum^{\infty}_{k=1}F(x_ k')f(x_ k)\) gleichmäßig auf jeder \(\beta (E',E)\)-beschränkten Teilmenge, gelten. Anmerkung des Referenten: Satz 1 folgt unmittelbar aus Theorem 1 in \textit{Yu. B. Tumarkin}, Doklady Akad. Nauk SSSR 195, 1278-1281 (1970; Zbl 0216.407). Aus dem Beweis von Theorem 2.3 (ii) in \textit{J. R. Retherford}, Math. Ann. 164, 280-285 (1966; Zbl 0169.152) folgt, daß die Bedingungen (1) und (2) hinreichend für Halbreflexivität von E sind. Die Notwendigkeit der Bedingung (1) wurde in \textit{T. A. Cook}, Math. Ann. 182, 232-235 (1969; Zbl 0175.416) bewiesen. An folgendem Gegenbeispiel von E. Oja zeigt man, daß die Bedingung (2) nicht notwendig ist: Sei \(E:=(\ell^{\infty},\sigma (\ell^{\infty},\ell^ 1))\). Dann gilt \(E'=\ell^ 1\) und \(\beta (E',E)\) ist die Normtopologie in \(\ell^ 1\). Damit ist E halbreflexiv, also auch folgenvollständig. Die Folgen \(x_ k:=(0,0,...,0,1,0,...)\) mit 1 an der k-ten Stelle bilden eine Basis in E. Dennoch ist (2) nicht erfüllt: setzt man \(F:=(1,1,...)\in E=E''\), so ist die Reihe \(\sum^{\infty}_{k=1}F(x_ k')f(x_ k)\) auf der Teilmenge \(f\in \{x_ k':k\in {\mathbb{N}}\}\) nicht gleichmäßig konvergent.