Über die Anzahl der abgerundeten Mengen. (Q2614134)

Es bedeute \(N\) die Menge \((1, \, 2, \ldots \!, n)\). Eine Menge \(\mathfrak{N}\) von Teilmengen von \(N\) soll abgerundet heißen, wenn sich ihre Elemente durch Summen- und Durchschnittsbildung reproduzieren und wenn sich für drei Mengen \(N_1\), \(N_2\), \(N_3\) mit \(N_1 \subset N_2 \subset N_3 \subset N\) aus \(N_1 \in \mathfrak{N}\) und \(N_3 \in \mathfrak{N}\) stets \(N_2 \in \mathfrak{N}\) ergibt. Es wird der Satz bewiesen: Die Menge \(\mathfrak{N}\) ist dann und nur dann abgerundet, wenn sie sich als Durchschnitt von \(n\) Mengen der Form \(\mathfrak{N}_{i_1}(1), \, \mathfrak{N}_{i_2}(2), \ldots \!, \mathfrak{N}_{i_n}(n)\) \((i_k = 0, \, 1, \, 2, \, 3, \, 4, \, 5)\) darstellen läßt. Dabei bedeutet \(\mathfrak{N}_{0}(i)\) für jedes \(i\) die Menge aller Teilmengen von \(N\), \(\mathfrak{N}_{1}(i)\) die Menge aller Teilmengen von \(N\), die \(i\) als Element enthalten, \(\mathfrak{N}_{2}(i)\) die Menge aller Teilmengen von \(N\), die \(i\) nicht als Element enthalten, \(\mathfrak{N}_{3}(i)\) die Menge mit dem einzigen Element \((i)\), \(\mathfrak{N}_{4}(i)\) die Menge aller Teilmengen von \(N\) unter Ausschluß der Menge \((i)\), \(\mathfrak{N}_{5}(i)\) den Durchschnitt von \(\mathfrak{N}_{1}(i)\) und \(\mathfrak{N}_{4}(i)\). -- Der Satz erfährt dann noch eine interessante ethische Interpretation. In der zweiten Arbeit wird die Anzahl der abgerundeten Mengen zu \[ 2 \cdot 3^n + 2^{n-1} (n-2) - (n+1)^2 - 3 \binom n2 \] bestimmt.