Exercise 4.4.14

Construct an alternate proof of Theorem 4.4.7 (Continuous on K implies Uniformly Continuous on K ) using the open cover characterization of compactness from the Heine-Borel Theorem (Theorem 3.3.8 (iii)).

Answers

Let f be continuous on K , and choose 𝜖 > 0 . We can create the open cover { V δ x 2 ( x ) : x K } where δ x is chosen so every y V δ ( x ) has | f ( x ) f ( y ) | < 𝜖 2 . Now since K is compact there exists a finite subcover O = { V δ 1 2 ( x 1 ) , , V δ n 2 ( x n ) } with K k = 1 n V δ k 2 ( x k ) .

Let δ = min { δ 1 , , δ n } 2 and choose arbitrary x K . Since O is an open cover of K , there must be some V δ i 2 ( x i ) x . Now suppose y K so that | x y | < δ . Then

| x y | < δ δ i 2  and  | x x i | < δ i 2 | y x i | < δ i

Also, | x x i | < δ i 2 < δ i . Since f is continuous at x i , this implies | f ( y ) f ( x i ) | < 𝜖 2 and | f ( x ) f ( x i ) | < 𝜖 2 , so by the Triangle Inequality | f ( x ) f ( y ) | < 𝜖 .

User profile picture
2022-01-27 00:00
Comments