An example of neither open nor closed set
I need a very simple example of a set of real numbers (if there is any) that is neither closed nor open, along with an explanation of why it is so.
general-topology
add a comment |
I need a very simple example of a set of real numbers (if there is any) that is neither closed nor open, along with an explanation of why it is so.
general-topology
add a comment |
I need a very simple example of a set of real numbers (if there is any) that is neither closed nor open, along with an explanation of why it is so.
general-topology
I need a very simple example of a set of real numbers (if there is any) that is neither closed nor open, along with an explanation of why it is so.
general-topology
general-topology
edited Sep 2 at 9:39
Gaurang Tandon
3,51522147
3,51522147
asked Aug 24 '12 at 0:27
Monkey D. Luffy
7322822
7322822
add a comment |
add a comment |
6 Answers
6
active
oldest
votes
$[0,1)$
It is not open because there is no $epsilon > 0$ such that $(0-epsilon,0+epsilon) subseteq [0,1)$.
It is not closed because $1$ is a limit point of the set which is not contained in it.
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
add a comment |
For a slightly more exotic example, the rationals, $mathbb{Q}$.
They are not open because any interval about a rational point $r$, $(r-epsilon,r+epsilon)$, contains an irrational point.
They are not closed because every irrational point is the limit of a sequence of rational points. If $s$ is irrational, consider the sequence $left{ dfrac{lfloor10^n srfloor}{10^n} right}.$
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
add a comment |
Let $A = {frac{1}{n} : n in mathbb{N}}$.
$A$ is not closed since $0$ is a limit point of $A$, but $0 notin A$.
$A$ is not open since every ball around any point contains a point in $mathbb{R} - A$.
add a comment |
Take $mathbb{R}$ with the finite complement topology - that is, the open sets are exactly those with finite complement. Then $[0,1]$ is neither open nor closed. It is not open since $mathbb{R}setminus [0,1]=(-infty,0) cup (1,infty)$ is not finite, and it is not closed since its complement, $(-infty,0) cup (1,infty)$, is not open, as just demonstrated.
add a comment |
The interval $left ( 0,1 right )$ as a subset of $mathbb{R}^{2}$, that is $left { left ( x,0 right ) in mathbb{R}^{2}: x in left ( 0,1 right )right }$ is neither open nor closed because none of its points are interior points and $left ( 1,0 right )$ is a limit point not in the set.
add a comment |
The rational numbers $mathbb{Q}$ are neither open nor closed. Recall a subset S of a metric space X space is open if every point x in S has an $epsilon$-neighborhood $N_{epsilon}(x)$ that is a proper subset of S. And a set is closed if(and only if) its complement is open. So $forall (q in mathbb{Q},r in [mathbb{R} setminus mathbb{Q}], epsilon > 0, lambda > 0)$ , $N_{epsilon}(q) cap [mathbb{R} setminusmathbb{Q}]neq emptyset$ and $N_{lambda}(r) cap mathbb{Q} neq emptyset$. So $mathbb{Q}$ is not open since every $epsilon$-neighborhood or a rational number contains irrationals. But its complement $ [mathbb{R} setminusmathbb{Q}]$, the set of irrational numbers, is also not open since no $epsilon$-neighborhoods or irrationals contain exclusively irrationals. But the complement of the rationals is not open, so $mathbb{Q}$ cannot be closed either. Therefore, the set of rationals is neither open nor closed.
Might I add: most of the previous examples are of sets that are both open and closed(like the half-open intervals of the real line [0,1) for example).
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%2f186101%2fan-example-of-neither-open-nor-closed-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
6 Answers
6
active
oldest
votes
6 Answers
6
active
oldest
votes
active
oldest
votes
active
oldest
votes
$[0,1)$
It is not open because there is no $epsilon > 0$ such that $(0-epsilon,0+epsilon) subseteq [0,1)$.
It is not closed because $1$ is a limit point of the set which is not contained in it.
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
add a comment |
$[0,1)$
It is not open because there is no $epsilon > 0$ such that $(0-epsilon,0+epsilon) subseteq [0,1)$.
It is not closed because $1$ is a limit point of the set which is not contained in it.
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
add a comment |
$[0,1)$
It is not open because there is no $epsilon > 0$ such that $(0-epsilon,0+epsilon) subseteq [0,1)$.
It is not closed because $1$ is a limit point of the set which is not contained in it.
$[0,1)$
It is not open because there is no $epsilon > 0$ such that $(0-epsilon,0+epsilon) subseteq [0,1)$.
It is not closed because $1$ is a limit point of the set which is not contained in it.
answered Aug 24 '12 at 0:28
user642796
44.5k559116
44.5k559116
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
add a comment |
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
One last Question, does the set has be connected? for example:- [1,2]U[3,4] ... what can we say about this set?
– Monkey D. Luffy
Aug 24 '12 at 0:36
2
2
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
@MonkeyD.Luffy A finite union of closed sets is closed, an arbitrary intersection of closed sets is closed. DeMorgan's Law gives you the analogous statements for open sets.
– Eugene Shvarts
Aug 24 '12 at 0:37
add a comment |
For a slightly more exotic example, the rationals, $mathbb{Q}$.
They are not open because any interval about a rational point $r$, $(r-epsilon,r+epsilon)$, contains an irrational point.
They are not closed because every irrational point is the limit of a sequence of rational points. If $s$ is irrational, consider the sequence $left{ dfrac{lfloor10^n srfloor}{10^n} right}.$
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
add a comment |
For a slightly more exotic example, the rationals, $mathbb{Q}$.
They are not open because any interval about a rational point $r$, $(r-epsilon,r+epsilon)$, contains an irrational point.
They are not closed because every irrational point is the limit of a sequence of rational points. If $s$ is irrational, consider the sequence $left{ dfrac{lfloor10^n srfloor}{10^n} right}.$
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
add a comment |
For a slightly more exotic example, the rationals, $mathbb{Q}$.
They are not open because any interval about a rational point $r$, $(r-epsilon,r+epsilon)$, contains an irrational point.
They are not closed because every irrational point is the limit of a sequence of rational points. If $s$ is irrational, consider the sequence $left{ dfrac{lfloor10^n srfloor}{10^n} right}.$
For a slightly more exotic example, the rationals, $mathbb{Q}$.
They are not open because any interval about a rational point $r$, $(r-epsilon,r+epsilon)$, contains an irrational point.
They are not closed because every irrational point is the limit of a sequence of rational points. If $s$ is irrational, consider the sequence $left{ dfrac{lfloor10^n srfloor}{10^n} right}.$
answered Aug 24 '12 at 0:32
Eugene Shvarts
1,2371014
1,2371014
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
add a comment |
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
$mathbb Q$ is exotic?
– celtschk
Sep 2 at 10:28
add a comment |
Let $A = {frac{1}{n} : n in mathbb{N}}$.
$A$ is not closed since $0$ is a limit point of $A$, but $0 notin A$.
$A$ is not open since every ball around any point contains a point in $mathbb{R} - A$.
add a comment |
Let $A = {frac{1}{n} : n in mathbb{N}}$.
$A$ is not closed since $0$ is a limit point of $A$, but $0 notin A$.
$A$ is not open since every ball around any point contains a point in $mathbb{R} - A$.
add a comment |
Let $A = {frac{1}{n} : n in mathbb{N}}$.
$A$ is not closed since $0$ is a limit point of $A$, but $0 notin A$.
$A$ is not open since every ball around any point contains a point in $mathbb{R} - A$.
Let $A = {frac{1}{n} : n in mathbb{N}}$.
$A$ is not closed since $0$ is a limit point of $A$, but $0 notin A$.
$A$ is not open since every ball around any point contains a point in $mathbb{R} - A$.
answered Aug 24 '12 at 0:38
user898033
44128
44128
add a comment |
add a comment |
Take $mathbb{R}$ with the finite complement topology - that is, the open sets are exactly those with finite complement. Then $[0,1]$ is neither open nor closed. It is not open since $mathbb{R}setminus [0,1]=(-infty,0) cup (1,infty)$ is not finite, and it is not closed since its complement, $(-infty,0) cup (1,infty)$, is not open, as just demonstrated.
add a comment |
Take $mathbb{R}$ with the finite complement topology - that is, the open sets are exactly those with finite complement. Then $[0,1]$ is neither open nor closed. It is not open since $mathbb{R}setminus [0,1]=(-infty,0) cup (1,infty)$ is not finite, and it is not closed since its complement, $(-infty,0) cup (1,infty)$, is not open, as just demonstrated.
add a comment |
Take $mathbb{R}$ with the finite complement topology - that is, the open sets are exactly those with finite complement. Then $[0,1]$ is neither open nor closed. It is not open since $mathbb{R}setminus [0,1]=(-infty,0) cup (1,infty)$ is not finite, and it is not closed since its complement, $(-infty,0) cup (1,infty)$, is not open, as just demonstrated.
Take $mathbb{R}$ with the finite complement topology - that is, the open sets are exactly those with finite complement. Then $[0,1]$ is neither open nor closed. It is not open since $mathbb{R}setminus [0,1]=(-infty,0) cup (1,infty)$ is not finite, and it is not closed since its complement, $(-infty,0) cup (1,infty)$, is not open, as just demonstrated.
answered Aug 24 '12 at 0:33
Alex Petzke
3,97423569
3,97423569
add a comment |
add a comment |
The interval $left ( 0,1 right )$ as a subset of $mathbb{R}^{2}$, that is $left { left ( x,0 right ) in mathbb{R}^{2}: x in left ( 0,1 right )right }$ is neither open nor closed because none of its points are interior points and $left ( 1,0 right )$ is a limit point not in the set.
add a comment |
The interval $left ( 0,1 right )$ as a subset of $mathbb{R}^{2}$, that is $left { left ( x,0 right ) in mathbb{R}^{2}: x in left ( 0,1 right )right }$ is neither open nor closed because none of its points are interior points and $left ( 1,0 right )$ is a limit point not in the set.
add a comment |
The interval $left ( 0,1 right )$ as a subset of $mathbb{R}^{2}$, that is $left { left ( x,0 right ) in mathbb{R}^{2}: x in left ( 0,1 right )right }$ is neither open nor closed because none of its points are interior points and $left ( 1,0 right )$ is a limit point not in the set.
The interval $left ( 0,1 right )$ as a subset of $mathbb{R}^{2}$, that is $left { left ( x,0 right ) in mathbb{R}^{2}: x in left ( 0,1 right )right }$ is neither open nor closed because none of its points are interior points and $left ( 1,0 right )$ is a limit point not in the set.
edited Aug 3 '15 at 13:21
answered Aug 3 '15 at 9:19
OGC
1,42421228
1,42421228
add a comment |
add a comment |
The rational numbers $mathbb{Q}$ are neither open nor closed. Recall a subset S of a metric space X space is open if every point x in S has an $epsilon$-neighborhood $N_{epsilon}(x)$ that is a proper subset of S. And a set is closed if(and only if) its complement is open. So $forall (q in mathbb{Q},r in [mathbb{R} setminus mathbb{Q}], epsilon > 0, lambda > 0)$ , $N_{epsilon}(q) cap [mathbb{R} setminusmathbb{Q}]neq emptyset$ and $N_{lambda}(r) cap mathbb{Q} neq emptyset$. So $mathbb{Q}$ is not open since every $epsilon$-neighborhood or a rational number contains irrationals. But its complement $ [mathbb{R} setminusmathbb{Q}]$, the set of irrational numbers, is also not open since no $epsilon$-neighborhoods or irrationals contain exclusively irrationals. But the complement of the rationals is not open, so $mathbb{Q}$ cannot be closed either. Therefore, the set of rationals is neither open nor closed.
Might I add: most of the previous examples are of sets that are both open and closed(like the half-open intervals of the real line [0,1) for example).
add a comment |
The rational numbers $mathbb{Q}$ are neither open nor closed. Recall a subset S of a metric space X space is open if every point x in S has an $epsilon$-neighborhood $N_{epsilon}(x)$ that is a proper subset of S. And a set is closed if(and only if) its complement is open. So $forall (q in mathbb{Q},r in [mathbb{R} setminus mathbb{Q}], epsilon > 0, lambda > 0)$ , $N_{epsilon}(q) cap [mathbb{R} setminusmathbb{Q}]neq emptyset$ and $N_{lambda}(r) cap mathbb{Q} neq emptyset$. So $mathbb{Q}$ is not open since every $epsilon$-neighborhood or a rational number contains irrationals. But its complement $ [mathbb{R} setminusmathbb{Q}]$, the set of irrational numbers, is also not open since no $epsilon$-neighborhoods or irrationals contain exclusively irrationals. But the complement of the rationals is not open, so $mathbb{Q}$ cannot be closed either. Therefore, the set of rationals is neither open nor closed.
Might I add: most of the previous examples are of sets that are both open and closed(like the half-open intervals of the real line [0,1) for example).
add a comment |
The rational numbers $mathbb{Q}$ are neither open nor closed. Recall a subset S of a metric space X space is open if every point x in S has an $epsilon$-neighborhood $N_{epsilon}(x)$ that is a proper subset of S. And a set is closed if(and only if) its complement is open. So $forall (q in mathbb{Q},r in [mathbb{R} setminus mathbb{Q}], epsilon > 0, lambda > 0)$ , $N_{epsilon}(q) cap [mathbb{R} setminusmathbb{Q}]neq emptyset$ and $N_{lambda}(r) cap mathbb{Q} neq emptyset$. So $mathbb{Q}$ is not open since every $epsilon$-neighborhood or a rational number contains irrationals. But its complement $ [mathbb{R} setminusmathbb{Q}]$, the set of irrational numbers, is also not open since no $epsilon$-neighborhoods or irrationals contain exclusively irrationals. But the complement of the rationals is not open, so $mathbb{Q}$ cannot be closed either. Therefore, the set of rationals is neither open nor closed.
Might I add: most of the previous examples are of sets that are both open and closed(like the half-open intervals of the real line [0,1) for example).
The rational numbers $mathbb{Q}$ are neither open nor closed. Recall a subset S of a metric space X space is open if every point x in S has an $epsilon$-neighborhood $N_{epsilon}(x)$ that is a proper subset of S. And a set is closed if(and only if) its complement is open. So $forall (q in mathbb{Q},r in [mathbb{R} setminus mathbb{Q}], epsilon > 0, lambda > 0)$ , $N_{epsilon}(q) cap [mathbb{R} setminusmathbb{Q}]neq emptyset$ and $N_{lambda}(r) cap mathbb{Q} neq emptyset$. So $mathbb{Q}$ is not open since every $epsilon$-neighborhood or a rational number contains irrationals. But its complement $ [mathbb{R} setminusmathbb{Q}]$, the set of irrational numbers, is also not open since no $epsilon$-neighborhoods or irrationals contain exclusively irrationals. But the complement of the rationals is not open, so $mathbb{Q}$ cannot be closed either. Therefore, the set of rationals is neither open nor closed.
Might I add: most of the previous examples are of sets that are both open and closed(like the half-open intervals of the real line [0,1) for example).
edited Nov 27 at 4:55
answered Nov 26 at 21:46
Mr X
19311
19311
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f186101%2fan-example-of-neither-open-nor-closed-set%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