Cancellation law with surjective functions

Click For Summary
SUMMARY

The discussion centers on proving that if functions g and h satisfy the equation g ∘ f = h ∘ f and f is surjective, then g must equal h. The participants clarify that for any element x in set A, the equality gf(x) = hf(x) holds, leading to the conclusion that g(a) = h(a) for some a in A. However, confusion arises regarding the mapping of g and h, specifically that g should map from B to C instead of A to B. The proof requires careful attention to the definitions of the functions involved.

PREREQUISITES
  • Understanding of surjective functions and their properties
  • Familiarity with function composition in mathematics
  • Knowledge of set theory, particularly the definitions of sets A, B, and C
  • Basic proof techniques in mathematical logic
NEXT STEPS
  • Study the properties of surjective functions in detail
  • Learn about function composition and its implications in mathematics
  • Explore set theory concepts, focusing on mappings between sets
  • Review mathematical proof techniques, especially direct proofs and counterexamples
USEFUL FOR

This discussion is beneficial for mathematics students, educators, and anyone interested in advanced function theory and proof strategies in mathematical logic.

annoymage
Messages
360
Reaction score
0

Homework Statement



suppose function [tex]f : A \to B[/tex], [tex]g: A \to B[/tex], [tex]h : B \to C[/tex] satisfy [tex]g \circ f=h \circ f[/tex]. If is surjective then prove that [tex]g=h[/tex]

Homework Equations



n/a

The Attempt at a Solution




so for any [tex]x \in A[/tex], [tex]gf(x)=hf(x)[/tex], and for any [tex]b \in B[/tex] there exist [tex]a \in A[/tex], such that [tex]f(b)=a[/tex]

so [tex]g(a)=h(a)[/tex] so [tex]g=h[/tex] is this correct and sufficient?

i'm suppose to to show for any [tex]v \in B[/tex], [tex]g(v)=h(v)[/tex]. i don't know but something's missing.
 
Last edited:
Physics news on Phys.org


You need to clean it up a bit. For one thing, you have g mapping A to B. You meant B to C, right? Also, the element a in in A, but h is defined on B, so when you say h(a), it's not clear that h(a) is defined.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
6
Views
1K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K