limit points of a subset of a compact setVerification of the proof of the theorem: “E is infinite subset of...
Journal losing indexing services
Confusion on Parallelogram
Bob has never been a M before
A Permanent Norse Presence in America
How do I repair my stair bannister?
How should I respond when I lied about my education and the company finds out through background check?
Varistor? Purpose and principle
Indicating multiple different modes of speech (fantasy language or telepathy)
Engineer refusing to file/disclose patents
Can a significant change in incentives void an employment contract?
How to align and center standalone amsmath equations?
Can somebody explain Brexit in a few child-proof sentences?
Has Darkwing Duck ever met Scrooge McDuck?
Two-sided logarithm inequality
Is it possible to have a strip of cold climate in the middle of a planet?
Difference between -| and |- in TikZ
Can I use my Chinese passport to enter China after I acquired another citizenship?
Flux received by a negative charge
We have a love-hate relationship
Visiting the UK as unmarried couple
ArcGIS not connecting to PostgreSQL db with all upper-case name
What's the difference between 違法 and 不法?
Longest common substring in linear time
Java - What do constructor type arguments mean when placed *before* the type?
limit points of a subset of a compact set
Verification of the proof of the theorem: “E is infinite subset of a compact set K, prove: E has a limit point in K”Let X be a metric space in which every infinite subset has a limit point. Prove that X is compact.Thinking Process: a set is closed if it contains all of its limit points (--> this direction)Limit point of an infinite subset of a compact setCompact subset of $mathbb{R}^1$ with countable limit pointsProve a metric space in which every infinite subset has a limit point is compact.(Question about one particular proof)Limit Points for a SetRudin's theorem on compact sets and limit pointsProving that a finite point set is closed by using limit pointsReal Analysis - Limit points and Open set.
$begingroup$
so I'm confused. I know that any infinite subset of a compact set $X$ should have a limit point in $X$. I wonder why it is not true that all the limit points of any subset $E$ of a compact set $X$ belong to $X$? If any limit point $p$ of $E$ does not belong to $X$, it means that it belongs to the complement of $X$ which is an open set. Then there is a neighborhood around $p$ which has no intersection with $X$ therefore not with $E$ too, contradicting the definition of a limit point. Where am I mistaken? thx in advance
real-analysis
$endgroup$
|
show 6 more comments
$begingroup$
so I'm confused. I know that any infinite subset of a compact set $X$ should have a limit point in $X$. I wonder why it is not true that all the limit points of any subset $E$ of a compact set $X$ belong to $X$? If any limit point $p$ of $E$ does not belong to $X$, it means that it belongs to the complement of $X$ which is an open set. Then there is a neighborhood around $p$ which has no intersection with $X$ therefore not with $E$ too, contradicting the definition of a limit point. Where am I mistaken? thx in advance
real-analysis
$endgroup$
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01
|
show 6 more comments
$begingroup$
so I'm confused. I know that any infinite subset of a compact set $X$ should have a limit point in $X$. I wonder why it is not true that all the limit points of any subset $E$ of a compact set $X$ belong to $X$? If any limit point $p$ of $E$ does not belong to $X$, it means that it belongs to the complement of $X$ which is an open set. Then there is a neighborhood around $p$ which has no intersection with $X$ therefore not with $E$ too, contradicting the definition of a limit point. Where am I mistaken? thx in advance
real-analysis
$endgroup$
so I'm confused. I know that any infinite subset of a compact set $X$ should have a limit point in $X$. I wonder why it is not true that all the limit points of any subset $E$ of a compact set $X$ belong to $X$? If any limit point $p$ of $E$ does not belong to $X$, it means that it belongs to the complement of $X$ which is an open set. Then there is a neighborhood around $p$ which has no intersection with $X$ therefore not with $E$ too, contradicting the definition of a limit point. Where am I mistaken? thx in advance
real-analysis
real-analysis
asked Mar 14 at 12:27
shota kobakhidzeshota kobakhidze
115
115
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01
|
show 6 more comments
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01
|
show 6 more comments
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3147941%2flimit-points-of-a-subset-of-a-compact-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3147941%2flimit-points-of-a-subset-of-a-compact-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
$begingroup$
You are not mistaken, in fact for any closed set $X$ the limit points of a subset $Esubset X$ are contained in $X$.
$endgroup$
– Floris Claassens
Mar 14 at 12:37
$begingroup$
Is the space you're considering Hausdorff or a general topological space?
$endgroup$
– Chrystomath
Mar 14 at 12:38
$begingroup$
@Chrystomath: It's a general topological space. Have no experience with Hausdorff space to be honest.
$endgroup$
– shota kobakhidze
Mar 14 at 12:43
$begingroup$
@FlorisClaassens: I was just confused why Rudin had it as a theorem, I thought the extension of the theorem to any subset(not only infinite ones) was false.
$endgroup$
– shota kobakhidze
Mar 14 at 12:47
$begingroup$
@shota kobakhidze, I did some quick extra research, and this has a lot to do with the definition of a limit point. Some point $x$ is a limit point of $E$ if every neighbourhood of $x$ contains a point of $E$ other then $x$ itself. By this definition, clearly if $E$ is finite it has no limit points.
$endgroup$
– Floris Claassens
Mar 14 at 13:01