[1K0]Prerequisites:[1HR]↺↻,[1J3]↺↻.[Fvi ]↺↻,[1JN]↺↻.Difficulty:**.
Define (X,d∞) as in the previous exercise [1JX]↺↻. Fix now F⊆X a family of functions, suppose F is totally bounded (as defined in [0V3]↺↻): Show then that the family F is equicontinuous.
[1K1]↺↻