Closed & boundedness, sequentially compactness and Completeness












0












$begingroup$



Let $(X,||·||)$ be a normed vector space and S be a non-empty subset
of $X$. Which of the following conditions always implies the other two
conditions? Prove one of the two implications. Also, give one example
illustrating that one condition does not imply some other.




  1. S is closed and bounded.

  2. S is sequentially compact

  3. S is complete.




My Answer:




  • (2) implies both (1) and (3):

    Proof:
    $(2)rightarrow(1)$ Suppose $S$ is sequentially compact. Then we have shown that compactness will imply both closed and bounded properties for any metric space (Converse of the Heine Borel theorem is true for any metric space).


$quadquad(2)rightarrow(3)$
begin{align*}
S text{ is Sequentially Compact} &Rightarrow text{ Any Cauchy Sequence in S has a convergent subsequence}\
&Rightarrow text{Cauchy Seqence converges [*]}\
&Rightarrow text{ S is complete}
end{align*}

[Proof of *: Cauchy sequence is convergent iff it has a convergent subsequence ]




  • (1) does not imply (2)

    Proof: Consider the metric space $X=(0,1)$ with the Euclidean. That is the open interval. Since this is the metric space, it is closed. (Any metric space is clopen). Also it is bounded because it is a bounded interval.


Now consider the sequence $(frac{1}{n})_{ninmathbb{N}}$ from $X$. And as we have shown that in the set of real numbers with the Euclidean metric, this sequence converges to 0. Thus all sub sequences should also converge to 0. And as we haven't change the metric for $X$, now we have a sequence from $X$ which does not have a subsequence converging to a point in $X$. Thus it is not sequentially compact. (And also similar argument can be used to say that (1) doesnot imply (3))



I would like some suggestions and feedback on my proposed answer. Moreover I'm wondering whether there is any possible proper subset of a metric space which can be used to say that (1) doesnot imply (2)










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
    $endgroup$
    – Paul Frost
    Jan 5 at 17:48












  • $begingroup$
    But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
    $endgroup$
    – Charith Jeewantha
    Jan 5 at 18:48








  • 1




    $begingroup$
    Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:29






  • 1




    $begingroup$
    As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:30


















0












$begingroup$



Let $(X,||·||)$ be a normed vector space and S be a non-empty subset
of $X$. Which of the following conditions always implies the other two
conditions? Prove one of the two implications. Also, give one example
illustrating that one condition does not imply some other.




  1. S is closed and bounded.

  2. S is sequentially compact

  3. S is complete.




My Answer:




  • (2) implies both (1) and (3):

    Proof:
    $(2)rightarrow(1)$ Suppose $S$ is sequentially compact. Then we have shown that compactness will imply both closed and bounded properties for any metric space (Converse of the Heine Borel theorem is true for any metric space).


$quadquad(2)rightarrow(3)$
begin{align*}
S text{ is Sequentially Compact} &Rightarrow text{ Any Cauchy Sequence in S has a convergent subsequence}\
&Rightarrow text{Cauchy Seqence converges [*]}\
&Rightarrow text{ S is complete}
end{align*}

[Proof of *: Cauchy sequence is convergent iff it has a convergent subsequence ]




  • (1) does not imply (2)

    Proof: Consider the metric space $X=(0,1)$ with the Euclidean. That is the open interval. Since this is the metric space, it is closed. (Any metric space is clopen). Also it is bounded because it is a bounded interval.


Now consider the sequence $(frac{1}{n})_{ninmathbb{N}}$ from $X$. And as we have shown that in the set of real numbers with the Euclidean metric, this sequence converges to 0. Thus all sub sequences should also converge to 0. And as we haven't change the metric for $X$, now we have a sequence from $X$ which does not have a subsequence converging to a point in $X$. Thus it is not sequentially compact. (And also similar argument can be used to say that (1) doesnot imply (3))



I would like some suggestions and feedback on my proposed answer. Moreover I'm wondering whether there is any possible proper subset of a metric space which can be used to say that (1) doesnot imply (2)










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
    $endgroup$
    – Paul Frost
    Jan 5 at 17:48












  • $begingroup$
    But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
    $endgroup$
    – Charith Jeewantha
    Jan 5 at 18:48








  • 1




    $begingroup$
    Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:29






  • 1




    $begingroup$
    As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:30
















0












0








0





$begingroup$



Let $(X,||·||)$ be a normed vector space and S be a non-empty subset
of $X$. Which of the following conditions always implies the other two
conditions? Prove one of the two implications. Also, give one example
illustrating that one condition does not imply some other.




  1. S is closed and bounded.

  2. S is sequentially compact

  3. S is complete.




My Answer:




  • (2) implies both (1) and (3):

    Proof:
    $(2)rightarrow(1)$ Suppose $S$ is sequentially compact. Then we have shown that compactness will imply both closed and bounded properties for any metric space (Converse of the Heine Borel theorem is true for any metric space).


$quadquad(2)rightarrow(3)$
begin{align*}
S text{ is Sequentially Compact} &Rightarrow text{ Any Cauchy Sequence in S has a convergent subsequence}\
&Rightarrow text{Cauchy Seqence converges [*]}\
&Rightarrow text{ S is complete}
end{align*}

