Rudin's functional analysis appendix A4 (a)
$begingroup$
Quick question about the following theorem:
If $K$ is a closed subset of a complete metric space $X$ then the following three properties are equivalent:
(a) $K$ is compact
(b) Every infinite subset of $K$ ha s a limit point in $K$
(c) $K$ is totally bounded
(a) Is proven by contradiction.
Assume (a). If $E subset K$ is infinite and no point of $K$ is a limit point of $E$, there's an open cover $left{ V_alpha right}$ of $K$ such that each $V_alpha$ contains at most one point of $E$.
Why is that? I was trying to get the same conclusion by using the definition limit point and compact, but this doesn't seem to lead me anywhere.
Therefore $left{ V_alpha right}$ has no finite subcover, a contradiction.
Can you elaborate on this bit as well?
functional-analysis proof-explanation compactness complete-spaces
$endgroup$
add a comment |
$begingroup$
Quick question about the following theorem:
If $K$ is a closed subset of a complete metric space $X$ then the following three properties are equivalent:
(a) $K$ is compact
(b) Every infinite subset of $K$ ha s a limit point in $K$
(c) $K$ is totally bounded
(a) Is proven by contradiction.
Assume (a). If $E subset K$ is infinite and no point of $K$ is a limit point of $E$, there's an open cover $left{ V_alpha right}$ of $K$ such that each $V_alpha$ contains at most one point of $E$.
Why is that? I was trying to get the same conclusion by using the definition limit point and compact, but this doesn't seem to lead me anywhere.
Therefore $left{ V_alpha right}$ has no finite subcover, a contradiction.
Can you elaborate on this bit as well?
functional-analysis proof-explanation compactness complete-spaces
$endgroup$
add a comment |
$begingroup$
Quick question about the following theorem:
If $K$ is a closed subset of a complete metric space $X$ then the following three properties are equivalent:
(a) $K$ is compact
(b) Every infinite subset of $K$ ha s a limit point in $K$
(c) $K$ is totally bounded
(a) Is proven by contradiction.
Assume (a). If $E subset K$ is infinite and no point of $K$ is a limit point of $E$, there's an open cover $left{ V_alpha right}$ of $K$ such that each $V_alpha$ contains at most one point of $E$.
Why is that? I was trying to get the same conclusion by using the definition limit point and compact, but this doesn't seem to lead me anywhere.
Therefore $left{ V_alpha right}$ has no finite subcover, a contradiction.
Can you elaborate on this bit as well?
functional-analysis proof-explanation compactness complete-spaces
$endgroup$
Quick question about the following theorem:
If $K$ is a closed subset of a complete metric space $X$ then the following three properties are equivalent:
(a) $K$ is compact
(b) Every infinite subset of $K$ ha s a limit point in $K$
(c) $K$ is totally bounded
(a) Is proven by contradiction.
Assume (a). If $E subset K$ is infinite and no point of $K$ is a limit point of $E$, there's an open cover $left{ V_alpha right}$ of $K$ such that each $V_alpha$ contains at most one point of $E$.
Why is that? I was trying to get the same conclusion by using the definition limit point and compact, but this doesn't seem to lead me anywhere.
Therefore $left{ V_alpha right}$ has no finite subcover, a contradiction.
Can you elaborate on this bit as well?
functional-analysis proof-explanation compactness complete-spaces
functional-analysis proof-explanation compactness complete-spaces
asked Jan 17 at 10:02
user8469759user8469759
1,5381618
1,5381618
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
1) By definition of limit point. If no point is a limit point, you can find a neighborhood of each point not containing any other point of $E$. The union of all these neighborhoods cover $K$.
2) If you try to take a finite subcover, no matter how you choose them, you will only find finitely many points of E because every neighborhood you chose only contains at most one point of E. Hence you cannot cover E (and consequently K) with a finite subcover.
$endgroup$
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
add a comment |
$begingroup$
For every $xin E$ you can choose an open set $V_x$ such that $Ecap V_x={x}$.
For every $xin K-E$ you can choose an open set $V_x$ such that $xin V_x$ and $Ecap V_x=varnothing$.
This because every $xin K$ is not a limit point of $E$.
The collection ${V_xmid xin K}$ is an open cover of $K$.
$endgroup$
add a comment |
$begingroup$
Attempt (Credit to drhab).
Assume $E subset K$ is infinite and no point of $K$ is a limit point.
1) Let $e in E$. Then , since $e in K$, $e$ is not a limit point of $E$.
There is an open $U_e$ s.t. $U_ecap E =$ {$e$}.
2) Let $y in K-E_y$. then since $y$ is not a limit point of $E$, there is an open $V_y$ s.t. $V_y cap E = emptyset$.
3) $displaystyle{cup_{e in E}} U_e displaystyle{cup_{y in K-E}} V_y$ is an open cover of $K$ that does not have a finite subcover(Why?).
Contradiction to $K$ compact.
$endgroup$
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3076799%2frudins-functional-analysis-appendix-a4-a%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
1) By definition of limit point. If no point is a limit point, you can find a neighborhood of each point not containing any other point of $E$. The union of all these neighborhoods cover $K$.
2) If you try to take a finite subcover, no matter how you choose them, you will only find finitely many points of E because every neighborhood you chose only contains at most one point of E. Hence you cannot cover E (and consequently K) with a finite subcover.
$endgroup$
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
add a comment |
$begingroup$
1) By definition of limit point. If no point is a limit point, you can find a neighborhood of each point not containing any other point of $E$. The union of all these neighborhoods cover $K$.
2) If you try to take a finite subcover, no matter how you choose them, you will only find finitely many points of E because every neighborhood you chose only contains at most one point of E. Hence you cannot cover E (and consequently K) with a finite subcover.
$endgroup$
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
add a comment |
$begingroup$
1) By definition of limit point. If no point is a limit point, you can find a neighborhood of each point not containing any other point of $E$. The union of all these neighborhoods cover $K$.
2) If you try to take a finite subcover, no matter how you choose them, you will only find finitely many points of E because every neighborhood you chose only contains at most one point of E. Hence you cannot cover E (and consequently K) with a finite subcover.
$endgroup$
1) By definition of limit point. If no point is a limit point, you can find a neighborhood of each point not containing any other point of $E$. The union of all these neighborhoods cover $K$.
2) If you try to take a finite subcover, no matter how you choose them, you will only find finitely many points of E because every neighborhood you chose only contains at most one point of E. Hence you cannot cover E (and consequently K) with a finite subcover.
answered Jan 17 at 10:13
KlausKlaus
1,8179
1,8179
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
add a comment |
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
I know I'm being annoying, but could you elaborate a bit more on the fact "you can find a neighborhood of each point not containing any other point of $E$"?
$endgroup$
– user8469759
Jan 17 at 10:21
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
Well, what is your definition of limit point?
$endgroup$
– Klaus
Jan 17 at 10:30
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
x is a limit point for E if every neighborhood intersects E (except for x)
$endgroup$
– user8469759
Jan 17 at 10:33
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Hence if $x$ is not a limit point, there is a neighborhood that does not intersect $E$ (except for $x$). ;-)
$endgroup$
– Klaus
Jan 17 at 10:36
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
$begingroup$
Ok, I struggled with the negation... shame on me. I'll give a second read to the proof given your explanation as well.
$endgroup$
– user8469759
Jan 17 at 10:38
add a comment |
$begingroup$
For every $xin E$ you can choose an open set $V_x$ such that $Ecap V_x={x}$.
For every $xin K-E$ you can choose an open set $V_x$ such that $xin V_x$ and $Ecap V_x=varnothing$.
This because every $xin K$ is not a limit point of $E$.
The collection ${V_xmid xin K}$ is an open cover of $K$.
$endgroup$
add a comment |
$begingroup$
For every $xin E$ you can choose an open set $V_x$ such that $Ecap V_x={x}$.
For every $xin K-E$ you can choose an open set $V_x$ such that $xin V_x$ and $Ecap V_x=varnothing$.
This because every $xin K$ is not a limit point of $E$.
The collection ${V_xmid xin K}$ is an open cover of $K$.
$endgroup$
add a comment |
$begingroup$
For every $xin E$ you can choose an open set $V_x$ such that $Ecap V_x={x}$.
For every $xin K-E$ you can choose an open set $V_x$ such that $xin V_x$ and $Ecap V_x=varnothing$.
This because every $xin K$ is not a limit point of $E$.
The collection ${V_xmid xin K}$ is an open cover of $K$.
$endgroup$
For every $xin E$ you can choose an open set $V_x$ such that $Ecap V_x={x}$.
For every $xin K-E$ you can choose an open set $V_x$ such that $xin V_x$ and $Ecap V_x=varnothing$.
This because every $xin K$ is not a limit point of $E$.
The collection ${V_xmid xin K}$ is an open cover of $K$.
answered Jan 17 at 10:13


