Proof: Archimedean Principle of Real Numbers | Real Analysis

Sdílet
Vložit
  • čas přidán 20. 08. 2024
  • Given real numbers a and b, where a is positive, we can always find a natural number m so that n*a is greater than b. In other words, we can add a to itself enough times to get a number greater than b. Equivalently, given any real number x, there exists a natural number greater than x, meaning the natural numbers are unbounded above. This is the Archimedean Principle, and we prove it in today's real analysis lesson. #realanalysis
    This is a proof by contradiction, making use of the definition of supremum and the completeness axiom/least upper bound property.
    Definition of Supremum and Infimum: • Definition of Supremum...
    Real Analysis Course: • Real Analysis
    Real Analysis exercises: • Real Analysis Exercises
    Other similar names for this principle: Archimedean Property, Archimede's Principle, Archimedean Axiom, axiom of Archimedes
    ◉Textbooks I Like◉
    Graph Theory: amzn.to/3JHQtZj
    Real Analysis: amzn.to/3CMdgjI
    Abstract Algebra: amzn.to/3IjoZaO
    Linear Algebra: amzn.to/43xAWEz
    Calculus: amzn.to/3PieD1M
    Proofs and Set Theory: amzn.to/367VBXP (available for free online)
    Statistics: amzn.to/3tsaEER
    Discrete Math: amzn.to/3qfhoUn
    Number Theory: amzn.to/3JqpOQd
    ★DONATE★
    ◆ Support Wrath of Math on Patreon for early access to new videos and other exclusive benefits: / wrathofmathlessons
    ◆ Donate on PayPal: www.paypal.me/...
    Thanks to Loke Tan, Matt Venia, Micheline, Doug Walker, Odd Hultberg, Marc, Roslyn Goddard, Shlome Ashkenazi, Barbora Sharrock, Mohamad Nossier, Rolf Waefler, Shadow Master, and James Mead for their generous support on Patreon!
    Outro music is mine. You cannot find it anywhere, for now.
    Follow Wrath of Math on...
    ● Instagram: / wrathofmathedu
    ● Facebook: / wrathofmath
    ● Twitter: / wrathofmathedu
    My Math Rap channel: / @mathbars2020

Komentáře • 64

  • @aryanshukla2170
    @aryanshukla2170 Před 3 lety +27

    Thankyou so much , I've watched almost all your real analysis videos and they help so so much ..pls don't stop making these videos ...I am certain more people like me are benefitting from your content ...also since you asked , can you make more real analysis videos, sequence and generally the proofs (writing proofs)

    • @WrathofMath
      @WrathofMath  Před 3 lety +5

      You're very welcome and thanks a lot for watching, Aryan! So glad they have been helpful and more are on the way. I'll try to do more on sequences soon!

  • @ashutoshsharma2394
    @ashutoshsharma2394 Před 3 lety +6

    Great, bro! Last year got much help from your graph theory videos. And now analysis, just amazin'! The crystal clarity in your words is just incomparable and outstanding! I think, that even if the video is not there, audio will be sufficient to clear it.

    • @WrathofMath
      @WrathofMath  Před 3 lety +5

      Thanks so much Ashutosh! I am glad to hear you've found the lessons helpful and I hope you'll continue to find the many upcoming real analysis lessons helpful!

  • @buseyugruk377
    @buseyugruk377 Před 10 měsíci +2

    Omg, i was searching all internet for this proof, thank you so much. English isn't even my first number but i understand it.

  • @teakgrogan5977
    @teakgrogan5977 Před 2 lety +2

    this is excellent. very precise, clear, easy to follow. 10/10

    • @WrathofMath
      @WrathofMath  Před 2 lety

      So glad to hear it! Thanks for watching and if you're looking for more analysis check out my playlist! czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

  • @mahmoudalbahar1641
    @mahmoudalbahar1641 Před 3 lety +3

    Many thanks for this good video.

  • @antoniodeoliveiranginamaub2845

    you explain very well, thanks for helping

    • @WrathofMath
      @WrathofMath  Před 3 lety +1

      Thanks Antonio, glad to help! If you're looking for more analysis, check out my Real Analysis playlist and let me know if you ever have any video requests! czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

  • @aranansivakumar928
    @aranansivakumar928 Před 2 lety

    Don't usually comment but that was great for my understanding! Great pace too :)

  • @derjemand1021
    @derjemand1021 Před 2 lety

    Why do mathematicians make it all so complicated lolllll. But that was well explained, makes way more sense than my uni lecture notes.

    • @WrathofMath
      @WrathofMath  Před 2 lety

      Haha, the most basic stuff can be very complicated in that we have to be exceptionally careful about what we are assuming! Thanks for watching and let me know if you ever have any questions; if you're looking for more analysis, check out my playlist! czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

  • @johnnelson8116
    @johnnelson8116 Před 2 lety

    Create a set S belonging to R such that S contains all the elements which don't belong to N. Define m as the least element of N. Then m-1 doesn't belong to N, so it belongs to S. Assume S is inductive, so (m-1) + 1 = m belongs to both S and N (contradiction).

  • @ConyTrash
    @ConyTrash Před rokem +1

    Couldn't you just say:
    suppose m is the biggest natural number
    => m+1 is element N because closed under addition and m+1>m, so m can't be the biggest number => there is no biggest number..

    • @WrathofMath
      @WrathofMath  Před rokem

      Good question. Supposing there is a biggest natural number is a stronger assumption than what we did in the proof. In the proof we only assumed the naturals were bounded by some real number. Thus, we worked with a supremum which wasn't necessarily a natural. Additionally, proving there is no biggest natural number doesn't necessarily prove that given a real x, there is a natural greater than x. For example, there is no biggest member of the set S = { n/(n+1) }, but we cannot find an element of S greater than any given x>=1.

    • @ConyTrash
      @ConyTrash Před rokem

      @@WrathofMath Cheers for clearing that up!^^

  • @Davivlcp
    @Davivlcp Před rokem

    The best youtube channel always saving me

  • @valeriereid2337
    @valeriereid2337 Před 11 měsíci

    Thanks for this excellent explanation. Really appreciate it.

    • @WrathofMath
      @WrathofMath  Před 11 měsíci

      Glad to help - thanks for watching!

  • @kironabehera3591
    @kironabehera3591 Před rokem

    Thank you so much sir

  • @aryanshukla2170
    @aryanshukla2170 Před 3 lety +2

    You took S -1 (by doing so you jumped inside the set N , by JUST ONE STEP) , So now when you said , there must be a m in N such that, m>S-1 , (well sure , but the set N is discrete and it's not like real no.s , in other words it's not complete) so how can we say that m>S-1 (there is no natural number between S and S-1 , so how come you find m ? Is it because S is not Natural no. it's actually a Real no (which is not Natural)?

    • @WrathofMath
      @WrathofMath  Před 3 lety +2

      I'm not sure if I understand your question, but let me try to clear it up! We assume, for contradiction, that N has an upper bound. Thus, it is a bounded and nonempty subset of the reals, which are complete, and so N must have a supremum. We let sup N = S. Thus, since S is the least upper bound of N by definition, we know that S - 1 is not an upper bound of N, and so N must contain some m > S - 1. Hence, m + 1 > S. But N is closed under addition, and so m + 1 is in N, contradicting S being the supremum, and thus N has no upper bound.
      Like you said, S is not necessarily a natural, but since it is sup N, we immediately have by definition that S - 1 can't be an upper bound of N. By definition of S-1 "not being an upper bound", N must contain an element greater than S-1.
      Does that help?

    • @aryanshukla2170
      @aryanshukla2170 Před 3 lety +1

      @@WrathofMath very much , I also contemplated a lot on this but couldn't get the detail but when I did I was not very sure , but after reading your last paragraph , things became crystal clear. Thankyou so much

    • @anaghavarma751
      @anaghavarma751 Před 3 lety +1

      @@WrathofMath Hii. I read your explanation but I'm still a tad confused. I understand the method but just thinking about it logically, if sup N = S and m > S-1, then isn't it logical to assume that m = S. If S is a natural number, then there are no more natural numbers in between S and S-1.
      I understand the math behind it but I can't quite grasp the logic behind it. Please clarify if you can :)

    • @AubreyForever
      @AubreyForever Před 10 měsíci

      I agree with you, but not sure I understand this proof well enough. @@anaghavarma751

  • @twisdeadd
    @twisdeadd Před dnem

    why m+1 isn't equal to S?

  • @kantaprasadsinha8025
    @kantaprasadsinha8025 Před rokem

    The Archimedean principle ( though Eudoxus principle ) was not specifically stated as real number in most classical text.

  • @VEMZOfficial
    @VEMZOfficial Před rokem +1

    Great video but I am just confused: Why MUST m exist? If S-1 isn't a supremum, why must we introduce a value m that is greater than S-1? This is really confusing to me

    • @awazin4031
      @awazin4031 Před rokem

      Your question is 6 months old, but if it helps, here's the answer. The supremum is not in N, it's a real number. So if you take a real number s and subtract one from it, you'll find an integer n that's greater than s-1. I think the confusion comes from thinking that sup(N) is a natural number when it's not.

  • @sarala.d863
    @sarala.d863 Před rokem

    Suppose if I take a as 6 and b as 20 as there is no condition on b then 3a is less than b.

  • @minexe
    @minexe Před rokem

    A very descriptive explanation.

  • @wizhdan
    @wizhdan Před 3 lety +1

    You deserve my professor's salary more than himself!

    • @WrathofMath
      @WrathofMath  Před 3 lety +2

      Haha, I do my best! Send him my PayPal donation link www.paypal.com/paypalme/wrathofmath and let him know! Be sure to check out the real analysis playlist if you're studying the subject, lots more lessons are on the way! czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

    • @wizhdan
      @wizhdan Před 3 lety

      @@WrathofMath Thanks alot 😊

  • @kingraj2692
    @kingraj2692 Před rokem

    Please i need a solution on this equation. The maximum and minimum of the set
    {1-1/3n, n€N}
    {1-(-1)^n/n; n€N

  • @ME-pu1pp
    @ME-pu1pp Před 3 lety +1

    Hi sir!. Thank you for the video.
    Can you please explain a question for me:
    For any α>0, β>0, prove that there is n∈N such that α/n

    • @physicsfaith
      @physicsfaith Před 2 lety

      Take what we've done here: n*a > b, and switch the roles of a and b, the n*b> a, or b>a/n.

  • @vedgyan736
    @vedgyan736 Před 2 lety

    Please suggest any book for such clear concept

  • @tabarakalmosawi6659
    @tabarakalmosawi6659 Před 2 lety

    Thank you !!

  • @NinjaNanthitha
    @NinjaNanthitha Před 4 měsíci

    I have a doubt sir
    nx greater than y
    It is not possible for all real numbers
    Suppose we take n=2 and a = 1.5 and b=10.5 then it is not satisfy the archimedian property ..so its a confusing

    • @thesecondderivative8967
      @thesecondderivative8967 Před 4 měsíci

      the point is that there will be some n that will satisfy the property not that all n will satisfy the property. So in your example n = 1000 will satisfy the property.

  • @tapabratasarkar8392
    @tapabratasarkar8392 Před 3 lety

    too good...better than the books atleast

    • @WrathofMath
      @WrathofMath  Před 3 lety

      Thanks a lot, glad it helped! If you're looking for more analysis, check out my analysis playlist: czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

  • @user-yu9mc6pu3q
    @user-yu9mc6pu3q Před rokem

    What about equality

  • @yparraguirreromalynq.6541

    prove: Archimedean principle use proof by contradiction and completeness axiom ❣️ please prove this thank you

    • @WrathofMath
      @WrathofMath  Před 3 lety

      Thanks for watching! Did you watch this lesson? That's precisely the strategy we used! Let me know if you have any questions about it.

  • @eternalapprentice903
    @eternalapprentice903 Před 2 lety

    Thanks for the great video. My problem with this axiom is that I can manipulate this proof in a way that there is always a real number bigger then a natural number ( like x*m>n with x is real and m,n is natural). Can anyone help? I am new to prooving things :D

  • @MuhammadAsim-md9jg
    @MuhammadAsim-md9jg Před 2 lety

    Sir please can you tell me effect you used during editing when you write statement like (prove that for any real number x)

    • @WrathofMath
      @WrathofMath  Před 2 lety

      Thanks for watching, that is just a simple fade in. Any video editor you use should be able to do that. I'm not fading the statement in, I'm simply fading from one clip without the statement to a clip where the statement has already been written, so it looks like just the statement is fading in since everything else is the same. And if you're looking for more analysis, check out my playlist! czcams.com/play/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli.html

    • @MuhammadAsim-md9jg
      @MuhammadAsim-md9jg Před 2 lety

      @@WrathofMath Thanks a lot brilliant Sir From pakistan❤

  • @priscillaowusu-mintah8110

    Great work...
    You were speaking too fast in this video
    I think you should take your time to speak so we can hear you well and understand the concept well.

    • @WrathofMath
      @WrathofMath  Před 3 lety

      Thank you! I always try to speak very clearly and not too fast, and I don't get many complaints about my speed - the ones I do get are a mix between "too fast" and "too slow", it's impossible to be just right for everybody, but I just try to be as clear as possible! If you find a particular lesson too fast, you can always try watching it again, or watching certain sections of it again. There is also often additional explanation in the description, as well as links to related lessons you may find useful. And if you have any questions feel free to ask. Sometimes what you need to do is just grab pencil and paper and write out some of the stuff yourself, that's often the best way to iron out the details you're struggling with!

    • @lessthanpinochet
      @lessthanpinochet Před rokem

      He spoke just fine just learn proper English first or slow down the video.

  • @physicsinshort
    @physicsinshort Před 2 lety

    Power series

  • @user-fq3hi1vl5c
    @user-fq3hi1vl5c Před rokem

    ترجمة اللغه العربيه

  • @stomachhealth380
    @stomachhealth380 Před 2 lety

    You sound like polymatter