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

A question about intersection of system of sets

  1. Sep 9, 2011 #1
    The book I am reading says that [itex]\bigcap \phi[/itex] because every [itex]x[/itex] belongs to [itex]A \in \phi[/itex](since there is no such A ) , so [itex]\bigcap S[/itex] would have to be the set of all sets. now my question is why every [itex]x[/itex] belongs to [itex]A \in \phi[/itex].In other word I don't completely understand what this statement mean.

    sorry if my question is silly.I began reading set theory for only 12 hours and I am new to the subject , I don't know if I had to take a course in logic first or not. If I must know logic , please recommend me to a book in logic .
     
    Last edited: Sep 9, 2011
  2. jcsd
  3. Sep 9, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Well, can you give me a [itex]A\in \emptyset[/itex] such that [itex]x\notin A[/itex]?? You can't because there is not [itex]A\in \emptyset[/itex]. So since you cannot give an example of an [itex]A\in \emptyset[/itex] such that [itex]x\notin A[/itex], must mean that [itex]x\in A[/itex] for all [itex]A\in \emptyset[/itex].


    Also, please note that many authors leave [itex]\bigcap \emptyset[/itex] undefined. Why? Because there is not set that contains all sets.
     
  4. Sep 10, 2011 #3
    Thanks
    Now I used the Axiom of schema to prove that [itex]\bigcap S [/itex] exists for all S except
    [itex]S = \emptyset[/itex], will that proof will be right
     
    Last edited: Sep 10, 2011
  5. Sep 10, 2011 #4
    I forgot , Must I take a course in logic ?
     
  6. Sep 19, 2011 #5
    Mahmoud,

    In ZF,
    [tex] \bigcap \emptyset = \emptyset [/tex]

    since the set of all sets does not exist in ZF, and
    [tex] \forall B (B \in \emptyset \Rightarrow x \in B) [/tex]
    is vacuously true.

    In NBG, however,
    [tex] \bigcap \emptyset = \{ x|x=x \} [/tex]
     
    Last edited: Sep 19, 2011
  7. Sep 19, 2011 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    This is false. In ZF, the intersection is undefined. It is not the empty set.
     
  8. Sep 19, 2011 #7
    Micromass, quit making blanket statements, this is shown in many texts on ZF
     
  9. Sep 19, 2011 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Name one.
     
  10. Sep 19, 2011 #9

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    While I'm waiting for you to name some of the texts, let me look at my own texts:

    - "Introduction to set theory" by Hrbacek and Jech. Page 15, exercise 4.6: states that the intersection [itex]\bigcap S[/itex] is defined if [itex]S\neq \emptyset[/itex].
    - "Set Theory" by Jech states the same thing at the bottom of page 8
    - "Set Theory: an introduction to independence proofs" by Kunen states it at page 13. It als states that [itex]\bigcap \emptyset[/itex] "should be" the set of all set, which does not exist. Thus we leave it undefined.
    - "Lectures in Logic and set theory" by Tourlakis is a bit slower and takes until page 154. Proposition III.6.14.
     
  11. Sep 19, 2011 #10
    How about this:

    The set of all set's does not exist in ZF: [tex]\neg \exists A \forall x (x \in A) [/tex]

    Thus [tex] \{ x | x=x \} = \emptyset [/tex]

    Suppose [tex] \bigcap \emptyset \not = \emptyset [/tex]

    Then [tex] \exists x (x \in \bigcap \emptyset) [/tex]

    But since, vacuously, [tex] \bigcap \emptyset = \{x | \forall B (B \in \emptyset \Rightarrow x \in B ) \} = \{ x |x = x \} [/tex]
    [tex] \exists x (x \in \emptyset) [/tex]

    which is a contradiction,

    qed.
     
  12. Sep 19, 2011 #11

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    No, this is not correct. The left-hand side is not defined in ZF. That there is not set of sets, does not mean that the set of sets is empty. I don't know where you get such a thing?

    Check your separation axiom, which states that set-builder notation must have the form

    [tex]\{x\in A~\vert~P(x)\}[/tex]

    The set of sets cannot be written as such, and thus does not exist.

    I suggest you take a book on ZF set theory and study it.
     
  13. Sep 19, 2011 #12

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    I'm still waiting for one such text.
     
  14. Sep 19, 2011 #13
    I beg to differ, [tex] P(x) = (x=x) [/tex] is a perfectly valid wff.

    Since, it is a valid wff, it can occur in set builder notation: but it is a contradiction in ZF, and not a contradiction in NBG.

    Since it is a contradiction in ZF it must empty, but in NBG it is the universal set.
     
  15. Sep 19, 2011 #14

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    True, it is a perfectly valid wff.

    In ZF, it can occur in set builder notation. But [itex]\{x~\vert~x=x\}[/itex] is not a valid set builder notation. Check the separation axiom.

    In NBG, it is indeed the universal class, but in ZF it does not exist. Does not exist is not the same as empty. Saying that

    [tex]\{x~\vert~x=x\}=\emptyset[/tex]

    is fundamentally wrong. Since it would mean that an element of the left-hand side is an element of the right-hand side. But every set is an element of the left-hand site. That is, for every x it holds that x=x. But no set is an element of [itex]\emptyset[/itex].
    The only problem is that the left-hand side is undefined. That is: it isn't a set. So it can not equal the empty set.

    Also, I ask again to list one of the "many books" that you're getting your information from.
     
  16. Sep 19, 2011 #15
    In ZF, we deal with sets not "undefined," either a set exists, or it doesn't.

    Is "undefined" a set? I think not.

    if {x|x=x} is "undefined," then what is it?

    it is either empty or it is not, and since it cannot contain any elements (otherwise it would be the universal set), it must be empty, not "undefined."

    if we allow {x|x=x} to be Undefined, then:

    [tex] \exists C \forall x(x \in C \Leftrightarrow x \in "Undefined" \wedge \phi (x)) [/tex]

    Tell what does this separation axiom mean in ZF?

    It doesn't mean anything, because then you are accepting another object into the theory that is neither set nor [tex] \emptyset [/tex].
     
  17. Sep 19, 2011 #16

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You seem to have quite some misunderstandings here. The thing is that the notation is [itex]\{x~\vert~x=x\}[/itex] is undefined. The notation refers to something that does not exist!!

    Indeed, the set of all sets does not exist. That is:

    [tex]\exists x:~\forall y:~y\in x[/tex]

    is a false statement in ZF. There is no such x, such an x does not exist.

    And since such an x does not exist, this means that the notation [itex]\{x~\vert~x=x\}[/itex] does not refer to a valid set. Thus the notation is undefined.

    You seem to think that "undefined" = "empty set". This is not true at all.

    It's a bit like the notation [itex]\frac{1}{0}[/itex]. There does not exist an x such that [itex]0x=1[/itex]. Therefore the notation is undefined. And the quotient does not exist.

    Please read a book on elementary logic.
     
  18. Sep 19, 2011 #17
    Ah... Grasshopper, to introduce a new object in the theory of ZF is taboo. "Undefined" is not a constant of the theory of ZF, amongst whose constants, "undefined" may not be found.

    Since "undefined" is not a constant of the object language, it cannot appear in any wff of the object language unless by definition. Therefore "undefined" must be a set (whose definition is "undefined") and the separation axiom requires C to be the set of objects which are "undefined" and satisfy Phi(x).
     
  19. Sep 19, 2011 #18

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You seem to be understanding me. I said that the notation

    [tex]\{x~\vert~x=x\}[/tex]

    is undefined. This is ok, since this notation is an object of the metatheory. So "undefined" is not an element of the object language.

    I simply say that

    [tex]\exists x:~\forall y:~y\in x[/tex]

    is false in ZF. Any problems with that??

    Again: please cite your sources. You say that many texts support you, so please give me one. You seem to be unable to do so.
     
  20. Sep 19, 2011 #19

    I need cite no sources except the axioms of ZF and the object language, the definitions you have quoted specifically exclude
    [tex] S= \emptyset [/tex] from the definition of [tex] \bigcap S [/tex] which is a perfectly correct definition for all cases except [tex] S= \emptyset [/tex]

    This in no way means [tex] \bigcap \emptyset = \emptyset [/tex] is false. Their definitions have already excluded [tex] \emptyset [/tex] from consideration (and unwittingly added a new constant to the object language). Or in other words, it is the definition that is undefined for [tex] S= \emptyset [/tex] not [tex] \bigcap \emptyset [/tex]

    [tex] \bigcap \emptyset = \emptyset [/tex] under the following definition:

    [tex] \bigcap S = \{x | \forall B(B \in S \Rightarrow x \in B) \} [/tex]

    which does not exclude the case: [tex] S = \emptyset [/tex]
     
  21. Sep 19, 2011 #20

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    This is not a valid set builder notation. Review the axiom of separation and try again.

    Please provide:

    1) A formal proof that [itex]\{x~\vert~x=x\}[/itex] exists.

    2) One of your "many texts".
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: A question about intersection of system of sets
Loading...