## [Álgebra de Incidencia](/es/node/63810) Definición 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 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 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 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 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 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 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 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 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.