Einfuhrung in die Verbandstheorie

Die Verbandstheorie ist in neuerer Zeit in den Vordergrund des mathematischen Interesses getreten, weil sie ebenso wie die Gruppen- theorie im Prinzip sehr einfache Zusammenhange betrachtet und so (fast noch mehr als die Gruppentheorie) in den verschiedensten Ge- bieten der Mathematik Anwendung findet. Es handelt sich um die Untersuchung von Strukturen, die allgemeiner sind als geordnete Mengen, die aber mit den geordneten Mengen gemeinsam haben, da es zu je zwei Elementen immer ein kleinstes beide umfassendes und ein grotes in beiden enthaltenes Element gibt. Das vorliegende Buch will eine Einfuhrung in die Verbandstheorie und ihre Anwendungen geben. Die Beweise werden ziemlich ausfuhr- lich dargestellt. An den meist leichten Ubungsaufgaben am Ende des Paragraphen kann der Leser kontrollieren, wie weit er den Text ver- standen hat. Die Beispiele sind aus den Grundlagen der Geometrie, der Algebra und der Topologie gewahlt und setzen damit eine gewisse mathematische Allgemeinbildung voraus. In einem Anhang werden die wichtigsten logischen und mengen- theoretischen Begriffe zusammengestellt. Insbesondere werden Symbole fur die einfachsten logischen Verknupfungen eingefuhrt. Ich habe mich nicht gescheut, diese Symbole auch ab und zu im Text zu verwenden, da so in vielen Fallen die logische Struktur einer Aussage deutlicher hervortritt, und da man insbesondere oft mit Aquivalenzen ebenso bequem rechnen kann, wie es der Mathematiker schon immer mit Gleichungen zu tun gewohnt ist. Es kommt hinzu, da in wichtigen Verbanden die verbandstheoretischen Operationen unmittelbar mit aussagenlogischen Verknupfungen zusammenhangen.