Ask your own question, for FREE!
Mathematics 12 Online
OpenStudy (swissgirl):

Use a cardinality argument to prove that there is no universal set for all sets

OpenStudy (turingtest):

this should be good

OpenStudy (jamesj):

This relies on the idea that the cardinality of a set A is strictly less than the cardinality of the power set of A, P(A).

OpenStudy (swissgirl):

So is it smth like this ? \( card(U) \leq card(P(U)) \) but \( P(U) \subset U\)

OpenStudy (turingtest):

so... that means that for the set of supposedly every possible element A we can construct a power set P(A) that has a higher cardinality, and therefore contains elements not in A ??? (just taking a stab at it)

OpenStudy (jamesj):

P(U)⊂U ??? That's clearly false!

OpenStudy (turingtest):

I was gonna say...

OpenStudy (swissgirl):

well its the universal subset

OpenStudy (swissgirl):

let me try again

OpenStudy (turingtest):

but James just said that P(A) has a higher cardinality than A how could P(U)⊂U ??

OpenStudy (jamesj):

However, it is true that if U exists, then P(U) = U. Now you can obtain a contradiction.

OpenStudy (swissgirl):

Turing how wld u show that its a proper subset in latex

OpenStudy (turingtest):

what do you mean? I'm not sure what symbol you are referring too

OpenStudy (swissgirl):

|dw:1344641659469:dw| with that equal sign underneath

OpenStudy (turingtest):

\subseteq\[\subseteq\]

OpenStudy (swissgirl):

ohhhh ok thanks

OpenStudy (turingtest):

http://omega.albany.edu:8008/Symbols.html

OpenStudy (turingtest):

for future reference and welcome for my minor contribution :P

OpenStudy (swissgirl):

Thanks James

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!