Possible use of choice in proving “Compactness implies limit point compactness”












3












$begingroup$


A standard proof can be found here. Basically, the idea is to prove the contrapositive:




Let $Asubseteq X$. If $X$ is compact and $A$ doesn't have any limit
point, then A is finite.




Since A has no limit points, for each $ain A$, there exists a neighboorhood $U_a$ such that $U_acap A =
{a}$
. ${X-A}cup{U_a:ain A}$ forms an open cover of $X$. By
compactness of $X$, only finitely many covers $X$. Because $X-A$ and $A$ are disjoint, A must be finite.



However, the above proof seems to rely on the axiom of choice, since we need to choose a neighborhood $U_a$ for each $a in A$, and there isn't any definite way to do so.



So can somebody clarify whether AC is necessary here? If not needed, please provide an alternative proof. Thanks in advance.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
    $endgroup$
    – Will M.
    Jan 18 at 7:58










  • $begingroup$
    Indeed it is. Topology is definitely pro-choice.
    $endgroup$
    – William Elliot
    Jan 18 at 7:58
















3












$begingroup$


A standard proof can be found here. Basically, the idea is to prove the contrapositive:




Let $Asubseteq X$. If $X$ is compact and $A$ doesn't have any limit
point, then A is finite.




Since A has no limit points, for each $ain A$, there exists a neighboorhood $U_a$ such that $U_acap A =
{a}$
. ${X-A}cup{U_a:ain A}$ forms an open cover of $X$. By
compactness of $X$, only finitely many covers $X$. Because $X-A$ and $A$ are disjoint, A must be finite.



However, the above proof seems to rely on the axiom of choice, since we need to choose a neighborhood $U_a$ for each $a in A$, and there isn't any definite way to do so.



So can somebody clarify whether AC is necessary here? If not needed, please provide an alternative proof. Thanks in advance.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
    $endgroup$
    – Will M.
    Jan 18 at 7:58










  • $begingroup$
    Indeed it is. Topology is definitely pro-choice.
    $endgroup$
    – William Elliot
    Jan 18 at 7:58














3












3








3





$begingroup$


A standard proof can be found here. Basically, the idea is to prove the contrapositive:




Let $Asubseteq X$. If $X$ is compact and $A$ doesn't have any limit
point, then A is finite.




Since A has no limit points, for each $ain A$, there exists a neighboorhood $U_a$ such that $U_acap A =
{a}$
. ${X-A}cup{U_a:ain A}$ forms an open cover of $X$. By
compactness of $X$, only finitely many covers $X$. Because $X-A$ and $A$ are disjoint, A must be finite.



However, the above proof seems to rely on the axiom of choice, since we need to choose a neighborhood $U_a$ for each $a in A$, and there isn't any definite way to do so.



So can somebody clarify whether AC is necessary here? If not needed, please provide an alternative proof. Thanks in advance.










share|cite|improve this question











$endgroup$




A standard proof can be found here. Basically, the idea is to prove the contrapositive:




Let $Asubseteq X$. If $X$ is compact and $A$ doesn't have any limit
point, then A is finite.




Since A has no limit points, for each $ain A$, there exists a neighboorhood $U_a$ such that $U_acap A =
{a}$
. ${X-A}cup{U_a:ain A}$ forms an open cover of $X$. By
compactness of $X$, only finitely many covers $X$. Because $X-A$ and $A$ are disjoint, A must be finite.



However, the above proof seems to rely on the axiom of choice, since we need to choose a neighborhood $U_a$ for each $a in A$, and there isn't any definite way to do so.



So can somebody clarify whether AC is necessary here? If not needed, please provide an alternative proof. Thanks in advance.







general-topology set-theory compactness axiom-of-choice






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 18 at 7:56







YuiTo Cheng

















asked Jan 18 at 7:34









YuiTo ChengYuiTo Cheng

2,52341037




