• Support PF! Buy your school textbooks, materials and every day products Here!

Gof is injection, does this imply that f is an injection

  • Thread starter Dustinsfl
  • Start date
  • #1
699
5
Let A,B, and C be nonempty sets and lef f map A to B and g map B to C.

If g of f maps A to C is an injection, then f is an injection.

Not sure how to do this proof
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618


It seems like you always start out your posts with something like "Not sure how to do this proof" without attempting it. Why don't you assume f is NOT an injection and see if it leads to a contradiction with g of f being an injection?
 
  • #3
699
5


Of course, because if I knew how to start it or do it, I wouldn't ask.
 
  • #4
Dick
Science Advisor
Homework Helper
26,258
618


Of course, because if I knew how to start it or do it, I wouldn't ask.
Sure, if you knew how to do it you wouldn't need to ask. But could you thrash around with attempts a little? Other people do.
 
  • #5
699
5


You are making an assumption that I haven't. I don't post a futile attempt at it that doesn't go anywhere. With computations for classes like DE and Calc, posting the work allows others to identify errors. I can post work associated with a proof that leads no where so whomever helps would have to start from scratch anyways.
 
  • #6
Dick
Science Advisor
Homework Helper
26,258
618


You are making an assumption that I haven't. I don't post a futile attempt at it that doesn't go anywhere. With computations for classes like DE and Calc, posting the work allows others to identify errors. I can post work associated with a proof that leads no where so whomever helps would have to start from scratch anyways.
I'm not making the assumption you haven't done anything. I'm just saying you don't tell us what you've tried. That is not valueless even if it didn't work. Check out post 2. Try a proof by contradiction.
 
  • #7
179
2


Of course, because if I knew how to start it or do it, I wouldn't ask.
More often then not, my students do not know how to start because they are forgetting definitions. One tip I always give my students is to simply write down the definitions of the key words in the problem if you do not know how to start. The is almost always the first thing to try regardless of the problem, and regardless of whether you know how to start.

Since you are asked to show [tex]f[/tex] is injective, you need to know what "injective" means. Write down exactly what it means for a function to be injective.

Some math books define injective as: A map [tex]f:A\to B[/tex] is injective if [tex]f(a_1) = f(a_2)[/tex] implies [tex]a_1 = a_2[/tex]. This is what you have to prove: that [tex]f(a_1) = f(a_2) \implies a_1=a_2[/tex]

What are you given? You are given that [tex]g \circ f : A\to C[/tex] is injective. What does this mean according to the definition of "injective"? (see the definition above, but apply it to [tex]g\circ f[/tex] as opposed to just [tex]f[/tex]). It may help to switch from [tex]g\circ f[/tex] notation to [tex]g(f(x))[/tex] notation.

Can you then use the given information to deduce what you need to show?
 

Related Threads on Gof is injection, does this imply that f is an injection

Replies
1
Views
3K
  • Last Post
Replies
7
Views
792
Replies
11
Views
8K
Replies
3
Views
495
Replies
2
Views
3K
Replies
1
Views
670
  • Last Post
Replies
3
Views
2K
Replies
11
Views
6K
Top