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
SUMMARY

If the composition of two functions g°f is one-to-one (injective), only the function f must be one-to-one; the function g does not need to be injective. This conclusion is supported by examples where f is injective while g is not, resulting in a one-to-one composition. Conversely, if f is not injective, the composition g°f cannot be injective regardless of the properties of g. The critical aspect is that the domain of g is not restricted to the image of f.

PREREQUISITES
  • Understanding of function composition
  • Knowledge of injective (one-to-one) functions
  • Familiarity with mathematical notation for functions
  • Basic concepts of image and domain in functions
NEXT STEPS
  • Study the properties of injective functions in detail
  • Learn about function composition and its implications
  • Explore counterexamples in function theory
  • Investigate the relationship between injectivity and the image of functions
USEFUL FOR

Mathematics students, educators, and anyone studying function theory or exploring properties of injective functions and their compositions.

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