On the metric reflection of a pseudometric space in ZF

Horst Herrlich; Kyriakos Keremedis

Displaying similar documents to “On the metric reflection of a pseudometric space in ZF”

On the tangency of sets in generalized metric spaces for certain functions of the class $F_{ρ}^{*}$

T. Konik (1991)

Matematički Vesnik

Similarity:

Differential equations in metric spaces

Jacek Tabor (2002)

Mathematica Bohemica

Similarity:

We give a meaning to derivative of a function $u ℝ \to 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 \in X$ . Let $u, v [0, 1) \to 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 \to 0^{+}} \frac{d (u (h), v (h))}{h} = 0 .$ By...

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

Adjacent dyadic systems and the $L^{p}$ -boundedness of shift operators in metric spaces revisited

Olli Tapiola (2016)

Colloquium Mathematicae

Similarity:

With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^{p}$ -boundedness of shift operators acting on functions $f \in L^{p} (X; E)$ where 1 < p < ∞, X is a metric space and E is a UMD space.

The discriminant and oscillation lengths for contact and Legendrian isotopies

Vincent Colin, Sheila Sandon (2015)

Journal of the European Mathematical Society

Similarity:

We define an integer-valued non-degenerate bi-invariant metric (the discriminant metric) on the universal cover of the identity component of the contactomorphism group of any contact manifold. This metric has a very simple geometric definition, based on the notion of discriminant points of contactomorphisms. Using generating functions we prove that the discriminant metric is unbounded for the standard contact structures on $ℝ^{2 n} \times S^{1}$ and $ℝ P^{2 n + 1}$ . On the other hand we also show by elementary arguments...

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 $(ℝ, | | \cdot | |_{)}$ be a Minkowski space with a unit ball and let $ϱ_{H}^{}$ be the Hausdorff metric induced by ${| | \cdot | |}_{}$ 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.

The sup = max problem for the extent and the Lindelöf degree of generalized metric spaces, II

Yasushi Hirata (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In [The sup = max problem for the extent of generalized metric spaces, Comment. Math. Univ. Carolin. The special issue devoted to Čech 54 (2013), no. 2, 245–257], the author and Yajima discussed the sup = max problem for the extent and the Lindelöf degree of generalized metric spaces: (strict) $p$ -spaces, (strong) $Σ$ -spaces and semi-stratifiable spaces. In this paper, the sup = max problem for the Lindelöf degree of spaces having $G_{δ}$ -diagonals and for the extent of spaces having point-countable...

A generalization of boundedly compact metric spaces

Gerald Beer, Anna Di Concilio (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A metric space $〈 X, d 〉$ is called a $UC$ space provided each continuous function on $X$ into a metric target space is uniformly continuous. We introduce a class of metric spaces that play, relative to the boundedly compact metric spaces, the same role that $UC$ spaces play relative to the compact metric spaces.

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.

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product $2^{ℝ}$

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( $A C^{W O}$ ) does not imply “the Tychonoff product $2^{ℝ}$ , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...