Question about proof of associative law for sets

  1. Hello,

    Trying to go through Tom Apostle text on Calculus. There is an exercise about proving the associative law for sets:

    So, (A U B) U C = A U (B U C)

    So, if we assume x to be an element in set in left hand side, than we can say x belongs at least to either A, B or C which in turn means that x is also an element in set in right hand side and then we can say that the LHS and RHS are subsets of each other...

    Is this a valid proof? I am never sure with these. It is really tricky to prove such ideas that we take for granted in every day life!

    Anyway, I would be really grateful for any help you can give this old man.

    /Luca
     
  2. jcsd
  3. Hi pamparana,

    What it comes down to is that "or" (logical disjunction) is associative, so ((x in A or x in B) or (x in C)) is the same as (x in A or (x in B or x in C)). Either you take this for granted, or you check that that the truth tables for
    ((p or q) or r)
    and
    (p or (q or r))
    are the same.
     
  4. statdad

    statdad 1,455
    Homework Helper

    You are essentially correct. (The other post is correct too, but is really a round-a-bout way to assume exactly what you want to prove). You might see the proof of your statement organized formally this way.

    [tex]
    \begin{align*}
    x \in (A \cup B) \cup C & \leftrightarrow x \in (A \cup B) \text{ or } x \in C \\
    & \leftrightarrow x \in A \text{ or } x \in B \text{ or } x \in C \\
    & \leftrightarrow x \in A \text{ or } x \in (B \cup C) \\
    & \leftrightarrow x \in A \cup (B \cup C)
    \end{align*}
    [/tex]

    I've use [tex] \leftrightarrow [/tex] to represent the phrase "if and only if" (I couldn't get the usual double arrow to work, sorry).
    Hope this helps.
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?