Composition of Maps HW: Show f Injective & Bijective

[roam]

Homework Statement

Let A,B be sets and let [tex]f:A \rightarrow B[/tex] and [tex]g,h:B \rightarrow A[/tex] be functions.

(1) Suppose [tex]h o f[/tex] is an injective map from [tex]A[/tex] to itself. Show that [tex]f[/tex] is injective.

(2) Suppose now that [tex]f o g = 1_{B}[/tex] and [tex]hof = 1_{A}[/tex]. Show that [tex]f[/tex] is bijective and [tex]g=h[/tex].

P.S. given that f is surjective.

Homework Equations

The Attempt at a Solution

(1) [tex]h o f[/tex] is 1-1 [tex]\Leftrightarrow \forall a,a' \in A[/tex] such that [tex]a \neq a'[/tex], [tex]h o f(a) \neq h o f(a')[/tex]

[tex]\Leftrightarrow h(f(a)) \neq h(f(a'))[/tex]

[tex]\Leftrightarrow f(a) \neq f(a')[/tex]

I'm fine with part (1)

(2) I need some help to write a proper proof for this one.

[tex]f[/tex] is an injective map from my previus work in part (1), I also think [tex]h \circ f = 1_A[/tex] but I don't know how to justify this. ([tex]1_A[/tex] & [tex]1_b[/tex] notation represents the identity).

[tex]f[/tex] is surjective, if it is not, then [tex]f o g[/tex] also isn't surjective, but [tex]f \circ g = 1_B[/tex] is surjective.
Further, we have [tex]g= 1_A \circ g=h \circ f \circ g=h \circ 1_B=h[/tex], since composition of functions is associative.

Any help is appreciated! This is VERY urgent!

 

[HallsofIvy]

Homework Statement

Let A,B be sets and let [tex]f:A \rightarrow B[/tex] and [tex]g,h:B \rightarrow A[/tex] be functions.

(1) Suppose [tex]h o f[/tex] is an injective map from [tex]A[/tex] to itself. Show that [tex]f[/tex] is injective.

(2) Suppose now that [tex]f o g = 1_{B}[/tex] and [tex]hof = 1_{A}[/tex]. Show that [tex]f[/tex] is bijective and [tex]g=h[/tex].

P.S. given that f is surjective.

Homework Equations

The Attempt at a Solution

(1) [tex]h o f[/tex] is 1-1 [tex]\Leftrightarrow \forall a,a' \in A[/tex] such that [tex]a \neq a'[/tex], [tex]h o f(a) \neq h o f(a')[/tex]

[tex]\Leftrightarrow h(f(a)) \neq h(f(a'))[/tex]

[tex]\Leftrightarrow f(a) \neq f(a')[/tex]

I'm fine with part (1)

(2) I need some help to write a proper proof for this one.

[tex]f[/tex] is an injective map from my previus work in part (1), I also think [tex]h \circ f = 1_A[/tex] but I don't know how to justify this.

You say you are given that [tex]h \circ f= 1_A[/tex], you don't need to prove it!

([tex]1_A[/tex] & [tex]1_b[/tex] notation represents the identity).

[tex]f[/tex] is surjective, if it is not, then [tex]f o g[/tex] also isn't surjective, but [tex]f \circ g = 1_B[/tex] is surjective.

Again, you say you are given that f is surjective!

Further, we have [tex]g= 1_A \circ g=h \circ f \circ g=h \circ 1_B=h[/tex], since composition of functions is associative.

Any help is appreciated! This is VERY urgent!

 

[roam]

But I still need to prove this:

(2) Suppose now that [tex]f o g = 1_{B}[/tex] and [tex]hof = 1_{A}[/tex]. Show that [tex]f[/tex] is bijective and [tex]g=h[/tex].

I don't know what to write down as the "proof"...

 

[Elucidus]

But I still need to prove this:



I don't know what to write down as the "proof"...

f is bijective if it is injective and surjective (which I believe you showed). The proof of g = h you already did (owing to associativity of composition).

In your proof of part (1), I'd be careful with your implication arrows. They all go to the right just fine, only some go to the left. There is no need to explore the leftward implications. You only need to show [itex]a \neq a' \Rightarrow f(a) \neq f(a')[/itex].

--Elucidus