Quelques théorèmes sur les fonctionelles linéaires. (Q2617367)

\(M\) bezeichne den linearen Raum der beschränkten, meßbaren Funktionen in \(E=(a,b)\), der durch die Norm \(\|x\|=\text{Max}|x(t)|\) metrisiert ist, und \(M^*\) den Raum derselben Funktionen, wenn \(\|x\|\) die kleinste Zahl \(a\) bedeutet, für die \(mE\left (x(t)>a\right )=0\) ist. Die Verf. geben fünf Sätze über lineare Funktionale und lineare Operationen an, deren Beweise an anderem Ort veröffentlicht werden sollen. (1) Die Allgemeine Form eines in \(M\) (oder \(M^*\)) definiert linearen Funktionals wird durch das \textit{Radon}sche Integral \[ f(x)=\int \limits _Ex(t)\varPhi (dE)=\underset {l_i-l_{i-1}\rightarrow 0} \lim \sum \limits _{i=0}^nl_i\varPhi (e_i) \] dargestellt, wobei \(e_i=E(l_{i-1}<x(t)\leqq l_i)\) ist und \(\varPhi (e)\) eine beschränkte, im engeren Sinne additive Funktion der meßbaren Menge \(e\) bedeutet (die für \(M^*\) mit \(m(e)\) verschwindet). (2) Die Mächtigkeit der Menge aller linearen Funktionale in \(M\) (bzw. \(M^*\)) ist \[ 2^{2^{2^{\aleph _0}}}\quad \left (\text{bzw. }2^{2^{\aleph _0}}\right ). \] Satz (3) gibt notwendige und hinreichende Bedingungen dafür, daß\ eine summierbare Funktion \(\varphi (t)\) existiert, die dem Gleichungssystem \[ \int \limits _a^bx_i(t)\varphi (t)dt=c_i\quad (i=0,1,2,\dots ) \] und der Ungleichung \[ \int \limits _a^b|\varphi (t)|dt\leqq S \] genügt. Satz (4) stellt allgemein die lineare Operation \(y=U(x)\), wobei \(x\) in \(M\) (bzw. \(M^*\)), \(y\) in dem (in \(M\) enthaltenen) Teilraum der stetigen Funktionen läuft, mittels eines (von einem Parameter abhängigen) \textit{Radon}schen Integrals dar. Daraus folgt dann noch, daß\ nicht jede lineare Operation auf den Gesamtraum forsetzbar ist. Satz (5) gibt eine notwendige und hinreichende Bedingung für die schwache Konvergenz einer Folge von Elementen aus \(M\).