Try something simpler. What is the Cardinality of all sets with ONE element?Originally Posted by ThePerfectHacker
RonL
I already asked the following 2 question but they were not answer thus I shall ask them again.
1)Are the cardinal numbers countable?
2)Are the cadinal numbers dense; meaning, for there exists a such as . For example, the rationals and the reals are dense? (Perhaps this is connected to the continuum hypothesis?)
3)Finally we get to a question to is making me go insane! I was thinking about this when I was falling asleep. Consider the set of all FINITE sets. What is the cardinality of this set?!?! I was able to prove (although not formally but you can consider it to be a proof) with the property of the power set, that I can make the cardinality of this set as large as I like!!!!! Thus, there is no cardinal number for this set!!!! When I was falling asleep a solution entered my mind. Who says that any infinite set must have a cardinal number? Perhaps, that reasoning is not true. And this is such a case. Thus, I decided to this the "super-cardinal number". Just as a cardinal number always excedes any natural number (cardinality of finite sets) so too the supercardinal number excedes any cardinal number (cardinality for SOME infinite sets). What happened?
I'm being elliptic. I promise to be more direct in future.Originally Posted by ThePerfectHacker
When I ask about the cardinality of all sets with one element I am trying
to get you to think about "sets of what?". I want you to do this because
I suspect you have in mind something like a set of all sets.
The reason this is something to think about is because such an entity is
not well defined or unparadoxical.
RonL
Originally Posted by ThePerfectHacker
Ad 2. It is the continuum hypothesis (generalised). It states that there is no cardinal number between and thus the set of cardinal numbers is not dense.
Ad 3. Yes if we assume that generalised continuum hypothesis is true. Let us imagine sequence that it's first element is 0, the second element is , the third 1, the fourth and so on... it is
Due to continuum hypothesis we can't miss any infinite cardinal, and because natural numbers are countible we can't miss them either.
Ad 3.
And it is very interesting. What is that proof?
Just as the set of all sets does not exist, maybe the set of all finite sets also. But I cannot imagine the proof of this fact is like this one Russel did. Maybe the fact that it does not really have cardinallity could be such proof. Interesting.
My proof is not going to be very formal (and I do not need the countinuum hypothesis ) I am going to be working with a set of sets having single elements. This is what CaptainBlack proposed because I think it would be easier.
Let the natural numbers. Thus, is larger (the property of a power set). Thus, having the cardinality greater than . But the previous demonstration is the the uninon of all sets having single elements. Further, by the properties of the power set we have that is even larger. Thus, is the union of sets having a single element. This is even larger then the previous one. Thus, using this construction we can construct the cardinality of "the sets of all finite sets" to be as large as we like. Thus there is no such cardinal number. Now the conclusion I draw from this that some sets can be so large that you cannot use cardinals numbers anymore, and thus there is no problem with this set.
I asked some people about this problem, and they have no idea. I hope someone finds a solution to my problem. Perhaps, the problem is that no one ever considered this set.
CaptainBlack, you mention a "well-defined set" I heard this term many times before and wanted to ask what it mean? Further I happen to know that the "Super-set" the set of all sets is not well defined and thus we cannot use it. Further, my set is the set of all FINITE sets and it itself is infinite, thus it is not an element of itself. I see no problem with my set.
Suppose such a set of all sets exists, then each of its subsets is an elementOriginally Posted by ThePerfectHacker
of it, hence it contains its Power Set. Hence the Cardinality of its Power
Set is less than or equal to its Cardinality.
But you will have seen a proof that the Cardinality of the Power Set of a Set
is strictly greater than the cardinality of the Set itself - Contradiction
RonL
So, we have all to prove that the set of all one-element sets does not exist. Let denote the set of all one-element sets.
Using Cantor theorem we have that the cardinality of is greater than the cardinality of .
Suppose that The set {X} satisfies by the definition thus there exist an injection from to . This way: . It is in contradiction with Cantor theorem thus the set does not exist.
I've heared that there is the sollution of your problem. The set of all sets does not exist, however there exists the class of all sets. The class theory was founded by von Neumann and Bernays. In thirties Kurt Godel have created axiomatic system of class theory. More details I don't know.
AH!!!!!!Originally Posted by CaptainBlack
But you are assuming that it has a CARDINALITY!!!!
Not necessarily it has a cardinal number, did Canotr prove that each infinite set has a cardinal number???
I demonstrated that this is false by construction the set of all finite sets.
How can a set not existsOriginally Posted by albi
I was reading on Wikipedia that first we have Naive set theory which rested on intuition then Axiomatic set theory came along and removed all the paradoxes in set theory. Thus, I understand that a set (even though undefined) must satisfy some condition to be a set, right? Thus, my set does not satisfiy that.
Important, you set my problem was the set of all sets, and I know that no such set exists (called superset), but my problem is more reasonable that it is a set of all finite sets. Again, I am not speaking about the Superset overhere, taking about a completely different set.
No I'm not, Cardinality denotes a relationship between sets.Originally Posted by ThePerfectHacker
We say set has a greater than or equal cardinality to set
if there exists a one-one mapping from into .
We say set has a cardinality equal to that of a set if there
exists a one-one mapping from into , and there exists a
one-one mapping from into
The proof that the Cardinality of the Power Set of a set is strictly greater
than the cardinality of the set itself is a proof the there is a one-one
mapping form the set into the Power Set, but that there is no such one-one
mapping from the Power Set into the Set itself.
Thus our contradiction stands.
RonL
(note into in this context includes onto)
Read again. I'm not talking about universum (or superset as you are saying). I am talking about , it is the set of all ONE-ELEMENT sets.Originally Posted by ThePerfectHacker
I don't know what Cantor was thinking about cardinal numbers. However I have seen two (similar!) attitudes to this problem in my Set Theory book.Originally Posted by ThePerfectHacker
We can simply introduce an axiom that every set has cardinal number. (For every set there exists cardinal number such as if and only if has the same number of elements as )
The second one was to introduce something called "relation type" (it is the direct translation from Polish, I was unable to find anyting about it in Wikipedia or MathWorld).
Axiom. For any relation system , there exists "relation type".
Two relation systems and have the same "relation type" iff they are isomorphic.
The cardinal number of the set is "relation type" of the system .