Completeness of a continuous weighted uniform norm

ID: completeness-of-a-continuous-weighted-uniform-norm

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.

New to topics? Read the docs here!