In the paper，We first introduce the definition of the nonstandard hull of a metric space. Many properties of the nonstandard hull are obtained. After that，with the nonstandard method. We describe a few of compact properties in a metric space. Finally with these conclusions，Arzela-Ascoli theorem is proved，and Banach fixed pointed theorem is obtained under the weaker conditions.