Homogeneous basis for continuous geometry. (Q2594780)

Es wird in einer kontinuierlichen Geometrie \(L\) (vgl. \textit{J. v. Neumann}, Proc. nat. Acad. Sci. USA 22 (1936), 92-100, JFM 62.0648.*) ein System von Elementen \(a_v\) konstruiert mit den folgenden Eigenschaften: Der Index \(U\) bedeutet eine meßbare Teilmenge des Intervalls [0,1], \(U\) durchläuft alle solchen Mengen, \(a_{[0,1]}\) ist das Einheitselement 1 von \(L\), die Dimension \(D(a_U)\) ist gleich dem Maß \(m(U)\); das System \(a_{U_{ i}}\) (\(i =1\), 2,\dots ) ist unabhängig, wenn die \(U_i\) paarweise fremd sind; es ist \(a_U=a_{U_1}\cup a_{U_2}\cup \cdots\), wenn \(U=U_1\dotplus U_2\dotplus\cdots\); entsprechend für den Durchschnitt. Ist speziell \([0,1]=U_1\dotplus\cdots\dotplus U_m\) mit \(m(U_i)=\dfrac{1}{m}\), so erhält man \(1=a_{U_1}\cup \cdots\cup a_{U_m}\), wobei die \(a_{U_i}\) paarweise perspektiv sind.