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
Click For Summary
SUMMARY

The discussion centers on the properties of function composition, specifically regarding injectivity and surjectivity. It establishes that if both functions f and g are injective, then their composition g∘f is also injective. However, the injectivity of g∘f does not guarantee that f and g are injective. Similarly, if both f and g are surjective, then g∘f is surjective, but the surjectivity of g∘f ensures that both f and g are surjective. The participants are encouraged to explore examples where f and g are not injective, yet their composition is injective.

PREREQUISITES
  • Understanding of injective and surjective functions
  • Familiarity with function composition
  • Basic knowledge of set theory
  • Experience with mathematical proofs
NEXT STEPS
  • Study the definitions and properties of injective functions in detail
  • Explore surjective functions and their implications in function composition
  • Investigate examples of non-injective functions and their compositions
  • Learn about the implications of function properties in real-world applications
USEFUL FOR

Mathematicians, computer scientists, educators, and students studying advanced algebra or discrete mathematics who are interested in the properties of functions and their compositions.

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[tex]\circ[/tex]f is injective;
(MJ)but that when g[tex]\circ[/tex]f is injective, the injectivity of f and g are unsure.

2. If f and g are surjective, then g[tex]\circ[/tex]f is surjective;
(MJ)and that when g[tex]\circ[/tex]f 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[itex]\circ[/itex]f is? Try the case where A, B, and C have only a few members.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 41 ·
2
Replies
41
Views
4K