User:Scshunt/Definition:Graph Incidence Function
Jump to navigation
Jump to search
Informal Definition
An graph incidence function is, intuitively, any function which is the incidence function for some graph.
Formal Definition
Let $V$ and $E$ be sets.
Let $\phi : V \times E \left\{{0, 1}\right\}$ be a function satisfying the following properties:
- For all $e \in E$, there exist exactly two $v \in V$ such that $\phi\left({v, e}\right) = 1$.
- For all distinct $v, w \in V$, there exists at most one $e \in E$ such that $\phi\left({v, e}\right) = \phi\left({w, e}\right)$.
Then $\phi$ is an graph incidence function.
Alternate Graph Definition
An incidence function $\phi$ defines a graph whose incidence function is isomorphic to $\phi$.
Conversely, any graph incidence function of a graph defines an incidence function on its vertex and edge sets.
Accordingly, a graph can equivalently be defined as a vertex set, an edge set, and an incidence function on those sets.