The closure of convex hull compact
Let $A_n={x_n,x_{n+1},...}subset E$ for each $nin mathbb N$, such that $E$ is a Banach space.
If the closure of the convex hull of $A_n$ is compact i.e $overline{co}(A_n)$ compact, is $overline{co}(A_1)$ compact?
what we can say about $A_1$?
real-analysis functional-analysis compactness
add a comment |
Let $A_n={x_n,x_{n+1},...}subset E$ for each $nin mathbb N$, such that $E$ is a Banach space.
If the closure of the convex hull of $A_n$ is compact i.e $overline{co}(A_n)$ compact, is $overline{co}(A_1)$ compact?
what we can say about $A_1$?
real-analysis functional-analysis compactness
add a comment |
Let $A_n={x_n,x_{n+1},...}subset E$ for each $nin mathbb N$, such that $E$ is a Banach space.
If the closure of the convex hull of $A_n$ is compact i.e $overline{co}(A_n)$ compact, is $overline{co}(A_1)$ compact?
what we can say about $A_1$?
real-analysis functional-analysis compactness
Let $A_n={x_n,x_{n+1},...}subset E$ for each $nin mathbb N$, such that $E$ is a Banach space.
If the closure of the convex hull of $A_n$ is compact i.e $overline{co}(A_n)$ compact, is $overline{co}(A_1)$ compact?
what we can say about $A_1$?
real-analysis functional-analysis compactness
real-analysis functional-analysis compactness
asked Nov 26 at 10:32
Motaka
229111
229111
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
It is well-know that the closure of the convex-hull $overline{mathrm{Co}(K)}$ is compact, if $K$ is compact and $E$ is a Banach space. Note that $overline{A_n} subset overline{mathrm{Co}(A_n)}$. Thus, if $overline{mathrm{Co}(A_n)}$ is compact, then $overline{A_n}$ is compact too. Since $$A_1 subset {x_1,ldots, x_{n-1}} cup overline{A_n} =:K$$ and the latter set $K$ is compact, we get that $overline{mathrm{Co}(A_1)}$ is compact. In fact, note that
$$overline{mathrm{Co}(A_1)} subset overline{mathrm{Co}(K)}$$
and the last set is compact (because $K$ is compact).
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
add a comment |
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0in E$, then $,overline{mathrm{co}},(Kcup{x_0})$ is also compact.
Proof of the Claim. Let ${z_n}subset overline{mathrm{co}},(Kcup{x_0})$, we need to show that there exists a converging subsequence of ${z_n}$ with limit in
$overline{mathrm{co}},(Kcup{x_0})$.
First of all, there exists another sequence,
${w_n}subset {mathrm{co}},(Kcup{x_0})$, such that
$$
|z_n-w_n|<frac{1}{n}qquadtext{and}qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_nin K$ and $t_nin[0,1]$. Clearly, ${t_n}$ possesses and converging subsequence
${t_{n_j}}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_ellto tin[0,1]qquadtext{and}qquad k_ellto kin K.
$$
Then
$$
w_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0})
$$
and as $z_ell-w_ellto 0$, we also have that
$$
z_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0}).
$$
Hence, every sequence in
$overline{mathrm{co}},(Kcup{x_0})$
possesses a converging subsequenc in
$overline{mathrm{co}},(Kcup{x_0})$.
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
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%2f3014166%2fthe-closure-of-convex-hull-compact%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
It is well-know that the closure of the convex-hull $overline{mathrm{Co}(K)}$ is compact, if $K$ is compact and $E$ is a Banach space. Note that $overline{A_n} subset overline{mathrm{Co}(A_n)}$. Thus, if $overline{mathrm{Co}(A_n)}$ is compact, then $overline{A_n}$ is compact too. Since $$A_1 subset {x_1,ldots, x_{n-1}} cup overline{A_n} =:K$$ and the latter set $K$ is compact, we get that $overline{mathrm{Co}(A_1)}$ is compact. In fact, note that
$$overline{mathrm{Co}(A_1)} subset overline{mathrm{Co}(K)}$$
and the last set is compact (because $K$ is compact).
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
add a comment |
It is well-know that the closure of the convex-hull $overline{mathrm{Co}(K)}$ is compact, if $K$ is compact and $E$ is a Banach space. Note that $overline{A_n} subset overline{mathrm{Co}(A_n)}$. Thus, if $overline{mathrm{Co}(A_n)}$ is compact, then $overline{A_n}$ is compact too. Since $$A_1 subset {x_1,ldots, x_{n-1}} cup overline{A_n} =:K$$ and the latter set $K$ is compact, we get that $overline{mathrm{Co}(A_1)}$ is compact. In fact, note that
$$overline{mathrm{Co}(A_1)} subset overline{mathrm{Co}(K)}$$
and the last set is compact (because $K$ is compact).
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
add a comment |
It is well-know that the closure of the convex-hull $overline{mathrm{Co}(K)}$ is compact, if $K$ is compact and $E$ is a Banach space. Note that $overline{A_n} subset overline{mathrm{Co}(A_n)}$. Thus, if $overline{mathrm{Co}(A_n)}$ is compact, then $overline{A_n}$ is compact too. Since $$A_1 subset {x_1,ldots, x_{n-1}} cup overline{A_n} =:K$$ and the latter set $K$ is compact, we get that $overline{mathrm{Co}(A_1)}$ is compact. In fact, note that
$$overline{mathrm{Co}(A_1)} subset overline{mathrm{Co}(K)}$$
and the last set is compact (because $K$ is compact).
It is well-know that the closure of the convex-hull $overline{mathrm{Co}(K)}$ is compact, if $K$ is compact and $E$ is a Banach space. Note that $overline{A_n} subset overline{mathrm{Co}(A_n)}$. Thus, if $overline{mathrm{Co}(A_n)}$ is compact, then $overline{A_n}$ is compact too. Since $$A_1 subset {x_1,ldots, x_{n-1}} cup overline{A_n} =:K$$ and the latter set $K$ is compact, we get that $overline{mathrm{Co}(A_1)}$ is compact. In fact, note that
$$overline{mathrm{Co}(A_1)} subset overline{mathrm{Co}(K)}$$
and the last set is compact (because $K$ is compact).
answered Nov 26 at 10:59
p4sch
4,800217
4,800217
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
add a comment |
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
Great, thank you. Now we know that $A_1$ is relatively compact. in the paper that i'm reading, they say that ${x_n}$ has a convergent subsequence, do you have any idea why?
– Motaka
Nov 26 at 11:15
1
1
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
$overline{A_1}$ is compact. Since the notation of compactness and sequential compactness is equivalent in metric spaces, your statement is a direct consequence of compactness.
– p4sch
Nov 26 at 11:20
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
I will rephrase my statement. $overline{A_1}=overline{{x1,x_2,...}}$ is compact so its sequential compact, but why $A_1$ is sequential compact
– Motaka
Nov 26 at 12:15
1
1
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Any sequence in $A_1$ also also a sequence in $overline{A_1}$. Thus it has a convergent subsequence. However, the limes lies in $overline{A_1}$ and can be not in $A_1$. (The paper doesn't say that the limes is in $A_1$!)
– p4sch
Nov 26 at 12:17
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
Exactly, I forget this one , Thank you so much
– Motaka
Nov 26 at 12:18
add a comment |
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0in E$, then $,overline{mathrm{co}},(Kcup{x_0})$ is also compact.
Proof of the Claim. Let ${z_n}subset overline{mathrm{co}},(Kcup{x_0})$, we need to show that there exists a converging subsequence of ${z_n}$ with limit in
$overline{mathrm{co}},(Kcup{x_0})$.
First of all, there exists another sequence,
${w_n}subset {mathrm{co}},(Kcup{x_0})$, such that
$$
|z_n-w_n|<frac{1}{n}qquadtext{and}qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_nin K$ and $t_nin[0,1]$. Clearly, ${t_n}$ possesses and converging subsequence
${t_{n_j}}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_ellto tin[0,1]qquadtext{and}qquad k_ellto kin K.
$$
Then
$$
w_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0})
$$
and as $z_ell-w_ellto 0$, we also have that
$$
z_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0}).
$$
Hence, every sequence in
$overline{mathrm{co}},(Kcup{x_0})$
possesses a converging subsequenc in
$overline{mathrm{co}},(Kcup{x_0})$.
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
add a comment |
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0in E$, then $,overline{mathrm{co}},(Kcup{x_0})$ is also compact.
Proof of the Claim. Let ${z_n}subset overline{mathrm{co}},(Kcup{x_0})$, we need to show that there exists a converging subsequence of ${z_n}$ with limit in
$overline{mathrm{co}},(Kcup{x_0})$.
First of all, there exists another sequence,
${w_n}subset {mathrm{co}},(Kcup{x_0})$, such that
$$
|z_n-w_n|<frac{1}{n}qquadtext{and}qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_nin K$ and $t_nin[0,1]$. Clearly, ${t_n}$ possesses and converging subsequence
${t_{n_j}}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_ellto tin[0,1]qquadtext{and}qquad k_ellto kin K.
$$
Then
$$
w_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0})
$$
and as $z_ell-w_ellto 0$, we also have that
$$
z_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0}).
$$
Hence, every sequence in
$overline{mathrm{co}},(Kcup{x_0})$
possesses a converging subsequenc in
$overline{mathrm{co}},(Kcup{x_0})$.
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
add a comment |
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0in E$, then $,overline{mathrm{co}},(Kcup{x_0})$ is also compact.
Proof of the Claim. Let ${z_n}subset overline{mathrm{co}},(Kcup{x_0})$, we need to show that there exists a converging subsequence of ${z_n}$ with limit in
$overline{mathrm{co}},(Kcup{x_0})$.
First of all, there exists another sequence,
${w_n}subset {mathrm{co}},(Kcup{x_0})$, such that
$$
|z_n-w_n|<frac{1}{n}qquadtext{and}qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_nin K$ and $t_nin[0,1]$. Clearly, ${t_n}$ possesses and converging subsequence
${t_{n_j}}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_ellto tin[0,1]qquadtext{and}qquad k_ellto kin K.
$$
Then
$$
w_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0})
$$
and as $z_ell-w_ellto 0$, we also have that
$$
z_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0}).
$$
Hence, every sequence in
$overline{mathrm{co}},(Kcup{x_0})$
possesses a converging subsequenc in
$overline{mathrm{co}},(Kcup{x_0})$.
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0in E$, then $,overline{mathrm{co}},(Kcup{x_0})$ is also compact.
Proof of the Claim. Let ${z_n}subset overline{mathrm{co}},(Kcup{x_0})$, we need to show that there exists a converging subsequence of ${z_n}$ with limit in
$overline{mathrm{co}},(Kcup{x_0})$.
First of all, there exists another sequence,
${w_n}subset {mathrm{co}},(Kcup{x_0})$, such that
$$
|z_n-w_n|<frac{1}{n}qquadtext{and}qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_nin K$ and $t_nin[0,1]$. Clearly, ${t_n}$ possesses and converging subsequence
${t_{n_j}}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_ellto tin[0,1]qquadtext{and}qquad k_ellto kin K.
$$
Then
$$
w_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0})
$$
and as $z_ell-w_ellto 0$, we also have that
$$
z_ellto tk+(1-k)x_0in overline{mathrm{co}},(Kcup{x_0}).
$$
Hence, every sequence in
$overline{mathrm{co}},(Kcup{x_0})$
possesses a converging subsequenc in
$overline{mathrm{co}},(Kcup{x_0})$.
answered Nov 26 at 11:13
Yiorgos S. Smyrlis
62.4k1383162
62.4k1383162
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
add a comment |
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
Thank you @Yiorgos S. Smyrlis
– Motaka
Nov 26 at 13:58
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3014166%2fthe-closure-of-convex-hull-compact%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