Results 1 to 2 of 2

Thread: Prove that function f: X->Y is INJECTIVE if...

  1. #1

    Prove that function f: X->Y is INJECTIVE if...

    Hello,

    I have a discreet math problem that I cannot figure out. Not even where to start from.

    The problem: Let X,Y,Z be non empty sets. Prove that function f:X->Y is injective if whatever functions g,h:Z->X we get that (f o g) = (f o h) from that follows that g = h.

    I know that (f o g), a composition of functions means that it's basicly f(g(x)).
    I know that a function is injective if f(x1) == f(x2) -> x1 == x2.


    How would I go about proving this?

    Best regards

  2. #2
    Junior Member
    Join Date
    Nov 2017
    Location
    Rochester, NY
    Posts
    176
    Quote Originally Posted by student127 View Post
    Hello,

    I have a discreet math problem that I cannot figure out. Not even where to start from.

    The problem: Let X,Y,Z be non empty sets. Prove that function f:X->Y is injective if whatever functions g,h:Z->X we get that (f o g) = (f o h) from that follows that g = h.

    I know that (f o g), a composition of functions means that it's basicly f(g(x)).
    I know that a function is injective if f(x1) == f(x2) -> x1 == x2.


    How would I go about proving this?

    Best regards
    Did you copy the problem word for word? The wording is a little awkward, so I'd want to clarify it first. I think you are to prove this theorem:

    Let X,Y,Z be non-empty sets, and function f:X->Y. If, for any pair of functions g,h:Z->X, (f o g) = (f o h) implies that g = h, then f is injective.

    You might start by supposing that f(x1) = f(x2), and trying to use the given fact to conclude that x1 = x2. Perhaps you can define some specific functions g and h such that (f o g) = (f o h), that is, f(g(x)) = f(h(x)) for any x, but also such that g = h would imply that x1 = x2.

    What I've said here is just a natural starting point for any proof like this: express the goal clearly, and then try to fit the givens into that context. Having said that, I do see that this beginning can lead to a good proof. (It isn't very hard; in fact, it may seem so simple to you that you will initially miss it.)

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •