## [Inzidenzalgebra](/de/node/63810) Definition Die Algebra der Funktionen auf Intervallen [x,y] einer lokal endlich geordneten Menge (Poset), mit punktweiser Addition und Multiplikation durch Faltung (f * g)(x,y) = Σ_{x ≤ z ≤ y} f(x,z) g(z,y); die Zeta- und Möbiusfunktionen liegen in dieser Algebra. ## Prinzip Prinzip Die Komposition von Intervallen durch eine Faltung abbilden: die Zerlegung eines Intervalls [x,y] über ein Zwischenelement z entspricht der Summe über alle solchen Zerlegungen, sodass Funktionen auf Intervallen unter dieser Intervallfaltung eine Algebra bilden. ## Demonstration Demonstration Für eine endliche Kette 1 < 2 < 3 ist die Inzidenzalgebra isomorph zur Algebra der oberen Dreiecksmatrizen 3×3: eine Funktion auf Intervallen entspricht Einträgen mit Indizes (i,j), i ≤ j, und die Faltung stimmt mit der eingeschränkten Matrizenmultiplikation überein. ## Fehlanwendung Fehlanwendung Die Definition auf nicht-lokal-endliche Posets anwenden ohne unendliche Summen zu kontrollieren (was die Faltung undefiniert macht), oder die Inzidenzalgebra als Funktionen auf allen geordneten Paaren betrachten, wodurch die intervalltheoretische Kompositionsbedeutung verloren geht. ## Konsequenz Konsequenz Möbius-Inversion ist verfügbar, weil die Zeta-Funktion (konstant 1 auf Intervallen) in der Inzidenzalgebra invers ist, wenn das Poset lokal endlich ist; kombinatorische Inversionsformeln und aufzählende Identitäten folgen aus algebraischen Rechnungen in dieser Algebra. ## Umkehrung Umkehrung Ersetzt man die Faltung durch punktweise Multiplikation, erhält man eine andere algebraische Struktur, die die Intervallkomposition ignoriert; dual betrachtet liefern koadalgebraische Zerlegungen von Intervallen alternative Perspektiven. ## Abgrenzung Abgrenzung Die Definition setzt lokal endliche Posets voraus (jedes Intervall enthält endlich viele Elemente), damit die Faltungsummen endlich sind; es geht gewöhnlich um Funktionen auf Intervallen, nicht um beliebige geordnete Paare oder Nicht-Intervall-Relationen; Erweiterungen auf unendliche Posets erfordern Topologie oder Finitheitskontrollen. ## Semantische Spannung Semantische Spannung Die Inzidenzalgebra steht nahe an Adjazenzalgebren oder Matrixalgebren zu Digraphen, unterscheidet sich jedoch dadurch, dass die Faltung über Zwischenknoten summiert und so ordnungstheoretische Intervallkomposition widerspiegelt; sie darf nicht mit der Gruppenalgebra eines Inzidenz-Groupoids verwechselt werden, es sei denn, dieser Gesichtspunkt wird explizit eingenommen. ## Synthese Synthese Die Inzidenzalgebra ist die Faltungsalgebra der Funktionen auf den Intervallen eines lokal endlichen Posets: durch Summation über Zwischenpunkte wird Intervallkomposition algebraisch kodiert, was Möbius-Inversion und zahlreiche kombinatorische Rechnungen ermöglicht.