نتایج جستجو برای: o complete metric space
تعداد نتایج: 1414794 فیلتر نتایج به سال:
We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...
We generalize the construction of the formal ball model for metric spaces due to A. Edalat and R. Heckmann to obtain computational models for separated Q-categories. We fully describe (a) Yoneda complete and (b) continuous Yoneda complete Q-categories via their formal ball models. Our results yield solutions to two open problems in the theory of quasi-metric spaces: we show that (a) a quasi-met...
We present an algebraic account of the Wasserstein distances Wp on complete metric spaces. This is part of a program of a quantitative algebraic theory of effects in programming languages. In particular, we give axioms, parametric in p, for algebras over metric spaces equipped with probabilistic choice operations. The axioms say that the operations form a barycentric algebra and that the metric...
In this article we consider the possible sets of distances in Polish metric spaces. By a Polish metric space we mean a pair (X, d), where X is a Polish space (a separable, completely-metrizable space) and d is a complete, compatible metric for X. We will consider two aspects. First, we will characterize which sets of reals can be the set of distances in a Polish metric space. We will also obtai...
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroo ...
A classical result in metric geometry asserts that any n-point metric admits a linear-size spanner of dilation O(log n) [PS89]. More generally, for any c > 1, any metric space admits a spanner of size O(n), and dilation at most c. This bound is tight assuming the well-known girth conjecture of Erdős [Erd63]. We show that for a metric induced by a set of n points in high-dimensional Euclidean sp...
in the present paper, we introduces the notion of integral type contractive mapping with respect to ordered s-metric space and prove some coupled common fixed point results of integral type contractive mapping in ordered s-metric space. moreover, we give an example to support our main result.
in this paper, we introduce the (g-$psi$) contraction in a metric space by using a graph.let $f,t$ be two multivalued mappings on $x.$ among other things, we obtain a common fixedpoint of the mappings $f,t$ in the metric space $x$ endowed with a graph $g.$
LeBrun constructed a scalar-flat Kähler metric on the total space of Chern class −n line bundle O(−n) → CP1. We study moduli spaces of ASD connections on it. It is known that the natural L2-metrics on them are kählerian. We study them when the metric is complete. We give an algorithm to compute their Betti numbers. On the way of the proof, we also show that their homology groups have no torsion...
We show that every complete metric space is homeomorphic to the locus of zeros of an entire analytic map from a complex Hilbert space to a complex Banach space. As a corollary, every separable complete metric space is homeomorphic to the locus of zeros of an entire analytic map between two complex Hilbert spaces. §1. Douady had observed [8] that every compact metric space is homeomorphic to the...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید