Graph/Homomorphismus/Rekursionseigenschaft/Aufgabe

Es sei ${}H$ ein fixierter Graph. Zeige, dass es zu einer Kante ${}e$ eines Graphen ${}G$ stets eine natürliche Identifizierung

${}\operatorname {Hom} (G\setminus \{e\},H)=\operatorname {Hom} (G,H)\uplus \operatorname {Hom} (G/e,H)\,$

gibt.

Eine Lösung erstellen