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
SUMMARY

The discussion centers on the mathematical concepts of surjective functions, specifically addressing the statement: "If h is surjective, then f is surjective." A counterexample is provided using functions f(a) = 1/a and g(b) = 1/b, demonstrating that h can be surjective while f is not. The participants also explore finite sets, illustrating with A={1,2}, B={1,2}, and C={1}, where appropriate definitions of f and g lead to valid counterexamples. The conclusion emphasizes the importance of understanding function definitions and their implications in surjectivity.

PREREQUISITES
  • Understanding of surjective functions and their definitions
  • Familiarity with function notation and mappings
  • Basic knowledge of real numbers and their properties
  • Experience with finite sets and their applications in function definitions
NEXT STEPS
  • Study the properties of surjective functions in depth
  • Learn about counterexamples in mathematical proofs
  • Explore finite set theory and its implications in function mappings
  • Investigate the relationship between different types of functions, such as injective and bijective
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding the nuances of function theory and surjectivity in mathematical proofs.

EV33
Messages
192
Reaction score
0

Homework Statement


Assume f:A\rightarrowB
g:B\rightarrowC
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\rightarrowB, 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 \Re to \Re
g(b)=1/b from \Re to \Re
h(a)=a from \Re to \Re

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 \Re \rightarrow [0,\infty)
g(b)=b3/2 [0,\infty) \rightarrow [0,\infty)
h(a)=a3 \Re \rightarrow [0,\infty)
 


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
1K
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