Abstrakte Körper und Metrik. I: Endliche Mengen und Körperpotenzen. (Q2614347)

Die Note schließt eng an die Ausführungen von \textit{A. Wald} über komplexmetrische Räume an (Ergebnisse math. Kolloquium Wien Nr. 5 (1933), 32-42 (JFM 59.1264.*), insbesondere S. 32-36). Eine Menge heißt \(P\)-Raum oder \(P\)-metrische Menge (\(P\) ein abstrakter Körper der Charakteristik Null), wenn für je zwei Elemente \(p\) und \(q\) ein Abstand \(pq\) aus \(P\) definiert ist mit \(pq = qp\) und \(pq = 0\), wenn \(p = q\). \(P_n\) sei der \(P\)-Raum aller \(n\)-Tupel \(p = (x_1,\ldots,x_n)\), \(q= (y_1,\ldots,y_n)\) \((x_\nu, y_\nu \in P)\) mit \(pq = \sum\limits_{\nu=1}^n (x_\nu - y_\nu)^2\). Dann ist notwendig und hinreichend dafür, daß jeder endliche aus \(n\) Elementen bestehende \(P\)-Raum in den \(P_{s_n}\) einbettbar ist, daß \(P\) nicht formal-reell ist. Ist \(-1\) Summe von \(\mu\) Quadraten, so genügt \(s_n= (n - 1)\mu + \dbinom{n}{2}\). Mit Hilfe dieses Satzes und der Bemerkung, daß jede linear abhängige Teilmenge des \(P_n\) (d. h. eine Menge, für deren sämtliche Elemente \((x_1,\ldots,x_n)\) gilt \(\lambda_0 +\lambda_1 x_1 +\cdots +\lambda_n x_n = 0\) mit festen nicht sämtlich verschwindenden \(\lambda_\nu\) aus \(P\)) in den \(P_{n-1}\) einbettbar ist, falls in \(P\) jede Quadratsumme Quadrat ist, erhält die Verf. den Ergebnissen von \textit{A. Wald} über den komplexmetrischen Raum \(K_n\) (a. a. O., S. 35, 36; Satz 7-9) völlig analoge Kriterien für die Einbettbarkeit von \((n+\nu)\)-punktigen \(P\)-Räumen \((\nu= 1, 2,\ldots)\) in den \(P_n\) für Körper \(P\), in denen jedes Element Quadrat ist.