Universum (Mathematik)
aus Wikipedia, der freien Enzyklopädie
| Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf bitte mit ihn zu verbessern und entferne anschließend diese Markierung. |
Der Begriff Universum steht in der (diskreten) Mathematik z. B. für das so genannte Mengenuniversum U. Es fasst beliebige bekannte und unbekannte, über Axiome definierte Objekte zusammen, auch Mengen von Objekten. Ein Universum wird meist über eine Variable mit einer Aussage assoziiert (Aussagenlogik).
Ein Mengensystem U aus Mengen und Urelementen besitzt folgende Eigenschaften:
- (1) Mit einer Menge A gehören auch alle Elemente von A zu U , d.h. wenn
, so 
- (2) Mit Mengen oder Urelementen A,B gehört auch die Zweiermenge
zu U
- (3) Mit einer Menge A gehört auch die Potenzmenge
zu U
- (4) Für jede Mengenfamilie
, deren Indexbereich I und deren sämtliche Glieder Ai zu U gehören, gehört auch die Vereinigung 
zu U
- (5) U enthält wenigstens eine unendliche Menge
Die Existenz eines Universums lässt sich nur mittels sehr starker Axiome der Mengenlehre beweisen, die nämlich die Existenz von Mengen mit sehr großer Mächtigkeit sichern, da ein Universum, wenn es existiert, eine sehr große Mächtigkeit besitzt.
Vielfach wird die Existenz eines Universums, genauer: dass jede Menge Element eines Universums ist, als Axiom gefordert, als Universenaxiom. Derartige Universen werden vor allem in der allgemeinen Strukturtheorie gefordert.
