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)$.
442 questions
15
votes
2
answers
2k
views
In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?
This is a cross-posted on MSE here.
Let $(X,d)$ be a metric space. Say that $x_n\in X$ is a P-sequence if $\lim_{n\rightarrow\infty}d(x_n,y)$ converges for every $y\in X.$ Say that $(X,d)$ is P-...
- 31.5k
0
votes
1
answer
228
views
Uniform distance from a discontinuous function is continuous
Define the metric $d(f,g)\triangleq \sup_{x \in [0,1]} \|f(x)-g(x)\|$ on the set $\operatorname{B}$ of uniformly bounded functions from the interval $[0,1]$ to $\mathbb{R}$, fix $g \in \operatorname{B}...
3
votes
2
answers
936
views
Metrization of spaces of functions
Let $M$ and $N$ be topological spaces. Are there necessary and sufficient conditions on the topological properties of the spaces such that $C(M,N)$ is metrizable?
For $M$ compact and $N$ a metric ...
- 60.5k
12
votes
5
answers
1k
views
Examples of metric spaces with measurable midpoints
Given a (separable complete) metric space $X=(X,d)$, let us say $X$ has the measurable (resp. continuous) midpoint property if there exists a measurable (resp. continuous) mapping $m:X \times X \to X$ ...
- 4,727
5
votes
1
answer
390
views
Topological properties inherited by the Hausdorff metric space
Let $(X,d)$ be a metric space and $(K_X , h_d)$ be the associated metric space of nonempty compact subsets of $X$ with the Hausdorff metric. It is well known that $K_X$ inherits certain topological (...
- 3,011
3
votes
1
answer
233
views
Show identity for a norm on Fréchet differentiable functions on a Banach space
Let $E$ be a $\mathbb R$-Banach space, $v:E\to(0,\infty)$ be continuous with $$\inf_{x\in E}v(x)>0\tag1,$$ $r\in(0,1]$ and$^1$ $$\rho(x,y):=\inf_{\substack{c\:\in\:C^1([0,\:1],\:E)\\ c(0)=x\\ c(1)=...
- 167
4
votes
1
answer
183
views
Domains in $\mathbb{R}^n$ for which Hajlasz-Sobolev spaces and Sobolev Spaces are the same
I'm reading Heinonen's book on metric measure spaces. He writes that for general domains $\Omega \subset \mathbb{R}^n$, $M^{1,p}(\Omega) \subset W^{1,p}(\Omega)$ where the former are Hajlasz-Sobolev ...
- 28k
3
votes
0
answers
165
views
Which metric spaces embed isometrically in $\ell_p$?
It is known that each metric space $X$ embeds isometrically in the Banach space
$\ell_\infty(X)$ of bounded (not necessarily continuous) functions $X \to \mathbb R$. Since $\ell_\infty(X)$ does not ...
- 1,955
3
votes
0
answers
48
views
A complete metric space with some convex-type property
Let $(X,d)$ be a complete metric space with this property:
for each $x∈X$, $r>0$ and $y∈X$ with $d(x,y)<r$, there exists $z∈X$ such that $d(x,y)+d(y,z)=d(x,z)=r$.
I want to know if the family ...
- 179
5
votes
0
answers
296
views
For which classes of metric spaces can we prove that quasi-isometry is an equivalence relation in ZF?
Given two metric spaces $(M_1, d_1)$ and $(M_2, d_2)$, a map $\phi \colon (M_1, d_1) \to (M_2, d_2)$ is a large-scale Lipschitz essentially surjective map if there exist constants $A \geq 1, B \geq 0$,...
1
vote
1
answer
290
views
When is the internal covering number of a metric space monotonic?
Given a radius $r > 0$, the internal covering number of a subset $T$ of a metric space $(X, d)$ is denoted $N_r(T)$ and is defined to be the smallest number of balls of radius $r$ (under $d$) with ...
- 54.2k
17
votes
1
answer
363
views
Hopping geodesics
Is there a complete metric space $X$ with the following property?
For any pair of points $p,q\in X$ there is unique minimizing geodesic $[pq]_X$ that connects $p$ to $q$, but the map $(p,q)\mapsto [...
- 45k
1
vote
1
answer
114
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 ...
- 4,034
0
votes
1
answer
164
views
separable support of Borel measure, with tau-additive measure and full support
I have a problem with Proposition 7.2.10 in Bogachev's Measure Theory Volume II book on page 77 (I have link to my drive with that book https://drive.google.com/file/d/...
- 29.8k
3
votes
0
answers
487
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 ...
- 5,405
3
votes
0
answers
89
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 ...
- 63.9k
9
votes
0
answers
489
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 --- ...
- 45k
6
votes
2
answers
1k
views
Is the separability of the space needed in the proof of the Prohorov's theorem?
The Section 5 of the book:
Billingsley, P., Convergence of Probability Measures, 1999,
studies Prohorov's theorem. A short reminder is given below.
Let $\Pi$ be a family of probability measures on ...
- 29.8k
10
votes
0
answers
793
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 ...
CommunityBot
- 1
7
votes
0
answers
282
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 ...
- 163
5
votes
2
answers
642
views
Is the Hausdorff metric on sub-$\sigma$-fields separable?
Let $(X,\mu,\mathcal{F})$ be a probability space. The paper Equiconvergence of Martingales by Edward Boylan introduced a pseudometric on sub-$\sigma$-fields (sub-$\sigma$-algebras) of $\mathcal{F}$ ...
- 3,312
0
votes
1
answer
164
views
Restriction of non-metrizable topology to dense subset is non-metrizable
Let $(X,\tau)$ be a non-metrizable topological space which is not first-countable and let $\emptyset \neq Y\subset X$ be a proper dense subset. Is it possible for $(Y,\tau_Y)$ (where $\tau_Y$ is the ...
- 63.9k
1
vote
1
answer
160
views
Comparing $(((A^\varepsilon)')^\varepsilon)'$ and $int(A)$, where $A' := X\setminus A$ and $A^\varepsilon := \{x \in X \mid d(x,A) \le \varepsilon\}$
Disclaimer. This is follow up to the question https://math.stackexchange.com/q/3486130/168758.
Let $X=(X,d)$ be a Polish metric space equiped with the Borel $\sigma$-algebra and let $\mu$ be a ...
- 14.2k
0
votes
1
answer
268
views
Topologies and Borel $\sigma$-fields on disjoint unions
Consider a set of functions $\mathcal{F}$ on $E$ where $E \subset\mathbb{R}^k$ - e.g. the class of $L_1$ functions on $[0,1]$ - and endow it with a suitable metric $d$ that makes it Polish.
Consider ...
- 195
0
votes
1
answer
407
views
Criteria for $\epsilon$-Density
Let $Y$ be a compact, separable metric space and $X=C(Y)$ Banach space. There are many criteria for a linear subspace $Z\subseteq X$ to be dense; notably the Stone-Weierstraß theorem.
Are there ...
- 2,263
5
votes
1
answer
337
views
Greedy simplices in an ultrametric space (generalized Bhargava $p$-orderings)
Let $\left(U, d\right)$ be a finite ultrametric space -- that is, $U$ is a finite set, and $d : U \times U \to \mathbb{R}_{\geq 0}$ is a metric on $U$ such that every $x, y, z \in U$ satisfy $d\left(x,...
- 33.8k
0
votes
1
answer
134
views
A closed subset $B$ of the Hilbert cube such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set
$\def\cube{\mathbf Q}$Let $\cube$ be the Hilbert cube. Give an example of a closed subset $B$ of $\cube$ such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set.
If anyone has any idea ...
- 12.9k
10
votes
2
answers
476
views
Which points in the Samuel compactification of a metric space $X$ are limits of uniformly discrete subsets of $X$?
Given a metric space $(X.d)$ the Samuel compactification of $X$, written $sX$, is the unique compactification with the property that if $Y$ is an arbitrary compact Hausdorff space and $f:X\rightarrow ...
- 12.5k
1
vote
0
answers
84
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 ...
- 63.9k
1
vote
1
answer
896
views
Known Lipschitz-free spaces
The Lipschitz-Free space (also known as Arens-Eells spaces) $\mathcal{F}(X,d)$ over a pointed metric space $(X,d)$ is a well-studied object. In many instances, we have "concrete" representations of ...
- 2,472
4
votes
0
answers
75
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,786
24
votes
4
answers
2k
views
A reinterpretation of the $abc$ - conjecture in terms of metric spaces?
I hope it is appropriate to ask this question here:
One formulation of the abc-conjecture is
$$ c < \text{rad}(abc)^2$$
where $\gcd(a,b)=1$ and $c=a+b$. This is equivalent to ($a,b$ being ...
CommunityBot
- 1
3
votes
1
answer
148
views
Is this sum of nonexpansive maps itself nonexpansive?
For Hilbert spaces $\mathcal{H}_X$, $\mathcal{H}_Y$ and $\mathcal{K}$, consider a linear map $f\colon \mathcal{K} \oplus \mathcal{H}_X \to \mathcal{K} \oplus \mathcal{H}_Y$ that is given as a matrix
$...
- 12.6k
2
votes
2
answers
264
views
Existence of a Hölder-free space
The Lipschitz-free or Arens-Eells space over a pointed separable metric space $(X,0,d)$ is a well-studied object. My question is, is an analogos Hölder-free space; for a fixed Hölder constant $\alpha&...
- 42.8k
0
votes
0
answers
45
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])$ ...
- 5,405
7
votes
0
answers
103
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....
- 4,862
1
vote
1
answer
107
views
Continuous Left-inverse of Dirac Lipschitz-Free Space
Let $X$ be a separable pointed metric space and let $AE(X)$ denote the corresponding Lipschitz-Free (or Arens-Eells space) over $X$. The point-evaluation map $\delta:X\mapsto AE(X)$ is injective ...
- 3,486
6
votes
1
answer
348
views
Reference: Hajlasz-Sobolev Spaces with Values in a Metric Space
Let $(X,d,\mu)$ be a separable metric measure space on which every ball has positive but finite measure.
I've come across the definition of a homogeneous Fractional Hajlasz-Sobolev spaces $M^{s,p}(...
- 28k
2
votes
1
answer
261
views
Bounded ball measure on compact metric space
Fix $c>1$. Let $(X,d)$ be a separable compact metric space, does there necessarily exist a Borel probability measure $\nu$ on $(X,d)$ such that
$\operatorname{sup}_{x \in X,r>0}\frac{\nu(\...
- 5,405
0
votes
1
answer
83
views
Lower Estimate of A Lipschitz Map
Suppose that $(X,d_X)$ and $(Y,d_Y)$ are complete doubling metric spaces and let $f:X\rightarrow Y$ be a non-constant Lipschitz map. Then can does there exist a lsc function
$\rho:(0,\infty)\...
- 96
4
votes
0
answers
99
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\...
- 3,486
0
votes
0
answers
70
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?
- 5,405
1
vote
1
answer
116
views
When are Carnot groups negatively curved and homeomorphic to Euclidean space
When are Carnot groups complete and negatively curved (in the sense of $CAT(\kappa)$ spaces)?
- 63.9k
2
votes
1
answer
1k
views
Proving that family of sets has non-empty intersection
Let's say I have an object which can be viewed as family of sets $\mathfrak{S} \subseteq 2^S$, and I want to prove that its intersection is non-empty. What is known already:
$S$ is set of measurable ...
- 105
13
votes
5
answers
4k
views
Measure of the support of a Borel probability on a metric space
Does the support of a Borel probability measure always have full measure in a metric space?
I know this is true for separable metric spaces, and locally compact metric spaces. Is it true in general?
- 439
6
votes
1
answer
503
views
Analogy between metric space completion and algebraic closure
I've noticed some similarities between the story of completing a metric space and taking algebraic closure of a field. My question is whether these two stories can be generalized.
Metric space
Fix a ...
- 66.8k
0
votes
1
answer
91
views
If a function follows another one's range order, can we say it follows some continuity properties?
Suppose that $(X,d)$ be a complete metric space, $f:X \to \mathbb{R}$ is a sequentially lower monotone function. Let $g: X \to \mathbb{R}$ be a function with the property: $f(x)\leq f(y) \Rightarrow g(...
- 42.8k
1
vote
0
answers
59
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 ...
- 5,405
4
votes
1
answer
482
views
(non) separability of the power set
Suppose that $(X,2^X)$ is equipped with a non-atomic probability measure $\mu$ (the existence of such spaces is consistent with ZFC). This induces the $L_1$ pseudometric $\Delta$ on $2^X$, via
$\...
- 3,768
1
vote
0
answers
71
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 \...
- 5,405