Abstract Euclidean spaces with independently postulated analytical and geometrical metrics. (Q2600656)

Die Verf. betrachten einen Raum des euklidischen Typus, \(E\), d. h. mit einem inneren Produkt \((x, y)\) und der Norm \(\|x\|\) während aber in allen diesen Räumen bisher \(\|x\|\) durch \((x, x)^{\frac12}\) definiert worden ist, werden hier die beiden Funktionen als unabhängig vorausgesetzt. Es handelt sich um einen Raum, der im gewöhnlichen Sinne normiert (\(\|ax\|=|a|\cdot\|x\|\), \(\|x+y\|\leqq\|x\|+\|y\|\)) und auch euklidisch \(\big((ax, y) = a (x, y)\), \((x + y,z) = (x, z) + (y, z)\), usw.\(\big)\) ist. Die beiden Symbole werden durch \(|(x,y)|\leqq M\cdot\| x\|\cdot\| y\|\) (\(M > 0\) unabhängig von \(x\), \(y\)) verbunden. \(E\) heißt bestimmt, wenn \((x, x)\not> 0\) bedeutet \(x=0\), sonst unbestimmt. Ein Beispiel eines bestimmten \(E\) ist der Raum der auf \((a, b)\) stetigen Funktionen mit \((f\cdot g) ={\int\limits_{a}^{b}} f(x)\overline{g(x)}\, dx\) und \(\|f\| = \operatornamewithlimits{max}_{(a,b)}| f (x)|\). Ein nicht bestimmter Raum ist der Raum der Relativitäts\-theorie mit \((x, y)= x_1y_1 + x_2y_2 + x_3y_3-ct\tau\) und \(\|z\| = | x_1| + | x_2| + | x_3| + c |t|\). Diese \(E\) sind durch die Funktionen \((x, x)^{\frac12}\) und \(\| x\|\) auf zwei Weisen metrisiert; \((x, x)^{\frac12}\) ergibt die ``geometrische'', \(\|x\|\) die ``analytische'' Metrisierung. Nach einer Er\-örterung der Postulate werden Drehungen eingeführt. \(U\) ist eine Drehung, wenn (a) \(U\) eine eineindeutige Transformation von \(E\) in sich selbst ist, (b) \centerline{ \(\big(U(x_1) - U(x_2),\;U(x_1) - U(x_2)\big) = (x_1 - x_2, x_1 - x_2)\) und (c) \(U (0) = 0\).} \noindent Es wird bewiesen, daß \(U\) additiv und abgeschlossen ist. Wenn \(E\) vollständig ist, ist \(U\) auch stetig. Der enge Zusammenhang zwischen Drehungen, adjungierten und schiefsymmetrischen Operatoren wird untersucht. Die Drehungsgruppen, die in besonderen Räumen aus Integralgleichungen entstehen, werden eingehend unter\-sucht. Der zweite Teil der Arbeit behandelt besondere unbestimmte Räume und ihre Drehungen. Hier existieren Drehungen, die nicht linear sind.