[Russell's Paradox] Help with Notation

  • Thread starter neutrino
  • Start date
  • #1
2,076
2
Before I get on with my question, I'll have to make it clear that the only set theory I've encountered can be found in the first few pages of a high-school or college-level book.

Now, let me come to the question. Looking for a mathematical explanation of the source of Russell's paradox, I went to this page: http://planetmath.org/encyclopedia/RussellsParadox.html [Broken]

I came across this -> [tex]S = \left\{x:x\notin x \right\}[/tex]. If I read the notation correctly, it says, let S be a set of all x, such that x does not belong to/is not a member of x. What exactly does that mean? How can an element of a set belong or, in this case, not belong to itself?
 
Last edited by a moderator:

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,420
4
Yes, it is a strange thing to get your head round to begin with: how can a set contain, or not contain, itself as a an element.

It is easier to write out a 'set' that *does* contain itself as an element.

Let S be the 'set'

S={The set of mathematical objects that can be described in fewer than 100 words}

S is an element of itself since I described it in fewer than 100 words.

I suppose the point is that if we allow ourselves to be careless when defining the rules for an element to belong to a set, we start to create things that really don't behave like a set should. Thus we have to disallow such things from being called sets. It doesn't mean they are any less existant than other collections of objects, just that we can't call them sets because they don't behave like sets ought to.
 
  • #3
2,076
2
Matt,
Before I actually delve into the depths of the paradox :biggrin:, I wanted to know about the notation [tex]x\notin x[/tex]. Shouldn't the letter on right be the symbol for a set rather than an element of a set?
 
  • #4
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
neutrino said:
Shouldn't the letter on right be the symbol for a set rather than an element of a set?
x is a varaible denoting a set.

In fact, in axiomatic set theory, we often have that everything is a set.
 
Last edited:
  • #5
matt grime
Science Advisor
Homework Helper
9,420
4
It is perfectly possible for something to be a set and an element of some set.

In the example I gave it is 'true' that [itex] S \in S[/itex]. There really isn't much depth to the paradox at all. If one says that 'a set is a collection of objects satsfying some rule' always defines a set then you can create things that ought to be sets, but cannot be sets.

The depth is in the measures one takes to avoid the paradox.
 
Last edited:
  • #6
2,076
2
Okay, I think I'm getting a hold of this, though, very slowly. In the case of the Barber Paradox what do S and x denote?
 
  • #7
matt grime
Science Advisor
Homework Helper
9,420
4
There is no S nor an x on that page. The Barber's paradox is a similar paradox, but I would not say they are the same. They are similar because one is led to conclude that both some statement P, and its negation, must be true. In the latter it is that the barber shaves himself, and that he does not shave himself.
 
Last edited:
  • #8
2,076
2
Actually, I only included the link for someone following this thread who may not be familiar with the paradox. The S and x can be found in the first link. :)

So if they are not similar, could you please give me an example for [tex]S = \left\{x:x\notin x \right\}[/tex]? I think it'll be easier [for me] to understand with an example.
 
  • #9
matt grime
Science Advisor
Homework Helper
9,420
4
Eh? The S of yuor post S is the set of all sets that do not contain themselves. I can't do more than give an example than tell you what it is, can I?

I gave an example of a set (S in my first post, which is not the same as your S) that does contain itself, and it is trivial to give sets that do not contain themselves.

The set {x : x not in x} is the collection of the latter type of 'sets'.
 
  • #10
2,076
2
matt grime said:
I can't do more than give an example than tell you what it is, can I?
Yes, of course. :smile:

Thanks for the help, matt. This discussion only makes me want to learn more. Are there books (print/online) that you would recommend on the basics of set theory that go beyond the intuitive intros found in most books?
 

Related Threads on [Russell's Paradox] Help with Notation

  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
13
Views
7K
  • Last Post
Replies
10
Views
1K
Replies
9
Views
7K
Replies
5
Views
3K
  • Last Post
Replies
2
Views
3K
Replies
1
Views
3K
Replies
58
Views
6K
  • Last Post
Replies
5
Views
2K
Top