drhabdrhab
102k545136
102k545136
add a comment |
add a comment |
$begingroup$
Attempt (Credit to drhab).
Assume $E subset K$ is infinite and no point of $K$ is a limit point.
1) Let $e in E$. Then , since $e in K$, $e$ is not a limit point of $E$.
There is an open $U_e$ s.t. $U_ecap E =$ {$e$}.
2) Let $y in K-E_y$. then since $y$ is not a limit point of $E$, there is an open $V_y$ s.t. $V_y cap E = emptyset$.
3) $displaystyle{cup_{e in E}} U_e displaystyle{cup_{y in K-E}} V_y$ is an open cover of $K$ that does not have a finite subcover(Why?).
Contradiction to $K$ compact.
$endgroup$
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
add a comment |
$begingroup$
Attempt (Credit to drhab).
Assume $E subset K$ is infinite and no point of $K$ is a limit point.
1) Let $e in E$. Then , since $e in K$, $e$ is not a limit point of $E$.
There is an open $U_e$ s.t. $U_ecap E =$ {$e$}.
2) Let $y in K-E_y$. then since $y$ is not a limit point of $E$, there is an open $V_y$ s.t. $V_y cap E = emptyset$.
3) $displaystyle{cup_{e in E}} U_e displaystyle{cup_{y in K-E}} V_y$ is an open cover of $K$ that does not have a finite subcover(Why?).
Contradiction to $K$ compact.
$endgroup$
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
add a comment |
$begingroup$
Attempt (Credit to drhab).
Assume $E subset K$ is infinite and no point of $K$ is a limit point.
1) Let $e in E$. Then , since $e in K$, $e$ is not a limit point of $E$.
There is an open $U_e$ s.t. $U_ecap E =$ {$e$}.
2) Let $y in K-E_y$. then since $y$ is not a limit point of $E$, there is an open $V_y$ s.t. $V_y cap E = emptyset$.
3) $displaystyle{cup_{e in E}} U_e displaystyle{cup_{y in K-E}} V_y$ is an open cover of $K$ that does not have a finite subcover(Why?).
Contradiction to $K$ compact.
$endgroup$
Attempt (Credit to drhab).
Assume $E subset K$ is infinite and no point of $K$ is a limit point.
1) Let $e in E$. Then , since $e in K$, $e$ is not a limit point of $E$.
There is an open $U_e$ s.t. $U_ecap E =$ {$e$}.
2) Let $y in K-E_y$. then since $y$ is not a limit point of $E$, there is an open $V_y$ s.t. $V_y cap E = emptyset$.
3) $displaystyle{cup_{e in E}} U_e displaystyle{cup_{y in K-E}} V_y$ is an open cover of $K$ that does not have a finite subcover(Why?).
Contradiction to $K$ compact.
edited Jan 17 at 18:12
answered Jan 17 at 17:01
Peter SzilasPeter Szilas
11.4k2822
11.4k2822
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
add a comment |
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
Your point 3) isn't clear.
$endgroup$
– user8469759
Jan 17 at 17:35
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
User8469759.Please explain. $E subset cup_{e in E} U_e$, likewise the other union : $K -E subset cup_{y in K-E} V_y$.
$endgroup$
– Peter Szilas
Jan 17 at 18:07
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
Just an issue with the latex, it's ok now.
$endgroup$
– user8469759
Jan 17 at 18:20
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
$begingroup$
User8469759.Thanks.
$endgroup$
– Peter Szilas
Jan 17 at 18:29
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3076799%2frudins-functional-analysis-appendix-a4-a%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