Limite (matematica)

In matematica, il concetto di limite serve a descrivere l'andamento di una funzione all'avvicinarsi del suo argomento a un dato valore (limite di una funzione) oppure l'andamento di una successione al crescere illimitato dell'indice (limite di una successione). I limiti si utilizzano in tutti i rami dell'analisi matematica; sono usati ad esempio per definire la continuità, la derivazione e l'integrazione. Il concetto di limite di una funzione, più generale del limite di una successione, può essere generalizzato da quello di limite di un filtro.

Storia

Il concetto di limite era già presente in modo intuitivo nell'antichità, per esempio in Archimede (nel suo metodo di esaustione), e fu utilizzato, anche se non in modo rigoroso, a partire dalla fine del XVII secolo da Newton, Leibniz, Eulero e D'Alembert.

La prima definizione abbastanza rigorosa di limite risale al XIX secolo con Cauchy, seguita da una miglior formalizzazione di Weierstrass.

Una completa teoria del limite si ha con Heine, che nel 1872 pubblicò un lavoro che creò molto interesse all'epoca e nel quale stilò regole e proprietà del limite. Molti altri studiosi si sono interessati al problema del limite, approfondendo l'argomento con lo studio dell'analisi infinitesimale, tra cui Bolzano, Dedekind e Cantor.

Ma solo nel 1922 Eliakim Hastings Moore ed H.L. Smith diedero una nozione generale (topologica) di limite[1], ed è quella attualmente utilizzata in matematica. Nel 1937, Henri Cartan ne fornì una versione equivalente, basata sul concetto di filtro.

Limite di una successione

Lo stesso argomento in dettaglio: Limite di una successione.

Una successione { a n } {\displaystyle \{a_{n}\}} di numeri reali ha come limite il numero a {\displaystyle a} se al crescere di n {\displaystyle n} i termini della successione "sono arbitrariamente vicini" al valore a {\displaystyle a} . Formalmente, questa nozione è resa chiedendo che per ogni ε > 0 {\displaystyle \varepsilon >0} piccolo a piacere esista un numero naturale N {\displaystyle N} tale che | a n − a | < ε {\displaystyle |a_{n}-a|<\varepsilon } per ogni n > N {\displaystyle n>N} .

Una successione può non avere limite, ad esempio a n = ( − 1 ) n {\displaystyle a_{n}=(-1)^{n}} , data da:

1 , − 1 , 1 , − 1 , 1 , − 1 , … {\displaystyle 1,-1,1,-1,1,-1,\ldots }

non ha limite. D'altra parte, se esiste un limite a {\displaystyle a} , si dice che la successione converge ad a {\displaystyle a} ; in questo caso, il limite è unico (una successione non può convergere a due valori distinti). Ad esempio, la successione a n = 1 / n {\displaystyle a_{n}=1/n} , data da:

1 , 1 / 2 , 1 / 3 , 1 / 4 , … {\displaystyle 1,1/2,1/3,1/4,\ldots }

converge a zero.

Considerando uno spazio topologico X {\displaystyle X} , una successione x n {\displaystyle x_{n}} con n ∈ N {\displaystyle n\in \mathbb {N} } tende al limite a ∈ X {\displaystyle a\in X} se, comunque si prenda un intorno B {\displaystyle B} di a {\displaystyle a} , esiste un N {\displaystyle N} tale per cui x n ∈ B {\displaystyle x_{n}\in B} per tutti gli n > N {\displaystyle n>N} , e si scrive:

lim n → + ∞ x n = a {\displaystyle \lim _{n\to +\infty }x_{n}=a}

Se X {\displaystyle X} è uno spazio di Hausdorff il limite di x n {\displaystyle x_{n}} con n ∈ N {\displaystyle n\in \mathbb {N} } , se esiste, è unico.

Limite di una funzione

Lo stesso argomento in dettaglio: Limite di una funzione.

Il limite di una funzione generalizza il limite di una successione di punti in uno spazio topologico Y {\displaystyle Y} ; si considera la successione una funzione f : N → Y {\displaystyle f:\mathbb {N} \to Y} nello spazio topologico N ∪ { + ∞ } {\displaystyle \mathbb {N} \cup \lbrace +\infty \rbrace } con la topologia discreta. In tale definizione, un intorno di + ∞ {\displaystyle +\infty } ha la forma { n : n ≥ n 0 } ∪ { + ∞ } {\displaystyle \lbrace n:n\geq n_{0}\rbrace \cup \lbrace +\infty \rbrace } .

