lgebra de incidencia

Un conjunto parcialmente ordenado es localmente nito La funcin de Mbius en el conjunto de nmeros

cuando cada intervalo cerrado [a, b] es nito. Para cada
poset localmente nito y cada cuerpo de escalares hay un
lgebra de incidencia, que es un lgebra asociativa de-
nida como sigue. Los miembros del lgebra de incidencia
son las funciones f que asigna a cada intervalo [a, b] un
escalar f(a, b). En este conjunto subyacente se denen
la adicin y la multiplicacin por escalar punto a punto,
y la multiplicacin en el lgebra de incidencia es una
convolucin denida por
(f g)(a, b) = f (a, x)g(x, b).
axb
El elemento identidad multiplicativa del lgebra de inci-
dencia es
{ ciones de un conjunto nito diciendo
1, si a = b
(a, b) =
0, si a < b
Un lgebra de incidencia es nito-dimensional si y sola-
mente si el poset subyacente es nito.
La funcin de un lgebra de incidencia es la funcin
constante (a, b) = 1 para cada intervalo [a, b]. Se puede
mostrar que ese elemento es inversible en el lgebra de
incidencia (con respecto a la convolucin denida arriba).
(Generalmente, un miembro h del lgebra de incidencia
es inversible si y solamente si h(x, x) 0 para cada x.)
El inverso multiplicativo de la funcin es la funcin
de Mbius (a, b); cada valor de (a, b) es un mltiplo
integral de 1 en el cuerpo base.
2 La caracterstica de Euler
enteros no negativos con su orden usual es:
1 si x = y,
(x, y) = 1 si x + 1 = y,
0 si x + 1 < y.
Estos corresponde a la secuencia (1, 1, 0, 0,
0...) de coecientes de la serie de potencias for-
mal de 1 - z, y la funcin en este caso corres-
ponde a la secuencia de los coecientes (1, 1,
1, 1...) de la serie de potencias formal (1 - z)1
= 1 + z + z + z +.... La funcin en esta l-
gebra de incidencia corresponde similarmente
a la serie de potencias formal 1.
Ordene parcialmente el conjunto de todas las parti-
si es
una particin ms na que . Entonces la funcin de
Mbius es:
(, ) = (1)nr (2!)r3 (3!)r4 ((n 1)!)rn
donde n es el nmero de bloques en la parti-
cin ms na , r es el nmero de bloques en
la particin ms gruesa , y ri es el nmero de
bloques de que contiene exactamente i blo-
ques de .

1 Ejemplos Un poset es acotado si tiene menor y mayor elementos,

En caso que el poset localmente nito sea el conjun-
to de todos los nmeros enteros positivos ordenados
por divisibilidad, entonces su funcin de Mbius es
(a, b) = (b/a), donde el segundo "" es la clsica
funcin de Mbius introducida en teora de nmeros
en el siglo diecinueve.
que llamamos 0 y 1 respectivamente (no deben ser con-
fundidos con el cero y el uno del cuerpo base. En este
prrafo, tomamos Q). La caracterstica de Euler de un
poset nito acotado es (0,1); es siempre un nmero en-
tero. Este concepto se relaciona con la clsica Caracte-
rstica de Euler de un complejo de grupos.

El poset localmente nito de todos los subconjuntos 3 lgebras de incidencia reducidas

nitos de algn conjunto E estn ordenados por in-
clusin. Aqu la funcin de Mbius es:
(S, T ) = (1)|S||T |
whenever S y T son subconjuntos nitos de E
con S T.
Cualquier miembro de un lgebra de incidencia que asig-
na el mismo valor a cualesquiera dos intervalos que sean
isomorfos el uno al otro como posets es un miembro del
lgebra de incidencia reducida. lgebras de incidencia
reducidas iluminan la teora de las funciones generatrices.

1
2 4 LITERATURA

4 Literatura
Las lgebras de incidencia de posets localmente ni-
tos fueron tratadas en un nmero de papers por Gian-
Carlo Rota comenzando en 1964, y por muchos otros
"combinatorialistas" posteriormente.
El paper de Rota de 1964 era:
On the Foundations of Combinatorial Theory I: Theory of
Mbius Functions, Zeitschrift fr Wahrscheinlichkeitst-
heorie und Verwandte Gebiete, volumen 2, pginas 340-
368.
 3

5 Origen del texto y las imgenes, colaboradores y licencias

5.1 Texto
lgebra de incidencia Fuente: https://es.wikipedia.org/wiki/%C3%81lgebra_de_incidencia?oldid=64520996 Colaboradores: DefLog,
Ascnder, Tostadora, Yrbot, CEM-bot, TXiKiBoT, Alexbot, Elvisor, Addbot y Annimos: 2

5.2 Imgenes

5.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0