Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 23141

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

23 votes

When does a metric space have "infinite metric dimension"? (Definition of metric dimension)

Well, if $M$ has a metric basis $\{b_1, \ldots, b_{n+1}\}$ then the map $$x \mapsto (d(x,b_1), \ldots, d(x,b_{n+1}))$$ is a continuous injection from $M$ into $\mathbb{R}^{n+1}$. So, for example, no i …
Nik Weaver's user avatar
  • 42.8k
14 votes

Uniform density of Lipschitz maps is space of continuous function — for general metric spaces

Let $X$ be the unit circle and let $Y$ be the Koch snowflake, both with euclidean metric inherited from $\mathbb{R}^2$. There is a continuous homeomorphism from $X$ onto $Y$, but there is no nonconsta …
Nik Weaver's user avatar
  • 42.8k
11 votes
Accepted

Trasportation metric (AKA Earth-Mover's, Wasserstein, etc.) as "natural" / "induced"?

Okay, so $X$ is a finite metric space and $D(X)$ is the positive part of the unit sphere of $l^1(X)$. We can consider $X$ as sitting inside $D(X)$ by identifying a point $x \in X$ with the function th …
Nik Weaver's user avatar
  • 42.8k
8 votes
Accepted

Intersection of nested open ball in complete metric spaces is nonempty?

I think this statement is true. Suppose we had a counterexample $\{B(x_i,r_i)\}_{i=1}^\infty$ satisfying condition (1) for some $\epsilon > 0$ but whose intersection was empty. Observe that any subse …
Nik Weaver's user avatar
  • 42.8k
6 votes
Accepted

Finitely isometrically persistent metric spaces

There is no such space with more than one point. Let $X$ be any metric space and suppose there exist $x,y,z \in X$ such that $$a = d(x,y) > {\rm max}(d(x,z), x(y,z)) = b.$$ That is, there is a triangl …
Nik Weaver's user avatar
  • 42.8k
4 votes
Accepted

Effect of snowflaking on doubling constants

Suppose $(X,d)$ has doubling constant $\lambda$. This means that for every $r$, every $d$-ball of radius $2r$ can be covered by $\lambda$ many $d$-balls of radius $r$. With respect to the metric $d^\a …
Nik Weaver's user avatar
  • 42.8k
4 votes

Existence of a Hölder-free space

As AIM_BLB says in the comments, every Holder space of exponent $\alpha < 1$ is a Lipschitz space with respect to the metric $d^\alpha$. So the answer is an immediate "yes". May I add that I discuss H …
Nik Weaver's user avatar
  • 42.8k
3 votes
Accepted

Ultraproduct of metric spaces

No, it's not an isometry in general. Let the index set be $\mathbb{N}$ and let each $X_n = \mathbb{N}$ with its usual metric. Let $\mathcal{U}$ be any free ultrafilter on $\mathbb{N}$. For each $n$ de …
Nik Weaver's user avatar
  • 42.8k
3 votes
Accepted

Lipschitz-free space of countable uniformly discrete metric space

This works if $X$ has finite diameter, but not in general. An easy way to see why not is to look at the elementary molecules $m_{xy}$, since $\|m_{xy}\|_{\rm AE} = d(x,y)$. The norm of the correspondi …
Nik Weaver's user avatar
  • 42.8k
1 vote
Accepted

If a function follows another one's range order, can we say it follows some continuity prope...

No, let $X = \{0\} \cup \{\frac{1}{n}: n \in \mathbb{N}\}$, define $f(t) = -t$ for all $t \in X$, and define $g(t) = \begin{cases}0&t > 0\cr 1&t = 0\end{cases}$.
Nik Weaver's user avatar
  • 42.8k