Proving an infimum using the archimedean property of R












2












$begingroup$


As the title states, I am working on proving an infimum with the archimedean property of $mathbb{R}$. The problem is stated as follows:




Use the archimedean property of $mathbb{R}$ to rigorously prove that $inf {frac{1}{n} : n in mathbb{N}} = 0$




A note: I realize the below is probably the wrong way to go about it, but it is an attempt - im not great at proofs yet...



I start out by stating that $A = {frac{1}{n} : n in mathbb{N}}$



I want to prove that $infA = 0$.



I feel like a proof by contradiction is a good way to go about it:



So, suppose not, suppose $infA neq 0$



Then let some $s$ be a lower bound for $A$.



Following the definition of an infimum, given any lower bound $b$, it follows $s ge b$.



Since by our premise $infA neq 0$, then $s gt 0$.



Now, following the archimedean property, since $s in mathbb{R}$ and $s gt 0$, we can find some $n in mathbb{N}$ such that $frac{1}{n} < s$.



It follows then that $1 < sn$. But the supremum of the set $A$ is 1. Thus we have reached a contradiction, and it must be that $inf A = 0$.



To be honest I feel intimidated by trying to prove this stuff, and could really use the support. I have ordered a book on proofs, but I feel like im struggling to really "grasp" what is going on beyond just putting stuff together. Aside from helping with the proof itself, I'd appreciate any advice on how to decide when to use proof by contradiction in the future. Thanks!










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    When you suppose $inf Ane 0$ how do you know inf A exists at all?
    $endgroup$
    – fleablood
    Feb 2 at 6:40






  • 1




    $begingroup$
    Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
    $endgroup$
    – fleablood
    Feb 2 at 6:49
















2












$begingroup$


As the title states, I am working on proving an infimum with the archimedean property of $mathbb{R}$. The problem is stated as follows:




Use the archimedean property of $mathbb{R}$ to rigorously prove that $inf {frac{1}{n} : n in mathbb{N}} = 0$




A note: I realize the below is probably the wrong way to go about it, but it is an attempt - im not great at proofs yet...



I start out by stating that $A = {frac{1}{n} : n in mathbb{N}}$



I want to prove that $infA = 0$.



I feel like a proof by contradiction is a good way to go about it:



So, suppose not, suppose $infA neq 0$



Then let some $s$ be a lower bound for $A$.



Following the definition of an infimum, given any lower bound $b$, it follows $s ge b$.



Since by our premise $infA neq 0$, then $s gt 0$.



Now, following the archimedean property, since $s in mathbb{R}$ and $s gt 0$, we can find some $n in mathbb{N}$ such that $frac{1}{n} < s$.



It follows then that $1 < sn$. But the supremum of the set $A$ is 1. Thus we have reached a contradiction, and it must be that $inf A = 0$.



To be honest I feel intimidated by trying to prove this stuff, and could really use the support. I have ordered a book on proofs, but I feel like im struggling to really "grasp" what is going on beyond just putting stuff together. Aside from helping with the proof itself, I'd appreciate any advice on how to decide when to use proof by contradiction in the future. Thanks!










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    When you suppose $inf Ane 0$ how do you know inf A exists at all?
    $endgroup$
    – fleablood
    Feb 2 at 6:40






  • 1




    $begingroup$
    Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
    $endgroup$
    – fleablood
    Feb 2 at 6:49














2












2








2





$begingroup$


As the title states, I am working on proving an infimum with the archimedean property of $mathbb{R}$. The problem is stated as follows:




Use the archimedean property of $mathbb{R}$ to rigorously prove that $inf {frac{1}{n} : n in mathbb{N}} = 0$




A note: I realize the below is probably the wrong way to go about it, but it is an attempt - im not great at proofs yet...



I start out by stating that $A = {frac{1}{n} : n in mathbb{N}}$



I want to prove that $infA = 0$.



I feel like a proof by contradiction is a good way to go about it:



So, suppose not, suppose $infA neq 0$



Then let some $s$ be a lower bound for $A$.



Following the definition of an infimum, given any lower bound $b$, it follows $s ge b$.



Since by our premise $infA neq 0$, then $s gt 0$.



