Let be metric spaces such that is connected and is complete and locally compact. Let be a uniformly equicontinuous family of functions from to such that there exists with the property that is precompact. Prove that all points have property .

# Precompact dots

Advertisements