Lmet c is the category of lawvere metric spaces and continuous functions. Ais a family of sets in cindexed by some index set a,then a o c. For metric spaces, the left adjoint sends a lipschitz1 map p. As for the box metric, the taxicab metric can be generalized to rnfor any n.
Banachs contraction mapping principle is remarkable in its simplicity, yet it is perhaps the most widely applied fixed point theorem in all of analysis with special applications to the theory of differential and integral equations. On the basis of number of variables, there are many different generalizations, such as generalized metric space by mustafa and sims, generalized fuzzy metric spaces by sun and yang, new generalized metric space called metric space by sedghi, and metric spaces by abbas et al. This new concept of generalized metric spaces recover various topological spaces including standard. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. The b metric space 12, and its partial versions, which extends the metric space by modifying the triangle equality metric axiom by inserting a constant multiple s 1 to the righthand side, is one of the most applied generalizations for metric spaces see 1420. In general metric spaces, the boundedness is replaced by socalled total boundedness. A metric induces a topology on a set, but not all topologies can be generated by a metric.
Localic completion of generalized metric spaces i steven vickers abstract. Metric spaces, generalized logic, and closed categories springerlink. P xof \open sets that is closed under nite intersections and arbitrary unions, meaning it satis es the following properties. Pdf localic completion of generalized metric spaces ii. Metric spaces, generalized logic, and closed categories. Introducing a new concept of distance on a topological. Localic completion of generalized metric spaces ii.
In other words, metric embeddings are topological embeddings if the topology associated topology to the domain distinguishes points. In mathematics, a metric or distance function is a function that defines a distance between each pair of elements of a set. A topological space is a set xalong with a \topology. In mathematics, a metric space is a set together with a metric on the set. Abstract following lawvere, a generalized metric space gms is a set x equipped with a metric map from x2 to the interval of upper reals approximated from above but not from below from 0 to. Steve vickers, localic completion of generalized metric spaces ii. In the last few years, the study of nonsymmetric topology has received a new derive as a consequence of its. The metric may be used to generate a topology on the set, the metric topology, and a topological space whose topology comes from some metric is said to be metrizable. Combining lawvere s 1973 enrichedcategorical and smyths 1988, 1991 topological view on generalized metric spaces, it is shown how to construct 1. A metric space is a set which comes equipped with a function which measures distance between points, called a metric.
New fixed point results in brectangular metric spaces. Several authors see the references cited in 19,20 proved various common. Citeseerx localic completion of generalized metric spaces i. Localic completion of generalized metric spaces i school of.
Informally, 3 and 4 say, respectively, that cis closed under. The above two nonstandard metric spaces show that \distance in this setting does not mean the usual notion of distance, but rather the \distance as determined by the metric. We next give a proof of the banach contraction principle in. Following lawvere, a generalized metric space gms is a set x equipped with a metric map from x2 to the interval of upper reals approximated from above but not from below from 0 to. Taking lawveres quantale of extended positive real numbers as base quantale, qcategories are generalised metric spaces, and.
Following lawvere, a generalized metric space gms is a set x equipped with a metric map from x2 to the interval of upper reals. When we prove theorems about these concepts, they automatically hold in all metric spaces, saving us the labor of having to prove them over and over again each time we introduce a new class of spaces. Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Lawvere metric spaces and uniformly continuous functions. Steve vickers, localic completion of generalized metric spaces i, tac. Because the underlined space of this theorem is a metric space, the theory that developed following its publication is known as the metric fixed point theory. The equivalence between closed and boundedness and compactness is valid in nite dimensional euclidean. Turns out, these three definitions are essentially equivalent. Introduction let x be an arbitrary set, which could consist of vectors in rn, functions, sequences, matrices, etc. A generalized metric space and related fixed point theorems. Some modified fixed point results in fuzzy metric spaces. In particular, generalized metric spaces do not necessarily have the compatible topology. This chapter will introduce the reader to the concept of metrics a class of functions which is regarded as generalization of the notion of distance and metric spaces.
A generalization of bmetric space and some fixed point. The proof is similar to the proof of the original banach contraction. Metric spaces, generalized logic, and closed categories 3 formally in terms of three adjoint monoidal functors. A metric space is a set x where we have a notion of distance. The notion of generalized metric was introduced by a branciari28 while deriving fixed point theorems for some metric like spaces. Metric spaces a metric space is a set x that has a notion of the distance dx,y between every pair of points x,y. Metric spaces, generalized logic, and closed categories the n. On a new generalization of metric spaces springerlink. Any class of spaces defined by a property possessed by all metric spaces could be called a class of generalized metric spaces. X be a contraction having contraction constant k 20,1 such that ks generalized metric space, which we call as an extended b. William lawvere ftp directory listing mount allison university. A metric space is, essentially, a set of points together with a rule for saying how far apart two such points are. Also we prove a generalization of the banach contraction principle in complete generalized metric spaces. Bill lawvere, metric spaces, generalized logic and closed categories, rendiconti del seminario matematico e fisico di milano xliii 1973, 5166.
The following properties of a metric space are equivalent. If x is a topological space and x 2 x, show that there is a connected subspace k x of x so that if s is any other connected subspace containing x then s k x. Lawvere also intended the paper to serve as an accessible introduction to enriched category theory, so it begins fairly gently with some basic. F in such spaces and we study their topological properties. In general, when we define metric space the distance function is taken to be a realvalued function. Controlled metric type spaces and the related contraction. Reprinted in reprints in theory and applications of categories 1 2002, 7. Following lawvere, a generalized metric space gms is a set x equipped with a metric map from x 2 to the interval of upper reals approximated from above but not from below from 0 to. Citeseerx document details isaac councill, lee giles, pradeep teregowda. On the separation axiom in a lawvere or generalized.
Simon henry, localic metric spaces and the localic gelfand duality, arxiv. Combining lawvere s 1973 enrichedcategorical and smyths 1988, 1991 topological view on generalized metric spaces, it is shown how to construct 1 completion, 2 two topologies, and 3 powerdomains for generalized metric spaces. Metric spaces, generalized logic and closed categories. Introduction when we consider properties of a reasonable function, probably the. In mathematics, the concept of a generalised metric is a generalisation of that of a metric, in which the distance is not a real number but taken from an arbitrary ordered field. Erik palmgren, continuity on the real line and in formal spaces. We describe a completion of gmss by cauchy filters of formal balls. Generalized metric spaces do not have the compatible topology. Let x,d be a complete b metric space with constant s 1, such that b metric is a continuous functional.
379 58 216 923 1392 774 423 791 1323 75 906 1476 1540 53 940 675 444 1344 116 984 1272 1469 648 45 1205 1082 460 430 338 523 1220 1199 65 1166 1139 440 413