Some Composition Proofs for Surjectivity and Injectivity

  • Thread starter Thread starter Seda
  • Start date Start date
  • Tags Tags
    Proofs
Click For Summary

Homework Help Overview

The discussion revolves around proving properties of function compositions, specifically focusing on surjectivity and injectivity. The original poster presents two statements to prove: that the composition of surjective functions is surjective and that the composition of injective functions is injective. There is an acknowledgment of the lack of defined domains and codomains in the problem statement.

Discussion Character

  • Exploratory, Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • The original poster expresses uncertainty about how to begin the proofs due to undefined domains and codomains. They attempt to reason through the surjectivity proof by considering the composition of two surjective functions. Another participant suggests a method for proving injectivity by manipulating the equality of composed functions. The original poster also raises a question about disproving the injectivity of the product of two injective functions.

Discussion Status

Participants are actively engaging with the proofs, providing hints and guidance without offering complete solutions. The original poster has made progress on the injectivity proof and is seeking feedback on their reasoning. There is an exploration of multiple interpretations regarding the properties of function compositions.

Contextual Notes

There is a noted lack of defined domains and codomains in the original problem statement, which may affect the proofs being discussed. The original poster also expresses feelings of frustration and inadequacy regarding their understanding of the proofs.

Seda
Messages
70
Reaction score
0
[SOLVED] Some Compostion Proofs

Homework Statement



Prove:
1.) The composition of subjective functions is subjective
2.) The composition of injective functions is injective



Homework Equations



Subjective: A function f: A->B is surjective iff

For all members of B, there exists a member of A where f(a)=b

Injective: A funtion f: A->B in injective iff

f(a)=f(b) -> a=b

The Attempt at a Solution



I really don't know how to start this proof, mainly because in the questions, the domain and codomain are not defined in any way. However, both statements seem to be obviously true to me, at least I can't think of any obvioius counter examples.

I.) Suppose we have functions f an g which are both surjective. The conpostion of these functions can b e written as g(f(x)). If g is subjective, regardless of the values of f(x), then gof will be subjective.

That proof's really bad I know, and I don't know how to even start 2. Help! It seems like it should be really easy and I feel like an idiot for not knowing how to do these proofs.
 
Physics news on Phys.org
Sorry, i meant surjective
 
For injectivity, suppose that g(f(x)) = g(f(y)). You must prove from this that this implies x = y. (Hint: you know nothing, except that f and g are injective).

For surjectivity, let z be in the codomain of (g o f). Prove that there is an y in the domain of g such that g(y) = z. Now can you find an x such that g(f(x)) = z, using surjectivity of f?
 
Thanks, I think I got the Injective proof spot on now and I think my surjective proof is good to (though my wording is sort of weird, I'll work On it.)

I have one last problem that I want to check.

Q: The product of injective functions is injective/


Can I easily disprove this by letting f(x) = x and g(x) = 2x, which are both injctive and show that their product isnt?
 
That will work. Now just give two different x values that map to the same value of f(x)*g(x).
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K