§ Structure theory of finite endo-functions

We study functions f:VVf: V \rightarrow V and their properties by thinking of them as a graph with vertex set VV and directed edges (v,f(v))(v, f(v)). This gives us insight into permutations, rooted trees, and a bunch of counting principles. Such a structure is called as functional digraph

§ Principle 1: Structure theory

every functional digraph uniquely decomposes into disjont rooted trees which feed into one or more disjoint cycles. We think of nodes as pointing from the leaves towards the root. The root of the tree lies in a cycle.

§ Existence of tree implies not bijection

If we have a tree, we can keep walking backwards using edges from the root towards the leaves. Now this leaf does not have an incoming edge. This means that this leaf is not in the image of ff. Hence ff cannot be surjective.

§ Rooted Trees: a single cycle

in a rooted tree, only the root node rr is such that f(r)=rf(r) = r. All other nodes point to other nodes without cycles.

§ Permutations: no rooted tree, only cycle

In a permutation, all we have are cycles. There are no trees that hang from the cycles.

§ Counting number of rooted trees: nn2n^{n-2}: (WIP)

Say we have a function f:VVf: V \rightarrow V where V=n|V| = n and f(1)=1f(1) = 1, f(n)=nf(n) = n.

§ References