Using the method of nonstandard analysis, we prove and generalize the theorem of Eberlein-Smulian, and obtain the equivalence of W-compact、W-coutably compact and W-sequentially compact in metrizable locally convex spaces.