Exercise 4.3.12

Let F R be a nonempty closed set and define g ( x ) = inf { | x a | : a F } . Show that g is continuous on all of R and g ( x ) 0 for all x F .

Answers

Let x R and let a F be the element of F closest to x (must exist since F is closed), we have 0 g ( y ) | y a | and g ( x ) = | x a | . Similarly, let b F be the element of F closest to y . For the rest of the argument to make sense, we need to pick a as our comparison point if | x a | | y b | or b otherwise. Suppose, without loss of generality, that we pick a . Thus, not only g ( y ) g ( x ) | y a | | x a | but also | x a | | y b | 0 g ( y ) g ( x ) . This allows us to write

| g ( y ) g ( x ) | | | y a | | x a | |

Applying the bound from Exercise 1.2.6 (d) we get

| | y a | | x a | | | ( y a ) ( x a ) | = | y x | < δ

Setting δ = 𝜖 gives | g ( x ) g ( y ) | < 𝜖 as desired. If we had to pick b , the argument is the same just replacing y with x and vice-versa.

To see g ( x ) 0 for x F notice that F c is open so there exists an α > 0 so that V α ( x ) F = meaning g ( x ) α and so g ( x ) 0 .

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