Prima di studiare il limite di una funzione di variabile reale, conviene lavorare con un caso più semplice e visivo: il limite di una successione. Una successione è una lista infinita e ordinata di numeri reali, e la domanda tipica è “a quale numero si avvicinano i suoi termini?”. Il capitolo introduce la definizione e la notazione (an)(a_n), le successioni per ricorrenza, le due grandi famiglie delle progressioni aritmetica e geometrica con le loro formule di somma, la definizione rigorosa di limite con i suoi tre quantificatori, le successioni monotone e limitate con il teorema di convergenza, la successione (1+1/n)n(1+1/n)^n che definisce il numero di Eulero ee, il legame tra successioni e funzioni reali e, infine, un rimando alla serie geometrica. È il primo passo, discreto, verso l’analisi.

Sezioni

Approfondimenti

Esercizi

Before studying the limit of a function of a real variable, it is helpful to work with a simpler and more visual case: the limit of a sequence. A sequence is an infinite, ordered list of real numbers, and the typical question is “which number do its terms approach?”. The chapter introduces the definition and the notation (an)(a_n), recursively defined sequences, the two great families of arithmetic and geometric progressions with their summation formulae, the rigorous definition of a limit with its three quantifiers, monotone and bounded sequences with the convergence theorem, the sequence (1+1/n)n(1+1/n)^n that defines Euler’s number ee, the link between sequences and real functions and, finally, a cross-reference to the geometric series. It is the first, discrete, step towards analysis.

Sections

Further reading

Exercises

Successioni e funzioni reali sono strettamente legate: una successione può essere vista come la restrizione ai numeri naturali di una funzione di variabile reale.

Se (an)(a_n) deriva da una funzione f:R>0Rf:\mathbb{R}_{>0}\to\mathbb{R} per restrizione ai naturali, cioè an=f(n)a_n = f(n), allora il limite della successione ana_n coincide con il limite per x+x\to+\infty della funzione, se quest’ultimo esiste: limx+f(x)=L    limn+an=L.\lim_{x\to+\infty}f(x) = L \implies \lim_{n\to+\infty}a_n = L.

Il viceversa, in generale, è falso: f(x)=sin(πx)f(x) = \sin(\pi x) ha f(n)=0f(n) = 0 per ogni nNn\in\mathbb{N} (successione costante, limite 00), ma limx+f(x)\lim_{x\to+\infty}f(x) non esiste perché ff oscilla.

Esempio — Calcolo di un limite di successione via funzione

an=nsin(1/n)a_n = n\sin(1/n). Consideriamo f(x)=xsin(1/x)f(x) = x\sin(1/x) con x+x\to+\infty e sostituiamo t=1/xt = 1/x (per x+x\to+\infty si ha t0+t\to 0^+): f(x)=sintt1f(x) = \dfrac{\sin t}{t} \to 1. Dunque an1a_n\to 1.

Collegamenti

Argomenti: Successioni
Concetti: Limite di successione
Competenze: Calcolare limiti

Sequences and real functions are closely linked: a sequence can be seen as the restriction to the natural numbers of a function of a real variable.

If (an)(a_n) arises from a function f:R>0Rf:\mathbb{R}_{>0}\to\mathbb{R} by restriction to the naturals, that is an=f(n)a_n = f(n), then the limit of the sequence ana_n coincides with the limit as x+x\to+\infty of the function, if the latter exists: limx+f(x)=L    limn+an=L.\lim_{x\to+\infty}f(x) = L \implies \lim_{n\to+\infty}a_n = L.

The converse, in general, is false: f(x)=sin(πx)f(x) = \sin(\pi x) has f(n)=0f(n) = 0 for every nNn\in\mathbb{N} (constant sequence, limit 00), but limx+f(x)\lim_{x\to+\infty}f(x) does not exist because ff oscillates.

Example — Computing a limit of a sequence via a function

an=nsin(1/n)a_n = n\sin(1/n). Consider f(x)=xsin(1/x)f(x) = x\sin(1/x) with x+x\to+\infty and substitute t=1/xt = 1/x (as x+x\to+\infty we have t0+t\to 0^+): f(x)=sintt1f(x) = \dfrac{\sin t}{t} \to 1. Hence an1a_n\to 1.

Topics: Sequences
Concepts: Limit of a sequence
Skills: Computing limits

Le somme parziali Sn=a0+a1++anS_n = a_0 + a_1 + \cdots + a_n formano a loro volta una successione, il cui limite si chiama somma della serie.

La serie geometrica n=0qn\displaystyle\sum_{n=0}^\infty q^n con q<1|q|<1 converge a 11q\dfrac{1}{1-q}: è il caso fondamentale già incontrato nella Seconda (“serie geometriche di aree”), riformulato qui come limite di una successione di somme.

Questo rimando chiude il cerchio del capitolo: il limite di successione, introdotto per capire “verso quale numero tendono i termini”, diventa lo strumento che dà senso alla somma di infiniti addendi.

Collegamenti

Argomenti: Successioni
Concetti: Limite di successione · Progressione geometrica · Serie geometrica

The partial sums Sn=a0+a1++anS_n = a_0 + a_1 + \cdots + a_n form in turn a sequence, whose limit is called the sum of the series.

The geometric series n=0qn\displaystyle\sum_{n=0}^\infty q^n with q<1|q|<1 converges to 11q\dfrac{1}{1-q}: it is the fundamental case already met in Year Two (“geometric series of areas”), reformulated here as the limit of a sequence of sums.

This cross-reference closes the loop of the chapter: the limit of a sequence, introduced to understand “which number the terms tend to”, becomes the tool that gives meaning to the sum of infinitely many terms.

Topics: Sequences
Concepts: Limit of a sequence · Geometric progression · Geometric series