TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 152

Aus VoWi
Zur Navigation springen Zur Suche springen


Eine Menge ist abzählbar unendlich, wenn sie gleich mächtig wie ℕ ist. Zwei Mengen sind gleich mächtig, wenn zwischen ihnen eine bijektive Abbildung existiert. (Quelle:"Grundlagen der Mathematik"-PDF Version https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks)

Lösungsvorschlag von neo

[Bearbeiten | Quelltext bearbeiten]

Man muss also zeigen: ∃ f : ℕ → ℕ x ℕ x ℕ ⇔ ℕ³. Die Abbildung ist hier logischerweise x → x³. Damit wurde gezeigt, dass ℕ³ abzählbar ist.