Now, following the archimedean property, since $s in mathbb{R}$ and $s gt 0$, we can find some $n in mathbb{N}$ such that $frac{1}{n} < s$.



It follows then that $1 < sn$. But the supremum of the set $A$ is 1. Thus we have reached a contradiction, and it must be that $inf A = 0$.



To be honest I feel intimidated by trying to prove this stuff, and could really use the support. I have ordered a book on proofs, but I feel like im struggling to really "grasp" what is going on beyond just putting stuff together. Aside from helping with the proof itself, I'd appreciate any advice on how to decide when to use proof by contradiction in the future. Thanks!










share|cite|improve this question









$endgroup$




As the title states, I am working on proving an infimum with the archimedean property of $mathbb{R}$. The problem is stated as follows:




Use the archimedean property of $mathbb{R}$ to rigorously prove that $inf {frac{1}{n} : n in mathbb{N}} = 0$




A note: I realize the below is probably the wrong way to go about it, but it is an attempt - im not great at proofs yet...



I start out by stating that $A = {frac{1}{n} : n in mathbb{N}}$



I want to prove that $infA = 0$.



I feel like a proof by contradiction is a good way to go about it:



So, suppose not, suppose $infA neq 0$



Then let some $s$ be a lower bound for $A$.



Following the definition of an infimum, given any lower bound $b$, it follows $s ge b$.



Since by our premise $infA neq 0$, then $s gt 0$.



Now, following the archimedean property, since $s in mathbb{R}$ and $s gt 0$, we can find some $n in mathbb{N}$ such that $frac{1}{n} < s$.



It follows then that $1 < sn$. But the supremum of the set $A$ is 1. Thus we have reached a contradiction, and it must be that $inf A = 0$.



To be honest I feel intimidated by trying to prove this stuff, and could really use the support. I have ordered a book on proofs, but I feel like im struggling to really "grasp" what is going on beyond just putting stuff together. Aside from helping with the proof itself, I'd appreciate any advice on how to decide when to use proof by contradiction in the future. Thanks!







real-analysis proof-verification






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Feb 2 at 5:32









CL40CL40

2136




2136








  • 1




    $begingroup$
    When you suppose $inf Ane 0$ how do you know inf A exists at all?
    $endgroup$
    – fleablood
    Feb 2 at 6:40






  • 1




    $begingroup$
    Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
    $endgroup$
    – fleablood
    Feb 2 at 6:49














  • 1




    $begingroup$
    When you suppose $inf Ane 0$ how do you know inf A exists at all?
    $endgroup$
    – fleablood
    Feb 2 at 6:40






  • 1




    $begingroup$
    Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
    $endgroup$
    – fleablood
    Feb 2 at 6:49








1




1




$begingroup$
When you suppose $inf Ane 0$ how do you know inf A exists at all?
$endgroup$
– fleablood
Feb 2 at 6:40




$begingroup$
When you suppose $inf Ane 0$ how do you know inf A exists at all?
$endgroup$
– fleablood
Feb 2 at 6:40




1




1




$begingroup$
Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
$endgroup$
– fleablood
Feb 2 at 6:49




$begingroup$
Yous say let $s $ be *some* lower bound then for any other lower bound you say $sge b $. Why? You never said $s $ was the greatest lower bound. Then you say $s>0$. Why? You've never said $0$ is a lower bound.
$endgroup$
– fleablood
Feb 2 at 6:49










3 Answers
3






active

oldest

votes


















1












$begingroup$

To prove $inf{1/n:ninmathbb{N}}=0$, it must be shown that (i) $0$ is a lower bound and (ii) $0$ is the greatest lower bound.



Proof of (i): Fix $ninmathbb{N}$. Observe $0<1/n$. We are done.



Proof of (ii): Let $x$ be an arbitrary lower bound. It remains to show $xle 0$. By contradiction, suppose $0<x$. Then by Archimedes, there exists $N$ such that $1<Nx$. Therefore $1/N<x$. Therefore $x$ is not a lower bound---a contradiction. As a result, $0nless x$. Because $mathbb{R}$ is totally ordered, it follows that $xle 0$ as desired. We are done.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
    $endgroup$
    – CL40
    Feb 2 at 5:42












  • $begingroup$
    The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
    $endgroup$
    – Alberto Takase
    Feb 2 at 5:45



















1












$begingroup$

In the context of this problem, the lemma says:



Let $0$ be a lower bound for $A$. Then $0 = $inf $A$ if and only if for every $ε > 0$, there exists $a in A$ such that $a < 0 + ε$.



To use this Lemma to prove $0 =$ inf $A$, you must show that $0$ satisfies two statements:



$(i)$ $0$ is a lower bound for $A$.



$(ii)$ For every $ε > 0$, there exists $a in A$ such that $a < ε$.
Explain that this is what you need to show and why. Then prove $(i)$ and $(ii)$ as two separate proofs.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
    $endgroup$
    – CL40
    Feb 2 at 6:05






  • 1




    $begingroup$
    @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
    $endgroup$
    – Shubham Johri
    Feb 2 at 6:46





















0












$begingroup$

You get the logic, but you fall short in formalizing it rigorously.



$A$ is non-empty and bounded below by $0$, since $1/n>0forall ninBbb N$. So $inf A$ exists, let it be $s$.



Since $0$ is a lower bound, $sge0$, by the basic definition of infimum. But if $s>0,exists ninBbb N|1/n<s$ by the Archimedian property. Thus $snot>0$ because you can always find elements of $A$ smaller than $s$ in that case. Thus, $s=0$.



There is no need to allude to the supremum of $A$.






share|cite|improve this answer









$endgroup$














    Your Answer








    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%2f3097051%2fproving-an-infimum-using-the-archimedean-property-of-r%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









    1












    $begingroup$

    To prove $inf{1/n:ninmathbb{N}}=0$, it must be shown that (i) $0$ is a lower bound and (ii) $0$ is the greatest lower bound.



    Proof of (i): Fix $ninmathbb{N}$. Observe $0<1/n$. We are done.



    Proof of (ii): Let $x$ be an arbitrary lower bound. It remains to show $xle 0$. By contradiction, suppose $0<x$. Then by Archimedes, there exists $N$ such that $1<Nx$. Therefore $1/N<x$. Therefore $x$ is not a lower bound---a contradiction. As a result, $0nless x$. Because $mathbb{R}$ is totally ordered, it follows that $xle 0$ as desired. We are done.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
      $endgroup$
      – CL40
      Feb 2 at 5:42












    • $begingroup$
      The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
      $endgroup$
      – Alberto Takase
      Feb 2 at 5:45
















    1












    $begingroup$

    To prove $inf{1/n:ninmathbb{N}}=0$, it must be shown that (i) $0$ is a lower bound and (ii) $0$ is the greatest lower bound.



    Proof of (i): Fix $ninmathbb{N}$. Observe $0<1/n$. We are done.



    Proof of (ii): Let $x$ be an arbitrary lower bound. It remains to show $xle 0$. By contradiction, suppose $0<x$. Then by Archimedes, there exists $N$ such that $1<Nx$. Therefore $1/N<x$. Therefore $x$ is not a lower bound---a contradiction. As a result, $0nless x$. Because $mathbb{R}$ is totally ordered, it follows that $xle 0$ as desired. We are done.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
      $endgroup$
      – CL40
      Feb 2 at 5:42












    • $begingroup$
      The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
      $endgroup$
      – Alberto Takase
      Feb 2 at 5:45














    1












    1








    1





    $begingroup$

    To prove $inf{1/n:ninmathbb{N}}=0$, it must be shown that (i) $0$ is a lower bound and (ii) $0$ is the greatest lower bound.



    Proof of (i): Fix $ninmathbb{N}$. Observe $0<1/n$. We are done.



    Proof of (ii): Let $x$ be an arbitrary lower bound. It remains to show $xle 0$. By contradiction, suppose $0<x$. Then by Archimedes, there exists $N$ such that $1<Nx$. Therefore $1/N<x$. Therefore $x$ is not a lower bound---a contradiction. As a result, $0nless x$. Because $mathbb{R}$ is totally ordered, it follows that $xle 0$ as desired. We are done.






    share|cite|improve this answer









    $endgroup$



    To prove $inf{1/n:ninmathbb{N}}=0$, it must be shown that (i) $0$ is a lower bound and (ii) $0$ is the greatest lower bound.



    Proof of (i): Fix $ninmathbb{N}$. Observe $0<1/n$. We are done.



    Proof of (ii): Let $x$ be an arbitrary lower bound. It remains to show $xle 0$. By contradiction, suppose $0<x$. Then by Archimedes, there exists $N$ such that $1<Nx$. Therefore $1/N<x$. Therefore $x$ is not a lower bound---a contradiction. As a result, $0nless x$. Because $mathbb{R}$ is totally ordered, it follows that $xle 0$ as desired. We are done.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Feb 2 at 5:38









    Alberto TakaseAlberto Takase

    2,403719




    2,403719












    • $begingroup$
      Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
      $endgroup$
      – CL40
      Feb 2 at 5:42












    • $begingroup$
      The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
      $endgroup$
      – Alberto Takase
      Feb 2 at 5:45


















    • $begingroup$
      Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
      $endgroup$
      – CL40
      Feb 2 at 5:42












    • $begingroup$
      The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
      $endgroup$
      – Alberto Takase
      Feb 2 at 5:45
















    $begingroup$
    Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
    $endgroup$
    – CL40
    Feb 2 at 5:42






    $begingroup$
    Interesting, so you proceeded directly by the definition of an infimum and then used contradiction to prove the second part. How did you decide contradiction was the correct choice without brute forcing a direct proof first? I think I was confused. Your proof makes it clear I should proceed from what I know rather than jumping into a proof head first...its really difficult not to.
    $endgroup$
    – CL40
    Feb 2 at 5:42














    $begingroup$
    The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
    $endgroup$
    – Alberto Takase
    Feb 2 at 5:45




    $begingroup$
    The hint was to use Archimedes principle. Therefore a positive number was required in order to invoke it. It seemed natural given that one wants to show $xle 0$ in part (ii).
    $endgroup$
    – Alberto Takase
    Feb 2 at 5:45











    1












    $begingroup$

    In the context of this problem, the lemma says:



    Let $0$ be a lower bound for $A$. Then $0 = $inf $A$ if and only if for every $ε > 0$, there exists $a in A$ such that $a < 0 + ε$.



    To use this Lemma to prove $0 =$ inf $A$, you must show that $0$ satisfies two statements:



    $(i)$ $0$ is a lower bound for $A$.



    $(ii)$ For every $ε > 0$, there exists $a in A$ such that $a < ε$.
    Explain that this is what you need to show and why. Then prove $(i)$ and $(ii)$ as two separate proofs.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
      $endgroup$
      – CL40
      Feb 2 at 6:05






    • 1




      $begingroup$
      @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
      $endgroup$
      – Shubham Johri
      Feb 2 at 6:46


















    1












    $begingroup$

    In the context of this problem, the lemma says:



    Let $0$ be a lower bound for $A$. Then $0 = $inf $A$ if and only if for every $ε > 0$, there exists $a in A$ such that $a < 0 + ε$.



    To use this Lemma to prove $0 =$ inf $A$, you must show that $0$ satisfies two statements:



    $(i)$ $0$ is a lower bound for $A$.



    $(ii)$ For every $ε > 0$, there exists $a in A$ such that $a < ε$.
    Explain that this is what you need to show and why. Then prove $(i)$ and $(ii)$ as two separate proofs.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
      $endgroup$
      – CL40
      Feb 2 at 6:05






    • 1




      $begingroup$
      @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
      $endgroup$
      – Shubham Johri
      Feb 2 at 6:46
















    1












    1








    1





    $begingroup$

    In the context of this problem, the lemma says:



    Let $0$ be a lower bound for $A$. Then $0 = $inf $A$ if and only if for every $ε > 0$, there exists $a in A$ such that $a < 0 + ε$.



    To use this Lemma to prove $0 =$ inf $A$, you must show that $0$ satisfies two statements:



    $(i)$ $0$ is a lower bound for $A$.



    $(ii)$ For every $ε > 0$, there exists $a in A$ such that $a < ε$.
    Explain that this is what you need to show and why. Then prove $(i)$ and $(ii)$ as two separate proofs.






    share|cite|improve this answer









    $endgroup$



    In the context of this problem, the lemma says:



    Let $0$ be a lower bound for $A$. Then $0 = $inf $A$ if and only if for every $ε > 0$, there exists $a in A$ such that $a < 0 + ε$.



    To use this Lemma to prove $0 =$ inf $A$, you must show that $0$ satisfies two statements:



    $(i)$ $0$ is a lower bound for $A$.



    $(ii)$ For every $ε > 0$, there exists $a in A$ such that $a < ε$.
    Explain that this is what you need to show and why. Then prove $(i)$ and $(ii)$ as two separate proofs.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Feb 2 at 5:51









    Key FlexKey Flex

    8,58171233




    8,58171233












    • $begingroup$
      Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
      $endgroup$
      – CL40
      Feb 2 at 6:05






    • 1




      $begingroup$
      @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
      $endgroup$
      – Shubham Johri
      Feb 2 at 6:46




















    • $begingroup$
      Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
      $endgroup$
      – CL40
      Feb 2 at 6:05






    • 1




      $begingroup$
      @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
      $endgroup$
      – Shubham Johri
      Feb 2 at 6:46


















    $begingroup$
    Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
    $endgroup$
    – CL40
    Feb 2 at 6:05




    $begingroup$
    Similar the other answer you proceeded directly from the definition of an infimum. I am trying to build the intuition to just "follow the definitions", it's a lot harder than I thought.
    $endgroup$
    – CL40
    Feb 2 at 6:05




    1




    1




    $begingroup$
    @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
    $endgroup$
    – Shubham Johri
    Feb 2 at 6:46






    $begingroup$
    @CL40 You'll find yourself coming back to the basic definitions frequently. It's the best way to build intuition about problems.
    $endgroup$
    – Shubham Johri
    Feb 2 at 6:46













    0












    $begingroup$

    You get the logic, but you fall short in formalizing it rigorously.



    $A$ is non-empty and bounded below by $0$, since $1/n>0forall ninBbb N$. So $inf A$ exists, let it be $s$.



    Since $0$ is a lower bound, $sge0$, by the basic definition of infimum. But if $s>0,exists ninBbb N|1/n<s$ by the Archimedian property. Thus $snot>0$ because you can always find elements of $A$ smaller than $s$ in that case. Thus, $s=0$.



    There is no need to allude to the supremum of $A$.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      You get the logic, but you fall short in formalizing it rigorously.



      $A$ is non-empty and bounded below by $0$, since $1/n>0forall ninBbb N$. So $inf A$ exists, let it be $s$.



      Since $0$ is a lower bound, $sge0$, by the basic definition of infimum. But if $s>0,exists ninBbb N|1/n<s$ by the Archimedian property. Thus $snot>0$ because you can always find elements of $A$ smaller than $s$ in that case. Thus, $s=0$.



      There is no need to allude to the supremum of $A$.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        You get the logic, but you fall short in formalizing it rigorously.



        $A$ is non-empty and bounded below by $0$, since $1/n>0forall ninBbb N$. So $inf A$ exists, let it be $s$.



        Since $0$ is a lower bound, $sge0$, by the basic definition of infimum. But if $s>0,exists ninBbb N|1/n<s$ by the Archimedian property. Thus $snot>0$ because you can always find elements of $A$ smaller than $s$ in that case. Thus, $s=0$.



        There is no need to allude to the supremum of $A$.






        share|cite|improve this answer









        $endgroup$



        You get the logic, but you fall short in formalizing it rigorously.



        $A$ is non-empty and bounded below by $0$, since $1/n>0forall ninBbb N$. So $inf A$ exists, let it be $s$.



        Since $0$ is a lower bound, $sge0$, by the basic definition of infimum. But if $s>0,exists ninBbb N|1/n<s$ by the Archimedian property. Thus $snot>0$ because you can always find elements of $A$ smaller than $s$ in that case. Thus, $s=0$.



        There is no need to allude to the supremum of $A$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Feb 2 at 7:13









        Shubham JohriShubham Johri

        5,613818




        5,613818






























            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%2f3097051%2fproving-an-infimum-using-the-archimedean-property-of-r%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

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            SQL update select statement

            WPF add header to Image with URL pettitions [duplicate]