From the definition of a graph we have that $$ G(f) := \{ (x, f(x)) : x \in X \}. $$ Graphs are sets since they're subsets of the Cartesian product $X \times Y$, which can be shown to be a set according to exercise 3.5.1 and remark 3.5.13. Two sets are equal iff every element of one set is element of the other and vice versa. Given two equal graphs $G(f), G(\tilde{f})$ this requires $$ (\forall a) \: a \in G(f) \leftrightarrow a \in G(\tilde{f}). $$ Since the two functions are defined on the same domain this is equivalent to saying $$ (\forall x) \: (x,f(x)) = (x,\tilde{f}(x)) \leftrightarrow (\forall x) \: f(x) = \tilde{f}(x),$$ where the rhs shows the equivalence of equal graphs and equal functions. $\Box$

Contact me: m.herrmann followed by an -at- followed by blaetterundsterne.org.

This document created with the help of MathJax (Thank you guys!)