Questions tagged [metric-spaces]

A metric space is a pair $(X,d)$, where $X$ is a set and $d:X \times X \to \mathbb{R}$ satisfies the following conditions for all $x,y,z \in X$. (Symmetry) $d(x,y)=d(y,x)$. (Identity of Indiscernibles) $d(x,y)=0$ if and only if $x=y$. (Triangle Inequality) $d(x,y)+d(y,z) \geq d(x,z)$.

52 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
15
votes
0answers
875 views

In ZF, when is a disjoint union of metrizable spaces metrizable?

It is easy to see that the disjoint union $\bigsqcup_i X_i$ of a collection of metric spaces is metrizable, simply by rescaling or chopping off the individual metrics to have diameter at most one, and ...
14
votes
0answers
461 views

How to compute the Gromov-Hausdorff distance between spheres $S_n$ and $S_m$?

There is the question, because when we consider the Gromov-Hausdorff distance, we must fix the metric, so we use the natural metric induced from the embedding $\mathbb{S}_n \to \mathbb{R}^{n+1}$. Is ...
13
votes
0answers
2k views

Does this metric have an official name? Lévy metric? Ky Fan metric?

Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is $$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$ if $X$ and $Y$ take values in the a ...
10
votes
0answers
598 views

Two questions around the $abc$-conjecture

Let $d(a,b) = 1-\frac{2 \gcd(a,b)}{a+b}$, $d_{ABC}(a,b) = 1-\frac{2\gcd(a,b)^3}{ab(a+b)}$ be two metrics on natural numbers. The abc-conjecture can be formulated using these two metrics as: For ...
8
votes
0answers
238 views

Category of metric spaces

Is there a standard/good reference text that does category of metric spaces? Say, it seems that by looking at this category one can recover everything about particular metric space up to scaling --- ...
8
votes
0answers
216 views

Universally meager spaces and large cardinals

Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...
8
votes
0answers
242 views

Construct a topologically $\infty$-dimensional separable metric space.

But don't assume knowledge of any topological dimension theory. Here is a specific approach (an open problem): Does there exist a separable metric space $X$ such that the following two conditions ...
7
votes
0answers
143 views

Composition of couplings as a pullback construction

A metric measure space $(X,d,\mu)$ consists of a metric space $(X,d)$ together with a Borel measure $\mu$. A coupling between metric measure spaces $(X_1,d_1,\mu_1)$ and $(X_2,d_2,\mu_2)$ consists of ...
7
votes
0answers
253 views

Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space

Setup: Fix $p \in [1,\infty)$. Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
7
votes
0answers
171 views

Results that are easier in a metric space

Are there any significant results in the theory of metric spaces that (are considerably more difficult to reproduce/have not been reproduced) in the theory of uniform spaces? In particular, I'm ...
7
votes
0answers
141 views

Choice and the Baire property in non-separable complete metric spaces

It's known to be consistent with ZF+DC that every subset of $\mathbb{R}$ has the Baire property (BP). (E.g. Shelah's model). If so, then every subset of every complete separable metric space has ...
6
votes
0answers
187 views

A generalization of SOCA

Roughly speaking, SOCA (Semi Open Coloring Axiom) says that for an open coloring of the unordered pairs over an uncountable separable metric space you can always find an uncountable homogeneous subset ...
6
votes
0answers
870 views

What relates to measure spaces as topological spaces relate to metric spaces ?

Has there been study of a generalization of measure spaces along the following or similar lines ? Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...
5
votes
0answers
71 views

Rough classification of Peano Curves

By Peano curve I mean a continuous map from the unit interval that fills the unit square in $\mathbb R^2$. In the paper: Shchepin, E. V.; Bauman, K. E., Minimal Peano curve, Proc. Steklov Inst. Math....
5
votes
0answers
71 views

Fractional Hajłasz-Besov-like similar to the Korevaar-Schoen-Sobolev spaces?

Suppose that $(X,\mu,d)$ and $(Y,\nu,\rho)$ are doubling metric measure spaces. Fix $\alpha>0$ and define the space, analogously to this paper, as the collection of all measurable functions $f:X\...
5
votes
0answers
466 views

Limit of metric spaces

Let $\{X_n\}_{n\in \mathbb{N}}$ be a collection of T2 topological spaces, with maps $f_n\colon X_n \to X_{n+1}$. These maps are continuous and open. Let $X$ be the direct limit of this system. Assume ...
4
votes
0answers
61 views

