Bilinear transformations in Hilbert space. (Q2591636)

Eine bilineare Transformation \(F(f,g)\) in einem Hilbertschen Raum ist, etwas ungenau ausgedrückt, eine in \(f\) und in \(g\) lineare Transformation. Für den Graph dieser Transformationen ist der Raum \((\mathfrak H \oplus \mathfrak H)\oplus \mathfrak H\) nicht geeignet; andererseits wird \((\mathfrak H \oplus \mathfrak H)\oplus \mathfrak H\) gebraucht, da \(f\oplus g\) genau die gleichen Linearitätseigenschaften besitzt wie \(F(f,g)\). Die Möglichkeit der Unbeschränktheit ergibt Schwierigkeiten, die eine Untersuchung der Eigenschaften des Definitionsbereiches von \(F(f,g)\) erfordern: Dichte, Orthogonalität, vollständige Linearität, orthogonale Dichte, Symmetrie. Es wird bewiesen, daß \(F(f,g)\), falls es in einem Punkte stetig ist, beschränkt ist, d. h. \(||F(f,g)||\leqq C||f||\cdot ||g||\). Ist daher \(F(f,g)\) für jedes Paar \(f\oplus g\) erklärt und abgeschlossen, so ist \(F\) beschränkt. Unter gewissen Umständen bestimmt der Graph von \(F(f, g)\) eine lineare Abbildung \(T\) von \(\mathfrak H \oplus \mathfrak H\) in \(\mathfrak H\), \(Tf \oplus g=F(f,g)\). \(F\) wird hyperstetig genannt, wenn \(T\) stetig ist. Hypereigenschaften werden untersucht. Die Möglichkeit, den Hilbertschen Raum als hyperkomplexes Zahlensystem aufzufassen, wird betrachtet. Wenn mit \(\times\) die Multiplikation in diesem System bezeichnet wird, so ist \(f\times g= F(f,g)\) eine bilineare Transformation in \(\mathfrak H\). Dieses \(F\) ist assoziativ. Sei \(F(f,g)=T_f(g)\). Unter Abgeschlossenheitsbedingungen für die Adjungierten bilden die \(T_f\) einen Ring \(M\). Dieser Ring wird im einzelnen untersucht und seine Struktur im Abelschen Fall angegeben. Es wird gezeigt, unter welchen Bedingungen ein gegebener Ring zu einer assoziativen bilinearen Transformation führt. Verschiedene der bekannten Beispiele für \(\times\) -Operationen werden untersucht.