This site is being phased out.

Limit of function

From Mathematics Is A Science
Jump to navigationJump to search

We concentrate on limits of functions at the limit points of their domains.

Example. Consider

 f(x) = x for x ≠ 1.

with

 D(f) = ( -∞, 1 ) ∪ ( 1, ∞ ).

Even though the function is undefined at 1, the limit

 limx→1 f(x)

makes sense, because 1 is a limit point of D(f).

Example. Let

 f(x) = 1,
 D(f) = { 0 } ∪ [ 0, 2 ).

Here the limit

 limx→0 f(x)

does not make sense.

Example. Also, if

 D(f) = ( 1, ∞ ),

then the limit

 limx→∞ f(x)

does make sense.

Definition. Suppose

 f: ℝn → ℝ

and a a limit point of D(f). Then L ∈ ℝ is the limit of f as x → a if

 for any ε > 0 there is a δ > 0 such that 
 ‖ x - a ‖ < δ with x ∈ D(f) =>  | f(x) - L | < ε.

Note 1: there is always such an x - on the right - for any δ > 0.)

Note 2: if f: ℝn → ℝm, then L ∈ ℝm and we replace in the definition the absolute value |.| with the norm ‖.‖ , as before:

 ‖ x - a ‖ < δ with x ∈ D(f) =>  | f(x) - L | < ε.

Note 3: Is the limit well-defined?

Theorem (Uniqueness of Limit). If L and M satisfy the definition, then L = M.

Limit uniqueness proof.jpg

Proof'.' Let L ≠ M, L, M ∈ ℝ. Say

 L > M,

then let

 ε = ( L - M ) / 2.

Apply the definition with this ε. Then there is a δ satisfying the condition. Now choose x ∈ D(f) with

 ‖ x - a ‖ < δ.

Then it follows that

 | f(x) - L | < ε,
 | f(x) - M | < ε.

(Provide the details here!) Then

 | f(x) - L | + | f(x) - M | < 2ε = L - M.

Finish the proof. QED

Theorem. Let

 limx→a f(x) = L,
 limx→a g(x) = M.

Then

 (1) limx→a ( f(x) + g(x) ) = L + M,
 (2) limx→a ( f(x) ⋅ g(x) ) = L ⋅ M,
 (3) limx→a ( f(x) / g(x) ) = L / M, provided M ≠ 0.

Theorem (Limits Under Composition). For the two cases

 (1) f: ℝ → ℝn, g: ℝn → ℝ,
 (2) f: ℝn → ℝ, g: ℝ → ℝn

let

 limx→a f(x) = L,
 limt→L g(t) = M.

Then

 limx→a ( g ∘f )(x) = M.

Theorem. The function f is continuous at x = a iff

 limx→a f(x) = f(a).

The point a is a limit point of D(f).

Interior of domain.jpg

Example. Let

 f( x, y ) = x + y continuous on D(f),
 D(f) = { ( x, 0 ): x ∈ ℝ } ⊂ ℝ2.

Consider points in D(f) that have a ball around them that lies entirely in D(f), interior point D(f). (This is unlike the first example.)

Definition. Given A ⊂ ℝn, the point a ∈ A is called an interior point of A if there is an ε > 0 such that

 B( a, ε ) ⊂ A.

Let n = 1. Is a an interior point of A = { a }? No.

A = [ 0, 1 ]. What are the interior points? All but 0 and 1.

The set of all interior points of A is called the interior of A, and we write int A.

The interior

 int [ 0, 1 ] = ( 0, 1 ),

as the limit points of [ 0, 1 ] are [ 0, 1 ], so 0 and 1 are limit points but not interior points.

Is vice versa possible? No. Every interior point is a limit point (see Theorem).

Consider

 B( a, r ) = { x ∈ ℝn: | x - a | ≤ r }, a closed ball,

then

 int B( a, r ) = { x ∈ ℝn: | x - a | < r },

i.e. an open ball.