Contribution à l'étude de systèmes de choses normées. (Q2601255)

Enthält die Fortsetzung des Artikels des Verf. in Amer. J. Math. 58 (1936), 799-828 (JFM 62.0647.*). Von den dort betrachteten normierten Systemen von Dingen wird hier ein Unterfall untersucht, nämlich die vollständig normierten Systeme von Dingen. Für diese Systeme sind folgende Axiome neu hinzuzufügen: (1) Existenz eines Elementes 1, so daß für jedes \(x\) \(x \subset 1\); (2) \(|1| = 1\). Es wird der folgende Hauptsatz bewiesen: In dem metrischen Raum, der dem vollständig normierten System entspricht, kann ein Punkt \(u\) dann und nur dann als Ursprung genommen werden, wenn sich zu dem Ding \(u\) ein \(\tilde u\) angeben läßt, so daß \(u\tilde u = 0\); \(u + \tilde u=1\) und für alle \(a\) und \(b\) \((a + b) u = au + bu\); \((a + b) \tilde u = a\tilde u + b\tilde u\). Ferner wird eine Berichtigung zu der ersten, oben zitierten Arbeit gegeben.