On the set of positive functions in \(L_2\). (Q2596545)

Es sei \(\mathfrak{H}\) ein abstrakter Hilbertscher Raum, \(P\) eine Menge \(\in \mathfrak{H}\). Verf. untersucht die Bedingungen, denen \(P\) genügen muß, damit \(P\) bei einer Verwirklichung \(\mathfrak{H} \longleftrightarrow L_2=L_2[\alpha(x)]\) (\(\alpha(x)\) ist monoton wachsend; \(f(x) \in L_2\) dann und nur dann, wenn \(f(x)\) \(\alpha\)-meßbar und \(\int |f(x)|^2\,d\alpha(x)<\infty\) ist; die Abbildung \(\mathfrak{H} \longleftrightarrow L_2\) ist linear und isometrisch) genau in die Menge der positiven Funktionen in \(L_2\) übergeht. Die (notwendigen und hinreichenden) Bedingungen lauten: (1) \((u,v) \geqq 0\) für alle \(u, v \in P\). (2) \((u,f) \geqq 0\) für ein \(f \in \mathfrak{H}\), alle \(u \in P\) hat zur Folge \(f\in P\). (3) Es seien \(u_1, u_2, v_1, v_2 \in P\), \(u_1+u_2=v_1+v_2\), dann sind \(w_{11}\), \(w_{12}\), \(w_{21}\), \(w_{22} \in P\), vorhanden, für welche \(u_i=\sum\limits_{k} w_{ik}\), \(v_k=\sum\limits_{i} w_{ik}\) \((i,k=1,2)\).