Linear
Linear
Let d d x, M
inf x m : m M
We know
x M d x, M 0
Since M is closed, M M
d
d x0 m0 ...... (1)
r
x m0
Define xr
x m0 .
x m0
Then xr 1.
x m0
x m0
xr m m
x m0
160
x m0 m x m0
x m0
x m0 m x m0
x m0
x m'
x m0 ,
where m ' m0 m x m0 M .
xr m x m ' r d r
r , m M
d d
i.e. xr m r , m
d xr mM r
Therefore S1 0 is compact.
161