Universum (Mathematik): Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) |
||
| Zeile 18: | Zeile 18: | ||
verzichten, da man ansonsten eine inkonsistente Mengenlehre erhält (siehe {{zB}} [[Russelsches Paradoxon]]). | verzichten, da man ansonsten eine inkonsistente Mengenlehre erhält (siehe {{zB}} [[Russelsches Paradoxon]]). | ||
==Definition ()== | ==Definition „Universe of Discourse“ ([[Menne (1973)]], S. 77<ref>{{Quelle|Menne (1973)}})== | ||
''Bereich der Dinge, die überhaupt in Betracht kommen'' | |||
==Quellen== | ==Quellen== | ||
Version vom 18. August 2016, 12:20 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 4 (großteils überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 0 (fehlen vollkommen) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Dieser Artikel wird derzeit von einem Autor gründlich bearbeitet. Die Inhalte sind daher evtl. noch inkonsistent.
In der Mathematik und insbesondere in der Logik und der Mengenlehre bezeichnet man die Gesamtheit aller Objekte, für die Aussagen gemacht werden, als Universum. Der Wahrheitswert einer derartigen Aussage hängt immer vom zugrundeliegenden Universum ab.
Im angelsächsischem Sprachraum haben sich die Begriffe universe of discourse (Diskursuniversum), domain of discourse (Diskursbereich, Diskursdomäne) oder auch universal set (Universalmenge) eingebürgert.
In einem Universum gibt es meist unterchiedliche Arten von Objekten. Beispielsweise beinhaltet das Universum einer geometrischen Theorie üblicherweise Punkte, Geraden und Ebenen. Auch in einem Universum der Mengenlehre werden mehrere Arten von Objekten unterschieden. Es gibt zumindest Individuen und Container. Container (z. B. Klassen) fassen beliebig viele Individuen (z. B. Urelemente) zu einer Einheit zusammen. Spezielle Container (z. B. Mengen) sind ihrerseits Individuen und können damit auch in Containern enthalten sein. Falls genügend Mengen und insbesondere die leere Menge existieren, kann man auf Individuen auch verzichten. Auf echte Klassen, d. h. auf Klassen, die keine Individuen sind, kann man dagegen nicht verzichten, da man ansonsten eine inkonsistente Mengenlehre erhält (siehe z. B. Russelsches Paradoxon).
Definition „Universe of Discourse“ (Menne (1973), S. 77<ref>Menne (1973): Albert Menne; Einführung in die Logik; Reihe: Uni-Taschenbücher; Nummer: 34; Auflage: 2; Verlag: Francke Verlag; Adresse: München; ISBN: 3-7720-0005-3; 1973; Quellengüte: 5 (Buch))
Bereich der Dinge, die überhaupt in Betracht kommen
Quellen
