scholarly journals On the metric reflection of a pseudometric space in ZF

2015 ◽  
Vol 56 (1) ◽  
pp. 77-88
Author(s):  
Horst Herrlich ◽  
Kyriakos Keremedis
Keyword(s):  
2021 ◽  
Vol 22 (1) ◽  
pp. 17
Author(s):  
Hope Sabao ◽  
Olivier Olela Otafudu

<p>In this article, we introduce the concept of a soft quasi-pseudometric space. We show that every soft quasi-pseudometric induces a compatible quasi-pseudometric on the collection of all soft points of the absolute soft set whenever the parameter set is finite. We then introduce the concept of soft Isbell convexity and show that a self non-expansive map of a soft quasi-metric space has a nonempty soft Isbell convex fixed point set.</p>


2016 ◽  
Vol 6 (1) ◽  
pp. 1
Author(s):  
Ali Parsian

Let \(S\) be a nonempty set and \(F\) consists of all \(Z_{2}\) characteristic functions defined on \(S\). We are supposed to introduce a ring isomorphic to \((P(S),\triangle,\cap)\), whose set is \(F\). Then, assuming a finitely additive function $m$ defined on \(P(S)\), we change \(P(S)\) to a pseudometric space \((P(S),d_{m})\) in which its pseudometric is defined by \(m\). Among other things, we investigate the concepts of convergence and continuity in the induced pseudometric space. Moreover, a theorem on the measure of some kinds of elements in \((P(S),m)\) will be established. At the end, as an application in probability theory, the probability of some events in the space of permutations with uniform probability will be determined. Some illustrative examples are included to show the usefulness and applicability of results.


2001 ◽  
Vol 2 (1) ◽  
pp. 101 ◽  
Author(s):  
M.A. Sánchez Granero

<p>The concept of semicompleteness (weaker than half-completeness) is defined for the Bourbaki quasi-uniformity of the hyperspace of a quasi-uniform space. It is proved that the Bourbaki quasi-uniformity is semicomplete in the space of nonempty sets of a quasi-uniform space (X,U) if and only if each stable filter on (X,U*) has a cluster point in (X,U). As a consequence the space of nonempty sets of a quasi-pseudometric space is semicomplete if and only if the space itself is half-complete. It is also given a characterization of semicompleteness of the space of nonempty U*-compact sets of a quasi-uniform space (X,U) which extends the well known Zenor-Morita theorem.</p>


Symmetry ◽  
2018 ◽  
Vol 10 (10) ◽  
pp. 504 ◽  
Author(s):  
Fabian Ball ◽  
Andreas Geyer-Schulz

Symmetric graphs have non-trivial automorphism groups. This article starts with the proof that all partition comparison measures we have found in the literature fail on symmetric graphs, because they are not invariant with regard to the graph automorphisms. By the construction of a pseudometric space of equivalence classes of permutations and with Hausdorff’s and von Neumann’s methods of constructing invariant measures on the space of equivalence classes, we design three different families of invariant measures, and we present two types of invariance proofs. Last, but not least, we provide algorithms for computing invariant partition comparison measures as pseudometrics on the partition space. When combining an invariant partition comparison measure with its classical counterpart, the decomposition of the measure into a structural difference and a difference contributed by the group automorphism is derived.


2016 ◽  
Vol 2016 ◽  
pp. 1-8
Author(s):  
Robert Plebaniak

In quasi-pseudometric spaces (not necessarily sequentially complete), we continue the research on the quasi-generalized pseudodistances. We introduce the concepts of semiquasiclosed map and contraction of Nadler type with respect to generalized pseudodistances. Next, inspired by Abkar and Gabeleh we proved new best proximity point theorem in a quasi-pseudometric space. A best proximity point theorem furnishes sufficient conditions that ascertain the existence of an optimal solution to the problem of globally minimizing the errorinf⁡{d(x,y):y∈T(x)}, and hence the existence of a consummate approximate solution to the equationT(X)=x.


2015 ◽  
Vol 189 ◽  
pp. 65-77
Author(s):  
Demco Kalusokoma Mukongo ◽  
Olivier Olela Otafudu
Keyword(s):  

2003 ◽  
Vol 4 (2) ◽  
pp. 243 ◽  
Author(s):  
Jesús Ferrer

<p>For a non-negative finite countably additive measure μ defined on the σ-field Σ of subsets of Ω, it is well known that a certain quotient of Σ can be turned into a complete metric space Σ (Ω), known as the Nikodym-Saks space, which yields such important results in Measure Theory and Functional Analysis as Vitali-Hahn-Saks and Nikodym's theorems. Here we study some topological properties of Σ (Ω) regarded as a quasi-pseudometric space.</p>


2014 ◽  
Vol 57 (3) ◽  
pp. 591-632
Author(s):  
BERNHARD KRÖN ◽  
JÖRG LEHNERT ◽  
NORBERT SEIFTER ◽  
ELMAR TEUFL

AbstractWe define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces. Such a boundary is the closure of a subset in the Kolmogorov quotient determined by an arbitrarily chosen family of unbounded subsets. Our interest lies in those boundaries which we get by choosing unbounded cyclic sub(semi)groups of a finitely generated group (or more general of a compactly generated, locally compact Hausdorff group). We show that these boundaries are quasi-isometric invariants and determine them in the case of nilpotent groups as a disjoint union of certain spheres (or projective spaces). In addition we apply this concept to vertex-transitive graphs with polynomial growth and to random walks on nilpotent groups.


1983 ◽  
Vol 96 (4) ◽  
pp. 269-270 ◽  
Author(s):  
J. Ferrer ◽  
V. Gregori
Keyword(s):  

1976 ◽  
Vol 19 (1) ◽  
pp. 39-51 ◽  
Author(s):  
Karen S. Carter ◽  
T. L. Hicks

Constructions are made of a T1 space which does not have a T1 completion and of a quasi-uniform space which is complete, but not strongly complete. An example relating to a completion due to Popa is given. An alternate definition for Cauchy filter, called C-filter, is examined and a construction of a C-completion is given. We discuss quasi-pseudometrics over a Tikhonov semifield RΔ. Every topological space is quasi-pseudometrizable over a suitable RΔ. It is shown that if a quasi-pseudometric space over RΔ is complete, the corresponding quasi-uniform structure is C-complete. A general method for constructing compatible quasiuniform structures is given.


Sign in / Sign up

Export Citation Format

Share Document