Why are subsets of compact sets not compact?












16












$begingroup$


So much of the properties of compact sets are motivated by finite sets, to the point that thinking of compact sets as topologically finite sets may yield some deeper understanding. But finite sets have the intuitive property that every subset of a finite set is also compact(also finite), why is it that compact sets give this up?



It is easy to state that they just do and provide the example $I=(0,1)$ and $K=[0,1]$ as an example, but the problem with that is it really only helps illuminate how compact sets work in the euclidean spaces. It isn't generally true in all spaces that open sets aren't compact, or that closed and bounded sets are compact. So there is a problem generalizing the ideas.



The heart of my question is: Given a subset $E$ of a compact set $K$ why isn't it compact?



Simple Answer: Because there is an open cover of $E$ which has no finite subcover



The deeper question: Why?










share|cite|improve this question











$endgroup$








  • 25




    $begingroup$
    I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:47






  • 4




    $begingroup$
    It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
    $endgroup$
    – saulspatz
    Feb 12 at 18:47






  • 1




    $begingroup$
    Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
    $endgroup$
    – Aweygan
    Feb 12 at 18:49








  • 7




    $begingroup$
    No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
    $endgroup$
    – jmerry
    Feb 12 at 18:56






  • 2




    $begingroup$
    Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
    $endgroup$
    – Eric Auld
    Feb 12 at 22:35


















16












$begingroup$


So much of the properties of compact sets are motivated by finite sets, to the point that thinking of compact sets as topologically finite sets may yield some deeper understanding. But finite sets have the intuitive property that every subset of a finite set is also compact(also finite), why is it that compact sets give this up?



It is easy to state that they just do and provide the example $I=(0,1)$ and $K=[0,1]$ as an example, but the problem with that is it really only helps illuminate how compact sets work in the euclidean spaces. It isn't generally true in all spaces that open sets aren't compact, or that closed and bounded sets are compact. So there is a problem generalizing the ideas.



The heart of my question is: Given a subset $E$ of a compact set $K$ why isn't it compact?



Simple Answer: Because there is an open cover of $E$ which has no finite subcover



The deeper question: Why?










share|cite|improve this question











$endgroup$








  • 25




    $begingroup$
    I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:47






  • 4




    $begingroup$
    It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
    $endgroup$
    – saulspatz
    Feb 12 at 18:47






  • 1




    $begingroup$
    Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
    $endgroup$
    – Aweygan
    Feb 12 at 18:49








  • 7




    $begingroup$
    No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
    $endgroup$
    – jmerry
    Feb 12 at 18:56






  • 2




    $begingroup$
    Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
    $endgroup$
    – Eric Auld
    Feb 12 at 22:35
















16












16








16


9



$begingroup$


So much of the properties of compact sets are motivated by finite sets, to the point that thinking of compact sets as topologically finite sets may yield some deeper understanding. But finite sets have the intuitive property that every subset of a finite set is also compact(also finite), why is it that compact sets give this up?



It is easy to state that they just do and provide the example $I=(0,1)$ and $K=[0,1]$ as an example, but the problem with that is it really only helps illuminate how compact sets work in the euclidean spaces. It isn't generally true in all spaces that open sets aren't compact, or that closed and bounded sets are compact. So there is a problem generalizing the ideas.



The heart of my question is: Given a subset $E$ of a compact set $K$ why isn't it compact?



Simple Answer: Because there is an open cover of $E$ which has no finite subcover



The deeper question: Why?










share|cite|improve this question











$endgroup$




So much of the properties of compact sets are motivated by finite sets, to the point that thinking of compact sets as topologically finite sets may yield some deeper understanding. But finite sets have the intuitive property that every subset of a finite set is also compact(also finite), why is it that compact sets give this up?



It is easy to state that they just do and provide the example $I=(0,1)$ and $K=[0,1]$ as an example, but the problem with that is it really only helps illuminate how compact sets work in the euclidean spaces. It isn't generally true in all spaces that open sets aren't compact, or that closed and bounded sets are compact. So there is a problem generalizing the ideas.



The heart of my question is: Given a subset $E$ of a compact set $K$ why isn't it compact?



Simple Answer: Because there is an open cover of $E$ which has no finite subcover



The deeper question: Why?







real-analysis general-topology compactness






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 14 at 3:09









Pedro Tamaroff

97.7k10153299




97.7k10153299










asked Feb 12 at 18:38









user160110user160110

1,415818




