Fritz Feldhase schrieb am Mittwoch, 3. Januar 2024 um 18:21:54 UTC+1:
On Wednesday, January 3, 2024 at 5:35:49 PM UTC+1, WM wrote:
Richtig [...]. Da B genau so viele Elemente hat wie die erste Spalte von A
Im Zusammenhang mit unendlichen Mengen/Gesamtheiten spricht man besser mit Cantor von Mächtigkeit(en).
Das ist ein sinnloser Begriff, weil er nur die potentiell unendlichen Anfangsbschnitte aktual unendlicher Mengen verwendet.
Ja, die Mächtigkeit der Menge der Terme der Matrix B ist gleich der Mächtigkeit der Menge der Terme in der ersten Spalte der Matrix A, nämlich gleich aleph_0.
Genauer: Die Anzahlen sind gleich.
(Hier ist es hilfreich anzumerken, dass aleph_0 * aleph_0 = aleph_0 ist, aber das nur am Rande.)
Hier wird bewiesen, dass diese Behauptung falsch ist:
XOOO...
XOOO...
XOOO...
XOOO...
..
Es ist unmöglich, die Matrix mit X zu überdecken, da die Menge der nicht überdeckten Positionen, gekennzeichnet durch O, konstant bleibt. Das wird allgemein anerkannt, zum Beispiel: "In einem Punkt hat er natürlich
recht: kein Term seiner 'Matrizenfolge' wird je O-frei sein" (FF). Und anschließend geschieht nichts mehr.
Aber wer das nicht begreifen will oder kann, mag sich mit matheologischen Unsinn verlustieren. Es gibt dazu nichts weiter zu sagen als EOD.
Gruß, WM
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)