Aufgabe:
Sei A∗ die (unendliche) Menge aller endlichen Strings, welche aus den Dezimalziffern A =
{0, 1, 2, . . . , 9} gebildet werden können; formal ¨ A∗ = {ϵ, 0, 1, 2, . . . , 9, 00, 01, 02, . . . , 09, . . . }.
a) Zeigen Sie, dass A∗
abzählbar ist.
b) Benutzen Sie Teilaufgabe a), um zu zeigen, dass die Menge Q der rationalen Zahlen
abzahlbar ist. Nutzen Sie dafür aus, dass ¨ Q = {a/b |a ∈ Z ∧ b ∈ N≥1}.
Problem/Ansatz:
… wie zeige ich das A* abzählbar ist ?