• 沒有找到結果。

Advanced Calculus (II)

N/A
N/A
Protected

Academic year: 2022

Share "Advanced Calculus (II)"

Copied!
78
0
0

加載中.... (立即查看全文)

全文

(1)

Advanced Calculus (II)

WEN-CHINGLIEN

Department of Mathematics National Cheng Kung University

2009

(2)

Ch10: Metric Spaces

10.1: Introduction

Definition (10.1)

A metric space is a set X together with a function ρ :X × X → R (call the metric of X ), that satisfies the following properties for all x , y , z ∈ X :

Positive Definite: ρ(x , y ) ≥ 0 with ρ(x , y ) = 0 if and only if x = y ,

Symmetric: ρ(x , y ) = ρ(y , x ),

Triangle Inequality: ρ(x , y ) ≤ ρ(x , z) + ρ(z, y ).

(Notice that by definition, ρ(x , y ) is finite-valued for all x , y ∈ X .)

WEN-CHINGLIEN Advanced Calculus (II)

(3)

Example (10.2)

For each n ∈N, Rnis a metric space with metric ρ(x, y) = kx − yk. (We shall call this the usual metric on Rn. Unless specified otherwise, we shall always use the usual metric onRn.)

(4)

Example (10.3)

R is a metric space with metric

σ(x , y ) = 0 x = y 1 x 6= y . (This metric is called the discrete metric.)

WEN-CHINGLIEN Advanced Calculus (II)

(5)

Example (10.6)

Let C[a, b] represent the collection of continuous f : [a, b] →R and

kf k := sup

x ∈[a,b]

|f (x)|.

Then ρ(f , g) := kf − gk is a metric on C[a, b].

(6)

Proof.

By the Extreme Value Theorem,kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f ,and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

WEN-CHINGLIEN Advanced Calculus (II)

(7)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b].By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b].Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

(8)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f ,and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite.Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

WEN-CHINGLIEN Advanced Calculus (II)

(9)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b].Thus ρ is positive definite. Since ρ is obviously symmetric,it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

(10)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite.Since ρ is obviously symmetric, it remains to verify the triangle inequality.But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

WEN-CHINGLIEN Advanced Calculus (II)

(11)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric,it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

(12)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality.But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

WEN-CHINGLIEN Advanced Calculus (II)

(13)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

(14)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

WEN-CHINGLIEN Advanced Calculus (II)

(15)

Proof.

By the Extreme Value Theorem, kf k is finite for each f ∈ C[a, b]. By definition, kf k ≥ 0 for all f , and kf k = 0 if and only if f (x ) = 0 for every x ∈ [a, b]. Thus ρ is positive definite. Since ρ is obviously symmetric, it remains to verify the triangle inequality. But

kf + gk = sup

x ∈[a,b]

|f (x) + g(x)|

≤ sup

x ∈[a,b]

|f (x)| + sup

x ∈[a,b]

|g(x)| = kf k + kgk .

(16)

Definition (10.7)

Let a ∈ X and r > 0. The open ball (in X ) with center a and radius r is the set

Br(a) := {x ∈ X : ρ(x , a) < r },

and the closed ball (in X ) with center a and radius r is the set

{x ∈ X : ρ(x, a) ≤ r }.

WEN-CHINGLIEN Advanced Calculus (II)

(17)

Definition (10.8)

(i) A set V ⊆ X is said to be open if and only if for every x ∈ V there is an ε > 0 such that the open ball Bε(x ) is contained in V .

(ii) A set E ⊆ X is said to be closed if and only if Ec :=X \E is open.

(18)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a).Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a). Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(19)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.)If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(20)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a).Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ),then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a). Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(21)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.)If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(22)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ),then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x) + ρ(x, a) < ε + ρ(x, a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a). Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(23)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(24)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x) + ρ(x, a) < ε + ρ(x, a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a). Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(25)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(26)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a).Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(27)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(28)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a).Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(29)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r .

(30)

Remark (10.9)

Every open ball is open,and every closed ball is closed.

Proof.

Let Br(a) be an open ball. By definition, we must prove that given x ∈ Br(a) there is an ε > 0 such that

Bε(x ) ⊆ Br(a). Let x ∈ Br(a) and set ε = r − ρ(x , a). (Look at Figure 8.5 to see why this choice of ε should work.) If y ∈ Bε(x ), then by the triangle inequality, assumption, and the choice of ε,

