Premettiamo che qui ci occupiamo solamente dei teoremi sull'uniforme continuità che esprimono condizioni necessarie.
Per i teoremi che esprimono condizioni sufficienti per l'uniforme continuità rimandiamo alla pagina del link.
***
Due premesse fondamentali.
- prima di procedere è bene avere piena dimestichezza con la definizione di continuità uniforme;
- le condizioni necessarie che proponiamo qui di seguito possono essere utilizzate per negazione, ossia in termini pratici permettono di mostrare che una funzione non è uniformemente continua in un dato intervallo.
Teorema (funzioni uniformemente continue mandano limitati in limitati)
Se ci troviamo di fronte a funzioni definite su intervalli limitati, per le quali i teoremi che forniscono condizioni sufficienti sulla continuità uniforme non possono essere applicati, è probabile che tali funzioni non siano uniformemente continue... ma come possiamo esprimerci in modo certo e rigoroso?
Una possibilità viene fornita dal seguente teorema: sia
un intervallo limitato. Se
è una funzione uniformemente continua, allora l'immagine
è limitata.
Osservazione: se
è un intervallo ed
è (uniformemente) continua, allora anche
è un intervallo per il teorema dei valori intermedi.
L'enunciato può essere parafrasato come segue: ogni funzione uniformemente continua manda intervalli limitati in intervalli limitati.
Fornendo una condizione necessaria, il risultato è molto più utile al negativo: se
non è limitato allora certamente
non è uniformemente continua su
.
Quello che abbiamo appena scritto è un teorema davvero notevole: tra le altre cose, stabilisce implicitamente che una funzione con un asintoto verticale non può essere uniformemente continua su alcun intervallo con estremo nell'ascissa dell'asintoto verticale.
Esempio (funzioni uniformemente continue mandano limitati in limitati)
non è uniformemente continua in
perché, nonostante l'intervallo di riferimento sia limitato, risulta che
Ciò significa che
è un asintoto verticale per la funzione, cosicché
non è un intervallo limitato.
Teorema della farfalla
Il teorema della farfalla fornisce una condizione necessaria per l'uniforme continuità. Esso assicura che una funzione uniformemente continua è necessariamente una funzione sublineare.
L'enunciato del teorema della farfalla è il seguente: sia
un intervallo illimitato di
. Se
è una funzione uniformemente continua allora esistono due costanti reali positive
tali che:
ossia
è una funzione sublineare su
.
Perché questo teorema si presenta con un nome così curioso?
Il grafico di
è contenuto nella parte di piano limitata dalle funzioni
e
, la quale ricorda vagamente la sagoma di una farfalla. :)
La dimostrazione del teorema della farfalla è estremamente tecnica e preferiamo non occuparcene in questo contesto; meglio capire come sfruttare il teorema per mostrare che una data funzione NON è uniformemente continua.
Esempio sul teorema della farfalla
Mostriamo che
non è una funzione uniformemente continua in
.
Mostriamo che la funzione
non è sublineare. Se lo fosse esisterebbero due costanti reali positive
tali che
Poiché
varia in
il valore assoluto al secondo membro non serve. Inoltre
Dividiamo membro a membro per la quantità positiva
, così da ottenere
Osserviamo che per
il rapporto al primo membro va a più infinito, dunque non può essere limitato da 1.
Ne consegue che
non è una funzione sublineare su
e dunque non può essere uniformemente continua su
.
Con la stessa tecnica si può dimostrare che la funzione esponenziale
non è uniformemente continua in
.
***
Chi vuole ripassare o proseguire con lo studio dell'uniforme continuità può leggere:
MEDIE | Geometria | Algebra e Aritmetica | |||
SUPERIORI | Algebra | Geometria | Analisi | Altro | |
UNIVERSITÀ | Analisi | Algebra Lineare | Algebra | Altro | |
EXTRA | Pillole | Wiki |