Can anyone show me how to prove exactly that the composition of 2 function is again a function, by using the following 3 formulas?(adsbygoogle = window.adsbygoogle || []).push({});

Suppose f: A -> B and g: B -> C are functions, then

(1)[tex]\forall \ a \ \epsilon \ A : \exists ! \ b \ \epsilon \ B : (a,b) \ \epsilon \ f[/tex]

(2)[tex]\forall \ b \ \epsilon \ B : \exists ! \ c \ \epsilon \ C : (b,c) \ \epsilon \ g[/tex].

And by definition the composition of relations f and g is

(3)[tex] g \ o \ f = \{(a,c) \ | \ \exists \ b \ \epsilon \ B : (a,b) \ \epsilon \ f \ and \ (b,c) \ \epsilon \ g \}[/tex].

I should be getting [tex]\forall \ a \ \epsilon \ A : \exists ! \ c \ \epsilon \ C : (a,c) \ \epsilon \ g \ o \ f[/tex] but I'm not sure how to combine the givens. I can do it in words, no problem, but I'm not that good in the use of quantifiers.

Thanks in advance.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Composition of 2 functions

Loading...

Similar Threads for Composition functions | Date |
---|---|

I Proof that BB(k) grows faster than any computable function | Tuesday at 11:18 AM |

Invert a triple composite function p(q(r(x))) | Nov 19, 2012 |

What {in,sur}jectivity of composite map implies for components | Feb 5, 2012 |

Composite function | Mar 8, 2010 |

Composition of Inverse Functions | Sep 11, 2008 |

**Physics Forums - The Fusion of Science and Community**