Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Wie beweist man, dass die geraden Zahlen gleichmächtig zu den ungeraden Zahlen sind? (http://www.informatikerboard.de/board/thread.php?threadid=4099)


Geschrieben von Penc am 14.01.2019 um 00:01:

  Wie beweist man, dass die geraden Zahlen gleichmächtig zu den ungeraden Zahlen sind?

Hallo zusammen

Ich lerne aktuell für die Klausuren in der Theoretischen Informatik und bin momentan beim Beweisen von Aussagen.

Wie könnte man beweisen bzw. wie wird bewiesen, dass die Menge der geraden Zahlen gleich der Menge der ungeraden Zahlen ist?

MfG



Geschrieben von NixJava am 14.01.2019 um 13:10:

 

Hallo.

Zitat:
Wie könnte man beweisen bzw. wie wird bewiesen, dass die Menge der geraden Zahlen gleich der Menge der ungeraden Zahlen ist?

Gar nicht, weil die Aussage falsch ist. Die Mächtigkeit der beiden Mengen ist gleich. Zwei Mengen besitzen die gleiche Kardinalität, wenn es eine bijektive Abbildung zwischen ihnen gibt.



Geschrieben von Penc am 14.01.2019 um 19:01:

 

Stimmt.. nicht gleich, sondern gleichmächtig^^

Wie beweist man sowas denn?

LG



Geschrieben von NixJava am 14.01.2019 um 19:29:

 

Indem du eine Bijektion von der Menge der geraden Zahlen in die Menge der ungeraden Zahlen angibst (oder umgekehrt).



Geschrieben von Penc am 14.01.2019 um 22:34:

 

Das gehört doch dann zu den "direkten Beweisen" oder?

Wir das in einer speziellen Notation geschrieben?
Geht man da einem genauen Schema vor?
Da es auch noch andere Aufgaben gibt, bei denen man etwas mit Mengen beweisen soll.


LG


Forensoftware: Burning Board, entwickelt von WoltLab GmbH