The Hilbert space postulates -- a further reduction. (Q2612335)

Verf. reduziert das von ihm aufgestellte Axiomensystem für einen komplexen linearen Raum mit hermitesch symmetrischem inneren Produkt \((\mathfrak x, \mathfrak y)\) (vgl. die vorstehend besprochene Arbeit) auf nur acht Axiome, indem er die Gleichheit \(\mathfrak x = \mathfrak y\) durch die Definition \((\mathfrak x + (- 1) \mathfrak y, \mathfrak x + (- 1) \mathfrak y) = 0\) zu einem abgeleiteten Begriff macht.