Sur la représentation des opérateurs linéaires. (Q2600666)

Es seien die folgenden Klassen von Räumen eingeführt: \(S\), die linearen halb\-geordneten regulären Räume (s. vorstehendes Referat). (Außer der gewöhnlichen Konvergenz (\(\to^{(0)}\)) führen die Verf. einen anderen Typus von Konvergenz (kurz Konv.) in \(S\) ein: \(x_n\to^*x\) bedeutet, daß man aus jeder Untermenge \(\{x_{n_i}\}\) eine andere Unter\-menge \(\{x_{n_{i_k}}\}\) ziehen kann, so daß \(x_{n_{i_k}}\to^{(0)}x\).) \(B\) seien die im Sinne \textit{Banach}s, nor\-mierten Räume, \(K\) die \(K\)-normierten Räume (vgl. die nachstehend besprochene Arbeit von \textit{Vulich}), \(K_1\) regulär halbgeordnete und zugleich im Sinne \textit{Banach}s normierte Räume, für welche * Konv. und Normkonv. gleichbedeutend sind; \(K_2\) die Räume, die gleichzeitig halbgeordnet, regulär und normiert sind und für welche: (1) \(|x_1|\leqq |x_2|\) bedeutet \(\|x_1\|\leqq \|x_2\|\); (2) aus \(x_1\leqq x_2\leqq\cdots\leqq x_n\leqq\cdots\to^{(0)}\infty\) folgt \(\|x_n\|\to\infty\). Man schreibt \(\|(x_1,\dots,x_\nu)\| = \| \sup (|x_1|,\dots, | x_\nu|)\|\), und auf diese Weise wird der Raum \(E\)-normiert. Es wird bewiesen, daß in \(K_2({}^0)\) Konv. und \(K\)-Konv. äquivalent sind, so daß * Konv. und \(B\)-Konv. auch gleichbedeutend sind. Deshalb ist \(K_2\subset K_1\) Die Verf. bezeichnen mit \(\to^{(t)}\) die * Konv. oder die Konv. nach der Norm, je nachdem ob der Raum halbgeordnet oder normiert ist; gewöhnliche Konv. in linearen halbgeordneten Räumen oder \(K\)-Konv. in \(K\)-normierten Räumen werden mit \(\to^{(0)}\) bezeichnet. In den oben angedeuteten Räumen betrachten die Verf. folgende Klassen von Operationen, die additiv und stetig (in dem jeweiligen Sinne) sind: (1) \(H_t^t\), für welche \(x_n\to^{(t)}x\) bedeutet \(U(x_n)\to^{(t)}U(x)\); (2) \(H_0^0\), für welche \(x_n\to^{(0)}x\) bedeutet \(U(x_n)\to^{(0)}U(x)\); 3) \(H_t^0\) für welche \(x_n\to^{(t)}x\) bedeutet \(U(x_n)\to^{(0)}U(x)\). Es gilt: \(H_t^t\supset H_0^0\supset H_t^0\). Es werden nun einige besondere Räume und die Bedeutung dieser Konvergenzbe\-griffe in ihnen betrachtet. Es sei \(l^p\) wie gewöhnlich die Klasse gewisser reeller Folgen \(\{\eta^{(i)}\}\). Wenn man schreibt \(\|y\| =\left[{\sum\limits_{i=1}^{\infty}}|\eta^{(i)}|^p\right]^{1/p}\) und \(y > 0\), wenn \(\eta^{(i)}\geqq0\), \(i = 1\), 2,\dots und nicht jedes \(\eta^{(i)} = 0\), \(i = 1\), 2,\dots, dann ist \(l^p\in K_2\). Für \(L^p\) (reelle Funktionen!) hat man auch \(L^p\in K_2\), wenn \(\| x \| =\left[{\int\limits_{0}^{1}}|x (t)|^p\right]^{1/p}\) und \(x >0\) bedeutet, daß die Menge \(\{x(t)\leqq0\}\) eine Nullmenge ist. \(V^p\) sei der Raum der \(x(t)\) (\(0\leqq t\leqq 1\)), für welche \(x(0) = 0\), und \(\left[{\sum\limits_{i=1}^{m}}\dfrac{|x({t_i})-x({t_{i-1}})|^p} {(t_i-t_{i-1})^{p-1}}\right]^{\tfrac1p}\leqq k<\infty\) für jede Zerlegung \(0 = t_0 < t_1 <\cdots < t_m = 1\). \(V_p\in K_2\), wenn \(\|x\|=\operatornamewithlimits{\hbox{}p}\)-var