El álgebra de funciones definidas sobre los intervalos [x,y] de un conjunto parcialmente ordenado localmente finito (poset), con suma punto a punto y multiplicación dada por convolución (f * g)(x,y) = Σ_{x ≤ z ≤ y} f(x,z) g(z,y); la función zeta y la de Möbius pertenecen a esta álgebra.

Principio

Modelar la composición de intervalos mediante un producto de convolución: descomponer un intervalo [x,y] a través de un punto intermedio z corresponde a sumar sobre todas esas descomposiciones, de modo que las funciones en intervalos forman un álgebra bajo esta convolución de intervalos.

Demostración

Para una cadena finita 1 < 2 < 3, el álgebra de incidencia es isomorfa al álgebra de matrices superiores triangulares 3×3: una función sobre intervalos se identifica con entradas indexadas por (i,j) con i ≤ j, y la convolución coincide con la multiplicación matricial restringida a ese patrón triangular.

Aplicación incorrecta

Aplicar la definición a posets no localmente finitos sin controlar sumas infinitas (haciendo la convolución indefinida), o tratar el álgebra de incidencia como funciones sobre todos los pares ordenados sin restringir a intervalos, perdiendo así el sentido de composición de intervalos.

Consecuencia

La inversión de Möbius es posible porque la función zeta (constante 1 en los intervalos) tiene inverso en el álgebra de incidencia cuando el poset es localmente finito; fórmulas de inversión combinatorias e identidades enumerativas se derivan de manipulaciones algebraicas en esta álgebra.

Inversión

Sustituir la convolución por multiplicación punto a punto produce una estructura algebraica distinta (producto puntual) que ignora la composición de intervalos; en dualidad, considerar descomposiciones como coálgebra ofrece otra perspectiva categórica.

Límite

Se define únicamente para posets localmente finitos (cada intervalo contiene un número finito de elementos) para que las sumas de convolución sean finitas; normalmente trata funciones en intervalos, no pares ordenados arbitrarios ni relaciones no-intervalo; las extensiones a posets infinitos requieren topología o controles de finitud.

Tensión semántica

El álgebra de incidencia es parecida al álgebra de adyacencia o a álgebras matriciales asociadas a digrafos, pero difiere porque la convolución suma sobre elementos intermedios y refleja la composición de intervalos del orden, no la mera adyacencia; tampoco debe confundirse con la álgebra de grupo de un groupoide de incidencia salvo que se explique ese punto de vista.

Síntesis

El álgebra de incidencia es el álgebra de convolución de funciones sobre los intervalos de un poset localmente finito: al sumar sobre puntos intermedios se codifica algebraicamente la composición de intervalos, permitiendo la inversión de Möbius y muchas cuentas combinatorias.