Displaying similar documents to “A generalization of boundedly compact metric spaces”

On the metric reflection of a pseudometric space in ZF

Horst Herrlich, Kyriakos Keremedis (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show: (i) The countable axiom of choice 𝐂𝐀𝐂 is equivalent to each one of the statements: (a) a pseudometric space is sequentially compact iff its metric reflection is sequentially compact, (b) a pseudometric space is complete iff its metric reflection is complete. (ii) The countable multiple choice axiom 𝐂𝐌𝐂 is equivalent to the statement: (a) a pseudometric space is Weierstrass-compact iff its metric reflection is Weierstrass-compact. (iii) The axiom of choice 𝐀𝐂 is equivalent to each...

Differential equations in metric spaces

Jacek Tabor (2002)

Mathematica Bohemica

Similarity:

We give a meaning to derivative of a function u X , where X is a complete metric space. This enables us to investigate differential equations in a metric space. One can prove in particular Gronwall’s Lemma, Peano and Picard Existence Theorems, Lyapunov Theorem or Nagumo Theorem in metric spaces. The main idea is to define the tangent space 𝒯 x X of x X . Let u , v [ 0 , 1 ) X , u ( 0 ) = v ( 0 ) be continuous at zero. Then by the definition u and v are in the same equivalence class if they are tangent at zero, that is if lim h 0 + d ( u ( h ) , v ( h ) ) h = 0 . By...

Characterizing metric spaces whose hyperspaces are homeomorphic to ℓ₂

T. Banakh, R. Voytsitskyy (2008)

Colloquium Mathematicae

Similarity:

It is shown that the hyperspace C l d H ( X ) (resp. B d d H ( X ) ) of non-empty closed (resp. closed and bounded) subsets of a metric space (X,d) is homeomorphic to ℓ₂ if and only if the completion X̅ of X is connected and locally connected, X is topologically complete and nowhere locally compact, and each subset (resp. each bounded subset) of X is totally bounded.

Ramsey-like properties for bi-Lipschitz mappings of finite metric spaces

Jiří Matoušek (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let ( X , ρ ) , ( Y , σ ) be metric spaces and f : X Y an injective mapping. We put f L i p = sup { σ ( f ( x ) , f ( y ) ) / ρ ( x , y ) ; x , y X , x y } , and dist ( f ) = f L i p . f - 1 L i p (the of the mapping f ). Some Ramsey-type questions for mappings of finite metric spaces with bounded distortion are studied; e.g., the following theorem is proved: Let X be a finite metric space, and let ε > 0 , K be given numbers. Then there exists a finite metric space Y , such that for every mapping f : Y Z ( Z arbitrary metric space) with dist ( f ) < K one can find a mapping g : X Y , such that both the mappings g and f | g ( X ) have distortion...

Pairs of convex bodies in a hyperspace over a Minkowski two-dimensional space joined by a unique metric segment

Agnieszka Bogdewicz, Jerzy Grzybowski (2009)

Banach Center Publications

Similarity:

Let ( , | | · | | ) be a Minkowski space with a unit ball and let ϱ H be the Hausdorff metric induced by | | · | | in the hyperspace of convex bodies (nonempty, compact, convex subsets of ℝ). R. Schneider [RSP] characterized pairs of elements of which can be joined by unique metric segments with respect to ϱ H B for the Euclidean unit ball Bⁿ. We extend Schneider’s theorem to the hyperspace ( ² , ϱ H ) over any two-dimensional Minkowski space.

Wijsman hyperspaces of non-separable metric spaces

Rodrigo Hernández-Gutiérrez, Paul J. Szeptycki (2015)

Fundamenta Mathematicae

Similarity:

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology τ W ( ρ ) . It is known that C L ( X ) , τ W ( ρ ) is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to C L ( X ) , τ W ( ρ ) being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then C L ( X ) , τ W ( ρ ) is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...