Are f and g Injective and Surjective if g\circf is Injective or Surjective?

  • Thread starter Thread starter Ka Yan
  • Start date Start date
  • Tags Tags
    Composite Mapping
AI Thread Summary
The discussion focuses on the properties of functions f and g in relation to their injectivity and surjectivity when composed as g∘f. It asserts that if both f and g are injective, then their composition g∘f is also injective, but the reverse is not necessarily true. Similarly, if both functions are surjective, their composition is surjective, but the surjectivity of the composition does not guarantee that f and g are surjective. The participants are encouraged to provide examples where f and g are not injective, yet their composition is injective, particularly with small sets. Overall, the thread seeks clarification on the implications of injectivity and surjectivity in function composition.
Ka Yan
Messages
27
Reaction score
0
Could anybody help me check whether my judgements ture or false? (MJ = My Judgement)

Suppose f maps A into B, and g maps B into C

1. If f and g are injective, then g\circf is injective;
(MJ)but that when g\circf is injective, the injectivity of f and g are unsure.

2. If f and g are surjective, then g\circf is surjective;
(MJ)and that when g\circf is surjective, f and g are both surjective.

Thx!
 
Last edited:
Physics news on Phys.org
What reasons do you have for those judgements? Can you think up a simple example where f and g are not injective but g\circf is? Try the case where A, B, and C have only a few members.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top