On a calculus of operators in reflexive vector spaces. (Q2591631)

In der vorliegenden Arbeit werden Möglichkeit und Grundlagen einer den entsprechenden Untersuchungen im Hilbertschen Raum analogen, auf der spektralen Zerlegung basierenden Operatorenrechnung in allgemeinen Räumen \(\mathfrak B\) vom Banachschen Typus (d. h. normierten und im Sinne der Metrik vollständigen Räumen), die überdies in der Bezeichnung des Verf. ``reflexiv'', d.h. (in der üblichen Benennung) regulär sind, erörtert und entwickelt. Wie in der Theorie des Hilbertschen Raumes wird zu diesem Zwecke zunächst der Begriff des Projektionsoperators \(P\) (durch die Forderung \(P^2 = P\)) eingeführt, was weiter Veranlassung zur Betrachtung zweier jedem \(P\) zugeordneter abgeschlossener linearer Mannigfaltigkeiten \(\mathfrak M\) und \(\mathfrak N\) gibt, nämlich der Gesamtheit \(\mathfrak M\) aller \(f\prec \mathfrak B\), für welche \(Pf= f\), und der Menge \(\mathfrak N\) aller \(g\), für die \(Pg = 0\) ist. (Diese beiden Mannigfaltigkeiten, die Gegenstand mehrerer Sätze der Arbeit sind, spannen zusammen den ganzen Raum \(\mathfrak B\) auf). Mit ihrer Hilfe läßt sich für je zwei Projektionsoperatoren \(P_1\) und \(P_2\) die Beziehung \(P_1 > P_2\) als gleichbedeutend mit der Aussage \(\mathfrak M_2\prec \mathfrak M_1\) und \(\mathfrak N_2\prec \mathfrak N_1\) definieren. Sie ermöglicht in völliger Analogie zum Hilbertschen Raum die Aufstellung des Begriffes einer ``Zerlegung der Einheit'': Eine einparametrige Schar von Projektionsoperatoren \(E(\lambda)\) (\(-\infty < \lambda < + \infty\)), die den Nulloperator sowie die Identität enthält, wird als Zerlegung der Einheit bezeichnet, wenn die beiden Bedingungen \(E(\lambda)>E(\mu)\) für \(\lambda > \mu\) und \[ \left\|\left(\sum_{\alpha=1}^m \mu_\alpha[E(b_\alpha)-E(a_\alpha)]\right)f\right\| \leqq K||f|| \] mit festem \(K\) für beliebiges \(f \prec \mathfrak B\), beliebiges komplexes \(\mu_\alpha\) vom Absolutbetrag 1 und beliebige, bloß den Ungleichungen \(a_i\leqq b_i\) (\(i=1,\ldots, n\)) und \(b_i \leqq a_{i+1}\) (\(i=1,\ldots, n-1\)) unterworfene reelle Zahlen \(a_i\) und \(b_i\) erfüllt sind. Die Einführung des ``Projektionsmaßes'' \(E(M)\) einer Menge \(M\) von Projektionsoperatoren sowie des Begriffes der ``\(E(\lambda)\)-meßbaren Funktion'' \(\varphi(\lambda)\) bildet den nächsten Schritt. \(D(\mu)=E(M_\mu)\), wo \(M_\mu=\{\varphi(\lambda)\leqq \mu\}\) (\(-\infty < \mu < +\infty\)) bedeutet, stellt dann eine durch \(\varphi(\lambda)\) veranlaßte Zerlegung der Einheit dar. Der zu dieser Zerlegung gehörige Operator \(B=\int \mu dD(\mu)\) ist somit ein vermöge \(\varphi(\lambda)\) dem zur Zerlegung \(E(\lambda)\) gehörigen Operator \(A = \int \lambda dE(\lambda)\) zugeordneter Operator und wird aus diesem Grunde mit \(\varphi(A)\) bezeichnet. Der von allen \(\varphi(A)\) gebildete Ring von Operatoren ist nun homomorphes Bild des Ringes aller \(E(\lambda)\)-meßbaren Funktionen \(\varphi(\lambda)\), eine Tatsache, die die Möglichkeit einer Operatorenrechnung in völliger Analogie zu derjenigen des Hilbertschen Raumes aufzeigt. Verf. bemerkt noch, daß das Problem einer einfachen Charakterisierung der in dieser Weise zerlegbaren Operatoren zwar noch offen bleibt, daß jedoch begründete Aussicht auf seine Lösung besteht.