Results 1 to 2 of 2

Math Help - prove that the set of real numbers is not a countable set

  1. #1
    Newbie
    Joined
    Mar 2009
    Posts
    1

    prove that the set of real numbers is not a countable set

    1. Prove that R is equivalent to (0,1) and (0,1) is equivalent to [0,1]. Conclude that R is equivalent to R. Now prove that [0,1] is uncountable. Consider an arbitrary function f: J--> [0,1] and prove that im f is not equal to [0,1]. Thus, there is no function from J onto [0,1], and so [0,1] is uncountable. Suppose that T is a function from J to [0,1].
    2. Show that there are sequences {a_n}from infinity when n=1 and {b_n} from infinity when n=1 such that [a_1, b_1] is a subset [0,1], and for each n E J, [a_n+1 , b_n+1] is a subset [a_n, b_n] and T(n) is not an element of [a_n, b_n]
    3. Show that {a_n} from infinity when n=1 converges; call the limit A.
    4. Prove that A E [a_n, b_n] for each n E J. Conclude that A is not an element im T.
    5. Finish the proof that [0,1] is uncountable.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,453
    Thanks
    1868
    Quote Originally Posted by rosebud View Post
    1. Prove that R is equivalent to (0,1) and (0,1) is equivalent to [0,1]. Conclude that R is equivalent to R.
    surely that is not what the problem says! That R is equivalent to [0,1] would follow from this but "R is equivalent to R" is trivial.

    To prove that R is equivalent to (0,1), look at the function f(x)= \frac{1}{x(x-1)}. To prove that (0,1) is equivalent to [0,1], write the rational numbers in (0, 1) in an ordering \{r_1, r_2, r_3, ...\} (which is possible because the rational numbers are countable) and define f(x)= x if x is irrational, f(r_1)= 0, f(r_2)= 1, f(r_n)= r_{n-1} for n>2.

    Now prove that [0,1] is uncountable. Consider an arbitrary function f: J--> [0,1] and prove that im f is not equal to [0,1]. Thus, there is no function from J onto [0,1], and so [0,1] is uncountable. Suppose that T is a function from J to [0,1].
    2. Show that there are sequences {a_n}from infinity when n=1 and {b_n} from infinity when n=1 such that [a_1, b_1] is a subset [0,1], and for each n E J, [a_n+1 , b_n+1] is a subset [a_n, b_n] and T(n) is not an element of [a_n, b_n]
    3. Show that {a_n} from infinity when n=1 converges; call the limit A.
    4. Prove that A E [a_n, b_n] for each n E J. Conclude that A is not an element im T.
    I have no idea what "from infinity" means here.

    5. Finish the proof that [0,1] is uncountable.
    Last edited by mr fantastic; April 1st 2009 at 03:28 PM. Reason: Added a [/math] tag and fixed some latex.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: January 9th 2013, 07:14 AM
  2. Prove equality (real numbers)
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: October 18th 2011, 12:42 PM
  3. Prove positive real numbers a,b,c.
    Posted in the Algebra Forum
    Replies: 31
    Last Post: August 7th 2011, 04:04 PM
  4. Replies: 10
    Last Post: December 9th 2010, 05:42 AM
  5. Replies: 2
    Last Post: October 1st 2009, 12:58 PM

Search Tags


/mathhelpforum @mathhelpforum