All Questions
Tagged with mg.metric-geometry real-analysis
108 questions
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
14
votes
3
answers
547
views
Recognizing Lipschitz functions up to change of target metric
Let $K$ be a compact subset of $\mathbb{R}^n$ (for simplicity, I am happy to take $K=\overline{B(0,1)}$ for now if it is easier).
Let $f:K \rightarrow \mathbb{R}^m$ be a continuous function.
Is ...
- 60.5k
4
votes
1
answer
224
views
When is the cut-locus normal coordinate collared
Let $(M,g)$ be a complete $d$-dimensional Riemannian manifold, $p \in M$ be fixed and let $C_p$ be the cut-locus of $p$.
Other than when $M$ is non-positively curved (in which $C_p=
\emptyset$ by ...
- 151k
0
votes
0
answers
59
views
Gauss lemma for nonsmooth metric
$g_{ij}(x)\in L^\infty(\mathbb{R}^n, M^{n\times n})$ is a metric in $\mathbb{R}^n$ satisfying $\lambda |x|^2\leq g_{ij}x^ix^j\leq \Lambda |x|^2$($\lambda>0$&$\Lambda>0$)
Can we find a ...
- 101
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
6
votes
0
answers
130
views
ultrametric Rademacher theorem
The classic Rademacher theorem roughly states that Lipschitz continuous functions are almost everywhere differentiable. However, there are well-known ultrametric counterexamples, see Kobliz's classic ...
- 35.5k
4
votes
1
answer
306
views
Is the projection of a weakly Lipschitz domain still a Lipschitz domain?
We say, following this definition, that a domain $\Omega\subset \mathbb{R}^{n}$ is weakly Lipschitz if it can locally be flattened by a Lipschitz homeomomorphism $\phi$ (i.e., a Lipschitz continuous ...
- 17.2k
3
votes
0
answers
238
views
Move one element of finite set out from A in plane
Suppose we are given two sets, $S$ and $A$ in the plane, such that $S$ is finite, with a special point, $s_0$, while neither $A$ nor its complement is a null-set, i.e., the outer Lebesgue measure of $...
- 18.8k
6
votes
1
answer
2k
views
Derivative of distance function to a closed, rectifiable set
Let $\Gamma \subset \mathbf{R}^d$ be a closed, countably $n$-rectifiable set. Is there any reasonable way to write the derivatives
$$
\frac{\partial}{\partial x_i} \mathrm{dist}\, (x,\Gamma)
$$
for $x ...
- 7,893
4
votes
1
answer
321
views
Can planar set contain even many vertices of every unit equilateral triangle?
Is there a nonempty planar set that contains $0$ or $2$ vertices from each unit equilateral triangle?
I know that such a set cannot be measurable. In fact, my motivation is to extend a Falconer-Croft ...
- 13k
43
votes
0
answers
819
views
A kaleidoscopic coloring of the plane
Problem. Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap D)=\...
- 63.9k
6
votes
0
answers
176
views
Area-preserving map of punctured disk to itself
If $D_r = \{v\in \mathbb{R}^2 : 0 \lt |v| \lt r\}$, consider the map $f_r: D_r \to D_r$ given by:
$$f_r(x,y) = \frac{\sqrt{r^2-x^2-y^2}}{\sqrt{x^2+y^2}}\left(-y,x\right)$$
Geometrically, $f_r(v) \...
- 2,902
2
votes
0
answers
232
views
Is an orthogonal projection of a Lipschitz domain still a Lipschitz domain?
Let $\mathcal{X}\subseteq\mathbf{R}^n$ be a Lipschitz domain, i.e., for each $x\in\partial\mathcal{X}$, there exists a radius $r_x>0$ and a Lipschitz continuous function $F^x:\mathbf{R}^{n-1}\to\...
- 21
0
votes
0
answers
237
views
Semicontinuity of the Lebesgue measure of images of a family of functions
Let $\mu$ be the usual Lebesgue measure on $\mathbb{R}^m$. Suppose $f:\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^m$ is uniformly continuous, and let $U$ be a measurable subset of $\mathbb{R}^n$....
- 326
4
votes
1
answer
160
views
Question on existence of “geodesic” curves
Let $F: \mathbb R^n \to \mathbb R$ be a Lipschitz continuous function that is coercive, that is, $\lim_{||x|| \to \infty} F(x) = +\infty$.
Given any rectifable curve $c: [0, 1] \to \mathbb R^n$, ...
- 60.5k
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
2
votes
1
answer
139
views
The radius of an interval's image through a space-filling curve
Take $f:[0,1]\to [0,1]^n$ a continuous tour around $[0,1]^n,$ say, some iteration of a Hilbert curve. For $\varepsilon \in (0,1)$ what is the following thing called and are there any nontrivial upper ...
5
votes
2
answers
302
views
Density character of a metric space is an Ulam number
I am reading this paper and I came across the following sentence:
Throughout the paper we silently assume [...] that the density character (i.e. the minimum cardinality of a
dense subset) of ...
- 3,768
7
votes
1
answer
1k
views
Differentiability of the distance function from a (variable) point to a (fixed) set
The distance of from a point $x$ to a set $A$ is defined by
$$ d(x,S) = \inf\{d(x,a)\mid a\in A\}, $$
where you may choose the setting to be $\mathbb R^n$,
a Banach space or a complete metric space.
...
CommunityBot
- 1
10
votes
1
answer
643
views
Estimation of the Gromov–Wasserstein distance of spheres
Let $(X,d_X,\mu_X)$ and $(Y,d_Y,\mu_Y)$ be two metric measure spaces. A probability measure $\mu$ over $X\times Y$ is called a coupling if $(\pi_1)_\sharp \mu=\mu_X$ and $(\pi_2)_\sharp \mu=\mu_Y$. We ...
- 1,095
4
votes
3
answers
3k
views
Covariant derivative of determinant of the metric tensor
Let $(M,g)$ be a Riemannian manifold and $g$ the Riemannian metric in coordinates $g=g_{\alpha \beta}dx^{\alpha} \otimes dx^{\beta}$, where $x^{i}$ are local coordinates on $M$. Denote by $g^{\alpha \...
- 2,139
2
votes
1
answer
255
views
An isoperimetric inequality for curve in the plane?
Let $f(x,y)=0$ be a (smooth) simple closed curve $C$ on the plane and $R$ the region bounded by $C$ (appropriately oriented). Assume the origin lies in the interior of $R$.
QUESTION. Let $r=\sqrt{x^...
CommunityBot
- 1
2
votes
1
answer
130
views
Uniformly Converging Metrization of Uniform Structure
This is related to trying to resolve the currently faulty second part of my answer to this question, but is by itself a purely real analysis question.
Let $X$ be a set with a uniform structure ...
- 1,338
5
votes
1
answer
849
views
Functions that map open balls to open balls of different radius?
For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function.
...
- 576
1
vote
1
answer
95
views
A question on a special "metric"
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
- 128k
12
votes
1
answer
694
views
History of the Jaccard distance $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$
I'm wondering where the relative probabilistic distance or Jaccard distance was first studied:
$$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$
where $\overline A$ is the complement of $A$...
- 24.8k
2
votes
0
answers
144
views
Lebesgue density theorem for "doubling uniformly covering collections of subsets"
I am looking for a version of Lebesgue density theorem that works when restricting to "good" collections of balls with respect to (not necessarily doubling) metric measure spaces. Specifically
Let $(...
- 6,249
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?
...
- 3,768
28
votes
7
answers
5k
views
Rolle's theorem in n dimensions
This looks like a statement from a calculus textbook, which perhaps it should be.
"Rolle's theorem". Let $F\colon [a,b]\to\mathbb R^n$ be a continuous function such that $F(a)=F(b)$ and $F'(t)$ ...
- 1,169
6
votes
1
answer
352
views
Harmonic maps are light
Assume $f\colon \mathbb{D}\to\mathbb{R}^2$ is a harmonic map
and $x\notin f(\partial\mathbb{D})$. Is it true that $f^{-1}\{x\}$ is totally disconnected?
I hope that the answer is yes.
But actually I ...
- 45k
4
votes
1
answer
877
views
Arranging squares without overlap
What is the smallest positive real $r\in\mathbb{R}$ with the following property?
Every finite collection of squares such that the sum of their areas equals $1$ can be arranged without overlap ...
- 13.6k
6
votes
1
answer
802
views
Approximation of a Sobolev function that has vanishing trace on the reduced boundary of a Caccioppoli (i.e. finite perimeter) set
For $\Omega\subset\mathbb{R}^N$ open and bounded, let $W^{1,p}(\Omega)$ denote the usual Sobolev space of $L^p(\Omega)$ functions with weak partial derivatives in $L^p(\Omega)$ and $W_0^{1,p}(\Omega)$ ...
- 512
17
votes
3
answers
2k
views
The minimum of a sum of absolute values of inner products in $\mathbb{R}^d$
Consider a collection of unit vectors $v_1, \ldots, v_n$ in $\mathbb{R}^d$ (we think of $n$ being much larger than $d$). I would like to minimize the sum:
$$\sum_{i\neq j}|\langle v_i,v_j\rangle|.$$
...
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 $\...
- 1,090
2
votes
1
answer
297
views
A raceway problem
Let $f(x)=\sin x$, and $g(x)=\sin x + 1$. Consider a set
$S=\{(x,y)| f(x)\leq y \leq g(x), x\in [0,2\pi]\}$. This set $S$ can be considered as "Raceway"
My question is finding the shortest path in $S$...
- 4,713
8
votes
1
answer
629
views
Bi-Lipschitz version of Kirszbraun's extension theorem
Kirszbraun's theorem for $\mathbb{R}^2$ states the following:
Given any set $S\subset \mathbb{R}^2$ and any Lipschitz function $f:S\rightarrow \mathbb{R}^2$ with Lipschitz constant $k$, $0< k<...
- 45k
0
votes
1
answer
1k
views
Proper Group action on a metric space
Let $(X,d)$ be a metric space and $C\subset X$ be a compact subset. Let furthermore $G$ be a group that acts on $X$ proper and by isometries. Does there exist an $\epsilon >0 $ such that: Let $U=$ {...
- 31.2k
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
1
answer
96
views
Isometry between punctured sphere and punctured triangle?
Setup:
Let $C_n$ be a closed $n$-simplex in $\mathbb{R}^n$ and let $r \in (0,R)$ where $R$ is the distance any one of the vertices $\{v_1,\cdots , v_{n+1}\}$ of $C_n$ to the centroid $\frac{v_1+ \...
- 6,101
16
votes
2
answers
528
views
Lipschitz constant for map between triangles
Let $T_1$ and $T_2$ be any two euclidean triangles with labeled sides. The sides are labeled respectively $e_1^1,e_2^1,e_3^1$ and $e_1^2,e_2^2,e_3^2$. Call $A:T_1\rightarrow T_2$ the affine map which ...
- 352
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
2
votes
1
answer
1k
views
Doubling metrics, doubling measures, Lebesgue density
As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...
CommunityBot
- 1
2
votes
0
answers
67
views
How much must a curve bend to intersect another curve twice?
Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...
- 131
4
votes
0
answers
136
views
Classifying countable sets of weighted dots on a real line
Each dot is located on the real line and assigned a weight that can be positive or negative. A dot is equivalent to two(or more) dots located at the same place whose weights sum is equal to that of ...
CommunityBot
- 1
68
votes
2
answers
2k
views
Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$
Let $f : \mathbb{R} \longrightarrow \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a ...
CommunityBot
- 1
0
votes
1
answer
96
views
Optimal covering with finite subcollection of open sets
This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...
- 1,407
5
votes
0
answers
258
views
Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$
Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...
- 528
7
votes
2
answers
786
views
Riemannian distance functions on the real line
A distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that is defined by a smooth Riemannian metric on the real line satisfies the following properties:
$d$ is a length metric (...
- 13.5k
3
votes
0
answers
170
views
Is there such a matrix in $SO(n)$?
Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and
$$
\frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = \frac{B_{ij}}{\sqrt{B_{ii}B_{jj}}},...
- 131