2,52341037












  • $begingroup$
    Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
    $endgroup$
    – Will M.
    Jan 18 at 7:58










  • $begingroup$
    Indeed it is. Topology is definitely pro-choice.
    $endgroup$
    – William Elliot
    Jan 18 at 7:58


















  • $begingroup$
    Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
    $endgroup$
    – Will M.
    Jan 18 at 7:58










  • $begingroup$
    Indeed it is. Topology is definitely pro-choice.
    $endgroup$
    – William Elliot
    Jan 18 at 7:58
















$begingroup$
Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
$endgroup$
– Will M.
Jan 18 at 7:58




$begingroup$
Some authors who find using the AC a bit too much tend to present proofs only for separable and metrizable spaces. In those cases, you can avoid using the AC by an inductive argument. However, AC is absolutely necessary whenever you take infinitely many elements of a set and you do not provide a function explicitly. That is to say, in general topological settings, either you lose lots of results or you accept the AC imo.
$endgroup$
– Will M.
Jan 18 at 7:58












$begingroup$
Indeed it is. Topology is definitely pro-choice.
$endgroup$
– William Elliot
Jan 18 at 7:58




$begingroup$
Indeed it is. Topology is definitely pro-choice.
$endgroup$
– William Elliot
Jan 18 at 7:58










1 Answer
1






active

oldest

votes


















2












$begingroup$

It does not require the Axiom of Choice.



For every $ain A$, set
$$
mathcal W_a=big{Usubset X: U ,text{open},,&,,Ucap A={a} big}
$$

clearly $mathcal W_anevarnothing$ and its definition DOES NOT require the Axiom of Choice.



Then set $U_a=bigcup mathcal W_a$.



Now, $mathcal W={U_a: ain A}$ is a cover without a finite subcover, and it is defined without appealing to the AC.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:09










  • $begingroup$
    Or you are intended to mean "doesn't"?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:19










  • $begingroup$
    @YuiToCheng Thanx! - I corrected my answer
    $endgroup$
    – Yiorgos S. Smyrlis
    Jan 18 at 8:21










  • $begingroup$
    Thanks, that's a perfect answer.
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:21










  • $begingroup$
    You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
    $endgroup$
    – Henno Brandsma
    Jan 18 at 9:29












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%2f3077941%2fpossible-use-of-choice-in-proving-compactness-implies-limit-point-compactness%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









2












$begingroup$

It does not require the Axiom of Choice.



For every $ain A$, set
$$
mathcal W_a=big{Usubset X: U ,text{open},,&,,Ucap A={a} big}
$$

clearly $mathcal W_anevarnothing$ and its definition DOES NOT require the Axiom of Choice.



Then set $U_a=bigcup mathcal W_a$.



Now, $mathcal W={U_a: ain A}$ is a cover without a finite subcover, and it is defined without appealing to the AC.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:09










  • $begingroup$
    Or you are intended to mean "doesn't"?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:19










  • $begingroup$
    @YuiToCheng Thanx! - I corrected my answer
    $endgroup$
    – Yiorgos S. Smyrlis
    Jan 18 at 8:21










  • $begingroup$
    Thanks, that's a perfect answer.
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:21










  • $begingroup$
    You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
    $endgroup$
    – Henno Brandsma
    Jan 18 at 9:29
















2












$begingroup$

It does not require the Axiom of Choice.



For every $ain A$, set
$$
mathcal W_a=big{Usubset X: U ,text{open},,&,,Ucap A={a} big}
$$

clearly $mathcal W_anevarnothing$ and its definition DOES NOT require the Axiom of Choice.



Then set $U_a=bigcup mathcal W_a$.



Now, $mathcal W={U_a: ain A}$ is a cover without a finite subcover, and it is defined without appealing to the AC.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:09










  • $begingroup$
    Or you are intended to mean "doesn't"?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:19










  • $begingroup$
    @YuiToCheng Thanx! - I corrected my answer
    $endgroup$
    – Yiorgos S. Smyrlis
    Jan 18 at 8:21










  • $begingroup$
    Thanks, that's a perfect answer.
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:21










  • $begingroup$
    You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
    $endgroup$
    – Henno Brandsma
    Jan 18 at 9:29














