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:

    History repeats itself, but the special call of an art which has passed away is never reproduced. It is as utterly gone out of the world as the song of a destroyed wild bird.
    Joseph Conrad (1857–1924)

    Kitsch is the daily art of our time, as the vase or the hymn was for earlier generations. For the sensibility it has that arbitrariness and importance which works take on when they are no longer noticeable elements of the environment. In America kitsch is Nature. The Rocky Mountains have resembled fake art for a century.
    Harold Rosenberg (1906–1978)