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

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

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

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

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

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

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

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

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.