Localic completion of generalized metric spaces II: Powerlocales
نویسنده
چکیده
The work investigates the powerlocales (lower, upper, Vietoris) of localic completions of generalized metric spaces. The main result is that all three are localic completions of generalized metric powerspaces, on the Kuratowski finite powerset. Applications: (1) A localic completion is always open, and is compact iff its generalized metric space is totally bounded. (2) The Heine-Borel Theorem is proved in a strong form with continuous maps to the powerlocdales of R, (x, y) 7→ the closeed interval [x, y]. (3) Every localic completion is a triquotient surjective image of a locale of Cauchy sequences. The work is constructive in the topos-valid sense.
منابع مشابه
Localic Completion of Quasimetric Spaces
We give a constructive localic account of the completion of quasimetric spaces. In the context of Lawvere’s approach, using enriched categories, the points of the completion are flat left modules over the quasimetric space. The completion is a triquotient surjective image of a space of Cauchy sequences and can also be embedded in a continuous dcpo, the “ball domain”. Various examples and constr...
متن کاملLocalic completion of uniform spaces
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a generalised metric on X is a map from X ×X to the upper reals satisfying zero self-distance law and triangle inequality. For a symmetric generalised uniform...
متن کاملLocalic Completion of Generalized Metric Spaces I
Following Lawvere, a generalized metric space (gms) is a set X equipped with a metric map from X to the interval of upper reals (approximated from above but not from below) from 0 to ∞ inclusive, and satisfying the zero self-distance law and the triangle inequality. We describe a completion of gms’s by Cauchy filters of formal balls. In terms of Lawvere’s approach using categories enriched over...
متن کاملRational Geraghty Contractive Mappings and Fixed Point Theorems in Ordered $b_2$-metric Spaces
In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...
متن کاملFIXED POINT THEOREM OF KANNAN-TYPE MAPPINGS IN GENERALIZED FUZZY METRIC SPACES
Binayak et al in [1] proved a fixed point of generalized Kannan type-mappings in generalized Menger spaces. In this paper we extend gen- eralized Kannan-type mappings in generalized fuzzy metric spaces. Then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. Finally we present an example of our main result.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Logic & Analysis
دوره 1 شماره
صفحات -
تاریخ انتشار 2009