2












2








2





$begingroup$

It does not require the Axiom of Choice.



For every $ain A$, set
$$
mathcal W_a=big{Usubset X: U ,text{open},,&,,Ucap A={a} big}
$$

clearly $mathcal W_anevarnothing$ and its definition DOES NOT require the Axiom of Choice.



Then set $U_a=bigcup mathcal W_a$.



Now, $mathcal W={U_a: ain A}$ is a cover without a finite subcover, and it is defined without appealing to the AC.






share|cite|improve this answer











$endgroup$



It does not require the Axiom of Choice.



For every $ain A$, set
$$
mathcal W_a=big{Usubset X: U ,text{open},,&,,Ucap A={a} big}
$$

clearly $mathcal W_anevarnothing$ and its definition DOES NOT require the Axiom of Choice.



Then set $U_a=bigcup mathcal W_a$.



Now, $mathcal W={U_a: ain A}$ is a cover without a finite subcover, and it is defined without appealing to the AC.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 18 at 8:21

























answered Jan 18 at 8:06









Yiorgos S. SmyrlisYiorgos S. Smyrlis

63.7k1385165




63.7k1385165












  • $begingroup$
    "Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:09










  • $begingroup$
    Or you are intended to mean "doesn't"?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:19










  • $begingroup$
    @YuiToCheng Thanx! - I corrected my answer
    $endgroup$
    – Yiorgos S. Smyrlis
    Jan 18 at 8:21










  • $begingroup$
    Thanks, that's a perfect answer.
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:21










  • $begingroup$
    You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
    $endgroup$
    – Henno Brandsma
    Jan 18 at 9:29


















  • $begingroup$
    "Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:09










  • $begingroup$
    Or you are intended to mean "doesn't"?
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:19










  • $begingroup$
    @YuiToCheng Thanx! - I corrected my answer
    $endgroup$
    – Yiorgos S. Smyrlis
    Jan 18 at 8:21










  • $begingroup$
    Thanks, that's a perfect answer.
    $endgroup$
    – YuiTo Cheng
    Jan 18 at 8:21










  • $begingroup$
    You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
    $endgroup$
    – Henno Brandsma
    Jan 18 at 9:29
















$begingroup$
"Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
$endgroup$
– YuiTo Cheng
Jan 18 at 8:09




$begingroup$
"Its definition does require the Axiom of choice." You mean without AC, $mathcal W_a$ cannot be formed, right?
$endgroup$
– YuiTo Cheng
Jan 18 at 8:09












$begingroup$
Or you are intended to mean "doesn't"?
$endgroup$
– YuiTo Cheng
Jan 18 at 8:19




$begingroup$
Or you are intended to mean "doesn't"?
$endgroup$
– YuiTo Cheng
Jan 18 at 8:19












$begingroup$
@YuiToCheng Thanx! - I corrected my answer
$endgroup$
– Yiorgos S. Smyrlis
Jan 18 at 8:21




$begingroup$
@YuiToCheng Thanx! - I corrected my answer
$endgroup$
– Yiorgos S. Smyrlis
Jan 18 at 8:21












$begingroup$
Thanks, that's a perfect answer.
$endgroup$
– YuiTo Cheng
Jan 18 at 8:21




$begingroup$
Thanks, that's a perfect answer.
$endgroup$
– YuiTo Cheng
Jan 18 at 8:21












$begingroup$
You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
$endgroup$
– Henno Brandsma
Jan 18 at 9:29




$begingroup$
You do need to remark that $A$ is closed and hence itself compact to complete the contradiction. Or like the OP add its complement to the cover.
$endgroup$
– Henno Brandsma
Jan 18 at 9:29


















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%2f3077941%2fpossible-use-of-choice-in-proving-compactness-implies-limit-point-compactness%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?

張江高科駅