- Grundmenge
-
Die Grundmenge bezeichnet in der Mathematik eine Menge aus allen in einem bestimmten Zusammenhang betrachteten Objekten. Alle in diesem Zusammenhang betrachteten Mengen sind dann Teilmengen dieser Grundmenge. In einzelnen Fällen werden jedoch im Gegenzug nicht auch alle Teilmengen der Grundmenge betrachtet, so zum Beispiel im Fall einer σ-Algebra.
Die Verwendung von Grundmengen dient der Vermeidung von Antinomien wie der Russellschen Mengen-Antinomie. Durch ihre geeignete Wahl wird garantiert, dass Mengenoperationen, wie Durchschnitte und Vereinigungen definiert sind und zu im Zusammenhang sinnvollen Mengen führen.
Welche Objekte überhaupt in der Lösungsmenge zu einer gegebenen Gleichung enthalten sein können, ist entscheidend davon abhängig, auf welche Grundmenge sich die Gleichung bezieht.
Im Falle einer Gleichung wie beispielsweise x + 5 = 3 handelt es sich um eine Aussageform, die an sich weder wahr noch falsch ist. Erst wenn man anstelle von x konkrete Zahlen einsetzt, wird aus der Aussageform eine Aussage, die entweder wahr oder falsch ist. Es interessiert beim Lösen einer Gleichung in der Regel jene Zahl, die aus der Gleichung eine wahre Aussage macht. Derjenige, der sich diese Gleichung ausgedacht hat, macht für den Löser dieser Gleichung jetzt außerdem noch eine weitere Vorschrift: Man soll nur innerhalb der natürlichen Zahlen N nach einem Objekt bzw. einer Zahl suchen dürfen, welches aus der Gleichung eine wahre Aussage macht. Anders formuliert: Die Grundmenge zur Gleichung wird in diesem Fall als N vorgeschrieben. Als Folge dieser Einschränkung wird der Löser keine Zahl finden, welche die Gleichung erfüllt. Und deshalb ist die Lösungsmenge der Gleichung leer.
Die Wahl einer Grundmenge hat also einen erheblichen Einfluss darauf, ob eine Gleichung lösbar ist, und auch auf die Anzahl der Elemente einer eventuell vorhandenen Lösungsmenge. Analoges gilt für Ungleichungen und allgemein für Aussageformen, in welchen Variablen auftreten können.
Siehe auch
Wikimedia Foundation.
