The closure of convex hull compact












1














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$?










share|cite|improve this question



























    1














    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$?










    share|cite|improve this question

























      1












      1








      1


      1





      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$?










      share|cite|improve this question













      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






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 26 at 10:32









      Motaka

      229111




      229111






















          2 Answers
          2






          active

          oldest

          votes


















          1














          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).






          share|cite|improve this answer





















          • 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



















          1














          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})$.






          share|cite|improve this answer





















          • Thank you @Yiorgos S. Smyrlis
            – Motaka
            Nov 26 at 13:58











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


          }
          });














          draft saved

          draft discarded


















          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









          1














          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).






          share|cite|improve this answer





















          • 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
















          1














          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).






          share|cite|improve this answer





















          • 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














          1












          1








          1






          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).






          share|cite|improve this answer












          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).







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          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


















          • 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











          1














          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})$.






          share|cite|improve this answer





















          • Thank you @Yiorgos S. Smyrlis
            – Motaka
            Nov 26 at 13:58
















          1














          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})$.






          share|cite|improve this answer





















          • Thank you @Yiorgos S. Smyrlis
            – Motaka
            Nov 26 at 13:58














          1












          1








          1






          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})$.






          share|cite|improve this answer












          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})$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 26 at 11:13









          Yiorgos S. Smyrlis

          62.4k1383162




          62.4k1383162












          • 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




          Thank you @Yiorgos S. Smyrlis
          – Motaka
          Nov 26 at 13:58


















          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.





          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.




          draft saved


          draft discarded














          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





















































          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

          Index of /

          Tribalistas

          Listed building