1,415818








  • 25




    $begingroup$
    I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:47






  • 4




    $begingroup$
    It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
    $endgroup$
    – saulspatz
    Feb 12 at 18:47






  • 1




    $begingroup$
    Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
    $endgroup$
    – Aweygan
    Feb 12 at 18:49








  • 7




    $begingroup$
    No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
    $endgroup$
    – jmerry
    Feb 12 at 18:56






  • 2




    $begingroup$
    Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
    $endgroup$
    – Eric Auld
    Feb 12 at 22:35
















  • 25




    $begingroup$
    I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:47






  • 4




    $begingroup$
    It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
    $endgroup$
    – saulspatz
    Feb 12 at 18:47






  • 1




    $begingroup$
    Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
    $endgroup$
    – Aweygan
    Feb 12 at 18:49








  • 7




    $begingroup$
    No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
    $endgroup$
    – jmerry
    Feb 12 at 18:56






  • 2




    $begingroup$
    Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
    $endgroup$
    – Eric Auld
    Feb 12 at 22:35










25




25




$begingroup$
I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
$endgroup$
– Ittay Weiss
Feb 12 at 18:47




$begingroup$
I would say that the question illustrates clearly why one shouldn't take the analogy between finite sets and compact sets too far. Finite sets are very very special compact sets. In particular, the phenomenon of accumulation points belonging to the set is lost entirely simply because a finite set has no accumulation points. Removing an accumulation point is enough to turn a compact set into a non-compact one, showing why one would not ever expect compact to be hereditary to all subsets.
$endgroup$
– Ittay Weiss
Feb 12 at 18:47




4




4




$begingroup$
It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
$endgroup$
– saulspatz
Feb 12 at 18:47




$begingroup$
It seems to me that compact sets are motivated by closed intervals, not by finite sets. What are the serious applications of finite sets in analysis?
$endgroup$
– saulspatz
Feb 12 at 18:47




1




1




$begingroup$
Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
$endgroup$
– Aweygan
Feb 12 at 18:49






$begingroup$
Why are subsets of compact sets not necessarily compact? Because the definition of compactness allows counterexamples to exist.
$endgroup$
– Aweygan
Feb 12 at 18:49






7




7




$begingroup$
No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
$endgroup$
– jmerry
Feb 12 at 18:56




$begingroup$
No need for a separation axiom there. Any closed subset of a compact set is compact, full stop.
$endgroup$
– jmerry
Feb 12 at 18:56




2




2




$begingroup$
Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
$endgroup$
– Eric Auld
Feb 12 at 22:35






$begingroup$
Respectfully, I would like to mention that every time during my education that I was consumed with a question such as this one, people couldn't wait to tell me that there was no "why" to be found. They never convinced me.
$endgroup$
– Eric Auld
Feb 12 at 22:35












4 Answers
4






active

oldest

votes


















26












$begingroup$

One way to think of it is that compactness means that sequences (more generally, nets) cannot "run away". There are two types of "running away":




  1. Running away to infinity (failure of the set to be bounded, or some analog*. Failure of the sequence/net to have any limit point at all).

  2. Running away to a limit point which isn't in the set (failure of a set to be closed. The sequence/net has a limit point(s) in an ambient space, but that point is missing from the set in question).


If I have a compact space $X$, and I remove a point, $X-{p}$ may suddenly permit the second type of "running away".



At first it seemed awkward to me to phrase these things in terms of sequences and nets, because sequences and nets are "discrete" objects describing a continuous thing. But one can always phrase everything in terms of nets/filters of open sets, not of points. That can make it seem a bit more natural.



In any case, the basic point of a compact set is that it does not allow you to play a certain kind of game with infinity.





*For example, a uniform space is compact iff totally bounded and Cauchy complete, which are exactly analogous to conditions 1 and 2 above.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    "running away" is cute. +1
    $endgroup$
    – fleablood
    Feb 12 at 22:16






  • 3




    $begingroup$
    Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
    $endgroup$
    – Paul Sinclair
    Feb 13 at 17:56



















29












$begingroup$

There's a nice symmetry/duality here stemming from the fact that "finite" has two generalizations in the topological category.



Images and subsets of finite sets are finite.



Discrete topological spaces generalize finite sets in that subspaces inherit the property.



Compact topological spaces generalize finite sets in that images inherit the property.



A topological space that is discrete and compact is finite.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Is there a way to define Discrete and Compact in that way somehow?
    $endgroup$
    – PyRulez
    Feb 13 at 1:02






  • 1




    $begingroup$
    Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
    $endgroup$
    – Santana Afton
    Feb 13 at 2:10






  • 1




    $begingroup$
    @SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:21






  • 1




    $begingroup$
    ... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:24






  • 1




    $begingroup$
    It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
    $endgroup$
    – Peter LeFanu Lumsdaine
    Feb 13 at 11:37



















