‎inspired by the work of suzuki in‎ ‎[t. suzuki‎, ‎a generalized banach contraction principle that characterizes metric completeness‎, proc‎. ‎amer‎. ‎math‎. ‎soc. ‎136 (2008)‎, ‎1861--1869]‎, ‎we prove a fixed point theorem for contractive mappings‎ ‎that generalizes a theorem of geraghty in [m.a‎. ‎geraghty‎, ‎on contractive mappings‎, ‎proc‎. ‎amer‎. ‎math‎. ‎soc., ‎40 (1973)‎, ‎604--608]‎an...

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...

In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets directed-completeness and partial metric completeness are interdefinable. Moreover, we demonstrate that Lawson-compact, countably based domains are precisely the compact pmetric spaces that are continuously ordered.

It is proved that on any bounded domain in the complex Euclidean space C(n) the Bergman metric is always greater than or equal to the Carathéodory distance. This leads to a number of interesting consequences. Here two such consequences are given. (i) The Bergman metric is complete whenever the Carathéodory distance is complete on a bounded domain. (ii) The Weil-Petersson metric is not uniformly...

The appropriate general completeness notion for topological vector spaces is quasi-completeness. There is a stronger general notion of completeness, which proves to be too strong in general. For example, the appendix shows that weak-star duals of infinite-dimensional Hilbert spaces are quasi-complete, but never complete in the stronger sense. Quasi-completeness for Fréchet spaces is ordinary me...