276 CHAPTER 10. NORMED LINEAR SPACES

10.8 Limits Of A FunctionAs in the case of scalar valued functions of one variable, a concept closely related to con-tinuity is that of the limit of a function. The notion of limit of a function makes sense atpoints x, which are limit points of D(f) and this concept is defined next. In all that follows(V,∥·∥) and (W,∥·∥) are two normed linear spaces. Recall the definition of limit point first.

Definition 10.8.1 Let A ⊆W be a set. A point x, is a limit point of A if B(x,r) containsinfinitely many points of A for every r > 0.

Definition 10.8.2 Let f : D(f)⊆V →W be a function and let x be a limit point of D(f).Then

limy→x

f (y) =L

if and only if the following condition holds. For all ε > 0 there exists δ > 0 such that if

0 < ∥y−x∥< δ , and y ∈ D(f)

then,∥L−f (y)∥< ε.

Theorem 10.8.3 If limy→xf (y) =L and limy→xf (y) =L1, then L=L1.

Proof: Let ε > 0 be given. There exists δ > 0 such that if 0 < |y−x| < δ and y ∈D(f), then

∥f (y)−L∥< ε, ∥f (y)−L1∥< ε.

Pick such a y. There exists one because x is a limit point of D(f). Then

∥L−L1∥ ≤ ∥L−f (y)∥+∥f (y)−L1∥< ε + ε = 2ε.

Since ε > 0 was arbitrary, this shows L=L1. ■As in the case of functions of one variable, one can define limy→x f (x) =±∞.

Definition 10.8.4 If f (x) ∈ R, limy→x f (x) = ∞ if for every number l, there exists δ > 0such that whenever ∥y−x∥< δ and y ∈ D(f), then f (x)> l. limy→x f (x) =−∞ if forevery number l, there exists δ > 0 such that whenever ∥y−x∥ < δ and y ∈ D(f), thenf (x)< l.

The following theorem is just like the one variable version of calculus.

Theorem 10.8.5 Suppose f : D(f)⊆V → Fm. Then for x a limit point of D(f),

limy→x

f (y) =L (10.16)

if and only iflimy→x

fk (y) = Lk (10.17)

where f (y)≡ ( f1 (y) , · · · , fp (y)) and L≡ (L1, · · · ,Lp).Suppose here that f has values in W, a normed linear space and

limy→x

f (y) = L, limy→x

g(y) = K