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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.