Nonstandard completion of non-complete metric space

الملخص EN

Our aim in this study is to establishing nonstandard foundations, definitions and theorems for completion a noncomplete metric spaces.

we have a lot of space or sets x which agree with all usual properties of complete, except at a small size subset of it.

in this paper, by using nonstandard analysis tools founded by a.

Robinson and axiomatized by e.

nelson, we try to reformulate the definition of completion corresponding to nonstandard modified metric ̂, and to give a nonstandard form to the classical (standard) completion theorem and to use the power of nonstandard tools to overcome the incompetence of those spaces which has deprivation at a small size subset.