Incidence Algebra - Special Elements

Special Elements

The multiplicative identity element of the incidence algebra is the delta function, defined by

\delta(a, b) = \begin{cases} 1 & \text{if } a=b \\ 0 & \text{if } a<b. \end{cases}

The zeta function of an incidence algebra is the constant function ζ(a, b) = 1 for every interval . Multiplying by ζ is analogous to integration.

One can show that ζ is invertible in the incidence algebra (with respect to the convolution defined above). (Generally, a member h of the incidence algebra is invertible if and only if h(x, x) is invertible for every x.) The multiplicative inverse of the zeta function is the Möbius function μ(a, b); every value of μ(a, b) is an integral multiple of 1 in the base ring.

The Möbius function can also be defined directly, by the following relation:

\mu(x,y) = \begin{cases} {}\qquad 1 & \textrm{if}\quad x = y\\ \displaystyle -\sum_{z : x\leq z <y} \mu(x,z) & \textrm{for} \quad x<y \\ {}\qquad 0 & \textrm{otherwise}. \end{cases}

Multiplying by μ is analogous to differentiation, and is called Möbius inversion.

Read more about this topic:  Incidence Algebra

Famous quotes containing the words special and/or elements:

    “Navarette, a Chinese missionary, agrees with Leibniz and says that “It is the special providence of God that the Chinese did not know what was done in Christendom; for if they did, there would be never a man among them, but would spit in our faces.””
    —Matthew Tindal (1653–1733)

    “Let us have a fair field! This is all we ask, and we will be content with nothing less. The finger of evolution, which touches everything, is laid tenderly upon women. They have on their side all the elements of progress, and its spirit stirs within them. They are fighting, not for themselves alone, but for the future of humanity. Let them have a fair field!”
    —Tennessee Claflin (1846–1923)