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:

    In this century the writer has carried on a conversation with madness. We might almost say of the twentieth-century writer that he aspires to madness. Some have made it, of course, and they hold special places in our regard. To a writer, madness is a final distillation of self, a final editing down. It’s the drowning out of false voices.
    Don Delillo (b. 1926)

    The Laws of Nature are just, but terrible. There is no weak mercy in them. Cause and consequence are inseparable and inevitable. The elements have no forbearance. The fire burns, the water drowns, the air consumes, the earth buries. And perhaps it would be well for our race if the punishment of crimes against the Laws of Man were as inevitable as the punishment of crimes against the Laws of Nature—were Man as unerring in his judgments as Nature.
    Henry Wadsworth Longfellow (1807–1882)