Verband (Mathematik)
Struktur in der Mathematik / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Verband (Mathematik)?
Fass diesen Artikel für einen 10-Jährigen zusammen
Ein Verband ist in der Mathematik eine Struktur, die sowohl als Ordnungsstruktur als auch als algebraische Struktur vollständig beschrieben werden kann.
Als Ordnungsstruktur ist ein Verband dadurch gekennzeichnet, dass es zu je zwei Elementen ,
ein Supremum
gibt, d. h. ein eindeutig bestimmtes kleinstes Element, das größer oder gleich
und
ist, und umgekehrt ein Infimum
, ein größtes Element, das kleiner oder gleich
und
ist.
Als algebraische Struktur ist ein Verband dadurch gekennzeichnet, dass es zwei assoziative und kommutative Operationen gibt, für die die Absorptionsgesetze kennzeichnend sind: Für beliebige Elemente gilt
und
.
Für jede in der Verbandstheorie vorkommende algebraische Aussage gibt es eine direkte Übersetzung in eine Ordnungsaussage und umgekehrt. Diese Übersetzung ist in den meisten Fällen auch anschaulich nachzuvollziehen. Die Möglichkeit, Ergebnisse doppelt zu interpretieren und dadurch besser zu verstehen, macht die Untersuchung und die Verwendung von Aussagen aus der Verbandstheorie so interessant. Der Begriff Verband wurde im hier beschriebenen Sinne von Fritz Klein-Barmen geprägt.[1]
Obwohl diese doppelte Charakterisierung auf den ersten Blick sehr speziell aussieht, treten Verbände häufig auf:
- Die z. B. in der Mengenlehre, der Logik und als Schaltalgebren auftretenden Booleschen Algebren sind Verbände.
- Totale Ordnungen, die z. B. in den verschiedenen Zahlbereichen wie
(natürliche Zahlen),
(ganze Zahlen),
(rationale Zahlen) oder
(reelle Zahlen) auftreten, sind Verbände.
- Für jede beliebige natürliche Zahl ist die Menge der Teiler (durch die Teilbarkeit geordnet) ein Verband.
- Die Unterstrukturen einer beliebigen algebraischen oder sonstigen Struktur bilden einen Verband mit der Teilmengenrelation als Ordnung.
In der Literatur sind auch die Symbole und
anstelle von
und
verbreitet. Diese Notation wird hier aufgrund von technischen Einschränkungen allerdings nicht verwendet.
In einer früher üblichen Terminologie wurde ein Verband (nach Richard Dedekind) auch als Dualgruppe bezeichnet.