Een rij (un) reële getallen convergeert naar ℓ∈R wanneer
∀ε>0,∃N∈N,∀n≥N,∣un−ℓ∣≤ε.
Men schrijft un→ℓ of limun=ℓ. Een rij die niet (naar enig reëel getal) convergeert divergeert. Divergentie naar +∞: ∀M,∃N,∀n≥N,un≥M (analoog naar −∞).
示例
Voorbeeld 11.2(Een ε–N-bewijs, één keer uitgeschreven)
Bewering: un=2n2−3n2+1→21. Isoleer eerst de fout:
Overheers haar dan met iets eenvoudigs: voor n≥2 is 2n2−3≥n2, dus is de fout ≤2n25≤2n5. Bij gegeven ε>0 levert de archimedische eigenschap een N≥max(2,2ε5); voor n≥N is de fout ≤ε. Klaar. Het inzicht tot slot: een ε–N-bewijs bestaat uit precies drie zetten — bereken de fout, schat haar af met een dalende elementaire uitdrukking, en los de drempel op — en na de stellingen van dit hoofdstuk (bewerkingen, insluiting) schrijf je zo’n bewijs vrijwel nooit meer: de stellingen verpakken die drie zetten eens en voor altijd.
Voorbeeld 11.3(Divergentie naar oneindig, gewaarborgd)
Bewering: un=n2−100n→+∞. Zonder de dominante term af: un=n2(1−n100)≥2n2 voor n≥200. Bij gegeven M neem je N=max(200,⌈2M⌉): voor n≥N is un≥2n2≥M. Twee gewoontes zijn hier zichtbaar: de dominante term afzonderen zet een wedstrijd (n2 tegen −100n) om in één schaal maal een factor die naar 1 gaat; en de drempel mag reusachtig zijn (u100=0, de rij is vóór n=100 zelfs negatief) — divergentie naar +∞ is een uitspraak over de staart, onverschillig voor eender welke eindige hoeveelheid wangedrag.
Voorbeeld 11.6(Bewerkingen plus één algebraïsche truc)
Bereken lim(n2+n−n). De twee stukken gaan afzonderlijk naar +∞: de stelling over de bewerkingen zegt niets over hun verschil (een onbepaalde vorm). Vermenigvuldig met de toegevoegde uitdrukking:
n2+n−n=n2+n+n(n2+n)−n2=n2+n+nn=1+n1+11.
Nu convergeert alles: 1+n1→1, want 0≤1+h−1=1+h+1h≤h (opnieuw de toegevoegde uitdrukking, dan insluiten met h=n1); de stelling over de bewerkingen geeft dan de limiet 1+11=21. Het inzicht tot slot: de stelling over de bewerkingen is geen rekenmachine voor alle limieten — onbepaalde vormen (∞−∞, 00, 0×∞, 1∞) moeten eerst met algebra omgevormd worden (toegevoegde uitdrukkingen, de dominante term afzonderen) tot elk stuk convergeert; de systematische machine voor hardnekkige gevallen is de asymptotische ontwikkeling van Hoofdstuk 16.