http://www.makepovertyhistory.org I paid tax
Monday, August 23, 2004

freaking hot weather!!! TIAN YU!!! give me back my rain!! haha dun just keep it for urself in France!! haha ok i'm on the verge of going nuts... haha anyway today i think yang yue took us for set theory... and i must say he's damn good!! haha anyway got a very nice proof which i shall write here...

Cantor's Theorem: The cardinality of the power set of any set X is strictly greater than the cardinality of X.

Proof. First we show that card(X) less than or equals to card(P(X)). To do this, we need only prove that there exists an injection from X onto P(X). Let f:X->P(X) where f(x) = {x}. Clearly f is well defined and injective. Therefore card(X) less than or equals to card(P(X)). In order to show that card(X) cannot be equal to card(P(X)), we show that there cannot exist a surjection bewteen these 2 sets. We suppose, for the sake of contradiction, that g is one such function. To proceed, we need to show that there is an element in P(X) that does not lie in the image set of g on X (ie. we will show that there is a subset of X that does not lie in the range of g. We now define a set A which is a subset of X as follows: A={x ε X : x NOT ε g(x)}. Now, since g is surjective, A must lie in the range of g (ie there exisit an element a ε X such that f(a)= A. However, a ε A=f(a) => a ε f(a) but a ε f(a) => a NOT ε f(a) which is a contradiction. Similiarly if a NOT ε A=f(a) => a NOT ε f(a) but a NOT ε f(a) => a ε f(a) which is also a contradiction. Therefore for any set X, card(X) is strictly less than card(P(X)).

phew... i din think i would be able to provide the proof... haha finally understand it... hmm this seems like a good idea... haha writing down proofs that took me a while to understand... haha really drills it in... haha this one in particular is sooooo elegant!! haha... hmmm anywayz i think more proofs on analytic number theory shld be coming soon... haha really confused with that topic... hee... anyway... think i had enuff for tonight... frends coming up... haha... okie... time to rest... hee hee ciao!

overheated!!

had breakfast with gerri at ghim moh today...


{9:08 PM}

0 Comments:

Post a Comment

profile
20 sec interval

links
Blogger
ATP
WTA
Mew
IBF
Justine Henin-Hardenne
Tim Henman
Elena Dementieva
Lindsay Davenport
David Nalbandian
蔡赟
ì „ìž¬ì—°
�용대
í™©ìœ ë¯¸

Speak
Shoutbox

past
August 2004
September 2004
October 2004
November 2004
December 2004
January 2005
February 2005
March 2005
April 2005
May 2005
June 2005
July 2005
August 2005
September 2005
October 2005
November 2005
December 2005
January 2006
February 2006
March 2006
April 2006
May 2006
June 2006
July 2006
August 2006
September 2006
October 2006
November 2006
December 2006
January 2007
February 2007
March 2007
April 2007
May 2007
June 2007
July 2007
August 2007
September 2007
October 2007
November 2007
December 2007
January 2008
February 2008
March 2008
April 2008
May 2008
June 2008
July 2008
August 2008
September 2008
October 2008
November 2008
December 2008
January 2009
February 2009
March 2009
April 2009
May 2009
July 2009


layout

Layout: blique
Get awesome blog templates like this one from BlogSkins.comGet awesome blog templates like this one from BlogSkins.comGet awesome blog templates like this one from BlogSkins.com