Proof. In fact, if a is a limit point of E, then the base E 3 x -> a of deleted
o
neighborhoods UE{P) — UE{O) a of a is defined.
1
We recall that ^(o ) = E n U(a).
4.1 Basic Definitions and Examples 153
If / is continuous at a, then, by finding a neighborhood UE(O) for
the neighborhood V(f(a)) such that f(UE{a)) C V(f{a)), we will simultaneously
have f(UE(a)) C V(/(a)). By definition of limit, therefore,
lim f(x) = f(a).
E3x->a Conversely, if we know that lim f(x) = /(a), then, given a neighborE3x—>a
o o
hood V{f(a)), we find a deleted neighborhood UE{P) such that fUE{o)) C
F(/(a)). But since /(a) G F(/(a)), we then have also f(UE(a)) C ^(/(a)).
By Definition 1 this means that / is continuous at a G E.