Ensembles indépendants et mesures non séparables. (Q2596017)

Über einem geschlossenen \(\sigma \)-Körper \(\mathfrak M\) von Teilmengen \(M\) einer Menge \(E\) sei eine nicht negative, volladditive Mengenfunktion (Maß) \(\mu (M)\) erklärt \((\mu (E) = 1)\). \(\mathfrak M\) wird durch die Abstandsdefinition \(\varrho (M_1, M_2)=\mu \bigl((M_1-M_2)+(M_2-M_1)\bigr)\) zu einem metrischen Raum; je nachdem dieser Raum separabel ist oder nicht, heißt \(\mu \) separabel oder nicht. Nach \textit{O. Nikodym} (Acad. Belgique Cl. Sci., Mém., Coll. \(8^\circ\) (2) 17 (1938), Nr. 8, 1-29; F. d. M. 64\(_{\text{II}}\)) gibt es nicht separable Maße. Ein System \(\mathfrak K\subset\mathfrak M\) heißt stochastisch \(\mu \)-unabhängig, wenn \(\mu (K_1\dots K_n)=\mu (K_1)\dots \mu (K_n)\) für jede endliche Folge \(K_1\),\dots, \(K_{n}\) aus \(\mathfrak K\), unabhängig (bzw. \(\aleph_0\)-unabhängig) schlechthin, wenn der Durchschnitt \(K_{11}K_{12}\dots (E-K_{21})\;(E-K_{22})\dots \) für jedes Paar von endlichen (bzw. unendlichen) Folgen lauter verschiedener Mengen aus \(\mathfrak K\) nicht leer ist. Es sei \(\mathfrak H\) ein System \(\aleph_0\)-unabhängiger Mengen \(\subset E\) und \(0\leqq \nu (H)\leqq 1\) für \(H\in \mathfrak H\). Dann gibt es auf dem kleinsten, \(\mathfrak H\) umfassenden \(\sigma \)-Körper \(\mathfrak K\) ein Maß \(\mu (K)\), so daß \(\mu (K)=\nu (K)\) für \(K\in \mathfrak H\) und \(\mathfrak K\) stochastisch \(\mu \)-unabhängig ist. Es gilt auch eine Umkehrung dieses Satzes. In entsprechender Abänderung gilt dieser Satz und seine Umkehrung auch für Inhalte auf Mengenkörpern. Es existiert ein \(\sigma \)-Körper \(\mathfrak K^{ \ast}\) von Borelschen Mengen auf der Zahlenstrecke \(\langle 0, 1\rangle\), auf welchen ein nicht-separables Maß \(\mu ^{ \ast}\) erklärt ist; der metrische Raum \(\mathfrak K^{ \ast}\) enthält eine Teilmenge von der Mächtigkeit des Kontinuums, deren Elemente paarweise den Abstand \(\frac{1}{2}\) haben. \(\mu ^{ \ast}\) kann nicht auf den \(\sigma \)-Körper aller Borelschen Mengen von \(\langle 0, 1\rangle\) erweitert werden.