Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Continuità
A rigore non ha senso dire "la funzione f è continua"; perchè la continuità dipende in modo essenziale dai dati o
dall'insieme su cui viene considerata. Ha senso chiedersi se la funzione è continua in un punto o in tutto il suo
insieme di definizione.
Esempio:
non è continua in zero, non ha senso chiederselo perchè x 0 non appertiene al dominio
1
f (x) = =
x
di f.
− −−−−−−−
2
f (x) = √ x (x − 1) domf = 0 ∪ [1, +∞[
In questo caso la funzione è continua in zero che è un punto isolato; ma in zero non si può fare il limite.
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 1/19
13/8/2018 Continuità
Def
(X, d x ) (Y , d y ) sp. m.
f : A → Y , A ⊆ X , A ≠ 0 , x0 ∈ A
Def
(X, d x ) (Y , d y ) sp. m.
x0 di accumulazione per A ; l ∈ Y
limx→x f (x) = l ⇋ ∀ϵ > 0 ∃δ > 0 : ∀x ∈ Ax ≠ x 0 d x (x, x 0 ) < δ ⟹ d y (f (x), l) < ϵ
0
Def
(X, d x ) (Y , d y ) sp. m.
f : A → Y ,A⊆X
f è continua in A ⇋ ∀ϵ > 0 ∃δ > 0 : ∀x ∈ Ad x (x, x 0 ) < δ
⟹ d y (f (x), f (x 0 )) < ϵ
nei limiti x 0 deve essere di accumulazione per A perchè io mi devo avvicinare a x 0 in modo indefinito
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 2/19
13/8/2018 Continuità
Prop
(X, d x ) (Y , d y ) sp. m.
f : A → Y con x 0 ∈ A
f è continua in x 0 ⇋ $\begin{cases}
Dim
Def
(X, d x ) (Y , d y ) sp. m.
f : A → Y , A ⊆ X, A ≠ ∅
f è continua su A ⇋ f è continua in ogni punto di A
Esempio:
f (x) = x
3
+ 1 domf = R ⟹ f è continua su R
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 3/19
13/8/2018 Continuità
⟹ la condizione è verificata!
Prop
Esempi:
ϕ(x) = e
x
è continua su R
Prop
f
⟹ f + g; f - g; fg sono continue su Ω e è continua su A ⊆ Ω :g ≠ 0
g
in R2
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 4/19
13/8/2018 Continuità
f (x, y) = e
x
+ sin(y) è continua in R2
f : R
2
→ R data da:
2 2
x y = x
f (x, y) = {
0 altrimenti
prendo δ = √ϵ
− −−−−− 2 2 2
d((x, y), (0, 0)) = √ x 2 + y 2 < δ ⟹ x + y < δ
⟹ f è continua in (0,0)
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 5/19
13/8/2018 Continuità
Prop
(X, d x ) (Y , d y ) sp. m.
fA → Y , A ⊆ X x̄ ¯¯
∈ A
f è continua in x̄ ⇔
¯¯
∀x n : N → X : xn ∈ A∀n ¯¯
limn→∞ x n = x̄
¯¯
⟹ limn→∞ f (x n ) = f (x̄ )
Dim
" ⟹ "
¯¯
x̄ ∈ A ⟹ ¯¯
x̄ è isolato per A oppure x̄
¯¯
è di accumulazione per A
suppongo x̄
¯¯
di accumulazione per A ⟹ ¯¯
limn→∞ x n = x̄ ¯¯
∀x : N → X ∀nx n ∈ A ∀nx n ≠ x̄ ,
¯¯
⟹ ∀δ > 0∃ν ∈ N : ∀n ∈ N n ≥ ν d x (x n , x̄ ) < δ
f è continua in x̄
¯¯
⟹ ∀ϵ > 0∃δ > 0 : ∀x ¯¯
∈ A d x (x, x̄ )δ ⟹ ¯¯
d y (f (x), f (x̄ )) < ϵ
⟹ ∀ϵ > 0∃ν ∈ N : ∀n ¯¯
∈ N n ≥ ν d y (f (x n ), f (x̄ )) < ϵ
¯¯
⟹ limn→∞ f (x n ) = f (x̄ )
suppongo x̄
¯¯
isolato per A
"⇐"
sia x̄
¯¯
di accumulazione per A
∀ϵ > 0 ∃δ > 0 : ∀x ¯¯
∈ A d x (x, x̄ ) < δ ⟹ ¯¯
d y (f (x), f (x̄ )) < ϵ
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 6/19
13/8/2018 Continuità
segue la continuità.
prendo δ
1
=
n
: ∀n
1
¯¯ ¯¯
⟹ ∃ϵ > 0 ∈ N 0∃x n ∈ A : d x (x n , x̄ ) < ⟹ d y (f (x n ), f (x̄ )) > ϵ
n
⟹ ¯¯
limn→∞ x n = x̄ ma limn→∞ f (x n ) ¯¯
≠ f (x̄ )
⟹ f è continua in x̄
¯¯
Questa proposizione è utile quando devo valutare o dimostrare che una funzione non è continua in un punto.
Esempio:
xy
(x, y) ≠ (0, 0)
2 2
x +y
f (x, y) = {
0 (x, y) = (0, 0)
sia (x n , yn )
1 1
→ ( , ) → (0, 0)
n n
n2
ma f (x n , yn )
1
= 2
=
2
n2
in questo caso x̄ ,
1 1
¯¯ ¯¯
= (0, 0) (x n , yn ) = ( , ) ⟹ limn (x n , yn ) = (0, 0) = x̄
n n
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 7/19
13/8/2018 Continuità
Corollario
(X, d x ) (Y , d y ) sp. m.
f : A → Y A ⊆ X
x : N → A
Prop
f : A → Y ,A ⊆ X
g : B → Z ,B ⊆ Y
x0 ∈ A , f (x 0 ) ∈ B
Dim
−1
g ∘ f : A ∩ f (B) ⊆ X → Z
g è continua in f (x 0 ) ⇔ ∀η > 0∃ϵ > 0 t.c. ∀y ∈ Bd y (y, f (x 0 )) < ϵ ⟹ d z (g(y), g(f (x 0 )) < η
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 8/19
13/8/2018 Continuità
⟹ g ∘ f è continua in x 0
Teorema di Weierstrass
Prop
(X, d x ) (Y , d y ) sp. m.
,
A ⊆ X C ⊆ A
f : A → Y
Dim
sia yn ∈ f (C )∀n ⟹ ∃x n ∈ f
−1
(C ) x n ∈ C ∀n t.c. f (x n ) = yn
C è compatto ⟹ ∃ sottosuccessione x nk ¯¯
→ x̄ ∈ C
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 9/19
13/8/2018 Continuità
allora: x nk ¯¯
→ x̄ ⟹ ∀ϵ > 0∃ν ∈ N t.c. ∀k ¯¯
> ν d x (x nk , x̄ ) < ϵ
¯¯
⟹ ynk → ȳ ∈ f (C )
⟹ f(C) è compatto
Prop
(X, d x ) (Y , d y ) sp. m.
f : A → Y ,A ⊆ X ,C ⊆ A
dimostrazione omessa
uniforme continuità
Def
(X, d x ) (Y , d y ) sp. m.
f : A → Y ,A ,
⊆ X A ≠ 0
l'uniforme continuità è un concetto più forte della continuità; il grafico di una funzione uniformemente continua
non deve avere sbalzi troppo grandi.
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 10/19
13/8/2018 Continuità
Prop
(X, d x ) (Y , d y ) sp. m.
f : A → Y ,A ,
⊆ X A ≠ ∅
Dim
⟹ ∀x
′
∈ A∀ϵ > 0∃δ > 0 t.c. ∀x ′′ ′ ′′
∈ A d x (x , x ) < δ ⟹
′ ′′
d y (f (x ), f (x )) < ϵ
⟹ f è continua su A
f è continua su A /
⟹ f è uniformemente continua su A
teorema dell'asintoto
Prop
Prop
f (x)
se limx→∞ f (x) = +∞ ma limx→∞ x
= m ∈ R e limx→∞ f (x) − mx = q ∈ R ⟹ f ammette
asiintoto obliquo y = mx + q ⟹ f è uniformemente continua su [a, ∞[
Prop
sia f : A → R A ⊆ R
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 11/19
13/8/2018 Continuità
Prop
¯¯
¯
se limx→a f (x) + = l
+
∈ R e limx→b − f (x) = l
−
∈ R ⟹ possiamo estendere f ad una funzione f
continua su [a, b]
¯¯
¯
con f uniformemente continua su [a, b] ⟹ f uniformemente continua su (a, b)
⎧ f (x) x ∈ (a, b)
¯¯
¯
+
f = ⎨l x = a
⎩
−
l x = b
inserire esempi
Prop
a, b ∈ R con a, b ≠ +/ − ∞ ea < b
sublinearità
Def
Prop
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 12/19
13/8/2018 Continuità
proposizione importante per dimostrare che una funzione non è uniformemente continua
Prop
Dim
∀ϵ > 0∃δϵ > 0 t.c. ∀x, x 0 ∈ [a, c]|x − x 0 | < δϵ |f (x) − f (x 0 )| < ϵ
⟹
ϵ ϵ
|f (x) − f (x 0 )| = |f (x) − f (b) + f (b) − f (x 0 )| ≤ |f (x) − f (b)| + |f (b) − f (x 0 )| ≤ + = ϵ
2 2
Prop
⟹ g ∘ f è uniformemente continua su A
Dim
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 13/19
13/8/2018 Continuità
Prop
Dim
Prop
(X, d x ) (Y , d y ) sp. m.
f : A → Y ,A ⊆ X C ⊆ A
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 14/19
13/8/2018 Continuità
Dim
scelgo δ
1
=
n
⟹ ∃ϵ > 0 t.c. ∀n ′
∈ N , n ≠ 0, ∃x n → x ∞ e x ′′n → x∞ con x ∞ ∈ C
⟹ f non è continua in x ∞
Prop
(X, d) sp.m. A ⊆ C ef : A → R
Lipschitzianità
Def
(X, d x ) (Y , d y ) sp. m.
f : A → R ,A .
⊆ X A ≠ ∅
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 15/19
13/8/2018 Continuità
f è LIPSCHITZ su A ⇋ ∃ ≥ 0 t.c. ∀x 0 , x 1 ∈ A
d y (f (x 0 ), f (x 1 )) ≤ Ld x (x 0 , x 1 )
Rispetto alla continuità ed alla uniforme continuità la relazione fra le distanze è diretta.
continuità → puntuale
L → costante di Lipschitz
Prop
Prop
sia A ⊆ R
n
un insieme connesso e sia f ∈ C
1
(A, R) , se tutte le derivate parziali sono limitate in A
⟹ f è lipschitziana
Dim
{tx 1 + (1 − t)x 0 ∈ R
n
: t ∈ [0, 1]} è completamente contenuto in A
Ψ∈S
ponendo L = sup
Ψ∈S
||Df (Ψ)|| allora:
⟹ f è LIP
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 16/19
13/8/2018 Continuità
Prop
Dim
se f è Lip ⟹ d y (f (x 1 ), f (x 0 )) ≤ Ld x (x 1 , x 0 ) , ∀x 1 , x 0 ∈ X
prendo δ
ϵ
=
L
⟹ d y (f (x 1 ), f (x 0 ))) ≤ Ld x (x 1 , x 0 ) ≤ Lδ = ϵ
⟹ d y (f (x 1 ), f (x 0 )) < ϵ
⟹ f è uniformemente continua su X
Prop
sia f : R
n
→ R
m
f è lineare ⟹ f è Lipschitz in Rn
Dim
prendo x 0 , x 1 ∈ R
n
con x 0 ≠ x1
1
||f (x 1 ) − f (x 0 )|| m = ||f (x 1 − x 0 )|| m = ||f (||x 1 − x 0 || n ⋅ (x 1 − x 0 ))|| m = || ||x 1 − x 0
R R R R
||x 1 −x 0 || n
R
posto L = sup||v|| n =1
||f (v)||
R
m
R
allora:
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 17/19
13/8/2018 Continuità
⟹ f è LIP!
sia f : R
n
→ R
m
f è lineare ⇔ ∀x 1 , x 2 ∈ R
m
∀λ ∈ R∀x ∈ R
n
f (x 1 + x 2 ) = f (x 1 ) + f (x 2 )
{
f (λx) = λf (x)
siano f : R
n
→ R
m
eg : R
m
→ R
p
due funzioni lineari
ex ,
∈ M at(n × 1) y ∈ M at(m × 1)
f g
n m p
R → R → R
x → Mx
y → Gy
per cui:
x → M Gx
La composizione è ancora una funzione lineare e ciò grazie al fatto che il prodotto tra le matrici M e G è il
prodotto righe per colonne.
Prop
Dim
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 18/19
13/8/2018 Continuità
d ∞ ((f + g)(x), (f + g)(x 0 )) = |(f + g)(x) − (f + g)(x 0 )| = |f (x) + g(x) − f (x 0 ) − g(x 0 )| = |f (x)
Prop
Prop
f : A → R
m
con A ⊆ R
m
Def
con x ∈ R
n
e Ax ∈ R
m
http://localhost:8888/nbconvert/html/Desktop/MATE/NOTEBOOK/Continuit%C3%A0.ipynb?download=false 19/19