Search Results
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 |
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)$.
1
vote
Metric for measuring linearity of finite set of points in $R^2$
$\newcommand\R{\Bbb R}\newcommand\la{\lambda}$One good "metric" is as follows. Let $S$ be your finite set of $n\ge2$ distinct points in $\R^2$. Let $C(S)$ be the covariance matrix of the uniform proba …
4
votes
Accepted
Does complete and separable Wasserstein space imply a complete base space?
$\newcommand\de\delta\newcommand\ep\varepsilon$The conjecture is true.
Indeed, let $(z_n)$ be a Cauchy-convergent sequence in $(Z,d)$. Then
$$d_{W_p}(\de_{z_m},\de_{z_n})=d(z_m,z_n)\to0$$
(as $m,n\to\ …
3
votes
Accepted
Is completion of measures equivalent to completion of sigma algebras as metric spaces with r...
In Theorem 1.4 of this paper or of its preprint version, it is shown that, for any measure $m$ on any algebra $\mathcal A$ of subsets of a set $X$, a subset $E$ of $X$ is locally approximable by sets …
1
vote
Which posets arise from closed, transitive relations?
It is easy to see that the posets $(U,\le)$ that can arise in this way are exactly such that for all $u$ and $v$ in $U$
$$u\le v\ \&\ v\le u\implies u=v. \tag{1}\label{1}$$
That is, any poset can aris …
3
votes
Accepted
Hausdorff-Lipschitz continuity of cone correspondence
$\newcommand\P{\mathcal P}\newcommand\X{\mathcal X}$A counterexample is as follows: $n=m=1$, $\X=[-1,1]$, $\P=[0,2]$, $f(x)=\sqrt2-1/\sqrt2+|x|^{3/2}$, $g(x)=1/\sqrt2$, and $h(x)=1=S(x)$ (for all $x\i …
4
votes
Accepted
Equivalent definition for Skorokhod metric
$\newcommand\ep\varepsilon\newcommand\la\lambda\newcommand\La\Lambda\newcommand\tla{\tilde\lambda}\newcommand\tLa{\tilde\Lambda}\newcommand\ga\gamma\newcommand\Ga\Gamma\newcommand\de\delta$Your conjec …
2
votes
Density of subsequences in Bolzano-Weierstrass
$\newcommand{\N}{\mathbb N}\newcommand{\R}{\mathbb R}\newcommand{\md}{\ (\operatorname{mod}2)}$This is to present a formalized version of the nice answer by Christian Remling.
Suppose that a function …
1
vote
Accepted
A property for maps between metric spaces
" How is it related to $f$ being an isometry?"
Obviously, any isometry $f$ has the property in question.
On the other hand, not every $f$ having this property is an isometry. Indeed, let $X=Y=\{1,2,3\ …
1
vote
Accepted
Is this a smooth approximation to the $\ell$-infinity distance actually a quasi-metric?
$\newcommand\R{\mathbb R}$By rescaling, without loss of generality $\lambda=1$.
So, the question becomes the following: is there a real $C$ not depending on $u=(u_1,\dots,u_n)\in\R_+^n$, $v=(v_1,\dots …
3
votes
Accepted
Is this map (from the space of probability densities to the Wasserstein space) Lipschitz?
$\newcommand{\vpi}{\varphi}\newcommand\R{\mathbb R}$
Claim 1: The map $F$ is not Lipschitz if $p>1$.
Claim 2: The map $F$ is $1$-Lipschitz if $p=1$: For all $f,g$ in $D_p$,
\begin{equation*}
W_ …
2
votes
Accepted
Can a measure on a finite metric space be Alhfors regular?
Take any $x\in X$ with $m:=\mu(\{x\})\in(0,\infty)$ (since $X$ is finite and $\mu$ is a probability measure, such a point $x$ exists). Let $R:=\min\{d(y,x)\colon y\in X\setminus\{x\}\}$. Then $R\in(0, …
4
votes
Accepted
Complex Borel measures: does $\mu_n \to \mu$ weakly imply $|\mu|(\Theta) \le \liminf_n |\mu_...
$\newcommand{\Om}{\Omega}\newcommand{\Th}{\Theta}\newcommand{\B}{\mathscr B}\newcommand{\M}{\mathcal M}\newcommand\ep\varepsilon\newcommand{\de}{\delta}\newcommand{\R}{\mathbb R}$By the polar decompos …
4
votes
Accepted
Vague convergence: confusion about the regularity of a signed Radon measure and that of its ...
$\newcommand{\Om}{\Omega}\newcommand{\Th}{\Theta}\newcommand{\B}{\mathscr B}\newcommand{\M}{\mathcal M}\newcommand\ep\varepsilon\newcommand{\de}{\delta}\newcommand{\R}{\mathbb R}$Take any $\mu\in\M(\O …
3
votes
Accepted
Linear process close to a Gaussian process
$\newcommand{\R}{\mathbb R}\newcommand{\Z}{\mathbb Z}\newcommand{\ep}{\varepsilon}\newcommand{\de}{\delta}$Let $\psi_j:=0$ for $j=-1,-2,\dots$. Then
\begin{equation*}
X_t=\sum_{j\in\Z}X_{t,j}
\end …
3
votes
Accepted
Expected measure of a ball in a probability space with a metric
Let $S:=\mathbb X$. Let $X$ and $Y$ be iid random elements of $S$ each with distribution $\mathbb Q$. It is more transparent to rephrase the question as follows:
Can one give a good lower bound on $P …