Let be a nonempty compact space and let be continuous and nowhere zero. On , define . Multiplication by is an isometry onto with its ordinary uniform norm, because division by the continuous nonvanishing provides the inverse. Thus the weighted space is a Banach space. Equivalently, the extreme value theorem gives , and . A weighted Cauchy sequence is uniformly Cauchy, has a continuous uniform limit, and the upper bound gives convergence also in the weighted norm.
Articles by others on the same topic
There are currently no matching articles.