epsilon-N definition for a limit at infinity (introduction & proof writing tips)

แชร์
ฝัง
  • เผยแพร่เมื่อ 3 ส.ค. 2024
  • I will introduce the epsilon-N definition of a limit and will also show you how to write a rigorous proof for a limit as x goes to infinity. I will help you understand the definition by using a specific epsilon value, graphs of the function, and the line y=L-epsilon, and solving for a corresponding N. And remember "given, choose, suppose, and check".
    #calculus #math #maths #college #blackpenredpen
    This is similar to the epsilon-delta proofs for limits and you can check out that introduction here: 👉 • epsilon-delta definiti...
    0:00 I will help you understand the εN definition for a finite limit at infinity
    0:19 the 4 main cases of a rigorous definition of a limit
    2:24 the εN definition
    4:14 how to easily write a rigorous limit proof
    11:32 an actual example with ε=0.02 and find a N
    #calculus #blackpenredpen #realanalysis #math #college
    🛍 Shop my math t-shirt & hoodies: amzn.to/3qBeuw6
    ----------------------------------------
    💪 Support the channel and get featured in the video description by becoming a patron: / blackpenredpen
    AP-IP Ben Delo Marcelo Silva Ehud Ezra 3blue1brown Joseph DeStefano
    Mark Mann Philippe Zivan Sussholz AlkanKondo89 Adam Quentin Colley
    Gary Tugan Stephen Stofka Alex Dodge Gary Huntress Alison Hansel
    Delton Ding Klemens Christopher Ursich buda Vincent Poirier Toma Kolev
    Tibees Bob Maxell A.B.C Cristian Navarro Jan Bormans Galios Theorist
    Robert Sundling Stuart Wurtman Nick S William O'Corrigan Ron Jensen
    Patapom Daniel Kahn Lea Denise James Steven Ridgway Jason Bucata
    Mirko Schultz xeioex Jean-Manuel Izaret Jason Clement robert huff
    Julian Moik Hiu Fung Lam Ronald Bryant Jan Řehák Robert Toltowicz
    Angel Marchev, Jr. Antonio Luiz Brandao SquadriWilliam Laderer Natasha Caron Yevonnael Andrew Angel Marchev Sam Padilla ScienceBro Ryan Bingham
    Papa Fassi Hoang Nguyen Arun Iyengar Michael Miller Sandun Panthangi
    Skorj Olafsen Riley Faison Rolf Waefler Andrew Jack Ingham P Dwag Jason Kevin Davis Franco Tejero Klasseh Khornate Richard Payne Witek Mozga Brandon Smith Jan Lukas Kiermeyer Ralph Sato Kischel Nair Carsten Milkau Keith Kevelson Christoph Hipp Witness Forest Roberts Abd-alijaleel Laraki Anthony Bruent-Bessette Samuel Gronwold Tyler Bennett christopher careta Troy R Katy Lap C Niltiac, Stealer of Souls Jon Daivd R meh Tom Noa Overloop Jude Khine R3factor. Jasmine Soni L wan na Marcelo Silva Samuel N Anthony Rogers Mark Madsen Robert Da Costa Nathan Kean Timothy Raymond Gregory Henzie Lauren Danielle Nadia Rahman Evangline McDonald Yuval Blatt Zahra Parhoun Hassan Alashoor Kaakaopuupod bbaa Joash Hall Andr3w11235 Cadentato Joe Wisniewski Eric Maximilian Mecke
    ----------------------------------------
    Thank you all!

