## [Gitter](/de/node/60206) Definition Eine teilweise geordnete Menge, in der jedes Paar von Elementen ein kleinstes oberes Schrankelement (Join) und ein größtes unteres Schrankelement (Meet) besitzt. ## Prinzip Prinzip Die zweitstellige Abschließung durch Join und Meet stattet eine Poset mit zwei algebraischen Operationen aus, die Supremum und Infimum für Paare erfassen und ordnungstheoretische Relationen algebraisch handhabbar machen. ## Demonstration Demonstration Die Potenzmenge einer Menge, geordnet durch Inklusion, ist ein Gitter, wobei Join die Vereinigung und Meet die Schnittmenge ist; die Unterräume eines Vektorraums bilden in vielen Fällen ein Gitter mit Summen- und Schnittoperationen. ## Fehlanwendung Fehlanwendung Zu glauben, jede partielle Ordnung sei ein Gitter oder dass Distributivität allgemein gilt; viele Posets haben keine paarweisen Joins/Meets und viele Gitter sind nicht distributiv. ## Konsequenz Konsequenz Gitterstruktur ermöglicht algebraische Behandlung von Ordnungen (Identitäten, Homomorphismen, Kongruenzen) und führt zu Spezialisierungen (distributive Gitter, modulare Gitter, boolesche Gitter) mit stärkeren Eigenschaften. ## Umkehrung Umkehrung Ein Halbgitter (Semilattice) besitzt nur eine der beiden binären Operationen (nur Meet oder nur Join); das Weglassen einer Operation schwächt die Struktur und die verfügbaren Identitäten. ## Abgrenzung Abgrenzung Die Definition verlangt Join und Meet für jedes Elementpaar; vollständige Gitter verlangen beliebige Joins/Meets und sind eine strengere Kategorie; ordnungstheoretische Konzepte ohne paarweise Extrema liegen außerhalb des Gittersbegriffs. ## Semantische Spannung Semantische Spannung Spannung zwischen dem Gitterbegriff als ordnungstheoretischem Objekt und als algebraischem Objekt mittels binärer Operationen: manche Resultate bevorzugen die Poset-Perspektive, andere die äquationale Sicht; Distributivität ist ein konkurrierender Verfeinerungsaspekt. ## Synthese Synthese Ein Gitter verbindet Ordnung und Algebra: für zwei Elemente existieren Supremum und Infimum, wodurch Join- und Meet-Operationen ein algebraisches Vorgehen zur Untersuchung von Ordnungen ermöglichen und durch zusätzliche Identitäten wie Distributivität oder Komplementbildung reichere Unterklassen entstehen.