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:

    The gap between ideals and actualities, between dreams and achievements, the gap that can spur strong men to increased exertions, but can break the spirit of others—this gap is the most conspicuous, continuous land mark in American history. It is conspicuous and continuous not because Americans achieve little, but because they dream grandly. The gap is a standing reproach to Americans; but it marks them off as a special and singularly admirable community among the world’s peoples.
    George F. Will (b. 1941)

    The popularity of that baby-faced boy, who possessed not even the elements of a good actor, was a hallucination in the public mind, and a disgrace to our theatrical history.
    Thomas Campbell (1777–1844)