Results 1 to 2 of 2

Math Help - defining an operator - 2

  1. #1
    Member Jones's Avatar
    Joined
    Apr 2006
    From
    Norway
    Posts
    170

    defining an operator - 2

    Hi,

    An operator has been defined on (A \ast B) = (A\setminus{B})\cup(B\setminus{A})

    The part im having difficulties with is the associativity.

    A\ast(B \ast Z) = A\setminus(({B}\setminus{Z})\cup(Z\setminus{B}))\c  up (B\setminus{Z})\cup (Z\setminus{B})\setminus{A}

    (B\ast Z) = (B \setminus{Z})\cup(Z \setminus{B})

    (A\ast B)\ast Z = (A \setminus{B})\cup(B\setminus{A})\setminus{Z}\cup Z \setminus{((A\setminus{B})\cup(B\setminus{A}))}

    According to my book the operator should be associative, but as far as i see they are not.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,677
    Thanks
    1618
    Awards
    1
    Quote Originally Posted by Jones View Post
    An operator has been defined on (A \ast B) = (A\setminus{B})\cup(B\setminus{A})
    The part im having difficulties with is the associativity.
    This is a well known operator. It is usually called the symmetric difference.
    And it is the associative property that almost every student hates to prove.
    But the operation is indeed associative.

    Here is an another and equivalent definition: A*B = \left( {A \cup B} \right)\backslash \left( {A \cap B} \right)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Defining Inner Products
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: October 6th 2011, 07:59 AM
  2. Defining a vector
    Posted in the Trigonometry Forum
    Replies: 1
    Last Post: November 6th 2010, 01:19 PM
  3. Defining an isomorphism....
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: February 18th 2010, 07:48 AM
  4. Defining a plane
    Posted in the Calculus Forum
    Replies: 3
    Last Post: September 15th 2009, 03:15 AM
  5. Defining the p.m.f. of X
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: February 15th 2009, 08:01 PM

Search Tags


/mathhelpforum @mathhelpforum