Set Theory? question

  • #1

Homework Statement


Let

f: X ----> Y and g: Y ----> Z

be functions and let

h = g o f: X ----> Z

Homework Equations



a. If h is surjective then g is surjective

b. If h is surjective then f is surjective.

The Attempt at a Solution



Here

h: X ----> Z

a.
Suppose h: x ---> z is surjective for ∈ Z. Since h is surjective ∃a ∈ X such that
h(a) = g(f(a)) = k

Now let y = f(a) ∈ Y so...
g(y) = g(f(a)) = k; as declared QED.

b.
Suppose h: x ---> z is surjective for y.........I'm not even sure how to start.

PS: To be honest, I really need to find a good textbook on proofs because my lecturer is outright atrocious. If anyone knows of any texts, do post me some recommendations as well.
 

Answers and Replies

  • #2
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
17,151
8,951

Homework Statement


Let

f: X ----> Y and g: Y ----> Z

be functions and let

h = g o f: X ----> Z

Homework Equations



a. If h is surjective then g is surjective

b. If h is surjective then f is surjective.

The Attempt at a Solution



Here

h: X ----> Z

a.
Suppose h: x ---> z is surjective for ∈ Z. Since h is surjective ∃a ∈ X such that
h(a) = g(f(a)) = k

Now let y = f(a) ∈ Y so...
g(y) = g(f(a)) = k; as declared QED.

b.
Suppose h: x ---> z is surjective for y.........I'm not even sure how to start.

PS: To be honest, I really need to find a good textbook on proofs because my lecturer is outright atrocious. If anyone knows of any texts, do post me some recommendations as well.

Your proof of a) looks quite good. You didn't say what k is, but it's fairly obvious.

Why do you think b) is true?
 
  • Like
Likes BubblesAreUs
  • #3
k is just an integer that belongs to set Z.

As for b, I think f is surjective because h is. Since f is an input of g, I'm not exactly sure how I can re-utilise my proof from part a.
 
  • #4
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
17,151
8,951
k is just an integer that belongs to set Z.

As for b, I think f is surjective because h is. Since f is an input of g, I'm not exactly sure how I can re-utilise my proof from part a.

If I can't see how to prove something, I usually try to disprove it and see what happens.
 

Related Threads on Set Theory? question

  • Last Post
Replies
1
Views
517
  • Last Post
Replies
3
Views
645
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
2
Views
787
  • Last Post
Replies
1
Views
806
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
1
Views
810
  • Last Post
Replies
1
Views
725
Top