Nonstandard Completion of Non-complete Metric Spaces
By: Ala Omer Hassan
Standardly, to prove that a metric space is complete, it is equivalence to proving that every Cauchy sequence in is convergent to a point in it. There are a lot of spaces or sets which agree with this property except at a small size subset of . In this thesis, by using nonstandard analysis tools found by (A. Robinson, 1974) and axiomatized by (E. Nelson, 1977), 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 have deprivation at a small size subset. In addition, we construct new nonstandard definitions nearly complete, nearly dense and nearly isometry and using them to prove results that we get in this thesis. Now, we indicate to the main of these results that we obtain:
- Let be a metric space and let be the set of all Cauchy sequences in . The two sequences and inare said to be:
- In the same order and denoted by , if
- Standardly in the same order denoted by , if
- Unlimitedly in the same order denoted by , if
- Letandbe two metric spaces such that is standard. Then a function is nearly isometry if and only if for all there exists such that .
- is complete metric space, or there is a nonstandard completion for a non-complete metric space (.
- If is nearly complete, then is completion of , and either or .