Limite (matematica)

In matematica, il limite è un concetto basato sull'idea di vicinanza^[1] ed è utilizzato per studiare localmente, cioè "vicino" a un punto del dominio, funzioni o, come caso particolare, successioni.

Il fondamento concettuale del calcolo infinitesimale sta proprio nel concetto di limite e, perciò si può considerare una pietra miliare nella storia del pensiero scientifico^[2]; esso infatti è ricorrente in tutti i rami dell'analisi matematica, per esempio nel 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.

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^[3], ed è quella attualmente utilizzata in matematica. Nel 1937, Henri Cartan ne fornì una versione equivalente, basata sul concetto di filtro.

Lo stesso argomento in dettaglio: Limite di una successione.

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

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

${\displaystyle 1,-1,1,-1,1,-1,\ldots }$

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

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

converge a zero.

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

${\displaystyle \lim _{n\to +\infty }x_{n}=a}$

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

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 ${\displaystyle Y}$; si considera la successione una funzione ${\displaystyle f:\mathbb {N} \to Y}$ nello spazio topologico ${\displaystyle \mathbb {N} \cup \lbrace +\infty \rbrace }$ con la topologia discreta. In tale definizione, un intorno di ${\displaystyle +\infty }$ ha la forma ${\displaystyle \lbrace n:n\geq n_{0}\rbrace \cup \lbrace +\infty \rbrace }$.

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

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

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

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

In questo caso si scrive:

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

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

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

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

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

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 ${\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:

${\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}}$

• Carlo Domenico Pagani e Sandro Salsa, Analisi matematica 1, Seconda edizione, Bologna, Zanichelli, ISBN 978-88-08-15133-9.
• Lucia Doretti, Limiti di funzioni (PDF), Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena.
• 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.

• Convergenza
• Forma indeterminata
• Limite di una funzione
• Limite di una successione
• Limite insiemistico
• Limite notevole
• Limite superiore e limite inferiore
• Regola di De L'Hôpital
• Stima asintotica

• Wikimedia Commons contiene immagini o altri file sui limiti

• limite, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• (EN) limit, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Limite, su MathWorld, Wolfram Research.
• (EN) L.D. Kudryavtsev, Limit, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni pratiche Topologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore · Topologia p-adica Costruzioni topologiche Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione Topologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altre proprietà Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	Fondamenti Spazio semplicemente connesso · Gruppo fondamentale Omotopia Arco · Nerbo · Omotopia · Gruppi di omotopia Omologia e coomologia Omologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana Sollevamento Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen Topologia algebrica avanzata Grado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simpliciale Superfici Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica