Ableitung einer Graphabbildung

Beschreibung

Wir definieren eine Ableitung für eine Graphabbildung

Definition

Sei $g:G\to G$ eine Graphabbildung eines Graphen $G=(V,E)$, die keine Kante auf eine Null-Kante abbildet. Die Ableitung von $g$ ist $Dg:E\to E,e\mapsto Dg(e)$ wobei $Dg(e)$ die erste Kante des Pfades ist, auf den $e$ abbildet.

Eigenschaften

Eigenschaft

lit_issa2012construction