16












$begingroup$

What you may be after is the idea of a "pre-compact" subset, that is, a subset whose closure is compact. Then every subset of a pre-compact set is pre-compact; as are finite unions of them. A compact set is a closed pre-compact set.



For metric spaces, there is a closely connected concept of "totally bounded" subsets; a complete totally bounded set is compact.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    This is not quite an answer to the question. Would have been better placed as a comment.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:52



















9












$begingroup$

Because a subset of a compact set is smaller than the compact set, the subset might have a different open cover that does not cover the compact set.



This open cover may not have a finite subcover.



Example: Let $A = [0,1]$ and $B = (0, 1] subset A$.



Now $U = {U_i| U_i= (frac 1i, 1.1)}$ is an open cover of $B$ but it is not an open cover of $A$. (And $U$ does not have a finite subcovering of $A$.)



To extend $U$ so that that it will cover $A$ we must add an open set that contains $0$. Call that $U_{alpha}$ and $0 in U_{alpha}$ and now $U cup {U_{alpha}}$ is an open cover of $A$.



But $U_{alpha}$ is open so there is an $r > 0$ so that $N_r(0) = (-r, r) subset U_alpha$. But we can find an $n > frac 1r$ or in other words $0 < frac 1n < r$.



So $(0, frac 1n] subset U_{alpha}$ so $(0, frac 1n]$ is covered but the single open set $U_{alpha}$. Without $U_{alpha}$ and with only $U = {U_i = (frac 1i, 1.1)}$ we would have needed an infinite number of $U_i| i > n$ to cover $(0, frac 1n]$. But with $U_{alpha}$ we don't need ANY of them anymore.



So ... throw them away! We are left with ${U_alpha} cup {U_i|i le n; n > frac 1r}$ and that is a finite subcover of $A$. And of $B$.



But the point is. Without the requirement that there is an open set containing $0$ we wouldn't have a situation where a single open set must "do the work" of an infinite number of open sets which a non-compact set without the point $0$ could require.



... more explicitly with maybe too much detail...



So $A setminus U_alpha subset (frac 1n, 1]subset B$. And $(frac 1n, 1]$ is covered by the finite subclass ${U_i| i le n}$ and we don't need ${U_i| i > n}$ any more because $U_alpha$ covers everything in $A$ that was not covered in ${U_i|i > n}$.



(Namely $U_{alpha}$ covers ${0} cup (0, frac 1n]$ whereas without $U_alpha$ we needed ALL of ${U_i| i > n}$ to cover $(0, frac 1n]$)



