设A是距离空间X中的紧集，f是X到R的连续函数.则f是有界的，并可取到上