Siano dati una funzione f : X → R {\displaystyle f:X\rightarrow \mathbb {R} } definita su un sottoinsieme X {\displaystyle X} della retta reale R {\displaystyle \mathbb {R} } ed un punto di accumulazione x 0 {\displaystyle x_{0}} di X {\displaystyle X} . Un numero reale l {\displaystyle l} è il limite di f ( x ) {\displaystyle f(x)} per x {\displaystyle x} tendente a x 0 {\displaystyle x_{0}} se la distanza fra f ( x ) {\displaystyle f(x)} ed l {\displaystyle l} è arbitrariamente piccola quando x {\displaystyle x} si avvicina a x 0 {\displaystyle x_{0}} .

La distanza fra i punti è misurata usando il valore assoluto della differenza: quindi | x − x 0 | {\displaystyle |x-x_{0}|} è la distanza fra x {\displaystyle x} e x 0 {\displaystyle x_{0}} e | f ( x ) − l | {\displaystyle |f(x)-l|} è la distanza fra f ( x ) {\displaystyle f(x)} ed l {\displaystyle l} . Il concetto di "arbitrariamente piccolo" è espresso formalmente con i quantificatori "per ogni" (quantificatore universale) ed "esiste" (quantificatore esistenziale).

Formalmente, l {\displaystyle l} è limite se per ogni numero reale ε > 0 {\displaystyle \varepsilon >0} piccolo a piacere esiste un altro numero reale positivo δ {\displaystyle \delta } tale che:

| f ( x ) − l | < ε {\displaystyle |f(x)-l|<\varepsilon } per ogni x {\displaystyle x} in X {\displaystyle X} con 0 < | x − x 0 | < δ {\displaystyle 0<|x-x_{0}|<\delta } .

In questo caso si scrive:

lim x → x 0 f ( x ) = l {\displaystyle \lim _{x\to x_{0}}f(x)=l}

La definizione di limite di una funzione è comoda per formalizzare il concetto di funzione continua.

Limite di un ultrafiltro

Dato uno spazio topologico ( X , T ) {\displaystyle (X,T)} , un punto x ∈ X {\displaystyle x\in X} è il limite di un ultrafiltro U {\displaystyle U} su X {\displaystyle X} se ogni intorno di x {\displaystyle x} appartiene a U {\displaystyle U} .

Il limite di una funzione rispetto ad un filtro è definito considerando una funzione f : B ⊂ X → Y {\displaystyle f:B\subset X\to Y} tra spazi topologici e un filtro U {\displaystyle U} su B {\displaystyle B} . Il punto y ∈ Y {\displaystyle y\in Y} è il limite di f {\displaystyle f} in x ∈ X {\displaystyle x\in X} rispetto ad U {\displaystyle U} se x {\displaystyle x} è il limite di U {\displaystyle U} e y {\displaystyle y} è il limite di f ( U ) {\displaystyle f(U)} . Si scrive in tal caso:

lim U f ( x ) = y {\displaystyle \lim _{U}f(x)=y}

Limite insiemistico

Lo stesso argomento in dettaglio: Limite insiemistico.

Il concetto di limite si estende anche alle successioni di insiemi attraverso le nozioni di limite superiore e limite inferiore: data una successione di insiemi { A n } n {\displaystyle \{A_{n}\}_{n}} , l'insieme limite è definito come l'insieme che intuitivamente contiene gli elementi che stanno nel maggior numero di insiemi della successione. Formalmente, una successione di insiemi si dice possedere limite se vale la seguente uguaglianza:

⋂ n = 1 ∞ ( ⋃ m = n ∞ A m ) = ⋃ n = 1 ∞ ( ⋂ m = n ∞ A m ) =: lim n → ∞ A n {\displaystyle {\bigcap _{n=1}^{\infty }}\left({\bigcup _{m=n}^{\infty }}A_{m}\right)={\bigcup _{n=1}^{\infty }}\left({\bigcap _{m=n}^{\infty }}A_{m}\right)=:\lim _{n\to \infty }A_{n}}

Note

  1. ^ Si veda Moore, Smith A General Theory of Limits

Bibliografia

  • Paolo Marcellini, Carlo Sbordone, Analisi Matematica Uno, Liguori Editore, Napoli, ISBN 88-207-2819-2, 1998.
  • Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Lezioni di analisi matematica due, Zanichelli Editore, Bologna, ISBN 978-88-08-52020-3, 2020.
  • (EN) Moore E.H., Smith H.L., "A General Theory of Limits". American Journal of Mathematics 44 (2), 102–121 (1922).
  • (EN) Miller, N. Limits: An Introductory Treatment. Waltham, MA: Blaisdell, 1964.
  • (EN) Gruntz, D. On Computing Limits in a Symbolic Manipulation System. Doctoral thesis. Zürich: Swiss Federal Institute of Technology, 1996.
  • (EN) Hight, D. W. A Concept of Limits. New York: Prentice-Hall, 1966.
  • (EN) Kaplan, W. "Limits and Continuity." §2.4 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 82–86, 1992.

Voci correlate

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file sui limiti

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 19410 · GND (DE) 4316404-3 · NDL (EN, JA) 00567231
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica