Results 1 to 3 of 3

Thread: Equality of functions of unions

  1. #1
    Nov 2009

    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

    Aug 2006
    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
    Nov 2009
    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: Dec 17th 2011, 11:48 AM
  2. Proving equality of two composite functions.
    Posted in the Pre-Calculus Forum
    Replies: 7
    Last Post: Jan 13th 2011, 09:48 AM
  3. Intersections and Unions
    Posted in the Advanced Statistics Forum
    Replies: 5
    Last Post: Oct 31st 2010, 09:44 PM
  4. Inverse functions of unions and intersections
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: Jan 6th 2010, 07:22 PM
  5. Unions of subspaces
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Sep 8th 2009, 11:55 AM

Search Tags

/mathhelpforum @mathhelpforum