Wikipedia:Reference desk/Archives/Mathematics/2023 January 24
Mathematics desk | ||
---|---|---|
< January 23 | << Dec | January | Feb >> | 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. |
January 24
editProving the limit of xⁿ by definition
editThis question bugs me for quite a while now, and I would like to hear an honest opinion:
Is this a valid proof, or is it somewhat "circular" by assuming the nth root function is defined and continuous?
יהודה שמחה ולדמן (talk) 11:57, 24 January 2023 (UTC)
- Of which statement is this meant to be a proof? ? If so, some conditions on and may be needed. The appeal to the binomial theorem already implies that is a non-negative integer. If and can both be equal to , you run into being (depending on who you talk to) iffy. Apart from that, the statement follows from the continuity of multiplication. If a proof is required using the definition of limit, the last steps need more care and finesse. Even assuming definedness and continuity of the -th root function, I don't see where the expression for comes from and how it guarantees the validity of the preceding equality. Using that for , the last inequality can be extended to
- Assuming and this expression allows you to find a solution for that pushes this upper bound down to . --Lambiam 12:43, 24 January 2023 (UTC)
- It seems I am not helping anyone by skipping steps.
- So again: is this a valid proof or not?
- יהודה שמחה ולדמן (talk) 15:45, 24 January 2023 (UTC)
- The last step, in this form, obviously requires that the th root of a positive number is defined. If this is not given and may not be assumed, the proof is lacking something. The proof of the lacking bit will normally be based on the continuity of not the th root, but the th power. Since this appears to be what the theorem is about, appealing to the conclusion of the unfinished proof for its lacking bit will indeed introduce a circularity. Strictly speaking we can do with the formally weaker existence of some such that for and we have This is not true in the domain of integers, so it requires something like continuity. An awkward proof can perhaps be built on the fact that the real numbers can be approximated arbitrarily closely by rational numbers. --Lambiam 18:43, 24 January 2023 (UTC)
- I saw this in a video. Could this be filling the gap we were missing?
- יהודה שמחה ולדמן (talk) 20:54, 26 January 2023 (UTC)
- I don't personally feel like I'm missing a gap. This too obviously require the th root of a positive number to be defined. If that is not given, the gap is this very lack of the th root being defined, so this derivation won't help to fill the gap. The question is ultimately what one may and may not assume at this stage, which depends on an unknown context. --Lambiam 22:46, 26 January 2023 (UTC)
- I agree with Lambian. It is a complicated way of going around in a loop and not a proof of anything. The big trick one does with epsilon delta to get it to work easily is not to find an accurate bound but a simple bound which can be much larger. In this case if |a-x| < δ and 0 < δ < 1 then as Lambian pointed out |a-x|n < δ so you simply needs δ < ε/(|a|+1)n in your argument, or a bit less than 1 if that is greater than 1. NadVolum (talk) 00:06, 27 January 2023 (UTC)
- I saw this in a video. Could this be filling the gap we were missing?
- The last step, in this form, obviously requires that the th root of a positive number is defined. If this is not given and may not be assumed, the proof is lacking something. The proof of the lacking bit will normally be based on the continuity of not the th root, but the th power. Since this appears to be what the theorem is about, appealing to the conclusion of the unfinished proof for its lacking bit will indeed introduce a circularity. Strictly speaking we can do with the formally weaker existence of some such that for and we have This is not true in the domain of integers, so it requires something like continuity. An awkward proof can perhaps be built on the fact that the real numbers can be approximated arbitrarily closely by rational numbers. --Lambiam 18:43, 24 January 2023 (UTC)
- It seems I am not helping anyone by skipping steps.