Polnische Räume sind in natürlicher Weise Maßräume, indem man sie mit der σ-Algebra der Borelmengen versieht, und bezüglich dieses Maßraums ist universelle Messbarkeit in polnischen Räumen zu verstehen. Dann gilt: Derartige Sätze spielen eine entscheidende Rolle in der Struktur- und Darstellungstheorie von Typ-I-C*-Algebren, wie im unten ...