A reduced set of postulates for abstract Hilbert space. (Q2612334)

Verf. führt das ursprünglich von \textit{J. von Neumann} gegebene Axiomensystem für einen komplex linearen Raum mit einem hermitesch symmetrischen inneren Produkt auf ein solches von nur elf Postulaten zurück, von denen jedes für sich sinnvoll ist. Durch elf Beispiele wird die Unabhängigkeit jedes dieser Postulate von den übrigen zehn dargetan. Bemerkenswert ist, daß in die Postulate die bekannten Relationen ``\(=\)'', ``\(\varepsilon\)'' und die Operationen ``\(+\)'', ``\(\cdot\)'' und ``(, )'' gleichwertig eingehen.