All Questions
17 questions
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 1,043
3
votes
1
answer
161
views
Equivalent definition for Skorokhod metric
I have a question about the Skorokod distance on the space $\mathcal{D}([0,1],\mathbb{R})$:
$$
d(X,Y):= \inf_{\lambda \in \Lambda}\left( \sup_{t\in [0,1]}|t-\lambda(t)|\vee \sup_{t\in [0,1]}|X(t)-Y(\...
- 177
4
votes
2
answers
353
views
Does $C[0, 1]$ admit a covering by sets of arbitrarily small eccentricity?
We denote by $C[0, 1]$ the space of continuous functions on $[0, 1]$ under the supremum norm, equipped with the Borel sigma algebra.
A covering of $C[0, 1]$ is a (possibly countably infinite) ...
- 6,155
0
votes
0
answers
165
views
Compact embedding of Lipschitz continuous functions
Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
- 3,388
1
vote
1
answer
519
views
Asymptotic cone
Let $S$ be a subset in a real vector space $\mathbb{R}^n$. Define the asymptotic cone $S\infty:=\{y\in\mathbb{R}^n\mid\textrm{there exists a sequence }(y_k,\varepsilon_k)\in S\times\mathbb{R}^+\textrm{...
- 951
4
votes
0
answers
97
views
Smoothing continuous functions in metric space
Let $(X,\rho)$ be a metric space.
For any $f:X\to\mathbb{R}$, define the local Lipschitz constant of $f$ at $x$ by
$$ \Lambda_f(x) := \sup_{x'\in X\setminus\{x\}} \frac{|f(x)-f(x')|}{\rho(x,x,')}
.
$$...
- 6,541
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
- 51
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
- 11
0
votes
1
answer
223
views
Dense $G_{\delta}$ set with $\sigma$-porous complement is cofinite?
Let $X$ be a separable Banach space and $D\subseteq X$ be a
proper, connected, and dense $G_{\delta}$ subset of $X$,
$X-D$ is $\sigma$-porous.
Then is $X-D$ contained in a finite-dimensional ...
- 5,405
2
votes
0
answers
90
views
Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces
In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
- 5,405
7
votes
2
answers
664
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 6,541
0
votes
3
answers
554
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 710
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
8
votes
1
answer
596
views
complete metric space
Hallo, I have the following question:
Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
- 83
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 8,512