Logical structures of orthogonal systems in Hilbert space. (Q2596534)

Bekanntlich ist jedes Orthogonalsystem \(\{\mathfrak M_u\}\) von abgeschlossenen linearen Mannigfaltigkeiten im Hilbertschen Raum (der Index \(u\) bezeichnet ein Element eines Borelschen Mengenringes) ein ``complemented distributive lattice'', das isomorph ist dem lattice der Mengen \(U\). Verf. zeigt, daß umgekehrt jedes complemented distributive lattice von Mannigfaltigkeiten \(\{\mathfrak M\}\), das mit \(\mathfrak M\) das orthogonale Komplement von \(\mathfrak M\) bezüglich seiner Einheit enthält, als ein Orthogonalsystem mit Mengenindices angesehen werden kann. Ein ähnlicher Satz wird bezüglich orthogonaler Systeme von Elementen bewiesen. Der Begriff Ordnung ist hier so definiert: \[ f\prec g,\quad\text{wenn}\quad (f,g)=\|f\|^2. \]