So ${U_i|i le n} cup {U_alpha} subset U cup {U_alpha}$ is a finite subcover of $A$. (even that $U$ had no finite subcover of $B$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
    $endgroup$
    – Dog_69
    Feb 12 at 21:19






  • 2




    $begingroup$
    That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
    $endgroup$
    – fleablood
    Feb 12 at 22:15












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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3110453%2fwhy-are-subsets-of-compact-sets-not-compact%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









26












$begingroup$

One way to think of it is that compactness means that sequences (more generally, nets) cannot "run away". There are two types of "running away":




  1. Running away to infinity (failure of the set to be bounded, or some analog*. Failure of the sequence/net to have any limit point at all).

  2. Running away to a limit point which isn't in the set (failure of a set to be closed. The sequence/net has a limit point(s) in an ambient space, but that point is missing from the set in question).


If I have a compact space $X$, and I remove a point, $X-{p}$ may suddenly permit the second type of "running away".



At first it seemed awkward to me to phrase these things in terms of sequences and nets, because sequences and nets are "discrete" objects describing a continuous thing. But one can always phrase everything in terms of nets/filters of open sets, not of points. That can make it seem a bit more natural.



In any case, the basic point of a compact set is that it does not allow you to play a certain kind of game with infinity.





*For example, a uniform space is compact iff totally bounded and Cauchy complete, which are exactly analogous to conditions 1 and 2 above.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    "running away" is cute. +1
    $endgroup$
    – fleablood
    Feb 12 at 22:16






  • 3




    $begingroup$
    Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
    $endgroup$
    – Paul Sinclair
    Feb 13 at 17:56
















26












$begingroup$

One way to think of it is that compactness means that sequences (more generally, nets) cannot "run away". There are two types of "running away":




  1. Running away to infinity (failure of the set to be bounded, or some analog*. Failure of the sequence/net to have any limit point at all).

  2. Running away to a limit point which isn't in the set (failure of a set to be closed. The sequence/net has a limit point(s) in an ambient space, but that point is missing from the set in question).


If I have a compact space $X$, and I remove a point, $X-{p}$ may suddenly permit the second type of "running away".



At first it seemed awkward to me to phrase these things in terms of sequences and nets, because sequences and nets are "discrete" objects describing a continuous thing. But one can always phrase everything in terms of nets/filters of open sets, not of points. That can make it seem a bit more natural.



In any case, the basic point of a compact set is that it does not allow you to play a certain kind of game with infinity.





*For example, a uniform space is compact iff totally bounded and Cauchy complete, which are exactly analogous to conditions 1 and 2 above.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    "running away" is cute. +1
    $endgroup$
    – fleablood
    Feb 12 at 22:16






  • 3




    $begingroup$
    Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
    $endgroup$
    – Paul Sinclair
    Feb 13 at 17:56














26












26








26





$begingroup$

One way to think of it is that compactness means that sequences (more generally, nets) cannot "run away". There are two types of "running away":




  1. Running away to infinity (failure of the set to be bounded, or some analog*. Failure of the sequence/net to have any limit point at all).

  2. Running away to a limit point which isn't in the set (failure of a set to be closed. The sequence/net has a limit point(s) in an ambient space, but that point is missing from the set in question).


If I have a compact space $X$, and I remove a point, $X-{p}$ may suddenly permit the second type of "running away".



At first it seemed awkward to me to phrase these things in terms of sequences and nets, because sequences and nets are "discrete" objects describing a continuous thing. But one can always phrase everything in terms of nets/filters of open sets, not of points. That can make it seem a bit more natural.



In any case, the basic point of a compact set is that it does not allow you to play a certain kind of game with infinity.





*For example, a uniform space is compact iff totally bounded and Cauchy complete, which are exactly analogous to conditions 1 and 2 above.






share|cite|improve this answer









$endgroup$



One way to think of it is that compactness means that sequences (more generally, nets) cannot "run away". There are two types of "running away":




  1. Running away to infinity (failure of the set to be bounded, or some analog*. Failure of the sequence/net to have any limit point at all).

  2. Running away to a limit point which isn't in the set (failure of a set to be closed. The sequence/net has a limit point(s) in an ambient space, but that point is missing from the set in question).


If I have a compact space $X$, and I remove a point, $X-{p}$ may suddenly permit the second type of "running away".



At first it seemed awkward to me to phrase these things in terms of sequences and nets, because sequences and nets are "discrete" objects describing a continuous thing. But one can always phrase everything in terms of nets/filters of open sets, not of points. That can make it seem a bit more natural.



In any case, the basic point of a compact set is that it does not allow you to play a certain kind of game with infinity.





*For example, a uniform space is compact iff totally bounded and Cauchy complete, which are exactly analogous to conditions 1 and 2 above.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Feb 12 at 22:10









Eric AuldEric Auld

13.3k435112




13.3k435112








  • 4




    $begingroup$
    "running away" is cute. +1
    $endgroup$
    – fleablood
    Feb 12 at 22:16






  • 3




    $begingroup$
    Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
    $endgroup$
    – Paul Sinclair
    Feb 13 at 17:56














  • 4




    $begingroup$
    "running away" is cute. +1
    $endgroup$
    – fleablood
    Feb 12 at 22:16






  • 3




    $begingroup$
    Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
    $endgroup$
    – Paul Sinclair
    Feb 13 at 17:56








4




4




$begingroup$
"running away" is cute. +1
$endgroup$
– fleablood
Feb 12 at 22:16




$begingroup$
"running away" is cute. +1
$endgroup$
– fleablood
Feb 12 at 22:16




3




3




$begingroup$
Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
$endgroup$
– Paul Sinclair
Feb 13 at 17:56




$begingroup$
Your two types of running away are actually the same. You can add points to an ambient space providing limits for those "unbounded" sequences.
$endgroup$
– Paul Sinclair
Feb 13 at 17:56











29












$begingroup$

There's a nice symmetry/duality here stemming from the fact that "finite" has two generalizations in the topological category.



Images and subsets of finite sets are finite.



Discrete topological spaces generalize finite sets in that subspaces inherit the property.



Compact topological spaces generalize finite sets in that images inherit the property.



A topological space that is discrete and compact is finite.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Is there a way to define Discrete and Compact in that way somehow?
    $endgroup$
    – PyRulez
    Feb 13 at 1:02






  • 1




    $begingroup$
    Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
    $endgroup$
    – Santana Afton
    Feb 13 at 2:10






  • 1




    $begingroup$
    @SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:21






  • 1




    $begingroup$
    ... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:24






  • 1




    $begingroup$
    It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
    $endgroup$
    – Peter LeFanu Lumsdaine
    Feb 13 at 11:37
















29












$begingroup$

There's a nice symmetry/duality here stemming from the fact that "finite" has two generalizations in the topological category.



Images and subsets of finite sets are finite.



Discrete topological spaces generalize finite sets in that subspaces inherit the property.



Compact topological spaces generalize finite sets in that images inherit the property.



A topological space that is discrete and compact is finite.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Is there a way to define Discrete and Compact in that way somehow?
    $endgroup$
    – PyRulez
    Feb 13 at 1:02






  • 1




    $begingroup$
    Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
    $endgroup$
    – Santana Afton
    Feb 13 at 2:10






  • 1




    $begingroup$
    @SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:21






  • 1




    $begingroup$
    ... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:24






  • 1




    $begingroup$
    It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
    $endgroup$
    – Peter LeFanu Lumsdaine
    Feb 13 at 11:37














29












29








29





$begingroup$

There's a nice symmetry/duality here stemming from the fact that "finite" has two generalizations in the topological category.



Images and subsets of finite sets are finite.



Discrete topological spaces generalize finite sets in that subspaces inherit the property.



Compact topological spaces generalize finite sets in that images inherit the property.



A topological space that is discrete and compact is finite.






share|cite|improve this answer









$endgroup$



There's a nice symmetry/duality here stemming from the fact that "finite" has two generalizations in the topological category.



Images and subsets of finite sets are finite.



Discrete topological spaces generalize finite sets in that subspaces inherit the property.



Compact topological spaces generalize finite sets in that images inherit the property.



A topological space that is discrete and compact is finite.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Feb 12 at 18:56









hunterhunter

15.8k32643




15.8k32643












  • $begingroup$
    Is there a way to define Discrete and Compact in that way somehow?
    $endgroup$
    – PyRulez
    Feb 13 at 1:02






  • 1




    $begingroup$
    Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
    $endgroup$
    – Santana Afton
    Feb 13 at 2:10






  • 1




    $begingroup$
    @SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:21






  • 1




    $begingroup$
    ... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:24






  • 1




    $begingroup$
    It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
    $endgroup$
    – Peter LeFanu Lumsdaine
    Feb 13 at 11:37


















  • $begingroup$
    Is there a way to define Discrete and Compact in that way somehow?
    $endgroup$
    – PyRulez
    Feb 13 at 1:02






  • 1




    $begingroup$
    Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
    $endgroup$
    – Santana Afton
    Feb 13 at 2:10






  • 1




    $begingroup$
    @SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:21






  • 1




    $begingroup$
    ... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
    $endgroup$
    – Brevan Ellefsen
    Feb 13 at 7:24






  • 1




    $begingroup$
    It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
    $endgroup$
    – Peter LeFanu Lumsdaine
    Feb 13 at 11:37
















$begingroup$
Is there a way to define Discrete and Compact in that way somehow?
$endgroup$
– PyRulez
Feb 13 at 1:02




$begingroup$
Is there a way to define Discrete and Compact in that way somehow?
$endgroup$
– PyRulez
Feb 13 at 1:02




1




1




$begingroup$
Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
$endgroup$
– Santana Afton
Feb 13 at 2:10




$begingroup$
Does this answer the OPs question? Compact sets generalize the image property, but why don’t they satisfy the heredity property?
$endgroup$
– Santana Afton
Feb 13 at 2:10




1




1




$begingroup$
@SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
$endgroup$
– Brevan Ellefsen
Feb 13 at 7:21




$begingroup$
@SantanaAfton imagine you are a primitive human trying to develop a language, and your tribe is comprised of adult foragers. Because everyone is large and a human, you choose the single word "person" to describe a large human. However, you eventually need to distinguish between a baby and an adult, so you invent the notion of "size". Now an adult is a "large person" while a baby is a "small person". Then one day you are being attacked by a tiger and need a way to describe it to your tribe. There are no other tigers for a size comparison, and it is not human, so you are stumped...
$endgroup$
– Brevan Ellefsen
Feb 13 at 7:21




1




1




$begingroup$
... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
$endgroup$
– Brevan Ellefsen
Feb 13 at 7:24




$begingroup$
... so you invent the concept of "type", distinguishing between "humans" and "not-humans". Now you can say your tribe is comprised of "large humans", a baby is "small", and a tiger is "non-human". Though the tiger part of that analogy could be improved, this is exactly the situation at hand with finiteness. The notion of finiteness is quite natural, and so we defined it first, but eventually we came across structures that are akin enough to finiteness to share common properties but are quite distinct. With enough time, we boiled the main two properties down to compactness and discreteness.
$endgroup$
– Brevan Ellefsen
Feb 13 at 7:24




1




1




$begingroup$
It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
$endgroup$
– Peter LeFanu Lumsdaine
Feb 13 at 11:37




$begingroup$
It seems a bit inaccurate to describe “discrete” as a generalisation of “finite” to the topological category, since discrete spaces correspond to arbitrary sets, not just finite ones.
$endgroup$
– Peter LeFanu Lumsdaine
Feb 13 at 11:37











16












$begingroup$

What you may be after is the idea of a "pre-compact" subset, that is, a subset whose closure is compact. Then every subset of a pre-compact set is pre-compact; as are finite unions of them. A compact set is a closed pre-compact set.



For metric spaces, there is a closely connected concept of "totally bounded" subsets; a complete totally bounded set is compact.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    This is not quite an answer to the question. Would have been better placed as a comment.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:52
















16












$begingroup$

What you may be after is the idea of a "pre-compact" subset, that is, a subset whose closure is compact. Then every subset of a pre-compact set is pre-compact; as are finite unions of them. A compact set is a closed pre-compact set.



For metric spaces, there is a closely connected concept of "totally bounded" subsets; a complete totally bounded set is compact.






share|cite|improve this answer









$endgroup$









  • 4




    $begingroup$
    This is not quite an answer to the question. Would have been better placed as a comment.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:52














16












16








16





$begingroup$

What you may be after is the idea of a "pre-compact" subset, that is, a subset whose closure is compact. Then every subset of a pre-compact set is pre-compact; as are finite unions of them. A compact set is a closed pre-compact set.



For metric spaces, there is a closely connected concept of "totally bounded" subsets; a complete totally bounded set is compact.






share|cite|improve this answer









$endgroup$



What you may be after is the idea of a "pre-compact" subset, that is, a subset whose closure is compact. Then every subset of a pre-compact set is pre-compact; as are finite unions of them. A compact set is a closed pre-compact set.



For metric spaces, there is a closely connected concept of "totally bounded" subsets; a complete totally bounded set is compact.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Feb 12 at 18:50









ChrystomathChrystomath

2,043513




2,043513








  • 4




    $begingroup$
    This is not quite an answer to the question. Would have been better placed as a comment.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:52














  • 4




    $begingroup$
    This is not quite an answer to the question. Would have been better placed as a comment.
    $endgroup$
    – Ittay Weiss
    Feb 12 at 18:52








4




4




$begingroup$
This is not quite an answer to the question. Would have been better placed as a comment.
$endgroup$
– Ittay Weiss
Feb 12 at 18:52




$begingroup$
This is not quite an answer to the question. Would have been better placed as a comment.
$endgroup$
– Ittay Weiss
Feb 12 at 18:52











9












$begingroup$

Because a subset of a compact set is smaller than the compact set, the subset might have a different open cover that does not cover the compact set.



This open cover may not have a finite subcover.



Example: Let $A = [0,1]$ and $B = (0, 1] subset A$.



Now $U = {U_i| U_i= (frac 1i, 1.1)}$ is an open cover of $B$ but it is not an open cover of $A$. (And $U$ does not have a finite subcovering of $A$.)



To extend $U$ so that that it will cover $A$ we must add an open set that contains $0$. Call that $U_{alpha}$ and $0 in U_{alpha}$ and now $U cup {U_{alpha}}$ is an open cover of $A$.



But $U_{alpha}$ is open so there is an $r > 0$ so that $N_r(0) = (-r, r) subset U_alpha$. But we can find an $n > frac 1r$ or in other words $0 < frac 1n < r$.



So $(0, frac 1n] subset U_{alpha}$ so $(0, frac 1n]$ is covered but the single open set $U_{alpha}$. Without $U_{alpha}$ and with only $U = {U_i = (frac 1i, 1.1)}$ we would have needed an infinite number of $U_i| i > n$ to cover $(0, frac 1n]$. But with $U_{alpha}$ we don't need ANY of them anymore.



So ... throw them away! We are left with ${U_alpha} cup {U_i|i le n; n > frac 1r}$ and that is a finite subcover of $A$. And of $B$.



But the point is. Without the requirement that there is an open set containing $0$ we wouldn't have a situation where a single open set must "do the work" of an infinite number of open sets which a non-compact set without the point $0$ could require.



... more explicitly with maybe too much detail...



So $A setminus U_alpha subset (frac 1n, 1]subset B$. And $(frac 1n, 1]$ is covered by the finite subclass ${U_i| i le n}$ and we don't need ${U_i| i > n}$ any more because $U_alpha$ covers everything in $A$ that was not covered in ${U_i|i > n}$.



(Namely $U_{alpha}$ covers ${0} cup (0, frac 1n]$ whereas without $U_alpha$ we needed ALL of ${U_i| i > n}$ to cover $(0, frac 1n]$)



So ${U_i|i le n} cup {U_alpha} subset U cup {U_alpha}$ is a finite subcover of $A$. (even that $U$ had no finite subcover of $B$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
    $endgroup$
    – Dog_69
    Feb 12 at 21:19






  • 2




    $begingroup$
    That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
    $endgroup$
    – fleablood
    Feb 12 at 22:15
















9












$begingroup$

Because a subset of a compact set is smaller than the compact set, the subset might have a different open cover that does not cover the compact set.



This open cover may not have a finite subcover.



Example: Let $A = [0,1]$ and $B = (0, 1] subset A$.



Now $U = {U_i| U_i= (frac 1i, 1.1)}$ is an open cover of $B$ but it is not an open cover of $A$. (And $U$ does not have a finite subcovering of $A$.)



To extend $U$ so that that it will cover $A$ we must add an open set that contains $0$. Call that $U_{alpha}$ and $0 in U_{alpha}$ and now $U cup {U_{alpha}}$ is an open cover of $A$.



But $U_{alpha}$ is open so there is an $r > 0$ so that $N_r(0) = (-r, r) subset U_alpha$. But we can find an $n > frac 1r$ or in other words $0 < frac 1n < r$.



So $(0, frac 1n] subset U_{alpha}$ so $(0, frac 1n]$ is covered but the single open set $U_{alpha}$. Without $U_{alpha}$ and with only $U = {U_i = (frac 1i, 1.1)}$ we would have needed an infinite number of $U_i| i > n$ to cover $(0, frac 1n]$. But with $U_{alpha}$ we don't need ANY of them anymore.



So ... throw them away! We are left with ${U_alpha} cup {U_i|i le n; n > frac 1r}$ and that is a finite subcover of $A$. And of $B$.



But the point is. Without the requirement that there is an open set containing $0$ we wouldn't have a situation where a single open set must "do the work" of an infinite number of open sets which a non-compact set without the point $0$ could require.



... more explicitly with maybe too much detail...



So $A setminus U_alpha subset (frac 1n, 1]subset B$. And $(frac 1n, 1]$ is covered by the finite subclass ${U_i| i le n}$ and we don't need ${U_i| i > n}$ any more because $U_alpha$ covers everything in $A$ that was not covered in ${U_i|i > n}$.



(Namely $U_{alpha}$ covers ${0} cup (0, frac 1n]$ whereas without $U_alpha$ we needed ALL of ${U_i| i > n}$ to cover $(0, frac 1n]$)



So ${U_i|i le n} cup {U_alpha} subset U cup {U_alpha}$ is a finite subcover of $A$. (even that $U$ had no finite subcover of $B$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
    $endgroup$
    – Dog_69
    Feb 12 at 21:19






  • 2




    $begingroup$
    That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
    $endgroup$
    – fleablood
    Feb 12 at 22:15














9












9








9





$begingroup$

Because a subset of a compact set is smaller than the compact set, the subset might have a different open cover that does not cover the compact set.



This open cover may not have a finite subcover.



Example: Let $A = [0,1]$ and $B = (0, 1] subset A$.



Now $U = {U_i| U_i= (frac 1i, 1.1)}$ is an open cover of $B$ but it is not an open cover of $A$. (And $U$ does not have a finite subcovering of $A$.)



To extend $U$ so that that it will cover $A$ we must add an open set that contains $0$. Call that $U_{alpha}$ and $0 in U_{alpha}$ and now $U cup {U_{alpha}}$ is an open cover of $A$.



But $U_{alpha}$ is open so there is an $r > 0$ so that $N_r(0) = (-r, r) subset U_alpha$. But we can find an $n > frac 1r$ or in other words $0 < frac 1n < r$.



So $(0, frac 1n] subset U_{alpha}$ so $(0, frac 1n]$ is covered but the single open set $U_{alpha}$. Without $U_{alpha}$ and with only $U = {U_i = (frac 1i, 1.1)}$ we would have needed an infinite number of $U_i| i > n$ to cover $(0, frac 1n]$. But with $U_{alpha}$ we don't need ANY of them anymore.



So ... throw them away! We are left with ${U_alpha} cup {U_i|i le n; n > frac 1r}$ and that is a finite subcover of $A$. And of $B$.



But the point is. Without the requirement that there is an open set containing $0$ we wouldn't have a situation where a single open set must "do the work" of an infinite number of open sets which a non-compact set without the point $0$ could require.



... more explicitly with maybe too much detail...



So $A setminus U_alpha subset (frac 1n, 1]subset B$. And $(frac 1n, 1]$ is covered by the finite subclass ${U_i| i le n}$ and we don't need ${U_i| i > n}$ any more because $U_alpha$ covers everything in $A$ that was not covered in ${U_i|i > n}$.



(Namely $U_{alpha}$ covers ${0} cup (0, frac 1n]$ whereas without $U_alpha$ we needed ALL of ${U_i| i > n}$ to cover $(0, frac 1n]$)



So ${U_i|i le n} cup {U_alpha} subset U cup {U_alpha}$ is a finite subcover of $A$. (even that $U$ had no finite subcover of $B$.






share|cite|improve this answer











$endgroup$



Because a subset of a compact set is smaller than the compact set, the subset might have a different open cover that does not cover the compact set.



This open cover may not have a finite subcover.



Example: Let $A = [0,1]$ and $B = (0, 1] subset A$.



Now $U = {U_i| U_i= (frac 1i, 1.1)}$ is an open cover of $B$ but it is not an open cover of $A$. (And $U$ does not have a finite subcovering of $A$.)



To extend $U$ so that that it will cover $A$ we must add an open set that contains $0$. Call that $U_{alpha}$ and $0 in U_{alpha}$ and now $U cup {U_{alpha}}$ is an open cover of $A$.



But $U_{alpha}$ is open so there is an $r > 0$ so that $N_r(0) = (-r, r) subset U_alpha$. But we can find an $n > frac 1r$ or in other words $0 < frac 1n < r$.



So $(0, frac 1n] subset U_{alpha}$ so $(0, frac 1n]$ is covered but the single open set $U_{alpha}$. Without $U_{alpha}$ and with only $U = {U_i = (frac 1i, 1.1)}$ we would have needed an infinite number of $U_i| i > n$ to cover $(0, frac 1n]$. But with $U_{alpha}$ we don't need ANY of them anymore.



So ... throw them away! We are left with ${U_alpha} cup {U_i|i le n; n > frac 1r}$ and that is a finite subcover of $A$. And of $B$.



But the point is. Without the requirement that there is an open set containing $0$ we wouldn't have a situation where a single open set must "do the work" of an infinite number of open sets which a non-compact set without the point $0$ could require.



... more explicitly with maybe too much detail...



So $A setminus U_alpha subset (frac 1n, 1]subset B$. And $(frac 1n, 1]$ is covered by the finite subclass ${U_i| i le n}$ and we don't need ${U_i| i > n}$ any more because $U_alpha$ covers everything in $A$ that was not covered in ${U_i|i > n}$.



(Namely $U_{alpha}$ covers ${0} cup (0, frac 1n]$ whereas without $U_alpha$ we needed ALL of ${U_i| i > n}$ to cover $(0, frac 1n]$)



So ${U_i|i le n} cup {U_alpha} subset U cup {U_alpha}$ is a finite subcover of $A$. (even that $U$ had no finite subcover of $B$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 12 at 19:26

























answered Feb 12 at 19:04









fleabloodfleablood

1




1












  • $begingroup$
    In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
    $endgroup$
    – Dog_69
    Feb 12 at 21:19






  • 2




    $begingroup$
    That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
    $endgroup$
    – fleablood
    Feb 12 at 22:15


















  • $begingroup$
    In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
    $endgroup$
    – Dog_69
    Feb 12 at 21:19






  • 2




    $begingroup$
    That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
    $endgroup$
    – fleablood
    Feb 12 at 22:15
















$begingroup$
In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
$endgroup$
– Dog_69
Feb 12 at 21:19




$begingroup$
In my opinion, the fact that $0$ belongs to the set we are considering is the key of all. Namely, the behaviour and the effects a single neighborhood of $0$ has. I suppose it is related with the accumulation points of compact sets. Nice answer @fleablood.
$endgroup$
– Dog_69
Feb 12 at 21:19




2




2




$begingroup$
That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
$endgroup$
– fleablood
Feb 12 at 22:15




$begingroup$
That's exactly how I see it @Dog_69. In terms of "compact" and and finite subcovers we don't have a good terminology for the points in $Asetminus B$ where $B$ is an non-compact subset... but in essence; the set $Asetminus B$ contain accumulation points of $B$ that aren't in $B$ and any open set containing $Asetminus B$ makes any infinite subcover of $B$ unnecessary.
$endgroup$
– fleablood
Feb 12 at 22:15


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3110453%2fwhy-are-subsets-of-compact-sets-not-compact%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