Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

General question about sets

  1. Jul 30, 2012 #1
    Does this mean that whenever the function P(x) is true, then x is an element of X, and when P(x) is false, then x is not an element of X?

    I'm confused because the wording says that "...a sentence P(x) that is either true or false whenever x is any particular element of X..." which leads me to believe that whether P(x) is either true or false, then it is still an element of set X.

    Or is it saying that there is a set within X in which P(x) is true, and there is also another set within X in which P(x) is false?
     
    Last edited: Jul 30, 2012
  2. jcsd
  3. Jul 30, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Hmm, no, it's neither of these.

    The set [itex]\{x\in X~\vert~P(x)\}[/itex] are all the elements of X which satisfy P. So, in particular, we want all elements to lie in X.

    Maybe some examples may help you to see the concept:
    • [itex]A=\{x\in \mathbb{N}~\vert~x~\text{is even}\}[/itex]
      This means that we take all the elements of [itex]\mathbb{Z}[/itex] which are even. So the elements of our set A are precisely 0,2,4,6,8,10,12,...
    • [itex]B=\{x\in \mathbb{Z}~\vert~x>0\}[/itex]
      This is the set of all positive integers. The set consists out of 1,2,3,4,...
      Note that x=1/2 also satisfies x>0. But 1/2 does not belong to B because it doesn't satisfy [itex]x\in \mathbb{Z}[/itex].
    • [itex]C=\{x\in \mathbb{Q}~\vert~2x+2=0\}[/itex]
      This is the set of all rational numbers x such that 2x+2=0. The only number satisfying that is of course -1. And this number is in [itex]\mathbb{Q}[/itex], so it belongs to C.

    Does this clear up some things?
     
  4. Jul 30, 2012 #3
    In those 3 examples, would A be considered a proper subset of N, B a proper subset of Z, and C a proper subset of Q?
     
  5. Jul 30, 2012 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes. These are all proper subsets.

    Another example would be

    [tex]D=\{x\in \mathbb{N}~\vert~x\geq 0\}[/tex]

    So this set consists of all elements in [itex]\mathbb{N}[/itex] which are larger than 0. Clearly, this is the entire set. So D is not a proper subset in this case.
     
  6. Aug 2, 2012 #5
    x has to be in the universe of discourse X and pass the truth condition x is an element of P(x).
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: General question about sets
Loading...