If g°f is one-to-one, must f and g both be one-to-

  • Thread starter Thread starter catherinenanc
  • Start date Start date
Click For Summary
If the composition g°f is one-to-one, only the function f needs to be one-to-one, while g does not necessarily have to be injective. This conclusion is supported by examples where f is injective and g is not, resulting in a one-to-one composition. Conversely, if f is not injective, the composition g°f cannot be one-to-one, regardless of g's properties. The discussion emphasizes the importance of understanding the roles of f and g in the composition. Overall, the key takeaway is that for g°f to be injective, f must be injective, but g's injectivity is not required.
catherinenanc
Messages
49
Reaction score
0
1. If g°f (g composed with f, two functions) is one-to-one, must f and g both be one-to-one?

2. The answer is, no, only f has to be, but I just can't see why!
 
Physics news on Phys.org
Obviously g needs to be one to one when restricted to Im(f) ...
 
Apparently not! I first guessed that both f and g had to be one-to-one, because I could not draw a map otherwise, but the graded work sent back to me said "No! Only f has to be 1-1"
 
Also, the next problem is: "Let f:A→B and g:B→C be maps such that g°f is injective. Prove that f must be injective."

So, twice he's said that it is f that must be injective. I just can't figure out why g doesn't have to be...
 
catherinenanc said:
Apparently not! I first guessed that both f and g had to be one-to-one, because I could not draw a map otherwise, but the graded work sent back to me said "No! Only f has to be 1-1"

Your grader is right, now try to read my post again and complete the ... part, starting with a 'but'.
 
Ok, I am seeing an example and a counterexample.

f={(1,1),(2,2)} and g={(1,1),(2,2),(3,2)}. Then f is one-to-one, g is not, and g°f={(1,1),(2,2)} is. Right? This works because the domain of g is not restricted to the image of f.

Also, f={(1,1),(2,2),(3,2)} and g={(1,1),(2,2)}. Then f is not one-to-one, g is, and g°f={(1,1),(2,2),(3,2)} is not.
 
Does this apply to the problem?
 
catherinenanc said:
Does this apply to the problem?

yes that is right, but the last part does not prove anything, only the first part is important
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
9
Views
2K