نتایج جستجو برای: o complete metric space

تعداد نتایج: 1414794  

Journal: :Ann. Pure Appl. Logic 2012
Andrej Bauer Davorin Lesnik

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...

Journal: :Mathematical Structures in Computer Science 2011
Mateusz Kostanek Pawel Waszkiewicz

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...

Journal: :CoRR 2018
Radu Mardare Prakash Panangaden Gordon D. Plotkin

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...

2002
John D. Clemens

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...

2007
M. M. Bonsangue F. van Breugel

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 ...

2013
Sariel Har-Peled Piotr Indyk Anastasios Sidiropoulos

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...

Journal: :mathematics interdisciplinary research 0
tatjana dosenovic faculty of technology, university of novi sad, serbia abdolsattar gholidahneh department of mathematics, qaemshahr branch, islamic azad univer- sity, qaemshahr, iran shaban sedghi department of mathematics, qaemshahr branch, islamic azad university, qaemshahr, iran stojan radenovic faculty of mechanical engineering, university of belgrade, kraljice marije 16, 11120 beograd, serbia, department of mathematics, university of novi pazar, novi pazar, serbia

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.

Journal: :international journal of nonlinear analysis and applications 2015
masoud hadian dehkordi masoud ghods

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.$

2004
Hiraku Nakajima

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...

1995
Vladimir Pestov V. PESTOV

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید