1. ## Bijection Proofs

I'm trying to write a paper for one of my classes and I'm having trouble proving the following:

A function f (A to B) is bijective if and only if there exists a function g (B to A) such that f composed with g equals 1B and g composed with f equals 1A.

Also, I want to show that if a function g (B to A) exists such that f composed with g equals 1B then f (A to B) is bijective.

I'm really stalled out. Any help would be great.

2. Originally Posted by OntarioStud
I'm trying to write a paper for one of my classes and I'm having trouble proving the following:

A function f (A to B) is bijective if and only if there exists a function g (B to A) such that f composed with g equals 1B and g composed with f equals 1A.
That is the inverse function (it exists)