Eine Eigenschaft abstrakter Mengen. (Q2595509)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Eine Eigenschaft abstrakter Mengen. |
scientific article |
Statements
Eine Eigenschaft abstrakter Mengen. (English)
0 references
1938
0 references
Eine Teilmenge \(E_{1}\) einer (unendlichen) Menge \(E\) heißt Hälfte von \(E\), wenn die drei Mengen \(E\), \(E_{1}\), \(E - E_1\) gleichmächtig sind. Dann wird gezeigt: Man kann jeder Hälfte \(A\) der Menge \(E\) eine Teilmenge \(\varphi (A)\subset A\) zuordnen, so daß \(\varphi (A)\) stets Hälfte von \(A\) ist und daß weiter für jede Folge von Mengen \(E_1\), \(E_{2}\),\dots, die die Bedingung \[ E_{n+1}\subset \varphi (E_n)\subset E \] erfüllen, die Relation besteht: \[ E_1\cdot \varphi (E_1)\cdot E_2\cdot \varphi (E_2)\ldots=0. \] Der Beweis wird mit Hilfe der Wohlordnung geführt.
0 references