ρ(y , a) ≤ ρ(y , x ) + ρ(x , a) < ε + ρ(x , a) = r . Thus by Definition 10.7, y ∈ Br(a). In particular, Bε(x ) ⊆ Br(a). Similarly, we can show that

{x ∈ X : ρ(x, a) > r } is also open. Hence, every closed ball is closed.

WEN-CHINGLIEN Advanced Calculus (II)

(31)

Remark (10.11)

In an arbitrary metric space, the empty set ∅ and the whole space X are both open and closed.

(32)

Definition (10.13)

Let {xn} be a sequence in a metric space X .

(i) {xn} converges (in X ) if there is a point a ∈ X (called the limit of xn) such that for every ε > 0 there is an N ∈ N such that

n ≥ N implies ρ(xn,a) < ε.

(ii) {xn} is Cauchy if for every ε > 0 there is an N ∈ N such that

n, m ≥ N implies ρ(xn,xm) < ε.

(iii) {xn} is bounded if there is an M > 0 and a, b ∈ X such that ρ(xn,b) ≤ M for all n ∈N.

WEN-CHINGLIEN Advanced Calculus (II)

(33)

Theorem (10.14)

Let X be a metric space.

(i) A sequence in X can have at most one limit.

(ii) If xn ∈ X converges to a and {xnk} is any subsequence of {xn}, then xnk converges to a as k → ∞.

(iii) Every convergent sequence in X is bounded.

(iv) Every convergent sequence in X is Cauchy.

(34)

Theorem (10.14)

Let X be a metric space.

(i) A sequence in X can have at most one limit.

(ii) If xn ∈ X converges to a and {xnk} is any subsequence of {xn}, then xnk converges to a as k → ∞.

(iii) Every convergent sequence in X is bounded.

(iv) Every convergent sequence in X is Cauchy.

WEN-CHINGLIEN Advanced Calculus (II)

(35)

Theorem (10.14)

Let X be a metric space.

(i) A sequence in X can have at most one limit.

(ii) If xn ∈ X converges to a and {xnk} is any subsequence of {xn}, then xnk converges to a as k → ∞.

(iii) Every convergent sequence in X is bounded.

(iv) Every convergent sequence in X is Cauchy.

(36)

Theorem (10.14)

Let X be a metric space.

(i) A sequence in X can have at most one limit.

(ii) If xn ∈ X converges to a and {xnk} is any subsequence of {xn}, then xnk converges to a as k → ∞.

(iii) Every convergent sequence in X is bounded.

(iv) Every convergent sequence in X is Cauchy.

WEN-CHINGLIEN Advanced Calculus (II)

(37)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V .Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an

(38)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a.By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a).By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an open set that contains a; hence, by hypothesis, there is an N ∈N such that n ≥ N implies xn∈ V . In particular,

ρ(xn,a) < ε for all n ≥ N.

WEN-CHINGLIEN Advanced Calculus (II)

(39)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V .Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an

(40)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a).By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a).Then V is an open set that contains a; hence, by hypothesis, there is an N ∈N such that n ≥ N implies xn∈ V . In particular,

ρ(xn,a) < ε for all n ≥ N.

WEN-CHINGLIEN Advanced Calculus (II)

(41)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an

(42)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a).Then V is an open set that contains a; hence, by hypothesis, there is an N ∈N such that n ≥ N implies xn∈ V . In particular,

ρ(xn,a) < ε for all n ≥ N.

WEN-CHINGLIEN Advanced Calculus (II)

(43)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an

(44)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an open set that contains a; hence, by hypothesis, there is an N ∈N such that n ≥ N implies xn∈ V . In particular,

ρ(xn,a) < ε for all n ≥ N.

WEN-CHINGLIEN Advanced Calculus (II)

(45)

Remark (10.15)

Let xn ∈ X . Then xn → a as n → ∞ if and only if for every open set V that contains a, there is an N ∈N such that n ≥ N implies xn∈ V .

Proof.

Suppose that xn → a, and let V be an open set that contains a. By Definition 10.8, there is an ε > 0 such that Bε(a) ⊆ V . Given this ε, use Definition 10.13 to choose an N ∈N such that n ≥ N implies xn∈ Bε(a). By the choice of ε, xn∈ V for all n ≥ N.

