# One-to-one relation.

Printable View

• Nov 5th 2008, 06:55 AM
tygracen
One-to-one relation.
Problem:

Let f= {(1,2), (2,3), (3,4), (4,1)} and g= {(1,3), (2,1), (3,4), (4,2),(5,1).
Find f-1 and g o f.
Is g one-to-one?
Explain
• Nov 5th 2008, 12:59 PM
clic-clac
You just have to look into what your numbers are transformed by the functions.

$f$ is permutation ( $f \in S_{4}$), and it is a cycle.
$f=(1 2 3 4)$, so $f^{-1}=(4 3 2 1)$, that is to say $f^{-1}=\{(1,4),(2,1),(3,2),(4,3)\}$.

$gof$ is a function from $\{1,2,3,4\}$ to $\{1,2,3,4,5\}$.
$gof(1)=g(f(1))=g(2)=1$. So $(1,1) \in gof$, with the set notation. Just find the others elements of $gof$.

What can you say about $g(2)$ and $g(5)$? Then conclude.
• Nov 6th 2008, 02:10 PM
whipflip15
EDIT: Don't worry. i was confused with why you used permutations.
• Nov 6th 2008, 03:30 PM
Plato
Quote:

Originally Posted by tygracen
Problem: Let f= {(1,2), (2,3), (3,4), (4,1)} and g= {(1,3), (2,1), (3,4), (4,2),(5,1).
Find f-1 and g o f. Is g one-to-one?

This problem does not have to be done using permutations.

$\left( {a,b} \right) \in f^{ - 1} \mbox{ if and only if }\left( {b,a} \right) \in f$
So $f^{ - 1} = \left\{ {(2,1),(3,2),(4,3),(1,4)} \right\}$.

$\left( {a,b} \right) \in g \circ f\mbox{ if and only if }\left( {\exists x} \right)\left[ {\left( {a,x} \right) \in f\,\& \,\left( {x,b} \right) \in g} \right]$
So $g \circ f = \left\{ {(1,1),(2,4),(4,2),(4,3)} \right\}$.

A function is one-to-one (injective) if and only if no two pairs have the same second term.
Is that true for the function $g$?