Composition of Mappings, Surjective and Injective

Click For Summary

Homework Help Overview

The discussion revolves around the properties of function composition, specifically focusing on proving conditions for injective (one-to-one) and surjective (onto) functions. The original poster presents two statements involving functions g: A => B and f: B => C, seeking to establish the implications of the composition f o g being injective or surjective.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore proof by contradiction for both parts of the problem, questioning the assumptions regarding the injectivity and surjectivity of the functions involved. There is discussion about the implications of assuming g is not one-to-one and how that affects the composition.

Discussion Status

Some participants are clarifying the original statements and correcting misunderstandings about which function's properties are being analyzed. There is an ongoing exploration of the definitions of injective and surjective functions, with attempts to articulate contradictions arising from the assumptions made.

Contextual Notes

Participants note potential confusion regarding the roles of functions f and g in the context of the proofs, as well as the need for rigorous definitions when discussing injectivity and surjectivity.

gbean
Messages
40
Reaction score
0

Homework Statement


a) Let g: A => B, and f: B => C. Prove that f is one-to-one if f o g is one-to-one.
b) Let g: A => B, and f: B => C. Prove that f is onto if f o g is onto.

Homework Equations


a) Since f o g is onto, then (f o g)(a) = (f o g)(b) => a = b.
b) Since f o g is onto, every element in C is an image under f o g.
(f o g)(a) = f(g(a)) = f(b) = c

The Attempt at a Solution



a) Proof by contradiction. Assume that g is not one-to-one.
(f o g)(a) = (f o g)(b)
f(g(a)) = f(g(b))
I don't know where to go from here.
I'm just wondering if this explanation is rigorous enough.
b) Proof by contradiction: Assume that f is not onto.

(f o g)(a) = f(g(a)) = f(b) = c.
However, f is not onto, thus there exists a c in C that is not mapped to by f. Thus by definition, f o g is not onto if not every c in C is an image under f o g. This is a contradiction of the given, hence f must be onto.
 
Physics news on Phys.org
gbean said:

Homework Statement


a) Let g: A => B, and f: B => C. Prove that f is one-to-one if f o g is one-to-one.
b) Let g: A => B, and f: B => C. Prove that f is onto if f o g is onto.

Homework Equations


a) Since f o g is onto, then (f o g)(a) = (f o g)(b) => a = b.
b) Since f o g is onto, every element in C is an image under f o g.
(f o g)(a) = f(g(a)) = f(b) = c

The Attempt at a Solution



a) Proof by contradiction. Assume that g is not one-to-one.
(f o g)(a) = (f o g)(b)
f(g(a)) = f(g(b))
I don't know where to go from here.



I'm just wondering if this explanation is rigorous enough.
b) Proof by contradiction: Assume that f is not onto.

(f o g)(a) = f(g(a)) = f(b) = c.
However, f is not onto, thus there exists a c in C that is not mapped to by f. Thus by definition, f o g is not onto if not every c in C is an image under f o g. This is a contradiction of the given, hence f must be onto.


For part a), I think you meant that you are going to assume that f is not 1-1.

Anyway, what exactly does this mean for a function to NOT be 1-1? You had it partially correct (though you seem to have been working in the "opposite" direction). It means there is an a =! b such that f(a)=f(b).

So, if f sends a and b to the same element of B, where does g send f(a) and where does g send f(b)? Can you find a contradiction there?
 
Wait, I got confused, in a) are you showing that f or g is 1-1?
 
Whoops, I wrote down part a wrong. It should be: a) Let g: A => B, and f: B => C. Prove that g is one-to-one if f o g is one-to-one.
 
a) Proof by contradiction. Assume that g is not one-to-one.
(f o g)(a) = (f o g)(a')
f(g(a)) = f(g(a'))

If g is not 1-to-1 then there exist distinct a and a' such that g(a) = g(a') = b.

Then f(b) = f(b) => c = c. But this means that (f o g)(a) = c and (f o g)(a') = c, or that there exist distinct a and a' such that (f o g)(a) = (f o g)(a') = c. This is a contradiction as f o g is not 1-to-1, hence g must be 1-to-1.
 

Similar threads

Replies
3
Views
1K
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
1
Views
2K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K