Weakly Cauchy Filters and Quasi-Uniform Completeness |
| |
Authors: | M J Pérez-Peñalver S Romaguera |
| |
Institution: | (1) Escuela de Caminos Departemanto de Matemática Aplicada, Universidad Politécnica de Valencia, 46071 Valencia, Spain |
| |
Abstract: | It is well-known that the notion of a Smyth complete quasi-uniform space provides an appropriate notion of completeness to study many interesting quasi-metric spaces which appear in theoretical computer science. We observe that several of these spaces actually possess a stronger form of completeness based on the use of weakly Cauchy filters in the sense of H. H. Corson and we develop a theory of completion and completeness for this kind of filters. In parallel, we also study a more general notion of completeness based on the use of certain stable filters. Thus our results extend and generalize important theorems of Á. Császár, J. R. Isbell and N. R. Howes on uniform completeness. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |