A compact open set
$begingroup$
Is there an open set which is compact ? I would say that $emptyset$ is an open set compact because it's bounded and closed too. Is it correct ?
general-topology
$endgroup$
add a comment |
$begingroup$
Is there an open set which is compact ? I would say that $emptyset$ is an open set compact because it's bounded and closed too. Is it correct ?
general-topology
$endgroup$
1
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
1
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26
add a comment |
$begingroup$
Is there an open set which is compact ? I would say that $emptyset$ is an open set compact because it's bounded and closed too. Is it correct ?
general-topology
$endgroup$
Is there an open set which is compact ? I would say that $emptyset$ is an open set compact because it's bounded and closed too. Is it correct ?
general-topology
general-topology
asked Aug 20 '15 at 12:12
idmidm
8,61521446
8,61521446
1
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
1
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26
add a comment |
1
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
1
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26
1
1
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
1
1
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
The empty set is certainly compact, all finite spaces are.
A compact subset of a Hausdorff space (for example a metric space) is always closed, so your set would be closed and open. Now that can happen, but in a connected space the only open and closed subsets are the empty set and the space itself.
$endgroup$
add a comment |
$begingroup$
Consider a set $X$ with more than two elements, equipped with discrete metric $d(x,y)=1$ if $x not = y$ and $d(x,y)=0$ if $x=y$. I will leave it to you as an exercises to prove that a set is compact if and only if it is finite. Pick an element $a in X$. Consider the ball $D(a,frac{1}{2})$. Clearly,$D(a,frac{1}{2})=lbrace a rbrace $ and hence $lbrace a rbrace $ is open and compact at the same time.
$endgroup$
add a comment |
$begingroup$
In a proper space a closed bounded set is compact but in general topological space it is not true that a closed bounded set is compact. There are plenty of example like spaces of infinite sequence. Take two disjoint open bounded close disc give it a subspace topology of $R^2$ you will have open set which is compact.
$endgroup$
add a comment |
$begingroup$
If you look at $X=[0,1]cup(4,5)$ as a topological subspace of $Bbb R$, then $[0,1]$ is still compact, and it is open since it is equal to $(-1,2)cap X$.
Going to a completely different direction, if you look at a set with the co-finite topology, then every set is compact. In particular every co-finite set, which is open. If the set is finite, this is just the discrete topology, but if the set is infinite, then this ends up being a stranger topology than you might be used to.
$endgroup$
add a comment |
Your Answer
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%2f1403826%2fa-compact-open-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The empty set is certainly compact, all finite spaces are.
A compact subset of a Hausdorff space (for example a metric space) is always closed, so your set would be closed and open. Now that can happen, but in a connected space the only open and closed subsets are the empty set and the space itself.
$endgroup$
add a comment |
$begingroup$
The empty set is certainly compact, all finite spaces are.
A compact subset of a Hausdorff space (for example a metric space) is always closed, so your set would be closed and open. Now that can happen, but in a connected space the only open and closed subsets are the empty set and the space itself.
$endgroup$
add a comment |
$begingroup$
The empty set is certainly compact, all finite spaces are.
A compact subset of a Hausdorff space (for example a metric space) is always closed, so your set would be closed and open. Now that can happen, but in a connected space the only open and closed subsets are the empty set and the space itself.
$endgroup$
The empty set is certainly compact, all finite spaces are.
A compact subset of a Hausdorff space (for example a metric space) is always closed, so your set would be closed and open. Now that can happen, but in a connected space the only open and closed subsets are the empty set and the space itself.
edited Aug 20 '15 at 13:25
answered Aug 20 '15 at 12:33
Carsten SCarsten S
7,31711436
7,31711436
add a comment |
add a comment |
$begingroup$
Consider a set $X$ with more than two elements, equipped with discrete metric $d(x,y)=1$ if $x not = y$ and $d(x,y)=0$ if $x=y$. I will leave it to you as an exercises to prove that a set is compact if and only if it is finite. Pick an element $a in X$. Consider the ball $D(a,frac{1}{2})$. Clearly,$D(a,frac{1}{2})=lbrace a rbrace $ and hence $lbrace a rbrace $ is open and compact at the same time.
$endgroup$
add a comment |
$begingroup$
Consider a set $X$ with more than two elements, equipped with discrete metric $d(x,y)=1$ if $x not = y$ and $d(x,y)=0$ if $x=y$. I will leave it to you as an exercises to prove that a set is compact if and only if it is finite. Pick an element $a in X$. Consider the ball $D(a,frac{1}{2})$. Clearly,$D(a,frac{1}{2})=lbrace a rbrace $ and hence $lbrace a rbrace $ is open and compact at the same time.
$endgroup$
add a comment |
$begingroup$
Consider a set $X$ with more than two elements, equipped with discrete metric $d(x,y)=1$ if $x not = y$ and $d(x,y)=0$ if $x=y$. I will leave it to you as an exercises to prove that a set is compact if and only if it is finite. Pick an element $a in X$. Consider the ball $D(a,frac{1}{2})$. Clearly,$D(a,frac{1}{2})=lbrace a rbrace $ and hence $lbrace a rbrace $ is open and compact at the same time.
$endgroup$
Consider a set $X$ with more than two elements, equipped with discrete metric $d(x,y)=1$ if $x not = y$ and $d(x,y)=0$ if $x=y$. I will leave it to you as an exercises to prove that a set is compact if and only if it is finite. Pick an element $a in X$. Consider the ball $D(a,frac{1}{2})$. Clearly,$D(a,frac{1}{2})=lbrace a rbrace $ and hence $lbrace a rbrace $ is open and compact at the same time.
answered Aug 20 '15 at 12:24
mich95mich95
7,02211226
7,02211226
add a comment |
add a comment |
$begingroup$
In a proper space a closed bounded set is compact but in general topological space it is not true that a closed bounded set is compact. There are plenty of example like spaces of infinite sequence. Take two disjoint open bounded close disc give it a subspace topology of $R^2$ you will have open set which is compact.
$endgroup$
add a comment |
$begingroup$
In a proper space a closed bounded set is compact but in general topological space it is not true that a closed bounded set is compact. There are plenty of example like spaces of infinite sequence. Take two disjoint open bounded close disc give it a subspace topology of $R^2$ you will have open set which is compact.
$endgroup$
add a comment |
$begingroup$
In a proper space a closed bounded set is compact but in general topological space it is not true that a closed bounded set is compact. There are plenty of example like spaces of infinite sequence. Take two disjoint open bounded close disc give it a subspace topology of $R^2$ you will have open set which is compact.
$endgroup$
In a proper space a closed bounded set is compact but in general topological space it is not true that a closed bounded set is compact. There are plenty of example like spaces of infinite sequence. Take two disjoint open bounded close disc give it a subspace topology of $R^2$ you will have open set which is compact.
answered Aug 20 '15 at 12:25
GGTGGT
485311
485311
add a comment |
add a comment |
$begingroup$
If you look at $X=[0,1]cup(4,5)$ as a topological subspace of $Bbb R$, then $[0,1]$ is still compact, and it is open since it is equal to $(-1,2)cap X$.
Going to a completely different direction, if you look at a set with the co-finite topology, then every set is compact. In particular every co-finite set, which is open. If the set is finite, this is just the discrete topology, but if the set is infinite, then this ends up being a stranger topology than you might be used to.
$endgroup$
add a comment |
$begingroup$
If you look at $X=[0,1]cup(4,5)$ as a topological subspace of $Bbb R$, then $[0,1]$ is still compact, and it is open since it is equal to $(-1,2)cap X$.
Going to a completely different direction, if you look at a set with the co-finite topology, then every set is compact. In particular every co-finite set, which is open. If the set is finite, this is just the discrete topology, but if the set is infinite, then this ends up being a stranger topology than you might be used to.
$endgroup$
add a comment |
$begingroup$
If you look at $X=[0,1]cup(4,5)$ as a topological subspace of $Bbb R$, then $[0,1]$ is still compact, and it is open since it is equal to $(-1,2)cap X$.
Going to a completely different direction, if you look at a set with the co-finite topology, then every set is compact. In particular every co-finite set, which is open. If the set is finite, this is just the discrete topology, but if the set is infinite, then this ends up being a stranger topology than you might be used to.
$endgroup$
If you look at $X=[0,1]cup(4,5)$ as a topological subspace of $Bbb R$, then $[0,1]$ is still compact, and it is open since it is equal to $(-1,2)cap X$.
Going to a completely different direction, if you look at a set with the co-finite topology, then every set is compact. In particular every co-finite set, which is open. If the set is finite, this is just the discrete topology, but if the set is infinite, then this ends up being a stranger topology than you might be used to.
answered Aug 20 '15 at 12:38
Asaf Karagila♦Asaf Karagila
308k33441775
308k33441775
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%2f1403826%2fa-compact-open-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
1
$begingroup$
It is
$endgroup$
– A.Γ.
Aug 20 '15 at 12:20
1
$begingroup$
Yes. Are you after a nontrivial open compact set?
$endgroup$
– Gary Moore
Aug 20 '15 at 12:20
$begingroup$
math.stackexchange.com/questions/304567/… Here you will find an answer
$endgroup$
– avati91
Aug 20 '15 at 12:26