Universum (Mathematik): Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 12: | Zeile 12: | ||
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. | 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 | In einem Universum gibt es meist unterchiedliche Arten von Objekten. Beispielsweise beinhaltet das Universum einer [[Geometrie|geometrischen]] [[Theorie]] | ||
unterchiedliche Arten von Objekten. | üblicherweise [[Punkt]]e, [[Gerade]]n und [[Ebene]]n. Auch in einem Universum der [[Mengenlehre]] werden mehrere Arten von Objekten unterschieden. Es gibt zumindest [[Komprehension|Individuen und Container]]. Container ({{zB}} [[Klasse]]n) fassen beliebig viele Individuen ({{zB}} [[Urelement]]e) zu einer Einheit zusammen. | ||
Spezielle Container ({{zB}} [[Menge]]n) sind ihrerseits Individuen und können damit auch in Containern enthalten sein. Falls genügend Mengen und insbesondere die | |||
({{zB}} [[Klasse]]n) fassen beliebig viele Individuen ({{zB}} [[Urelement]]e) zu einer Einheit zusammen. | [[leere Menge]] existieren, kann man auf Individuen auch verzichten. Auf echte Klassen, {{dh}} auf Klassen, die keine Individuen sind, kann man dagegen nicht | ||
Spezielle Container ({{zB}} [[Menge]]n) sind ihrerseits Individuen und können damit auch in Containern enthalten sein. | verzichten, da man ansonsten eine inkonsistente Mengenlehre erhält (siehe {{zB}} [[Russelsches Paradoxon]]). | ||
==Definition ()== | ==Definition ()== | ||
Version vom 18. August 2016, 11:48 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 ()
Quellen
