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 treatment of the incident of the assault upon the sailors of the Baltimore is so conciliatory and friendly that I am of the opinion that there is a good prospect that the differences growing out of that serious affair can now be adjusted upon terms satisfactory to this Government by the usual methods and without special powers from Congress.”
    —Benjamin Harrison (1833–1901)

    “The two elements the traveler first captures in the big city are extrahuman architecture and furious rhythm. Geometry and anguish. At first glance, the rhythm may be confused with gaiety, but when you look more closely at the mechanism of social life and the painful slavery of both men and machines, you see that it is nothing but a kind of typical, empty anguish that makes even crime and gangs forgivable means of escape.”
    —Federico García Lorca (1898–1936)