Teorema 4.

Misalkan x dan y ruang metrik, E ⊂ X , p∈ E , f : E → Y .

lim f ( x ) =f ( p ) .
f kontinu di ⟺ x⟶ p

Bukti :

( ⇒ ) diketahui f kontinu di p, akan diperlihatkan lim f ( x )=f ( p ) .

x→ p

Karena f kontinu di p, maka untuk setiap ε > 0 ada δ >0 sehingga untuk setiap x ∈ E dengan
d x ( x , p)< δ berlaku d y ( f ( x ) , f ( p ) ) < ε . Dipihak lain karena p titik limit E , maka untuk δ >0
tersebut ( atau untuk N δ ( p)¿ada x ∈ N δ ( p)¿ ∩ E \{ p }.
Berarti ada xϵE , 0< d x (x , p)<δ dan berakibat d y ( f ( x ) , f ( p ) ) < ε . Hal ini berarti lim f ( x )=f ( p ) .
x→ p

( ⇐ ) diketahui lim f ( x )=f ( p ) , akan diperlihatkan f kontinu di p .

x→ p

Karena lim f ( x )=f ( p ) , maka untuk setiap ε > 0 ada δ >0 sehingga untuk setiap x ∈ E dengan
x→ p

0< d x (x , p)<δ berlaku d y ( f ( x ) , f ( p ) ) < ε. Tetapi untuk x ∈ E dengan d x ( x , p)< δ tetap berlaku
d y ( f ( x ) , f ( p ) ) < ε yang berarti f kontinu di p .