summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorluccul <luccul@gmail.com>2010-07-06 04:13:59 +0000
committerbnewbold <bnewbold@adelie.robocracy.org>2010-07-06 04:13:59 +0000
commit1fe1ef1eb46b08427c0039e03c9f72489c341572 (patch)
tree34807dced7cac7b2253db85f93303edc0c74e6f5
parent0c19db3ab7fcce14941d69fa589881a6a8dfafb4 (diff)
downloadafterklein-wiki-1fe1ef1eb46b08427c0039e03c9f72489c341572.tar.gz
afterklein-wiki-1fe1ef1eb46b08427c0039e03c9f72489c341572.zip
grammar
-rw-r--r--Problem Set 2.page2
1 files changed, 1 insertions, 1 deletions
diff --git a/Problem Set 2.page b/Problem Set 2.page
index 3801c8e..2b9e5c6 100644
--- a/Problem Set 2.page
+++ b/Problem Set 2.page
@@ -107,7 +107,7 @@ Proofs:
# Comments
-Here are some issues with the above solutions. Feel free to make corrections, even if they weren't the original poster. However, if you do decide to redo a solution, please don't delete the old one, so that people can see where the old idea went wrong and how it was fixed.
+Here are some issues with the above solutions. Feel free to make corrections, even if you weren't the original poster. However, if you do decide to redo a solution, please don't delete the old one, so that people can see where the old idea went wrong and how it was fixed.
- The map from $\mathbb{Z} \times \mathbb{Z}$ to $\mathbb{Q}$ sending a pair $(a,b)$ to a ratio $\frac{a}{b}$ is right in principle, but not exactly right. One minor problem with it is that the map is not defined when $b = 0$. Another more serious issue is that multiple pairs can map to the same rational. For example the pairs $(2,1)$ and $(4,2)$ each map to the rational number $2$. So, while it's true that every rational number is a ratio of some pair, it's not true that there's a \emph{unique} such pair. To make it unique, you might demand that the pair be in lowest terms (and there's also an issue with negative numbers that you'd have to incorporate into the idea of lowest terms) but then you would have a bijection between some of $\mathbb{Q}$ with some subset of $\mathbb{Z} \times \mathbb{Z}$ rather than all of $\mathbb{Z} \times \mathbb{Z}$. So a little bit more is needed to make this work.