Uncountability of the equivalence classes of $mathbb{R}/mathbb{Q}$
$begingroup$
Let $a,bin[0,1]$ and define the equivalence relation $sim$ by $asim biff a-binmathbb{Q}$. This relation partitions $[0,1]$ into equivalence classes where every class consists of a set of numbers which are equivalent under $sim$,
My textbook states (without proof):
The set $[0,1]/sim$ consists of uncountably many of these classes, where
each class consists of countably many members.
How can I formally prove this statement?
elementary-set-theory equivalence-relations
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
asked May 2 '13 at 19:49
leoleo
261
$endgroup$
add a comment |
$begingroup$
Let $a,bin[0,1]$ and define the equivalence relation $sim$ by $asim biff a-binmathbb{Q}$. This relation partitions $[0,1]$ into equivalence classes where every class consists of a set of numbers which are equivalent under $sim$,
My textbook states (without proof):
The set $[0,1]/sim$ consists of uncountably many of these classes, where
each class consists of countably many members.
How can I formally prove this statement?
elementary-set-theory equivalence-relations
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
asked May 2 '13 at 19:49
leoleo
261
$endgroup$
1
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52
add a comment |
$begingroup$
Let $a,bin[0,1]$ and define the equivalence relation $sim$ by $asim biff a-binmathbb{Q}$. This relation partitions $[0,1]$ into equivalence classes where every class consists of a set of numbers which are equivalent under $sim$,
My textbook states (without proof):
The set $[0,1]/sim$ consists of uncountably many of these classes, where
each class consists of countably many members.
How can I formally prove this statement?
elementary-set-theory equivalence-relations
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
asked May 2 '13 at 19:49
leoleo
261
$endgroup$
Let $a,bin[0,1]$ and define the equivalence relation $sim$ by $asim biff a-binmathbb{Q}$. This relation partitions $[0,1]$ into equivalence classes where every class consists of a set of numbers which are equivalent under $sim$,
My textbook states (without proof):
The set $[0,1]/sim$ consists of uncountably many of these classes, where
each class consists of countably many members.
How can I formally prove this statement?
elementary-set-theory equivalence-relations
elementary-set-theory equivalence-relations
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
asked May 2 '13 at 19:49
leoleo
261
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
asked May 2 '13 at 19:49
leoleo
261
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
edited May 2 '13 at 19:52
Ross Millikan
300k24200374
300k24200374
asked May 2 '13 at 19:49
leoleo
261
asked May 2 '13 at 19:49
leoleo
261
asked May 2 '13 at 19:49
leoleo
261
261
1
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52
add a comment |
1
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52
1
1
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If you know $Bbb Q$ is countable, that covers the second half. Then use the fact that a countable union of countable sets is again countable to show that there must be uncountably many classes.
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
$endgroup$
add a comment |
$begingroup$
Given $a in [0,1]$, the class of $a$ is ${a + q : a+qin[0,1], qinmathbb Q}$, so this class has the cardinality $aleph_0$. Now suppose there are countably many classes. The union of countably many countable sets is again countable, so you obtain that $[0,1]$ is countable, which is a contradiction. So there are uncountably many classes of equivalence under ~.
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f379591%2funcountability-of-the-equivalence-classes-of-mathbbr-mathbbq%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If you know $Bbb Q$ is countable, that covers the second half. Then use the fact that a countable union of countable sets is again countable to show that there must be uncountably many classes.
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
$endgroup$
add a comment |
$begingroup$
If you know $Bbb Q$ is countable, that covers the second half. Then use the fact that a countable union of countable sets is again countable to show that there must be uncountably many classes.
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
$endgroup$
add a comment |
$begingroup$
If you know $Bbb Q$ is countable, that covers the second half. Then use the fact that a countable union of countable sets is again countable to show that there must be uncountably many classes.
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
$endgroup$
If you know $Bbb Q$ is countable, that covers the second half. Then use the fact that a countable union of countable sets is again countable to show that there must be uncountably many classes.
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
answered May 2 '13 at 19:53
Ross MillikanRoss Millikan
300k24200374
300k24200374
add a comment |
add a comment |
$begingroup$
Given $a in [0,1]$, the class of $a$ is ${a + q : a+qin[0,1], qinmathbb Q}$, so this class has the cardinality $aleph_0$. Now suppose there are countably many classes. The union of countably many countable sets is again countable, so you obtain that $[0,1]$ is countable, which is a contradiction. So there are uncountably many classes of equivalence under ~.
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
$endgroup$
add a comment |
$begingroup$
Given $a in [0,1]$, the class of $a$ is ${a + q : a+qin[0,1], qinmathbb Q}$, so this class has the cardinality $aleph_0$. Now suppose there are countably many classes. The union of countably many countable sets is again countable, so you obtain that $[0,1]$ is countable, which is a contradiction. So there are uncountably many classes of equivalence under ~.
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
$endgroup$
add a comment |
$begingroup$
Given $a in [0,1]$, the class of $a$ is ${a + q : a+qin[0,1], qinmathbb Q}$, so this class has the cardinality $aleph_0$. Now suppose there are countably many classes. The union of countably many countable sets is again countable, so you obtain that $[0,1]$ is countable, which is a contradiction. So there are uncountably many classes of equivalence under ~.
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
$endgroup$
Given $a in [0,1]$, the class of $a$ is ${a + q : a+qin[0,1], qinmathbb Q}$, so this class has the cardinality $aleph_0$. Now suppose there are countably many classes. The union of countably many countable sets is again countable, so you obtain that $[0,1]$ is countable, which is a contradiction. So there are uncountably many classes of equivalence under ~.
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
answered May 2 '13 at 19:55
zarathustrazarathustra
4,15011029
4,15011029
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f379591%2funcountability-of-the-equivalence-classes-of-mathbbr-mathbbq%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
The classes are disjoint and each class is countable. If the the set of classes were countable, then the union of all classes would be ....., but $[0,1]$ is ....
$endgroup$
– Amr
May 2 '13 at 19:52