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

Empty set disjoint with itself paradoxical?

  1. Oct 24, 2014 #1
    Hi guys, I've got a philosophical question for you concerning the empty set.

    I know that in axiomatized set theory the empty set is disjoint with itself. Because it has no members, the empty set cannot have any members in common with itself. This is common sense in set theory.

    But if we say that set A is disjoint with set B, aren't we then implying that A is not identical with B? But how can the empty set be non-identical with itself? To me this has paradox written all over it, but to me surprise all textbooks about set theory treat the disjointness of the empty set with itself as something trivial and not very remarkable. Please let me know what you think!
     
  2. jcsd
  3. Oct 24, 2014 #2

    Erland

    User Avatar
    Science Advisor


    No, I don't see why it should be so. That A and B are disjoint means that there is no x which lies in both A and B, and it makes sense to say that there is no x which lies in A and A; this is then true only for A=∅.
    I see no paradox.
     
  4. Oct 24, 2014 #3
    Thanks for your reply. But I remain unconvinced.

    Consider the following argument:

    1. If A ∩ B = ∅
    2. then obviously A ≠ B
    3. so if ∅ ∩ ∅ = ∅
    4. doesn't it necessarily follow that ∅ ≠ ∅?

    This argument seems trivial to me. Yet you are telling me its not valid. So in which step is the mistake?
     
  5. Oct 25, 2014 #4

    Erland

    User Avatar
    Science Advisor

    Well, step 2 is simply invalid. It holds only if it is not the case that A=B=∅.
     
  6. Oct 25, 2014 #5
    I see what you mean. But it seems ad hoc to me. In effect you are saying: we have this general rule such that If A ∩ B = ∅ then A ≠ B, but this rule comes with a clause: it holds only if A ≠ B. Isn't this circular?

    On the other hand, I understand that a formal system must avoid inconsistency. Hence the said clause to said rule. Can't we say that this clause is similar in status to the rule that forbids sets being members of themselves so as to avoid Russell-type paradoxes?
     
  7. Oct 25, 2014 #6

    Erland

    User Avatar
    Science Advisor

    This "rule" is not an axiom. It is just a statement which can be proved, but only if A=B=∅ does not hold, and the latter is not the same as A ≠ B, so there is no circularity.

    EDIT: The condition "not-A=B=∅" is equivalent to "A≠∅ or B≠∅ (or both)".
    So the statement which can be proved is: "If A∩B=∅ and (A≠∅ or B≠∅), then A≠B". This maybe makes it more clear...
     
    Last edited: Oct 25, 2014
  8. Oct 25, 2014 #7
    Okay, I get it now. Thanks for your explanations!

    I think what I'm after is something like paraconsistent set theory, if something like that exists...
     
  9. Oct 25, 2014 #8

    PeroK

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    As Erland pointed out, this is a paradox entirely of your own making. There was no logical reason to assume that disjoint => not identical.

    You could equally create a paradox by declaring that 2x must be different from x. And then being stumped by 2x0 = 0
     
  10. Oct 25, 2014 #9
    You say: There was no logical reason to assume that disjoint => not identical.

    Are you serious? It is a self-evident, logical truth that if A is disjoint with B, then A is not B... Or isn't it? What am I missing here?
     
  11. Oct 25, 2014 #10
    That is to say: it is a logical truth as long as A and B are not both ∅.
     
  12. Oct 25, 2014 #11

    PeroK

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    You are missing logic!
     
  13. Oct 26, 2014 #12
    Haha... yes I get that a lot, especially from people in exact sciences...

    Well, don't get me wrong, I have the greatest respect for exact science... But I also think that sometimes logicians, mathematicians etc. get too much caught up in their own formal constructions. If you take a Platonic view of mathematics, then the formal system is just an approximation of an independent mathematical reality, and as they say: the map aint the territory...

    Take for example zero or the empty set... In axiomatized set theory it is presupposed that ∅ is self-identical, just like any set is supposed to be self-identical (i.e. obeys the law of identity). In most of mathematics the same is presupposed about zero. But under closer scrutiny does this presupposition hold up? There is a heterodox tradition in mathematics which says that zero is the infinitely smallest numer, so that infinity times zero is not zero but one (of course you have to specify here what kind of infinity you re talking about here, but I hope you get what I mean in general). So on that assumption your litle sum 2x0 doesn't equal zero... In fact in calculus and other branches of mathematics operations like this are common...

    So if mathematical Platonism is right, which view is the true one: is zero just zero or zero is the smallest infinitesimal? Suppose the last view were the correct one: in that case zero is not self-identical, since zero is not zero but the infinitely small. And then another pickle arises: is zero a positive or a negative number? Since zero is equally removed from 1 and -1, one would have to say that this infinitely small number is neither positive nor negative, or both...

    What I am trying to get across is that zero is a troublesome concept, which can give rise to paradoxes, just like infinity.

    In formal systems, these paradoxes are to be avoided. But on a Platonic view, the formal systems are not the mathematical reality itself, they are an approximation. So if mathematical Platonism is true, then perhaps there is a bit more to zero and the empty set than you think. Of course it is your prerogative to deny Platonism, but then that's also a philosophical choice and you have to disagree with people like Goedel, Cantor, Penrose, Tegmark etc.

    I don't want to offend anybody, I 'just' want to know the truth about the philosophical foundations of mathematics... So let's be polite and have a discussion centered on content, not on ad hominem arguments.

    To get back to our discussion, I would still like to know why it is incorrect to say: if A is disjoint with B, then A is not B (as long as A and B are not both ∅).
     
  14. Oct 26, 2014 #13
    So you are saying A ∩ B = ∅, but you are wrong because ∅ is only when you can say that a ≠ a, you cant obtain an empty set from the intersection
     
  15. Oct 26, 2014 #14

    Stephen Tashi

    User Avatar
    Science Advisor

    Right in what sense? - morally?

    Mathematical Platonism is a philsophy and you are attempting to discuss philosophical issues. I myself am not adverse to Philosophy but the forum is rather sensitive about having philosophical discussions in the technical sections. You might try posting in General Discussions.
     
  16. Oct 26, 2014 #15
    There are two cases to consider.

    If ## A ∩ B = ∅ ##, then either:

    CASE 1 : ## A = B = ∅ ##, because obviously ## ∅ ∩ ∅ = ∅ ##, or

    CASE 2 : ## A ≠ B ##, because if they were equal then at least one element (and we know for sure that at least one element exists since we aren't in the first case so both sets can't be null) would be belonging to both of them.

    So if you were to say that A is disjoint with B, you would need to talk about both cases to be exact.

    It seems to be the problem here in the second step:

    I really like PeroK's analogy. Think about it Stoney Pete:

     
  17. Oct 26, 2014 #16

    TeethWhitener

    User Avatar
    Science Advisor
    Gold Member

    It's very difficult to conceive of a situation where it's useful to hold that [itex]x \neq x[/itex]. But it's easily provable that the empty set and zero elements are unique, given their properties. Under the axioms of the theory, two sets are identical iff they have the same elements. Therefore, a fortiori the empty set is unique. Likewise, for zero, it can be easily proven that zero (as an additive identity) is unique. Proof: Assume that there are two things with the property of zero (call them [itex]0_a[/itex] and [itex]0_b[/itex]). Then [itex]x+0_a = x = x+0_b[/itex] and [itex]0_a = 0_b[/itex]. The uniqueness of the identity element is a well-known result in group theory.
    -1 < 0. Heterodox indeed. This brings up a larger point, though, which is that in math you start with precisely formulated definitions and axioms and prove theorems from them. If you don't like the definitions and axioms you're given, you're certainly welcome to use your own. Of course, you're still bound by logic as to what you can derive from them. But I think a lot of the trouble you're having is that you're trying to use your own definitions or preconceived notions of mathematical words to come up with results that don't make intuitive sense to you. So for instance, with your initial question, [itex]A \cap B[/itex] is defined as the set of elements which are members of both A and B. If that set has no elements, then (as per the definition of identity of sets--aka the axiom of extensionality) it is identical with the empty set. We can now define the notion of "disjoint" to mean that A and B are disjoint iff [itex]A \cap B = \emptyset[/itex]. Of course, since the intersection of the empty set with itself has no elements, it is also identical to the empty set. If you want to say that the empty set is disjoint with itself, you're certainly welcome to, given the definition of "disjoint" above. If you don't like it, that's your prerogative--don't use the word--but regardless of what language you put on it, it doesn't change the fact that [itex]\emptyset \cap \emptyset = \emptyset[/itex].
    [itex]\infty \times 0[/itex] is what's known as an indeterminate form. It isn't zero or one as stated. Indeterminate forms arise in the study of limits and there are a number of ways to evaluate them. Often when they appear, their evaluation is context specific. So, taking three examples: [tex]\frac{x}{x}[/tex] [tex]\frac{x^2}{x}[/tex] and [tex]\frac{x}{x^2}[/tex] we see that as x goes to [itex]\infty[/itex], the first example evaluates to 1, the second evaluates to [itex]\infty[/itex], and the third evaluates to zero, even though they're all basically [itex]\infty \times \frac{1}{\infty} = \infty \times 0[/itex]. So, yes, orthodox mathematics is quite familiar with these situations and can handle them readily.
    Why? You've given no evidence as to why this statement follows if you assume that [itex]\infty \times 0 = 1[/itex].
    Setting aside the fact that the first sentence is an argument from authority, I think if you want to explore some of the issues of mathematical philosophy, you list a few people whose work you might want to consult. But it's important to keep in mind that in philosophy, just as in mathematics, precision of language is of the utmost importance. Imprecision can lead to confusion: witness yourself with the concept that the empty set is self-disjoint. Because you came into the discussion with a preconceived notion of the definition of "disjoint," you had trouble understanding how a set can be disjoint with itself. Once the language is made more precise, though, (hopefully) you've seen how such a situation can arise.
     
  18. Oct 26, 2014 #17

    pwsnafu

    User Avatar
    Science Advisor

    There are plenty of mathematical structures that contain infinitesimals. In all of them infinitesimals are non-zero.
    This is because the word "infinitesimal" is defined that way. That's the entire point of introducing the concept of infinitesimals in the first place.
     
  19. Oct 27, 2014 #18
    Okay guys, thanks for the constructive remarks. It is much clearer to me now. As you might have guessed, formal logic & math is not my forte (in fact I have dyscalculia so I really have to struggle to understand these things).

    There is, however, still one remark I would like to make. TeethWhitener mentioned the axiom of extensionality and I think that underpins what I am trying to say concerning the empty set. Consider the following argument:

    1. Axiom of extensionality: sets are identical iff they have all their elements in common.
    2. The empty set has no elements in common with itself (i.e. ∅∩∅=∅).
    3. Hence, given 1 en 2, ∅≠∅.

    So what's wrong with this reasoning? Maybe I'm saying something really stupid... If that is the case, I'm sorry for imposing on your time, but could you please explain to me where the mistake is?
     
  20. Oct 27, 2014 #19
    Okay, I've been frantically searching the internet to learn more about this issue.

    It seems that the philosophet E.J. Lowe makes a similar point:

    "It is not clear to me that the empty set has well-defined identity-conditions. A set has these only to the extent that its members do - but the empty set has none." (Lowe,E.J.: 'The Possibility of Metaphysics' [OUP 2001], p.254, n.8)

    For Lowe this is a reason to reject the empty set. That's not a conclusion I would draw however.
     
  21. Oct 27, 2014 #20

    TeethWhitener

    User Avatar
    Science Advisor
    Gold Member

    Again, this has to do with imprecision in the language. This time it's my fault. Formally, the axiom of extensionality states:
    [tex]\forall A \forall B (\forall x ( x \in A \longleftrightarrow x \in B) \longrightarrow A = B)[/tex]
    But for the empty set, [itex]x \in A[/itex] and [itex]x \in B[/itex] are both false for all x. Since both members of the biconditional are false, the biconditional itself evaluates to true. And since the biconditional (plus quantifier) is the antecedent of the overall conditional, the only way for the axiom to evaluate to true is if A=B also evaluates to true. Hopefully an increase in precision helps out the understanding a little bit.

    Incidentally, you might be wondering why the axiom of extensionality is taken as true at all. This is, in fact, a philosophical question, and one that philosophers (especially philosophers of language) have spent a good deal of time on. I won't violate forum etiquette by delving too deeply into a philosophical discussion here, but if you want more info, it may interest you to look into intensional logic and type theory as alternatives to set theory. Briefly (and with a considerable loss of precision), extensionality is, in a sense, the notion that two objects are equal if and only if all the properties that we can know about them are equal. This works well in math, but less well in language, where reference and meaning can be separated. But there are philosophers and logicians who have explored the implications of intensionality, that is, that objects can have unobservable internal properties that make them unequal to other objects to which they are extensionally equal. Ok, done with the philosophical discussion. Good luck.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Empty set disjoint with itself paradoxical?
  1. Empty set and subset? (Replies: 18)

  2. The empty set (Replies: 20)

Loading...