How many disjoint dense subsets can a topological space possess?
$begingroup$
Let's consider $X$ a topological space. Let's say that $X$ is Hausdorff but not compact.
Can there be in $X$ two disjoint dense subsets $S_1$ and $S_2$? If the answer is yes, then is there a limit to the number of disjoint dense subsets that we can find in $X$? Does the situation change if I drop the Hausdorff condition?
Edit: $X$ is not discrete, but for simplicity let's start with $X=mathbb{R}$.
general-topology algebraic-topology geometric-topology
$endgroup$
add a comment |
$begingroup$
Let's consider $X$ a topological space. Let's say that $X$ is Hausdorff but not compact.
Can there be in $X$ two disjoint dense subsets $S_1$ and $S_2$? If the answer is yes, then is there a limit to the number of disjoint dense subsets that we can find in $X$? Does the situation change if I drop the Hausdorff condition?
Edit: $X$ is not discrete, but for simplicity let's start with $X=mathbb{R}$.
general-topology algebraic-topology geometric-topology
$endgroup$
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39
add a comment |
$begingroup$
Let's consider $X$ a topological space. Let's say that $X$ is Hausdorff but not compact.
Can there be in $X$ two disjoint dense subsets $S_1$ and $S_2$? If the answer is yes, then is there a limit to the number of disjoint dense subsets that we can find in $X$? Does the situation change if I drop the Hausdorff condition?
Edit: $X$ is not discrete, but for simplicity let's start with $X=mathbb{R}$.
general-topology algebraic-topology geometric-topology
$endgroup$
Let's consider $X$ a topological space. Let's say that $X$ is Hausdorff but not compact.
Can there be in $X$ two disjoint dense subsets $S_1$ and $S_2$? If the answer is yes, then is there a limit to the number of disjoint dense subsets that we can find in $X$? Does the situation change if I drop the Hausdorff condition?
Edit: $X$ is not discrete, but for simplicity let's start with $X=mathbb{R}$.
general-topology algebraic-topology geometric-topology
general-topology algebraic-topology geometric-topology
edited Dec 6 '18 at 12:51
Brahadeesh
6,22242361
6,22242361
asked Mar 9 '16 at 18:29
user3419user3419
333
333
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39
add a comment |
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
As Captain Lama noted in the comments, you can get uncountably many pairwise disjoint dense subsets of $Bbb R$.
Define a relation $sim$ on $Bbb R$ by $xsim y$ if and only if $x-yinBbb Q$. It’s easy to check that $sim$ is an equivalence relation, so the $sim$-equivalence classes form a partition of $Bbb R$. Each of these equivalence classes is countable, and their union is $Bbb R$, so there must be uncountably many of them (indeed, $|Bbb R|=mathfrak{c}$ of them).
Finally, each of them is dense in $Bbb R$. To see this, let $(a,b)$ be a non-empty open interval in $Bbb R$, and let $xinBbb R$ be arbitrary; we want to show that there is some $yin(a,b)$ that is in the same $sim$-class as $x$, i.e., such that $xsim y$. $Bbb Q$ is dense in $Bbb R$, so there is a $qin(a-x,b-x)capBbb Q$. Let $y=x+q$; then $xsim yin(a,b)$, as desired.
The answer in general is a bit more complicated. A space is resolvable if it is the union of disjoint dense subsets. It’s clear that a space with an isolated point cannot be resolvable, since an isolated point must belong to every dense subset of the space. Thus, from the start we should limit our attention to spaces without isolated points. The accepted answer to this question shows that if $X$ is a metric space in which every open ball has cardinality $kappa>omega$, then $X$ can be partitioned into $kappa$ dense subsets; this generalizes the result for $Bbb R$. However, as hot_queen mentions at the end of that answer, there are irresolvable Hausdorff spaces in which every non-empty open set is uncountable. You can find an example (which is even connected) at the end of the paper On connected irresolvable Hausdorff spaces, by Douglas R. Anderson.
$endgroup$
add a comment |
$begingroup$
In general could be many dense subset in a topological space $X$. As suggested take $X=mathbb{R}$, then since $mathbb{Q}$ is dense in $X$, every subset like $mathbb{Q}(sqrt{n})$ is dense, where $n$ is not a square. Clearly there are others.
$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%2f1690445%2fhow-many-disjoint-dense-subsets-can-a-topological-space-possess%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$
As Captain Lama noted in the comments, you can get uncountably many pairwise disjoint dense subsets of $Bbb R$.
Define a relation $sim$ on $Bbb R$ by $xsim y$ if and only if $x-yinBbb Q$. It’s easy to check that $sim$ is an equivalence relation, so the $sim$-equivalence classes form a partition of $Bbb R$. Each of these equivalence classes is countable, and their union is $Bbb R$, so there must be uncountably many of them (indeed, $|Bbb R|=mathfrak{c}$ of them).
Finally, each of them is dense in $Bbb R$. To see this, let $(a,b)$ be a non-empty open interval in $Bbb R$, and let $xinBbb R$ be arbitrary; we want to show that there is some $yin(a,b)$ that is in the same $sim$-class as $x$, i.e., such that $xsim y$. $Bbb Q$ is dense in $Bbb R$, so there is a $qin(a-x,b-x)capBbb Q$. Let $y=x+q$; then $xsim yin(a,b)$, as desired.
The answer in general is a bit more complicated. A space is resolvable if it is the union of disjoint dense subsets. It’s clear that a space with an isolated point cannot be resolvable, since an isolated point must belong to every dense subset of the space. Thus, from the start we should limit our attention to spaces without isolated points. The accepted answer to this question shows that if $X$ is a metric space in which every open ball has cardinality $kappa>omega$, then $X$ can be partitioned into $kappa$ dense subsets; this generalizes the result for $Bbb R$. However, as hot_queen mentions at the end of that answer, there are irresolvable Hausdorff spaces in which every non-empty open set is uncountable. You can find an example (which is even connected) at the end of the paper On connected irresolvable Hausdorff spaces, by Douglas R. Anderson.
$endgroup$
add a comment |
$begingroup$
As Captain Lama noted in the comments, you can get uncountably many pairwise disjoint dense subsets of $Bbb R$.
Define a relation $sim$ on $Bbb R$ by $xsim y$ if and only if $x-yinBbb Q$. It’s easy to check that $sim$ is an equivalence relation, so the $sim$-equivalence classes form a partition of $Bbb R$. Each of these equivalence classes is countable, and their union is $Bbb R$, so there must be uncountably many of them (indeed, $|Bbb R|=mathfrak{c}$ of them).
Finally, each of them is dense in $Bbb R$. To see this, let $(a,b)$ be a non-empty open interval in $Bbb R$, and let $xinBbb R$ be arbitrary; we want to show that there is some $yin(a,b)$ that is in the same $sim$-class as $x$, i.e., such that $xsim y$. $Bbb Q$ is dense in $Bbb R$, so there is a $qin(a-x,b-x)capBbb Q$. Let $y=x+q$; then $xsim yin(a,b)$, as desired.
The answer in general is a bit more complicated. A space is resolvable if it is the union of disjoint dense subsets. It’s clear that a space with an isolated point cannot be resolvable, since an isolated point must belong to every dense subset of the space. Thus, from the start we should limit our attention to spaces without isolated points. The accepted answer to this question shows that if $X$ is a metric space in which every open ball has cardinality $kappa>omega$, then $X$ can be partitioned into $kappa$ dense subsets; this generalizes the result for $Bbb R$. However, as hot_queen mentions at the end of that answer, there are irresolvable Hausdorff spaces in which every non-empty open set is uncountable. You can find an example (which is even connected) at the end of the paper On connected irresolvable Hausdorff spaces, by Douglas R. Anderson.
$endgroup$
add a comment |
$begingroup$
As Captain Lama noted in the comments, you can get uncountably many pairwise disjoint dense subsets of $Bbb R$.
Define a relation $sim$ on $Bbb R$ by $xsim y$ if and only if $x-yinBbb Q$. It’s easy to check that $sim$ is an equivalence relation, so the $sim$-equivalence classes form a partition of $Bbb R$. Each of these equivalence classes is countable, and their union is $Bbb R$, so there must be uncountably many of them (indeed, $|Bbb R|=mathfrak{c}$ of them).
Finally, each of them is dense in $Bbb R$. To see this, let $(a,b)$ be a non-empty open interval in $Bbb R$, and let $xinBbb R$ be arbitrary; we want to show that there is some $yin(a,b)$ that is in the same $sim$-class as $x$, i.e., such that $xsim y$. $Bbb Q$ is dense in $Bbb R$, so there is a $qin(a-x,b-x)capBbb Q$. Let $y=x+q$; then $xsim yin(a,b)$, as desired.
The answer in general is a bit more complicated. A space is resolvable if it is the union of disjoint dense subsets. It’s clear that a space with an isolated point cannot be resolvable, since an isolated point must belong to every dense subset of the space. Thus, from the start we should limit our attention to spaces without isolated points. The accepted answer to this question shows that if $X$ is a metric space in which every open ball has cardinality $kappa>omega$, then $X$ can be partitioned into $kappa$ dense subsets; this generalizes the result for $Bbb R$. However, as hot_queen mentions at the end of that answer, there are irresolvable Hausdorff spaces in which every non-empty open set is uncountable. You can find an example (which is even connected) at the end of the paper On connected irresolvable Hausdorff spaces, by Douglas R. Anderson.
$endgroup$
As Captain Lama noted in the comments, you can get uncountably many pairwise disjoint dense subsets of $Bbb R$.
Define a relation $sim$ on $Bbb R$ by $xsim y$ if and only if $x-yinBbb Q$. It’s easy to check that $sim$ is an equivalence relation, so the $sim$-equivalence classes form a partition of $Bbb R$. Each of these equivalence classes is countable, and their union is $Bbb R$, so there must be uncountably many of them (indeed, $|Bbb R|=mathfrak{c}$ of them).
Finally, each of them is dense in $Bbb R$. To see this, let $(a,b)$ be a non-empty open interval in $Bbb R$, and let $xinBbb R$ be arbitrary; we want to show that there is some $yin(a,b)$ that is in the same $sim$-class as $x$, i.e., such that $xsim y$. $Bbb Q$ is dense in $Bbb R$, so there is a $qin(a-x,b-x)capBbb Q$. Let $y=x+q$; then $xsim yin(a,b)$, as desired.
The answer in general is a bit more complicated. A space is resolvable if it is the union of disjoint dense subsets. It’s clear that a space with an isolated point cannot be resolvable, since an isolated point must belong to every dense subset of the space. Thus, from the start we should limit our attention to spaces without isolated points. The accepted answer to this question shows that if $X$ is a metric space in which every open ball has cardinality $kappa>omega$, then $X$ can be partitioned into $kappa$ dense subsets; this generalizes the result for $Bbb R$. However, as hot_queen mentions at the end of that answer, there are irresolvable Hausdorff spaces in which every non-empty open set is uncountable. You can find an example (which is even connected) at the end of the paper On connected irresolvable Hausdorff spaces, by Douglas R. Anderson.
edited Apr 13 '17 at 12:20
Community♦
1
1
answered Mar 9 '16 at 21:25
Brian M. ScottBrian M. Scott
456k38508908
456k38508908
add a comment |
add a comment |
$begingroup$
In general could be many dense subset in a topological space $X$. As suggested take $X=mathbb{R}$, then since $mathbb{Q}$ is dense in $X$, every subset like $mathbb{Q}(sqrt{n})$ is dense, where $n$ is not a square. Clearly there are others.
$endgroup$
add a comment |
$begingroup$
In general could be many dense subset in a topological space $X$. As suggested take $X=mathbb{R}$, then since $mathbb{Q}$ is dense in $X$, every subset like $mathbb{Q}(sqrt{n})$ is dense, where $n$ is not a square. Clearly there are others.
$endgroup$
add a comment |
$begingroup$
In general could be many dense subset in a topological space $X$. As suggested take $X=mathbb{R}$, then since $mathbb{Q}$ is dense in $X$, every subset like $mathbb{Q}(sqrt{n})$ is dense, where $n$ is not a square. Clearly there are others.
$endgroup$
In general could be many dense subset in a topological space $X$. As suggested take $X=mathbb{R}$, then since $mathbb{Q}$ is dense in $X$, every subset like $mathbb{Q}(sqrt{n})$ is dense, where $n$ is not a square. Clearly there are others.
answered Mar 9 '16 at 18:46
InsideOutInsideOut
4,94131033
4,94131033
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%2f1690445%2fhow-many-disjoint-dense-subsets-can-a-topological-space-possess%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
$begingroup$
No $X=mathbb{N}$.
$endgroup$
– Ali Taghavi
Mar 9 '16 at 18:32
$begingroup$
You should say something more about the question, otherwise it won't make that much sense to me, for example if you choose a discrete metric space, then it has only one dense set, on the other hand if you choose $mathbb R$ , then you might end up with uncountably many distict dense set
$endgroup$
– Anubhav Mukherjee
Mar 9 '16 at 18:33
$begingroup$
Take $mathbb{Q}$ and $mathbb{R}setminus mathbb{Q}$ : they are not only distinct but disjoint. Actually in $mathbb{R}$ you can get uncountably many disjoint dense subsets.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:36
$begingroup$
thank you! that's the answer i needed, but which are these subsets?
$endgroup$
– user3419
Mar 9 '16 at 18:38
$begingroup$
You can take the cosets of $mathbb{R}$ modulo $mathbb{Q}$.
$endgroup$
– Captain Lama
Mar 9 '16 at 18:39