summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorarathir <arathir2890@gmail.com>2010-07-09 04:47:59 +0000
committerbnewbold <bnewbold@adelie.robocracy.org>2010-07-09 04:47:59 +0000
commit9628efc82174c13e5d4f7c668706473f55ef3e68 (patch)
treeb5a738d5c00ed1eb89f850ed412b922a019f08be
parent8eeba1a9c4251da8dada1910d180b29a5c74985e (diff)
downloadafterklein-wiki-9628efc82174c13e5d4f7c668706473f55ef3e68.tar.gz
afterklein-wiki-9628efc82174c13e5d4f7c668706473f55ef3e68.zip
fixed typos
-rw-r--r--Problem Set 2.page4
1 files changed, 2 insertions, 2 deletions
diff --git a/Problem Set 2.page b/Problem Set 2.page
index c0114b5..dbf069d 100644
--- a/Problem Set 2.page
+++ b/Problem Set 2.page
@@ -106,8 +106,8 @@ Proofs:
-$2^{\mathbb{N}} = \mathbf{R}$ by writing a given real number $r$ as a (possibly infinite) set of natural numbers. For example, write $pi$ as the set of rational numbers $\{3,0.1,0.04,0.001,0.005,...\}$, then replace each number with the natural number it would map to under the bijection $\mathbb{Q}=\mathbf{N}$.
-2. So we assume that there is some bijection f between all the elements in $X$ and $2^X$. This means that we can map every element in X to an element in $2^X$. For all the $x \in X$ atleast one x must map to a set in $2^X$ that does not contain itself. This is true since, we know that the empty set is a member of $2^X$, so one of the elements in X must map to the empty set.So lets look at all the $x \in X$ that map to sets in $2^X$ that do not contain the element x. All of these elements that map to an element in $2^X$ that do not contain themselves must be contained in another set that is a member of $2^X$. Since there is a bijection between $X$ and $2^X$, there must be some other
-$x \in X$ that points to this set we just created. However, if some other $x \in X$ points to this set, it also points to a set that does not contain itself. Therefore there must be some other set that contains it. Each time you try to create this set, you create another element that does not point to itself. Therefore, in order to have a bijection between $X$ and $2^X$ all $x \. X$ must point to sets in $2^X$ that contain themselves, but we know that this isn't true since atleast one element in X should point to the empty set.
+2. So we assume that there is some bijection $f$ between all the elements in $X$ and $2^X$. This means that we can map every element in $X$ to an element in $2^X$. For all the $x \in X$ atleast one $x$ must map to a set in $2^X$ that does not contain itself. This is true since, we know that the empty set is a member of $2^X$, so one of the elements in $X$ must map to the empty set.So lets look at all the $x \in X$ that map to sets in $2^X$ that do not contain the element x. All of these elements that map to an element in $2^X$ that do not contain themselves must be contained in another set that is a member of $2^X$. Since there is a bijection between $X$ and $2^X$, there must be some other
+$x \in X$ that points to this set we just created. However, if some other $x \in X$ points to this set, it also points to a set that does not contain itself. Therefore there must be some other set that contains just this element and an $x \in X$ must point to this set. Each time you try to create this set, you create another element that does not point to itself. Therefore, in order to have a bijection between $X$ and $2^X$ all $x \. X$ must point to sets in $2^X$ that contain themselves, but we know that this isn't true since atleast one element in $X$ should point to the empty set.
# Comments