3 dense uncountable pairwise disjoint subsets of real line
$begingroup$
Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?
I feel like it's not possible.
I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.
real-analysis general-topology real-numbers
$endgroup$
add a comment |
$begingroup$
Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?
I feel like it's not possible.
I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.
real-analysis general-topology real-numbers
$endgroup$
1
$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16
add a comment |
$begingroup$
Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?
I feel like it's not possible.
I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.
real-analysis general-topology real-numbers
$endgroup$
Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?
I feel like it's not possible.
I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.
real-analysis general-topology real-numbers
real-analysis general-topology real-numbers
edited Dec 4 '18 at 16:36
amWhy
1
1
asked Dec 4 '18 at 16:29
ChakSayantanChakSayantan
1426
1426
1
$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16
add a comment |
1
$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16
1
1
$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.
Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$
Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.
$endgroup$
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
add a comment |
$begingroup$
Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.
Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.
Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.
Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.
$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%2f3025786%2f3-dense-uncountable-pairwise-disjoint-subsets-of-real-line%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$
Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.
Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$
Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.
$endgroup$
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
add a comment |
$begingroup$
Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.
Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$
Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.
$endgroup$
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
add a comment |
$begingroup$
Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.
Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$
Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.
$endgroup$
Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.
Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$
Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.
answered Dec 4 '18 at 16:53
Not MikeNot Mike
36329
36329
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
add a comment |
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
$endgroup$
– ChakSayantan
Dec 4 '18 at 17:13
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
You take the union
$endgroup$
– Not Mike
Dec 4 '18 at 17:26
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
then is it dence in R? I can't view it properly
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:17
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
$endgroup$
– Not Mike
Dec 4 '18 at 19:02
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
$begingroup$
ah! Got it. Thanks.
$endgroup$
– ChakSayantan
Dec 4 '18 at 19:05
add a comment |
$begingroup$
Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.
Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.
Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.
Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.
$endgroup$
add a comment |
$begingroup$
Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.
Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.
Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.
Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.
$endgroup$
add a comment |
$begingroup$
Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.
Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.
Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.
Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.
$endgroup$
Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.
Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.
Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.
Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.
edited Dec 4 '18 at 23:15
answered Dec 4 '18 at 22:33
bofbof
51.4k557120
51.4k557120
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%2f3025786%2f3-dense-uncountable-pairwise-disjoint-subsets-of-real-line%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$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40
$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43
$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila♦
Dec 4 '18 at 17:22
$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07
$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16