Menge/Potenzmenge/Endlich/Maximale Elemente/Aufgabe/Lösung

Da ${}G$ unendlich ist, gibt es darin insbesondere verschiedene Elemente ${}x_{n}$ zu ${}n\in \mathbb {N} _{+}$ . Wir betrachten die endlichen Teilmengen
${}G_{n}:=\{x_{1},x_{2},\ldots ,x_{n}\}\,.$

Diese gehören zu ${}M$ und es liegen die (echten) Inklusionen ${}G_{n}\subset G_{n+1}$ vor, d.h. diese Mengen bilden eine Kette. Eine obere Schranke für diese Mengen muss aber alle Elemente ${}x_{n}$ enthalten, also unendlich sein, und eine solche gibt es nicht in ${}M$ .
Es gibt in ${}M$ keine maximalen Elemente. Ein Element ${}N\in M$ ist eine endliche Menge von ${}G$ . Da ${}G$ unendlich ist, gibt es eine Element ${}x\in G$ mit ${}x\notin N$ . Dann ist ${}N\cup \{x\}$ eine ebenfalls endliche Teilmenge von ${}G$ (gehört also zu ${}M$ ), die ${}N$ echt umfasst, so dass ${}N$ nicht maximal ist.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.