[Proof of *: Cauchy sequence is convergent iff it has a convergent subsequence ]




  • (1) does not imply (2)

    Proof: Consider the metric space $X=(0,1)$ with the Euclidean. That is the open interval. Since this is the metric space, it is closed. (Any metric space is clopen). Also it is bounded because it is a bounded interval.


Now consider the sequence $(frac{1}{n})_{ninmathbb{N}}$ from $X$. And as we have shown that in the set of real numbers with the Euclidean metric, this sequence converges to 0. Thus all sub sequences should also converge to 0. And as we haven't change the metric for $X$, now we have a sequence from $X$ which does not have a subsequence converging to a point in $X$. Thus it is not sequentially compact. (And also similar argument can be used to say that (1) doesnot imply (3))



I would like some suggestions and feedback on my proposed answer. Moreover I'm wondering whether there is any possible proper subset of a metric space which can be used to say that (1) doesnot imply (2)










share|cite|improve this question









$endgroup$





Let $(X,||·||)$ be a normed vector space and S be a non-empty subset
of $X$. Which of the following conditions always implies the other two
conditions? Prove one of the two implications. Also, give one example
illustrating that one condition does not imply some other.




  1. S is closed and bounded.

  2. S is sequentially compact

  3. S is complete.




My Answer:




  • (2) implies both (1) and (3):

    Proof:
    $(2)rightarrow(1)$ Suppose $S$ is sequentially compact. Then we have shown that compactness will imply both closed and bounded properties for any metric space (Converse of the Heine Borel theorem is true for any metric space).


$quadquad(2)rightarrow(3)$
begin{align*}
S text{ is Sequentially Compact} &Rightarrow text{ Any Cauchy Sequence in S has a convergent subsequence}\
&Rightarrow text{Cauchy Seqence converges [*]}\
&Rightarrow text{ S is complete}
end{align*}

[Proof of *: Cauchy sequence is convergent iff it has a convergent subsequence ]




  • (1) does not imply (2)

    Proof: Consider the metric space $X=(0,1)$ with the Euclidean. That is the open interval. Since this is the metric space, it is closed. (Any metric space is clopen). Also it is bounded because it is a bounded interval.


Now consider the sequence $(frac{1}{n})_{ninmathbb{N}}$ from $X$. And as we have shown that in the set of real numbers with the Euclidean metric, this sequence converges to 0. Thus all sub sequences should also converge to 0. And as we haven't change the metric for $X$, now we have a sequence from $X$ which does not have a subsequence converging to a point in $X$. Thus it is not sequentially compact. (And also similar argument can be used to say that (1) doesnot imply (3))



I would like some suggestions and feedback on my proposed answer. Moreover I'm wondering whether there is any possible proper subset of a metric space which can be used to say that (1) doesnot imply (2)







real-analysis general-topology metric-spaces






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 5 at 17:34









Charith JeewanthaCharith Jeewantha

827




827








  • 2




    $begingroup$
    You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
    $endgroup$
    – Paul Frost
    Jan 5 at 17:48












  • $begingroup$
    But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
    $endgroup$
    – Charith Jeewantha
    Jan 5 at 18:48








  • 1




    $begingroup$
    Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:29






  • 1




    $begingroup$
    As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:30
















  • 2




    $begingroup$
    You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
    $endgroup$
    – Paul Frost
    Jan 5 at 17:48












  • $begingroup$
    But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
    $endgroup$
    – Charith Jeewantha
    Jan 5 at 18:48








  • 1




    $begingroup$
    Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:29






  • 1




    $begingroup$
    As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
    $endgroup$
    – Henno Brandsma
    Jan 5 at 22:30










2




2




$begingroup$
You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
$endgroup$
– Paul Frost
Jan 5 at 17:48






$begingroup$
You arguments and examples are correct, but you did not answer the question. $X= (0,1)$ is not a normed vector space. But you may consider $X = mathbb{R}$ to show (3) does not imply (1) nor (2).
$endgroup$
– Paul Frost
Jan 5 at 17:48














$begingroup$
But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
$endgroup$
– Charith Jeewantha
Jan 5 at 18:48






$begingroup$
But then what should I need to choose as the complete subset of X? can I take $[0,infty)$
$endgroup$
– Charith Jeewantha
Jan 5 at 18:48






1




1




$begingroup$
Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
$endgroup$
– Henno Brandsma
Jan 5 at 22:29




$begingroup$
Just $S=X=mathbb{R}$ itself is complete. And not bounded nor sequentially compact.
$endgroup$
– Henno Brandsma
Jan 5 at 22:29




1




1




$begingroup$
As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
$endgroup$
– Henno Brandsma
Jan 5 at 22:30






$begingroup$
As for (1) not implying (2) : take $S$ as the closed unit ball in say $X=ell_2$ (or any inifnite-dimensional Banach space), closed and bounded but not sequentially compact. It also shows (3) does not imply (2).
$endgroup$
– Henno Brandsma
Jan 5 at 22:30












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


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062958%2fclosed-boundedness-sequentially-compactness-and-completeness%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
















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%2f3062958%2fclosed-boundedness-sequentially-compactness-and-completeness%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?

張江高科駅