Results 1 to 3 of 3

Math Help - Equality of functions of unions

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    4

    Equality of functions of unions

    I've been having some trouble with this question, I'm hoping someone could tell me if I'm on the right path.

    Given the sets A, B, E, F, M and N where A,B \subset M and E,F \subset N, and the function f : M \rightarrow N, show whether the following equalities hold:

    a) f^{-1}(E \cup F) = f^{-1}(E) \cup f^{-1}(F)
    b) f(A \cup B) = f(A) \cup f(B)

    For part a I've done this:

    Let x \in f^{-1}(E \cup F)
    \Leftrightarrow f(x) \in (E \cup F)
    \Leftrightarrow f(x) \in E \vee f(x) \in F
    \Leftrightarrow x \in f^{-1}(E) \vee x \in f^{-1}(F)
    \Leftrightarrow x \in ( f^{-1}(E) \cup f^{-1}(F) )

    If I'm understanding this right A,B and E,F are proper subsets of M and N respectively, so the function f could map values between M and N that aren't in the union of A,B or E,F. But in part b) for instance f is being applied to a subset of M (A u B) and so any values outside this subset but still part of set M are irrelevant for the proof, right?

    So is the proof for a) complete?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,965
    Thanks
    1785
    Awards
    1
    Part a) is correct.

    For part b) be careful! You cannot use the "if and only if" the way you did in a).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2009
    Posts
    4
    Thanks for that. I think I've got b) as well;

    Let y \in f(A \cup B), then \exists x \in A \vee B such that y=f(x). Then:

    (y=f(x) : x \in A) \vee (y=f(x) : x \in B)
    \Leftrightarrow y \in f(A) \vee y \in f(B)
    \Leftrightarrow y \in f(A) \cup y \in f(B)

    Therefor f(A \cup B) = f(A) \cup f(B)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 4
    Last Post: December 17th 2011, 12:48 PM
  2. Proving equality of two composite functions.
    Posted in the Pre-Calculus Forum
    Replies: 7
    Last Post: January 13th 2011, 10:48 AM
  3. Intersections and Unions
    Posted in the Advanced Statistics Forum
    Replies: 5
    Last Post: October 31st 2010, 10:44 PM
  4. Inverse functions of unions and intersections
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: January 6th 2010, 08:22 PM
  5. Unions of subspaces
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 8th 2009, 12:55 PM

Search Tags


/mathhelpforum @mathhelpforum