Teorema delle restrizioni

Niente fonti!
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

In analisi matematica, ci sono due teoremi collegati che prendono il nome di teorema delle restrizioni. Qui sono enunciate le versioni in una variabile, ma la generalizzazione a più dimensioni è immediata.

Primo teorema delle restrizioni

Sia f : A R R {\displaystyle f:A\subseteq \mathbb {R} \to \mathbb {R} } , x 0 {\displaystyle x_{0}} punto di accumulazione per A {\displaystyle A} . Il primo teorema delle restrizioni afferma che se f {\displaystyle f} ammette limite l {\displaystyle l} in x 0 {\displaystyle x_{0}} :

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

allora per ogni sottoinsieme B A {\displaystyle B\subseteq A} tale che x 0 {\displaystyle x_{0}} sia punto di accumulazione anche per B {\displaystyle B} è:

lim x x 0 f | B ( x ) = l {\displaystyle \lim _{x\to x_{0}}f_{|B}(x)=l}

È molto utile sfruttare la negazione di questo teorema: infatti se si riesce ad individuare una restrizione di f {\displaystyle f} che non possegga limite, o a trovarne due distinte per cui sia l 1 l 2 {\displaystyle l_{1}\neq l_{2}} , dal teorema deve dedursi che f {\displaystyle f} stessa non possiede limite. Ad esempio, la successione a n = ( 1 ) n {\displaystyle a_{n}=(-1)^{n}} non possiede limite poiché a 2 n {\displaystyle a_{2n}} (cioè la sua restrizione sui pari) è costante a 1 {\displaystyle 1} , mentre
a 2 n + 1 {\displaystyle a_{2n+1}} (sui dispari) è costante a 1 {\displaystyle -1} .

Secondo teorema delle restrizioni

Sia f : A R R {\displaystyle f:A\subseteq \mathbb {R} \to \mathbb {R} } , x 0 {\displaystyle x_{0}} punto di accumulazione per A {\displaystyle A} e siano B 1 , B 2 A {\displaystyle B_{1},B_{2}\subseteq A} tali che:

B 1 B 2 = A {\displaystyle B_{1}\cup B_{2}=A}

ovvero B 1 , B 2 {\displaystyle B_{1},B_{2}} è un ricoprimento di A {\displaystyle A} . Sia inoltre x 0 {\displaystyle x_{0}} punto di accumulazione per entrambi. Il secondo teorema delle restrizioni afferma che se:

lim x x 0 f | B 1 ( x ) = lim x x 0 f | B 2 ( x ) = l {\displaystyle \lim _{x\to x_{0}}f_{|B_{1}}(x)=\lim _{x\to x_{0}}f_{|B_{2}}(x)=l}

allora f {\displaystyle f} possiede limite in x 0 {\displaystyle x_{0}} e tale limite è necessariamente l {\displaystyle l} .

Voci correlate

Collegamenti esterni

  • Anna Martellotti - Teorema delle restrizioni (PDF), su dmi.unipg.it. URL consultato il 9 giugno 2014 (archiviato dall'url originale il 14 luglio 2014).
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica