Testwiki:Reference desk/Archives/Mathematics/2020 November 24
From testwiki
Jump to navigation
Jump to search
Template:Error:not substituted
{| width = "100%"
|- ! colspan="3" align="center" | Mathematics desk |- ! width="20%" align="left" | < November 23 ! width="25%" align="center"|<< Oct | November | Dec >> ! width="20%" align="right" |Current desk > |}
| Welcome to the Wikipedia Mathematics Reference Desk Archives |
|---|
| The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
Contents
November 24
On the 24th of November, an anonymous editor made this [1] revision to Bisection method. Was this correct? Thanks for your time. Opalzukor (talk) 13:44, 24 November 2020 (UTC)
- An easy counterexample, showing the incorrectness of the claim , is given by the function on the interval . Then, for , , which is less than --Lambiam 23:27, 24 November 2020 (UTC)
- Template:Re First of all one should note the inequality affected serves as a means to estimate the method's convergence. As such we need it to show how fast the approximation error decreases, hence to bound it from above. A bounding from below with greater-or-equal is completely useless in this context, despite being true or false. --CiaPan (talk) 17:45, 29 November 2020 (UTC)
- One might reasonably (also) wish to have a lower bound on the number of iterations required to achieve a given tolerance. In this case we know that such a lower bound (one that works for all continuous functions) is necessarily trivial, but this may not be clear a priori. The OP's question was whether a specific revision was correct. An IMO easy and convincing way to establish (instead of merely state) that it is not correct, is to show that it introduces a mathematical falsehood. Since the stopping criterion is based on the size of the bracket Template:Nowrap, which is halved each iteration regardless of whatever, while maintaining the invariant Template:Nowrap where c is a zero, the introduction of the sequence of approximations (cn)n is actually an irrelevant complication anyway. --Lambiam 20:19, 29 November 2020 (UTC)
- All above is true. Anyway, a question may arise, how you knew what example to check. When faced to a general question it's often hard for a beginner to decide whether to seek a general proof or rather a specific counterexample. I gave a simple reasoning that shows which way to go in this case. --CiaPan (talk) 21:04, 29 November 2020 (UTC)
- I don't know how I knew; it was obvious (to me) at first glance that we could choose ƒ, a and b such that Template:Nowrap, thereby falsifying the altered inequation. What mattered to me most, after that, was to give a concrete counterexample that was easily checkable, which is why I chose ƒ, a and b the way I did, and not, for example, Template:Nowrap, Template:Nowrap. --Lambiam 22:39, 29 November 2020 (UTC)
- All above is true. Anyway, a question may arise, how you knew what example to check. When faced to a general question it's often hard for a beginner to decide whether to seek a general proof or rather a specific counterexample. I gave a simple reasoning that shows which way to go in this case. --CiaPan (talk) 21:04, 29 November 2020 (UTC)
- One might reasonably (also) wish to have a lower bound on the number of iterations required to achieve a given tolerance. In this case we know that such a lower bound (one that works for all continuous functions) is necessarily trivial, but this may not be clear a priori. The OP's question was whether a specific revision was correct. An IMO easy and convincing way to establish (instead of merely state) that it is not correct, is to show that it introduces a mathematical falsehood. Since the stopping criterion is based on the size of the bracket Template:Nowrap, which is halved each iteration regardless of whatever, while maintaining the invariant Template:Nowrap where c is a zero, the introduction of the sequence of approximations (cn)n is actually an irrelevant complication anyway. --Lambiam 20:19, 29 November 2020 (UTC)
- Template:Re First of all one should note the inequality affected serves as a means to estimate the method's convergence. As such we need it to show how fast the approximation error decreases, hence to bound it from above. A bounding from below with greater-or-equal is completely useless in this context, despite being true or false. --CiaPan (talk) 17:45, 29 November 2020 (UTC)