A Solution to the Completion Problem for Quasi-Pseudometric Spaces

Abstract EN

The different notions of Cauchy sequence and completeness proposed in the literature for quasi-pseudometric spaces do not provide a satisfactory theory of completeness and completion for all quasi-pseudometric spaces.

In this paper, we introduce a notion of completeness which is classical in the sense that it is made up of equivalence classes of Cauchy sequences and constructs a completion for any given T0 quasi-pseudometric space.

This new completion theory extends the existing completion theory for metric spaces and satisfies the requirements posed by Doitchinov for a nice theory of completeness.