Wie viele Götter gibt es?
-
Na, definiert war's afaik schon. Cantor hat's nur als erster geschafft die Elemente geschickt nebeneinander zu legen.
-
Theston schrieb:
Aber "gleich viele" im mengentheoretischen Sinn ist nunmal über Gleichmächtigkeit definiert, du kannst mir gern deine Definition dafür nennen.
"gleich viele" würde ich gar nicht definieren. Den Begriff Anzahl würde ich nur für endliche Mengen defininieren, verallgemeinert würde ich formal immer den Begriff Kardinalität benutzen.
Da ich keine repräsentative Auswahl an Lehrbüchern zur Mengenlehre vorliegen habe -- Wikipedia stützt zwar meinen Standpunkt, wie ich gerade festgestellt habe, gilt aber nicht viel -- kann ich leider nichts dazu sagen, was die übliche Definition ist. Wenn das bei dir der Fall sein sollte, würde ich dich bitten, dass du die entsprechenden Definitionen zitierst, ansonsten würde ich vorschlagen, diese Diskussion hier mit unentschieden zu beenden.
-
Beutelspacher z.B. definiert "Gleichmächtigkeit" über eine bijektive Abbildung und erwähnt dabei explizit unendliche Mengen. Diese Definition nutzt er als Antwort auf die Frage, wann zwei Mengen "gleich viele" Elemente haben.
Ich stimme dir aber soweit zu, dass dieser Begriff keine wirkliche mathematische Relevanz hat, oder halt Beutelspacher-typisch eher eine populäre Definiton ist.
Ich hab jetzt leider keine Quellen, denke aber, dass die Idee der Bijektivität/des Nebeneinanderlegens auch schon vor Cantor als Beschreibung für eine gleiche Anzahl genutzt wurde.Irgendeine Vorstellung des populären Begriffs "gleich viele" musst du ja haben.
-
Diskussionen über mathematische Definitionen haben keinen Sinn. Jeder kann die Dinge so bennen wie er es will. Die müssen nur in sich schlüssig sein.
Als Beleg dafür fällt mir nur "die" Definition von Ringen ein. Manchen nehmen das multiplikativ neutrale Element in die Definition auf. Andere nicht.
-
Ich wollte auch nicht ernsthaft diskutieren, mich hat bloß interessiert, warum man "gleichmächtig" und "gleich viele Elemente beinhaltend" nicht als äquivalente Bezeichnungen ansieht