Let and be non-empty sets and let be an arbitrary function.
MATHEMATICS · Multi-part · A Level · Mathematics · Algebra and Functions · Algebra and Functions
Problem
Let A and B be non-empty sets and let f:A→B be an arbitrary function.
(i) State the definition of the identity function on a set A.
(ii) Prove that f∘IA=f and name the set on which both sides are defined.
(iii) Prove that IB∘f=f and name the set on which both sides are defined.
(iv) Explain briefly why the equalities in parts (ii) and (iii) do not contradict the fact that, in general, function composition is not commutative.