universal 0-dimensional separable metric subspaces

Let $\ \mathscr U:=(U\ \delta)\ $ be a separable metric space which is universal for all finite metric spaces, i.e. for every finite metric space $ \mathscr X:=(X\ d)\ $ there exists an isometric ...
4
votes
0answers
722 views

Does rate of convergence in probability come from a metric?

In general, when we talk about convergence of a sequence, we need a topological space. If we want to talk about a rate of convergence, we need to quantify how far away one element of the sequence is ...
4
votes
0answers
329 views

Graph contained in a metric space

I have a metric space $X$ and a graph $G=(V,E)$ whose set of vertices is a subset $V\subset X$ (and $E$ is the set of edges, which is a symmetric subset of $V\times V$). For each $v\in V$, the set of ...
4
votes
1answer
413 views

“monotone” homotopy?

This is a question about a concept that I call "monotone homotopy" which arises in a natural way in some topological situations. Let $X$ be a (bounded) metric space, $Y$ be a topological space and $A\...
3
votes
0answers
55 views

Reference request: Projection operators in metric spaces

Given a metric space $(X,d)$ and a subset $S\subset X$, the projection $P_S$ onto $S$ is well-defined as a set valued function. I am interested in learning more about properties of these projections ...
3
votes
0answers
182 views

Does uniform continuity of bounded continuous functions implies the same for all continuous functions on a uniform space?

Recently I came to know about Atsuji space from the paper. A metric space $X$ is called an Atsuji space if every real-valued continuous function on $X$ is uniformly continuous. Strikingly I have found ...
3
votes
0answers
153 views

A characterization of Cauchy filters on countable metric spaces?

Given a filter $\mathcal F$ on a countable set $X$, consider the family $$\mathcal F^+:=\{A\subset X:\forall F\in\mathcal F\;(A\cap F\ne\emptyset)\}.$$ The following characterization is well-known. ...
3
votes
0answers
124 views

Metric space has a basis countably locally finite

it is know that all metric space has a basis countably locally finite and this result is proved by using axiom of choice. Then, the natural question is: is possible to prove this result without using ...
3
votes
0answers
274 views

For METRIZABLE spaces, do the Banach classes and Baire classes coincide?

In this paper: 'Borel structures for Function spaces' by Robert Aumann, http://projecteuclid.org/euclid.ijm/1255631584 Aumann claims that when X and Y are metric spaces (among other things), the ...
2
votes
0answers
56 views

Existence and uniqueness of fixed point in generalized condition of triangular norm

Definition 1) A Menger space is defined as a triple $\left( S,F,T \right)$ where $S$ is a set , $F$ is a collection of distribution functions and $T$ is a triangular norm function $T:[ 0,1 ]\...
2
votes
0answers
129 views

Exponential Map for non-smooth Finsler manifolds

Context If I'm interested in studying reversible Finsler manifolds which do not have the strong convexity of the Hessian property (that is the Finsler function is a regular norm on every tangent ...
2
votes
0answers
222 views

When will the upper regularization of a bounded function not defined?

Suppose $E$ is a compact metric space. A function $f :E \rightarrow \mathbb{R}$ is upper semicontinous if for all $c \in \mathbb{R}$, $f^{-1}(-\infty, c)$ is open in $E.$ For any real-valued ...
2
votes
0answers
87 views

Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$

Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by $...
2
votes
0answers
123 views

Nearly injective Banach spaces

There was a problem about nearly injective metric spaces posed by Aronszajn and Panitchpakdi which I actually solved in the past but it still remains open (as long as I know) for the Banach spaces--so ...
2
votes
0answers
86 views

Cover a set with balls centered at smooth functions (Ascoli theorem)

Assume $M$ to be a compact $n$-dimensional manifold, endowed with a complete metric. Let us consider the space $C^\infty(M)$ endowed with the standard $C^\infty$ topology, i.e. generated by the ...
2
votes
0answers
113 views

First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric

This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions. We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...
2
votes
0answers
71 views

A construction with Hyperspace of continums

Let $X$ be a compact connected metric space. Its hyperspace is denoted by $2^{X}.$ $X$ is considered as a subset of $2^{X}$ via the embedding $x\mapsto \{x\}$. Assume that $f:X\to X$ is a ...
1
vote
0answers
77 views

A Hölder version of the Johnson-Lindenstrauss Lemma on essentially bounded functions

