scholarly journals Unbounded Vectorial Cauchy Completion of Vector Metric Spaces

2020 ◽  
pp. 1-1
Author(s):  
Çetin Cemal ÖZEKEN ◽  
Cüneyt ÇEVİK
Keyword(s):  
Metric Spaces ◽  
Cauchy Completion

scholarly journals Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra

10.29007/pw5g ◽  
2018 ◽  
Author(s):  
Larry Moss ◽  
Jayampathy Ratnayake ◽  
Robert Rose
Keyword(s):  
Metric Space ◽  
Metric Spaces ◽  
Topological Spaces ◽  
Fractal Sets ◽  
Cauchy Completion ◽  
Sweeping Generalization ◽  
Initial Algebra ◽  
Finite Metric Spaces ◽  
Set Of Points

This paper is a contribution to the presentation of fractal sets in terms of final coalgebras.The first result on this topic was Freyd's Theorem: the unit interval [0,1] is the final coalgebra ofa certain functor on the category of bipointed sets. Leinster 2011 offersa sweeping generalization of this result. He is able to represent many of what would be intuitivelycalled "self-similar" spaces using (a) bimodules (also called profunctors or distributors),(b) an examination of non-degeneracy conditions on functors of various sorts; (c) a construction offinal coalgebras for the types of functors of interest using a notion of resolution. In addition to thecharacterization of fractals sets as sets, his seminal paper also characterizes them as topological spaces.Our major contribution is to suggest that in many cases of interest, point (c) above on resolutionsis not needed in the construction of final coalgebras. Instead, one may obtain a number of spaces ofinterest as the Cauchy completion of an initial algebra,and this initial algebra is the set of points in a colimit of an omega-sequence of finite metric spaces.This generalizes Hutchinson's 1981 characterization of fractal attractors asclosures of the orbits of the critical points. In addition to simplifying the overall machinery, it also presents a metric space which is ``computationally related'' to the overall fractal. For example, when applied to Freyd's construction, our method yields the metric space.of dyadic rational numbers in [0,1].Our second contribution is not completed at this time, but it is a set of results on \emph{metric space}characterizations of final coalgebras. This point was raised as an open issue in Hasuo, Jacobs, and Niqui 2010,and our interest in quotient metrics comes from their paper. So in terms of (a)--(c) above, our workdevelops (a) and (b) in metric settings while dropping (c).

scholarly journals A comparison of concepts from computable analysis and effective descriptive set theory

2016 ◽  
Vol 27 (8) ◽  
pp. 1414-1436 ◽  
Author(s):  
VASSILIOS GREGORIADES ◽  
TAMÁS KISPÉTER ◽  
ARNO PAULY
Keyword(s):  
Set Theory ◽  
Metric Spaces ◽  
Computable Analysis ◽  
Descriptive Set Theory ◽  
Polish Spaces ◽  
Complete Metric Spaces ◽  
Cauchy Completion ◽  
Precise Relationship ◽  
Descriptive Set ◽  
Effective Descriptive Set Theory

Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two disciplines has so far been neglected, a situation this paper is meant to remedy.As the role of the Cauchy completion is relevant for both effective approaches to Polish spaces, we consider the interplay of effectivity and completion in some more detail.

Crystallography in two-dimensional metric spaces*

1969 ◽  
Vol 130 (1-6) ◽  
pp. 277-303 ◽  
Author(s):  
Aloysio Janner ◽  
Edgar Ascher
Keyword(s):  
Metric Spaces ◽  
Two Dimensional

Solution of Volterra integral inclusion in b-metric spaces via new fixed point theorem

2016 ◽  
Vol 2017 (1) ◽  
pp. 17-30 ◽  
Author(s):  
Muhammad Usman Ali ◽  
◽  
Tayyab Kamran ◽  
Mihai Postolache ◽  
◽  
...  
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Metric Spaces ◽  
Integral Inclusion

ON THE QUANTIFICATION OF UNIFORM PROPERTIES.PART 2

2001 ◽  
Vol 37 (1-2) ◽  
pp. 169-184
Author(s):  
B. Windels
Keyword(s):  
Metric Spaces ◽  
Uniform Spaces ◽  
Complete Metric Spaces ◽  
The Subject

In 1930 Kuratowski introduced the measure of non-compactness for complete metric spaces in order to measure the discrepancy a set may have from being compact.Since then several variants and generalizations concerning quanti .cation of topological and uniform properties have been studied.The introduction of approach uniform spaces,establishes a unifying setting which allows for a canonical quanti .cation of uniform concepts,such as completeness,which is the subject of this article.

Some Common Fixed Point Theorem in Complete Metric Space of Integral Type

2018 ◽  
Vol 6 (8) ◽  
pp. 297
Author(s):  
Jagdish C. Chaudhary ◽  
Shailesh T. Patel
Keyword(s):  
Fixed Point ◽  
Common Fixed Point ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Complete Metric Space ◽  
Contractive Condition ◽  
Integral Type ◽  
Complete Metric Spaces ◽  
Common Fixed Point Theorems ◽  
Common Fixed Point Theorem

In this paper, we prove some common fixed point theorems in complete metric spaces for self mapping satisfying a contractive condition of Integral  type.

On Asymmetric Distances

2013 ◽  
Vol 1 ◽  
pp. 200-231 ◽  
Author(s):  
Andrea C.G. Mennucci
Keyword(s):  
Total Variation ◽  
Calculus Of Variations ◽  
Distance Function ◽  
Metric Space ◽  
Metric Spaces ◽  
Geodesic Segment ◽  
Intrinsic Metric ◽  
Typical Application ◽  
Variation Formula

Abstract In this paper we discuss asymmetric length structures and asymmetric metric spaces. A length structure induces a (semi)distance function; by using the total variation formula, a (semi)distance function induces a length. In the first part we identify a topology in the set of paths that best describes when the above operations are idempotent. As a typical application, we consider the length of paths defined by a Finslerian functional in Calculus of Variations. In the second part we generalize the setting of General metric spaces of Busemann, and discuss the newly found aspects of the theory: we identify three interesting classes of paths, and compare them; we note that a geodesic segment (as defined by Busemann) is not necessarily continuous in our setting; hence we present three different notions of intrinsic metric space.

Some Fixed Point Theorems in G � Metric Spaces

2019 ◽  
Vol 10 (1) ◽  
pp. 151-158
Author(s):  
Bijay Kumar Singh ◽  
Pradeep Kumar Pathak
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorems ◽  
Metric Spaces
Sign in / Sign up

Export Citation Format

Share Document