If g o f is surjective, then is f surjective?

  • Thread starter Thread starter EV33
  • Start date Start date
  • Tags Tags
    Surjective
Click For Summary

Homework Help Overview

The discussion revolves around the properties of functions, specifically surjectivity, in the context of composite functions. The original poster seeks a counterexample to the claim that if the composition of two functions is surjective, then the first function must also be surjective.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants explore various examples of functions to illustrate the surjectivity of the composite function versus the individual functions. There is a focus on defining functions and their domains and ranges.

Discussion Status

Some participants have provided examples and counterexamples, while others question the validity of these examples based on the definitions of the functions involved. The discussion is ongoing, with multiple interpretations being explored.

Contextual Notes

There are constraints related to the definitions of the functions, particularly regarding their domains. Participants are also considering the implications of finite versus infinite sets in their examples.

EV33
Messages
192
Reaction score
0

Homework Statement


Assume f:A[tex]\rightarrow[/tex]B
g:B[tex]\rightarrow[/tex]C
h=g(f(a))=c
Give a counterexample to the following statement. If h is surjective, then f is surjective.



Homework Equations


Definition ofSurjection: Assume f:A[tex]\rightarrow[/tex]B, For all b in B there is an a in A such that f(a)=b


The Attempt at a Solution


f(a)=1/a from [tex]\Re[/tex] to [tex]\Re[/tex]
g(b)=1/b from [tex]\Re[/tex] to [tex]\Re[/tex]
h(a)=a from [tex]\Re[/tex] to [tex]\Re[/tex]

h is a surjection and f is not.

Does this work?
 
Physics news on Phys.org


No, h(0) isn't defined since f(0) isn't defined. You can only say h(a)=a for a≠0.
 


Don't try and make life complicated. You can find a counterexample with finite sets. Take A={1,2}, B={1,2} and C={1}. Now define f and g.
 


It is always little things like that which I don't see with these problems. Does this one work?

f(a)=a2 [tex]\Re[/tex] [tex]\rightarrow[/tex] [0,[tex]\infty[/tex])
g(b)=b3/2 [0,[tex]\infty[/tex]) [tex]\rightarrow[/tex] [0,[tex]\infty[/tex])
h(a)=a3 [tex]\Re[/tex] [tex]\rightarrow[/tex] [0,[tex]\infty[/tex])
 


oh ok thanks dick I will try that
 

Similar threads

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