Condizioni necessarie per l'uniforme continuità

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) 

La funzione logaritmica

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:

- uniforme continuità

- condizioni sufficienti per la continuità uniforme

- esercizi sull'uniforme continuità