ความคิดเห็น • 76

  • @blackpenredpen
    @blackpenredpen  11 หลายเดือนก่อน +11

    Check out the εδ definition ultimate introduction 👉 th-cam.com/video/DdtEQk_DHQs/w-d-xo.html

    • @thatomofolo452
      @thatomofolo452 11 หลายเดือนก่อน +2

      Right 👍👍

  • @scottleung9587
    @scottleung9587 11 หลายเดือนก่อน +51

    This was my absolute worst nightmare while taking Modern Analysis in college! But many thanks for walking us thru the steps of how this proof came to be.

  • @yassinelaouadi305
    @yassinelaouadi305 11 หลายเดือนก่อน +6

    Thank you for making this demonstration waaay easier than what I learnt in school. Time to flex it on my teachers 😜

  • @shiftsync9988
    @shiftsync9988 11 หลายเดือนก่อน +6

    This is just what I studied for an upcoming exam, great to refresh my memory. Thanks 🙏

  • @haasjeoverkonijn6961
    @haasjeoverkonijn6961 5 หลายเดือนก่อน +1

    First time I understand. Great explanation. Thanks

  • @varun3282
    @varun3282 11 หลายเดือนก่อน +4

    Good that you gave this video I'm about to start limits in my calc course

  • @lawrencejelsma8118
    @lawrencejelsma8118 11 หลายเดือนก่อน +5

    As an engineer working on engineering precision mathematics we find the x equivalent in like time measurements all the time when 2x + 1 approximates to 2x with no significant error in precision. 3x + 4 would need a larger x to equal the same low error approximation as 2x + 1 approximate 2x replaced as 3x + 4 approximately is 3x for x >> 1 for large x. For example, x = 10^4 then the function approximates to 2x/(3x) or x in numerator and x in denominator show we are so close to 2/3 no matter if you have a ripple 1 in the numerator and a ripple 4 in the denominator compared to the 2x value / 3x value ... Not the 2 value / 3 value limit mistake in thinking.

  • @basilbrush7878
    @basilbrush7878 4 หลายเดือนก่อน +1

    Man, you bring out the inner math genius in me, and I'm 62. I follow your logic perfectly

  • @dmitrybak9372
    @dmitrybak9372 11 หลายเดือนก่อน +8

    For epsilon-delta proofs, when speaking through the proof out-loud, it becomes way more obvious for the student if the speaker says not just “for all epsilon greater than zero, …”, but “for all epsilon, no matter how small you decide to choose it, …” - i.e. emphasizing that our intent is to “make” epsilon “smaller and smaller”.
    Also “given arbitrary epsilon greater than zero” -> “given arbitrary small epsilon greater than zero”.

    • @yanceyward3689
      @yanceyward3689 11 หลายเดือนก่อน +1

      This is an important point that often gets lost in these discussions- you can make epsilon as small as you like and will always be able to find a delta or N that satisfies the delta/N inequality, and vice versa, if the limit is in fact L. If the L is not the limit, then you will get a contradiction.

    • @nayjer2576
      @nayjer2576 4 หลายเดือนก่อน

      @@yanceyward3689to be exact, for all n > N that has to satisfy, otherwise it's a limit point

  • @nonentity168
    @nonentity168 10 หลายเดือนก่อน

    Damn, I appreciate your videos even more given my professor couldn't explain it properly in 3 hours.

  • @ItsMeTheUser
    @ItsMeTheUser 11 หลายเดือนก่อน +1

    Welcome back man!

  • @hritamkashyap
    @hritamkashyap 5 หลายเดือนก่อน

    Very Very Thank you sir ❤

  • @BusyBlueLion
    @BusyBlueLion 10 หลายเดือนก่อน +1

    Thank you!

  • @helphowdoinputusername3571
    @helphowdoinputusername3571 11 หลายเดือนก่อน +3

    Could you do a video on how to do the proof backwards/both ways?

  • @etcthedeimos
    @etcthedeimos 11 หลายเดือนก่อน

    Nice video

  • @thatomofolo452
    @thatomofolo452 11 หลายเดือนก่อน +3

    To infinity and beyond 🚀🥳🤸♥️💫

  • @jaylinkim19
    @jaylinkim19 10 วันที่ผ่านมา

    beautiful

  • @user-nw6cw7vf8r
    @user-nw6cw7vf8r 11 หลายเดือนก่อน +5

    L'hospital: it that even a question?

  • @teddy05p
    @teddy05p 10 หลายเดือนก่อน

    Lovely video, though I would like to point out a correction that for epsilon-N it should be stated as a defined sequence lets say a_n, so rather a set of a sequence than as you said a function:) But both work fine I guess! Ty for the videos!

  • @IloveTwinkies412
    @IloveTwinkies412 9 หลายเดือนก่อน

    respect from bmstu

  • @Ninja20704
    @Ninja20704 11 หลายเดือนก่อน +5

    My teacher gave us some simple limit proof qns in my proofs class when teaching us proof by construction. And this was one of them.
    Quick question, if we wanted to prove a limit as x->-inf, do we just change to N

    • @CatchyCauchy
      @CatchyCauchy 11 หลายเดือนก่อน +1

      I think there are many ways to define it for example:
      lim x-> -inftx f(x) := lim x-> infty f(-x)
      if it exists
      Or using sequences:
      For all sequences (xn)n with xn -> -infty, then we say lim x->-infty f(x) exists if and only if lim n->infty f(x_n) exists and is the same for all sequences
      I think yours is probably aquivalent

    • @Xorven2
      @Xorven2 11 หลายเดือนก่อน

      @Ninja20704
      Yes. A usual definition of the existence of a finite limit L of a real function f at -∞ is :
      For all Ɛ>0, it exists N

  • @user-qj3rv2mo1b
    @user-qj3rv2mo1b 6 หลายเดือนก่อน +1

    I have seen an example where the δ chosen was greater than ε. I was wondering would it not throw δ outside the ε window.
    Can the chosen δ ever be greater than ε?
    Thank u

  • @ziro4614
    @ziro4614 11 หลายเดือนก่อน +3

    I asked myself what the limit of (1+1/x)^(1/x) when x goes to infinity.
    I think it goes to 1 but I don't have a way to show it and when I asked Wolfram Aloha it says 1 but the Step-by-step solution kinda goes like e^(0/infinity) equals 1, which it say is the solution.
    Can someone help me?

    • @asifthatwouldeverhappen
      @asifthatwouldeverhappen 11 หลายเดือนก่อน

      Write the expression as exp((1/x)*ln(1+1/x))
      As x tends to infinity, 1/x tends to 0 and ln(1+1/x) also tends to 0.
      Therefore, the limit is equal to exp(0*0) = e^0 = 1
      You can then write the proof it in the epsilon N form.

    • @ziro4614
      @ziro4614 11 หลายเดือนก่อน

      @@asifthatwouldeverhappen thanks

    • @Ninja20704
      @Ninja20704 11 หลายเดือนก่อน +1

      A simpler way to calculate the limit is that 1/x goes to 0 as x goes to infinity. So the base approaches 1 and the power approaches 0. This is not an indeterminate form, so we can legitamately conclude that the limit is 1^0=1

  • @broytingaravsol
    @broytingaravsol 11 หลายเดือนก่อน +1

    still appealing to the version in English

  • @sadi_supercell2132
    @sadi_supercell2132 2 หลายเดือนก่อน

    How to do it with negative infinity

  • @thebestchemicalelement4455
    @thebestchemicalelement4455 11 หลายเดือนก่อน +3

    hey blackpenredpen, can you solve
    x = i^x
    as in, an infinite power tower of i's.

    • @nickulman9739
      @nickulman9739 11 หลายเดือนก่อน +2

      i^i^i^…..=x
      x=i^x
      x=e^(ln(i^x))
      x=e^(xln(i))
      note: (ln(i)= (pi*i)/2 for the complex logarithm principal branch, this can be observed also through rulers identity e^(pi*i) = -1 as putting both sides to the power of 1/2 results in e^((pi*i)/2)=i.)
      x=e^(x*i*pi/2)
      x/(e^(x*i*pi/2)) = 1
      x(e^(-x*i*pi/2))=1
      x*(-i*pi/2)*(e^(-x*i*pi/2))=(-i*pi/2)
      W(x*(-i*pi/2)*(e^(-x*i*pi/2)))=W(-i*pi/2)
      -x*i*pi/2=W(-i*pi/2)
      x=(2i/pi)*W(-i*pi/2)
      Sorry for bad formatting, am commenting on phone.

  • @Shaan_Suri
    @Shaan_Suri 6 หลายเดือนก่อน

    Hi, what do you do if you have a minus sign in the denominator, so you can't get rid of the absolute value??

    • @cjjk9142
      @cjjk9142 2 หลายเดือนก่อน

      a minus sign in the denominator is just a minus in the numerator, no difference

  • @Happy_Abe
    @Happy_Abe 11 หลายเดือนก่อน +3

    Do you have to use the max?
    What’s wrong with N being negative?

    • @spiderjerusalem4009
      @spiderjerusalem4009 11 หลายเดือนก่อน +1

      "approaches infinity"...

    • @Happy_Abe
      @Happy_Abe 11 หลายเดือนก่อน +3

      @@spiderjerusalem4009 of course, but I’m saying if such a small N works that it’s negative should still be fine if the inequalities hold, same way N can be a random small positive real number that isn’t close to infinity

    • @stlegendff7390
      @stlegendff7390 9 หลายเดือนก่อน

      Did you get the answer to your question? Cause I have the same doubt

    • @Happy_Abe
      @Happy_Abe 9 หลายเดือนก่อน

      @@stlegendff7390 nope unfortunately not

  • @mihailangelov6
    @mihailangelov6 11 หลายเดือนก่อน

    When I will have access to America?

  • @neekunjchaturvedi
    @neekunjchaturvedi 11 หลายเดือนก่อน +4

    Can we not do taking 1/x tend to 0 if x tends to infinity

    • @sivanaidoo5602
      @sivanaidoo5602 11 หลายเดือนก่อน +1

      Not calculate but prove it is 2/3. So the limit definition is applicable.

    • @Ninja20704
      @Ninja20704 11 หลายเดือนก่อน +1

      You can use this definition to prove that.
      Given any epsilon>0
      Choose N = 1/epsilon
      Suppose x>N.
      Check |1/x-0|=1/x (x>0 so 1/x>0)

    • @neekunjchaturvedi
      @neekunjchaturvedi 11 หลายเดือนก่อน +1

      @@Ninja20704 thanks brother

  • @MikiMiusA
    @MikiMiusA 7 หลายเดือนก่อน

    Don't we need to write the conclusion at the end?

  • @Douae1111
    @Douae1111 9 หลายเดือนก่อน

    3:36

  • @ceo1OO
    @ceo1OO 10 หลายเดือนก่อน +2

    The blackPenredPen guy is putting on weight: ... he must be eating alot of general Tso's chicken... lol.. it's alright, I eat general Tso's chicken also... 😎

  • @JB-ym4up
    @JB-ym4up 11 หลายเดือนก่อน +1

    I just multiply the top and bottom by (1/x).

  • @naxnusternann332
    @naxnusternann332 11 หลายเดือนก่อน +13

    Are you not allowed to use L’Hopital for a prove?

    • @SimsHacks
      @SimsHacks 11 หลายเดือนก่อน +20

      Of course not. That's not a proof, that's a calculation technique. Furthemore, these easy limits are usually covered before derivatives.

    • @photophone5574
      @photophone5574 11 หลายเดือนก่อน +2

      @@SimsHacksI think you are right on it coming before derivatives, but calculation techniques do work in proofs. Calculation techniques in proofs is just called algebra

    • @SimsHacks
      @SimsHacks 11 หลายเดือนก่อน

      @@photophone5574 it's allowed if you had previously proved l'Hospital's rule. Which I don't think is the case.

    • @zarkuz8702
      @zarkuz8702 11 หลายเดือนก่อน +2

      No you definably can’t due to the lack of proof and evidence

    • @spiderjerusalem4009
      @spiderjerusalem4009 11 หลายเดือนก่อน +3

      please stop bringing this overly used method up, notably whose validity is beyond your question. Utter tiresome.🙄

  • @jotajaviergonzalezgarcia7504
    @jotajaviergonzalezgarcia7504 11 หลายเดือนก่อน

    Lhlpital 3secs

  • @AdityaKumar-gv4dj
    @AdityaKumar-gv4dj 11 หลายเดือนก่อน +1

    Please solve this question for me:
    Let f(x)=(x²+x+1)/(x²-x+1), then the largest value of f(x) for all x belongs to [-1,3].
    Can you please teach me how to apply x's bound over such f(x)?

  • @siamchowdhury3987
    @siamchowdhury3987 11 หลายเดือนก่อน

    This chanels name starts with my favourite k pop bands name.

    • @picup30296
      @picup30296 11 หลายเดือนก่อน +4

      the one who copy la campanella?

  • @SamsungA04e-dp7kj
    @SamsungA04e-dp7kj 4 หลายเดือนก่อน

    dalil d La Hospital
    Undefined : Proof Theory Graph Trayektory

  • @ingramr88
    @ingramr88 11 หลายเดือนก่อน

    If the first thing you comment it L’Hospitals, we already know that you’re not going to get out of this video what you need to get out of this video.
    It’s very telling.
    Come back after a discrete math class then look at this video lol

  • @ussr8410
    @ussr8410 11 หลายเดือนก่อน +4

    Use L'Hopital's rule what's the problem bruh😅

    • @tiangong6616
      @tiangong6616 11 หลายเดือนก่อน +3

      But this is about how to write a formal rigorous proof, not obtain the final answer, L'Hopital's rule is more like a calculation technique

  • @willthecat3861
    @willthecat3861 11 หลายเดือนก่อน +2

    My cat, and I, have watched a lot of BR's proof vids. My cat is much better than me at giving all the proofs... just copies BR's proof. I don't think my cat understands math... do you?