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:

    It is surely a matter of common observation that a man who knows no one thing intimately has no views worth hearing on things in general. The farmer philosophizes in terms of crops, soils, markets, and implements, the mechanic generalizes his experiences of wood and iron, the seaman reaches similar conclusions by his own special road; and if the scholar keeps pace with these it must be by an equally virile productivity.
    Charles Horton Cooley (1864–1929)

    psychologist
    It is through friendships that teenagers learn to take responsibility, provide support, and give their loyalty to non- family members. It is also in teenage friendships that young people find confidants with whom to share thoughts and feelings that they are not comfortable sharing with their parents. Such sharing becomes one of the elements of true intimacy, which will be established later.
    David Elkind (20th century)