Necessary conditions for normal solvability in duals of LF-spaces (Q1095370)

Es seien \(X=\lim_{\to}X_ n\) und \(Y=\lim_{\to}Y_ n\) zwei strikte LF-Räume, die stetige Normen besitzen, und \(T: X\to Y\) sei linear und stetig. Der Kern N von T sei orthogonal in X, d.h. bei geeigneter Wahl der definierenden Frécheträume \(X_ n\) sei \((N\cap X_{n+1})+X_ n\) abgeschlossen in X für alle n. Der zu T adjungierte Operator T' sei normal lösbar, d.h. es gelte \(T'(Y')=N^{\perp}\). Mit \(T_{k,n}: X_ k\to Y_ n\) definiert durch Graph \((T_{k,n})=\) Graph \((T)\cap (X_ k\times Y_ n)\) gilt dann: (i) \(\forall n\in {\mathbb{N}}\), \(\exists j\geq n:\) \(T_{j,n}\) ist offen, (ii) \(\forall n\in {\mathbb{N}}\exists j\geq n:\) \(T(X)\cap Y_ n\subset T(X_ j).\) Zu jeder stetigen Norm q auf X existiert eine stetige Norm r auf Y, so daß zu jedem \(n\in {\mathbb{N}}\) ein \(j\geq n\) existiert, so daß für alle \(k\geq j\) gilt (iii) \(T_{k,k}\) ist (q,r)-offen, (iv) domain \((\bar T_{k,n})\subset \overline{X_ j+N(T)}^{\tilde q}+X.\) Dabei entsteht \(\bar T{}_{k,n}\) durch eine Abschlußbildung aus \(T_{k,k}\). - Hierdurch wird ein vom Autor früher bewiesenes hinreichendes Kriterium für normale Lösbarkeit umgekehrt.