Conversely, let ε > 0 and set V = Bε(a). Then V is an

(46)

Theorem (10.16)

Let E ⊆ X . Then E is closed if and only if the limit of every convergent sequence xk ∈ E satisfies

k →∞lim xk ∈ E.

WEN-CHINGLIEN Advanced Calculus (II)

(47)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open.Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(48)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec.Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(49)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open.Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E .If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(50)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed,then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(51)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E .If E is not closed, then by Remark 10.11,E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(52)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed,then by Remark 10.11, E 6= X ,and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(53)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11,E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(54)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X ,and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec.Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(55)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . ..Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(56)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec.Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N.Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(57)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . ..Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(58)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N.Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞;i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(59)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(60)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞;i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(61)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E

N. Now 1/k → 0 as k → ∞,

(62)

Proof.

The theorem is vacuously satisfied if E is the empty set.

Suppose hat E 6= ∅ is closed but some sequence xn ∈ E converges to a point x ∈ Ec. Since E is closed, Ec is open. Thus, by Remark 10.15, there is an N ∈N such that n ≥ N implies xn∈ Ec, a contradiction.

Conversely, suppose that E is a nonempty set such that every convergent sequence in E has its limit in E . If E is not closed, then by Remark 10.11, E 6= X , and by

definition, Ec is nonempty and not open. Thus, there is at least one point x ∈ Ec such that no ball Br(x ) is contained in Ec. Let xk ∈ B1/k(x ) ∩ E for k = 1, 2, . . .. Then xk ∈ E and ρ(xk,x ) < 1/k for all k ∈N. Now 1/k → 0 as k → ∞, so it follows from the Squeeze Theorem (these are real sequences) that ρ(xk,x ) → 0 as k → ∞; i.e., xk → x as k → ∞. Thus by hypothesis, x ∈ E , a contradiction.

WEN-CHINGLIEN Advanced Calculus (II)

(63)

Definition (10.19)

A metric space X is said to be complete if and only if every Cauchy sequence xn∈ X converges to some point in X.

(64)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv,{xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X . Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X . But E is closed, so x must belong to E . Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(65)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges.By Theorem 10.14iv, {xn} is Cauchy.Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical,

(66)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv,{xn} is Cauchy. Since E is complete,it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X . Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X . But E is closed, so x must belong to E . Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(67)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy.Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E .Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical,

(68)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete,it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X . Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X . But E is closed, so x must belong to E . Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(69)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E .Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E .Since the metric on X and E are identical,

(70)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X .Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X . But E is closed, so x must belong to E . Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(71)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E .Since the metric on X and E are identical,

(72)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X .Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X .But E is closed, so x must belong to E . Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(73)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical,

(74)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X . Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X .But E is closed, so x must belong to E .Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(75)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical,

(76)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical, {xn} is Cauchy in X . Since X is complete, it follows that xn → x, as n → ∞, for some x ∈ X . But E is closed, so x must belong to E .Thus E is complete by definition.

WEN-CHINGLIEN Advanced Calculus (II)

(77)

Theorem (10.21)

Let X be a complete metric space and E be a subset of X . Then E (as a subspace) is complete if and only if E (as a subset) is closed.

Proof.

Suppose that E is complete and xn ∈ E converges. By Theorem 10.14iv, {xn} is Cauchy. Since E is complete, it follows from Definition 10.19 that the limit of {xn} belongs to E . Thus, by Theorem 10.16, E is closed.

Conversely, suppose that E is closed and xn ∈ E is Cauchy in E . Since the metric on X and E are identical,

(78)

Thank you.

WEN-CHINGLIEN Advanced Calculus (II)

參考文獻

相關文件

Department of Mathematics National Cheng Kung

Department of Mathematics National Cheng Kung

On the other hand, by (22), the triangle inequality, and the definition of the operator norm... On the other hand, by (22), the triangle inequality, and the definition of the

Department of Mathematics National Cheng Kung

Department of Mathematics National Cheng Kung

The converse of Theorem 10.46 is false for arbitrary metric

Department of Mathematics National Cheng Kung

Proof : It is clear that three numbers are vertices of triangle inscribed in the unit circle with center at the origin... So, it is clear that axiom