Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Abzählbare oder nicht abzählbare Menge?

Abzählbare oder nicht abzählbare Menge?

Universität / Fachhochschule

Algebraische Zahlentheorie

Tags: abzählbare Verinigung, Algebraische Zahlentheorie, Überabzählbarkeit von Mengen

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Nablovitsch

Nablovitsch aktiv_icon

21:39 Uhr, 22.04.2011

Antworten
Hi! Ich habe zwei Mengen, die meiner meinung nach beide abzählbar sein müssten, aber es anscheinend nur eine ist.

Ich habe die Mengen von Folgen bzw. Vektorräume:

M := { xd ; xlp | xn +i }
d:= { x | xn=0 für nn0 (jede folge hat ein eigenes n_0, keine "globale" zahl)} d heißt auch "Raum der abbrechenden Folgen".
und
M' := {xlp | xn +i }

M ist abzählbaer, M' nicht. Beide sind abzählbare vereinigungen abzählbarer Mengen.
Geht durch die unendlichen Reihen in M' die abzählbarkeit flöten?
Diese Überlegung kommt aus einem anderen Beweis (sieh link unten), ich hab nur das zugrunde liegende Problemm rausgefiltert.
http//www.onlinemathe.de/forum/separabilit%C3%A4t-von-lp

Online-Nachhilfe in Mathematik
Antwort
Sina86

Sina86

06:31 Uhr, 24.04.2011

Antworten
Hallo,

falls das noch nicht im anderen Thread deutlich geworden ist, natürlich ist Mʹ als Vereinigung abzählbarer Mengen ebenfalls abzählbar.

Gruß
Sina
Frage beantwortet
Nablovitsch

Nablovitsch aktiv_icon

11:36 Uhr, 29.04.2011

Antworten
Hab ein analogon gefunden der zu der Frage passt:

Hier werden 2 Mengen dargestellt, die einmal eine abzählbare, einmal eine überabzählbare Vereinigung von {0,1} sind. In der M-M' thematik haben wir im prinzip dass selbe mit +i statt {0,1}. Der unterschied besteht nur in der endlichkeint von {0,1}, was der vereinigung ja wurst ist, denn jede abzählbare vereinigung endlich oder unendlich abz. Mengen ist abzählbar.

Wir haben eine Überabzählbare Teilmenge des l und zwar alle Folgen, die nur 0 oder 1 als glieder haben.
K := {xxn{0,1}}

Diese sei isomorph zu binärzahlen aus dem intervall [0,1]

Da stellte ich mir die Frage: warum sollen es ALLLE Zahlen in [0,1] sein und nicht vielleicht nur die binärbrüche dort, und diese Brüche wären doch

Nun, unten sehen sie die Menge BB der BinärBRÜCHE und BZ aller BinärZAHLEN:

BB := { a | a = k=1Nbk*2-k bk {0,1} }
BZ := { a | a = k=1bk*2-k bk {0,1} }
= { a | a = limN k=1Nbk*2-k bk {0,1} }

die Menge BZ enthält u.a. 2/2 wegen der Dichtheit der Binärbrüche im [0,1]. Ergo trifft BZ wirklich alle Zahlen aus [0,1]. Ergo ist es eine Überabzählbare Menge.
BB ist jedoch nur die Menge aller BinärBrüche (also nicht einmal aller Brüche!) und ist foglich abzählbar.