Does there exist a Hölder (not necessarily linear) projection from $L^{\infty}(\mathbb{R}^d)$ to any finite-dimensional linear subspace? This is known when $L^{\infty}(\mathbb{R}^d)$ is replaced by a ...
1
vote
1answer
116 views

Gromov-Hausdorff distance between weighted tree graphs

I would like to measure the similarity between a pair of weighted tree graphs. According to this post, this can be done by regarding the trees as metric spaces and then applying the Gromov-Hausdorff ...
1
vote
0answers
39 views

Explicit Quasisymmetric embedding into Euclidean space

It is known that every doubling metric space admits quasisymmetric map into Euclidean space. My question is, is there a known explicit (closed-form) quasisymmetry from the Heisenberg group into a ...
1
vote
0answers
48 views

Continuous injection of metric ball into Euclidean ball

This is a follow-up to this post. Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by $$ \kappa_X(\epsilon)\triangleq\sup\left\{ k : \exists x_0,\dots,x_k \...
1
vote
0answers
37 views

Weak convexity in graphs

I asked the following question in MathStackExchange, but I did not get any answer, and I think that this might be the appropriate venue for the question. As we know, a finite undirected graph ...
1
vote
0answers
154 views

Gromov-Hausdorff relative compactness without curvature restrictions

A famous theorem of Gromov says that the set of compact Riemannian manifolds with $Ric \geq c$ and $\text{diam} \leq D$ is relatively compact in the Gromov-Hausdorff metric. Chapter 10 of the book by ...
1
vote
0answers
191 views

A Riemannian metric on the plane such that the intersection of every two discs is a disc, again

Is there a Riemannian metric on $\mathbb{R}^2$ (or a $2$ dimensional manifold) such that the intersection of every two open discs is an open disc, again? As linear version of this question we ask: ...
1
vote
0answers
100 views

Generalize characterization of upper semicontinous functions

Let $X$ be a metric space and denote $f:X \rightarrow \mathbb{R}.$ It is easy to show that the following two statements are equivalent: $(1)$ For any real number $c$, we have $f^{-1}(-\infty,c)$ is ...
1
vote
0answers
153 views

Generalize upper semicontinuous regularization using Borel Hierachy

Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$. ...
1
vote
0answers
29 views

Turning an integer-valued semimetric into a smaller pseudometric by preserving the kernel and keeping the value at critical points

Let $X$ be a set, and let $\mathfrak d$ be a semimetric on $X$, namely, a non-negative function $X \times X \to \mathbf R$ such that $\mathfrak d(x,x) = 0$ and $\mathfrak d(x,y) = \mathfrak d(y,x)$ ...
1
vote
0answers
208 views

Z-sets in the Hilbert cube

If $(X,d)$ is a metric space, then we say that a closed subset $A$ of $X$ is a z-set if for each number $k\gt 0$ there is a continuous map $f_k$ from $X$ into $X-A$ such that $d(x,f_k(x))\lt k$. I ...
0
votes
1answer
57 views

Example of a nonconvex Chebyshev set in a metric space with continuous projection?

Question: Is there an example of a nonconvex Chebyshev set $S$ in a metric space $(X,d)$ whose projection map is continuous? For convexity to be well-defined, we need to assume that $X$ is a vector ...
0
votes
0answers
91 views

Upper-bound on optimal transport distance between uniform distribution on balls in metric space

Context: I'm studying the so-called "Ollivier-Ricci curvature theory" (e.g see this ref). I'm particularly interested with how concentration of measure (in particular, in the sense of the Otto-Villani ...
0
votes
0answers
24 views

A separable metric space barely metrically universal for metric compact spaces

Let $\ \mathscr U:=(U\ \delta)\ $ be an arbitrary separable metric space which is universal for all metric compact spaces, i.e. for every compact space $\ \mathscr X:=(X\ d)\ $ there exists an ...
0
votes
0answers
32 views

Skorohod Space with $J_1$ topology homeomorphic to Frechet Space

Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
0
votes
0answers
61 views

Contractable and Simply Connected Doubling Spaces Homeomorphic to Euclidean Space

Is there a characterization of all simply connected, contractable doubling metric spaces which are homeomorphic to a simply connected subset of Euclidean space?
0
votes
0answers
54 views

Closure Wasserstein for pointmasses

Suppose that $(X,d)$ is a metric space which is (not necessarily) complete and let $W_1(X)$ denote the Wasserstein metric space on $(X,d)$. Let $\{\delta_x\}_{x \in K}$ is a collection of degenerate ...