Then it is possible that the real number m appears on

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Then it is possible that the real number M appears on our list. Provide a list of real numbers for which this happens. (Recall that 0 . 1999 . . . = 0 . 2.) (B+S 3.3.21; modified a bit because the presentation of Cantor’s proof in the text is different from the one done in class) Solution We want a list of real numbers which has 2s down the diagonal (except for perhaps at the beginning); then this process will generate a real number ending in infinitely many 9s, thus making the ambiguity possible. So we construct a sequence for which this process will give . 2999 . . . , and make sure . 3 (which equals . 2999 . . . ) is on our list. One possible list is r 1 = . 30000 . . . r 2 = . 22000 . . . r 3 = . 22200 . . . r 4 = . 22220 . . . r 5 = . 22222 . . . where the n th number on the list, r n , consists of n 2s and then infinitely many zeroes. 1
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
3. Suppose that Words is the set defined by Words = { all, you, infinity, found, them, search, the, it } . Consider the following pairing of elements of Words with elements of P(Words): Elements of Words Elements of P(Words) all { all, infinity, found } you { it, search, them } infinity { all, them, infinity } found { you, the, it } them { found, them } search { all, infinity, search } the { the, search } it { infinity, you, all } Using the idea of Cantor’s proof of the uncountability of the reals, describe a particular element of P(Words) that is not on this list. (B+S 3.4.13) Solution. We construct a set M that contains the element x if and only if the set paired with x does not contain the element x . So, for example, the set paired with “all” contains “all”, so M does not contain “all”. The set paired with “you” contains “you”, so M does not contain “you”. Continuing in this vein gives the set { you, found, it } . (I should have said “using the idea of Cantor’s proof of the power set theorem”; in a deep sense the uncountability of the reals and the power set theorem are the “same idea”, but this misled some people into trying to construct diagonal arguments.
Image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern