All Questions
Tagged with mg.metric-geometry real-analysis
108 questions
7
votes
1
answer
179
views
More on the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G=(g_{ij}\colon i,j=1,\dots,6)$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$. Let
$$u:=\sum_{1\le i<j\le 6}g_{ij}^2,\quad v:=\sum_{1\le i<j<k\le 6}g_{ij}g_{ik}g_{jk}.$$...
- 128k
4
votes
1
answer
96
views
On the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$.
Can the mean of the squares of the off-diagonal entries of $G$ be $<1/5$?
Remark 1: A numerical experiment suggests that $...
- 128k
1
vote
1
answer
132
views
Can I find $n$ points on the boundary of an $n$-dimensional ball with certain properties?
My problem is the following: I want to construct $n$ rays all starting at a point $v$ that is not in the $n$-dimensional ball around $0$ such that the following is true:
The $n$-dimensional ball is a ...
2
votes
1
answer
246
views
Ramsey type property of the Lipschitz constant
The following problem was proposed by Pietro Majer as an extension of an earlier question of mine on Lipschitz functions.
For $f$ a Lipschitz function on $\mathbb R^n$, we denote by
$$\text{Lip}(f, U) ...
- 6,155
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,155
1
vote
0
answers
95
views
Distance between two convex sets
Setting
If $A$ an $B$ are two symmetric matrices, we denote by $A >B$ when the matrice $A-B$ is definite positive.
In $\left(\mathbb{R}^{*}_{+} \right)^4$, consider the convex set $$ \Lambda = \...
- 125
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
1
vote
1
answer
184
views
Average distance between points of lower dimensional simplices in $\mathbb R^n$
Notation: By a simplex, we mean the convex hull of a finite set of distinct points in $\mathbb R^n$, which are called the vertices of the simplex. $\mathcal H^n$ will denote the $n$-dimensional ...
- 6,155
0
votes
1
answer
131
views
Is this a smooth approximation to the $\ell$-infinity distance actually a quasi-metric?
The $\|\cdot\|_{\infty}$-norm on $\mathbb{R}^n$ for $n\in \mathbb{Z}^+$ is not a smooth function. However, I came across this post which essentially says that a pointwise approximation to the maximum ...
- 169
4
votes
0
answers
114
views
Find at least one square-boxed subcontinuum
Recall that a plane continuum is a closed, bounded,
connected subset of the plane.
It is non-degenerate if it contains at least two points.
(We may sometimes just say "continuum" even if
we ...
- 1,375
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
5
votes
1
answer
167
views
What structure is preserved by pseudo-homeomorphisms of pseudo-Euclidean spaces?
Let us recall that for integer numbers $t,s\ge 0$ the pseudo-Euclidean space $\mathbb R^{t,s}$ is the vector space $\mathbb R^{t+s}$ endowed with the quadratic form $q_{t,s}:\mathbb R^{t+s}\to\mathbb ...
- 41.8k
1
vote
0
answers
165
views
Uniformly open map on a dense subset
Schauder's lemma asserts that you can always extend a uniformly continuous, uniformly open map from a dense subset of a complete metric space to a uniformly open map on the completion.
I think the ...
- 11
3
votes
1
answer
245
views
Dividing a spherical cap into $n$ equal wedges
This is a follow-up of the question Dividing a spherical cap into three equal wedges where the $n=3$ case was shown.
Motivation: Optimal ways to cut an orange.
In this problem, we have a spherical ...
- 1,459
1
vote
1
answer
295
views
Hausdorff dimension of the non-differentiability set of a locally Lipschitz function
Let $f:\mathbb R^n \to \mathbb R$ and $E := \{x \in X : f \text{ not Fréchet differentiable at }x\}$. Then $E$ is Borel measurable. It is well-known that
Theorem If $f$ is convex, then the Hausdorff ...
- 835
4
votes
2
answers
446
views
About Euclidean distances
$\newcommand\R{\mathbb R}$Let $0<d_1<\cdots<d_k<\infty$ and let $m_1,\dots,m_k$ be any integers $\ge1$. Let $n:=m_1+\dots+m_k-1$.
Let $d$ denote the Euclidean distance in $\R^n$.
Do then ...
- 128k
16
votes
1
answer
888
views
Kakeya crossed-needles problem
The Kakeya needle problem asks for the
minimum area planar region in which one can completely turn around a line segment through
a series of translations and rotations. There is no minimum: There are &...
- 151k
0
votes
0
answers
62
views
Terminology: maps which are bi-Lipschitz on compact subsets
Let $X$ and $Y$ be metric spaces and let $f:X\rightarrow Y$ be such that: for every compact subset $K$ of $X$ the restricted map $f|_K:K\rightarrow Y$ defined by $f|_K(x)=f(x)$ is bi-Lipschitz (with ...
- 5,405
4
votes
1
answer
407
views
Lipschitz-regularity of partition of unity
Let $K$ be a compact subset of $\mathbb{R}^n$ and $\mathcal{U}$ be a finite collection of open subsets covering $K$ satisfying the minimality property: for every $U\in \mathcal{U}$, the sub-collection ...
- 195
5
votes
1
answer
207
views
The Lipschitz constant of convex sphere in $\mathbb{R}^3$
Is every convex sphere (in the sense of Alexandorff, which is the boundary of some convex body in $\mathbb{R}^3$) with Alexandorff curvature $\geq 1$, admitting a bijective map to the unit round ...
- 799
1
vote
0
answers
113
views
Maximizing a parametric integral over the unit sphere
I am trying to compute the nonnegative quantity
$$
\underset{y\in\mathbb{S}^{d-1}}{\sup}\int_{0}^{t}(\Vert A(\tau)y\Vert_{1}- \Vert A(\tau)y\Vert_{q})d\tau, \quad 1 < q < \infty
$$
where $\...
- 1,538
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
7
votes
1
answer
246
views
Currents in sub-Riemannian geometry
Federer and Fleming's notion of "currents" is well established so far, and starting from the seminal work of Ambrosio and Kirchheim, the notion of metric currents is well studied also. The ...
- 215
2
votes
1
answer
285
views
A question about box dimension and Hölder condition
It is known that if a real continuous function $f(x)$ satisfies a local $\alpha$-Hölder condition on a closed interval $[a,b]$, the box dimension of the graph of $f(x)$ on $[a,b]$ will be not greater ...
- 419
0
votes
0
answers
177
views
On connectedness of the complement
In the application of Runge type theorems on the approximation of functions with some regularity on a neighborhood of a compact, it is interesting to know whether the complement of a compact has ...
- 411
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
1
vote
1
answer
158
views
Effect of snowflaking on doubling constants
This question is related to this one. Let $(X,d)$ be a metric space, let $\epsilon\in [0,1)$ and consider the snowflake $(X,d^{1-\epsilon})$. Suppose that $(X,d)$ has a finite doubling constant, ...
- 5,405
-1
votes
1
answer
142
views
A pathological (?) function involving powers
This is inspired by a recent math.SE question.
Given that mathematicians like to come up with theoretical constructs which do not necessarily always have any practical purpose (but sometimes provide ...
- 13.4k
2
votes
2
answers
163
views
Monotonicity of doubling dimension
Let $(X,d)$ be a metric space with finite Assouad dimension $0<C_X$. It seems intuitive to me that if $\emptyset \subset Y\subseteq X$ then $Y$ is also doubling and its Assouad dimension, denoted ...
3
votes
1
answer
363
views
What do convergent sequences of rational functions look like?
Let us consider the projective line over $\mathbb C$ equipped with a nice metric $\eta$ (like the Fubini-Study metric). We can define a metric $\mu$ on rational functions $f: \mathbb P^1 \to \mathbb P^...
- 7,746
1
vote
0
answers
88
views
Density of $C^k$-functions with Lipschitz partial derivatives
Let $N$ and $M$ be complete Riemannian manifolds, of respective dimension $n$ and $m$ with $n,m\geq 1$. Let $C^{k,1}_b(N,M)$ be set of all bounded continuous functions $f:N\rightarrow M$ for which ...
- 5,405
1
vote
1
answer
279
views
Inferring the modulus of continuity
Let $f:X\rightarrow Y$, $g:Y\rightarrow Z$ be uniformly continuous functions between metric spaces $X,Y,Z$ with moduli of continuity $\omega_f$ and $\omega_g$, respectively. Suppose that we know that ...
- 5,405
6
votes
0
answers
264
views
Odd Steinhaus problem for finite sets
Call a finite subset $S$ of the plane with an even number of points an odd Jackson set, if there is an $A\subset \mathbb R^2$ such that $A$ meets every congruent copy of $S$ in an odd number of points....
- 18.8k
5
votes
4
answers
589
views
Looking for a reference on conformal mapping on $\Bbb R^n$
A mapping $T: \Bbb R^n\to \Bbb R^n$ is said to be conformal if it is bijective and preserves angles, i.e.,
if $x, y: [0,1]\to \Bbb R^n$ are curves with $x(t_0)=y(t_0)$ then
$$\cos (Tx(t_0),Ty(t_0))= \...
- 1,101
1
vote
1
answer
71
views
Terminology: Co-completion of Met?
In main-stream mathematical literature, the term metric space is reserved for $(X,d)$ where $X$ is a set and $d:X\times X\rightarrow [0,\infty)$ satisfies the usual properties of a metric. However, ...
- 5,405
3
votes
1
answer
302
views
number of integer points inside a triangle and its area
Let $T$ be a triangle in $\mathbb{R}^2$ defined by $y = \alpha x$, $y = \beta$ and $x = \gamma$ where
$\alpha, \beta, \gamma \in \mathbb{R}_{>0}$. I am interested in obtaining an estimate for the ...
- 3,625
1
vote
0
answers
297
views
Minkowski (box-counting) dimension of generalized Cantor set
I'm trying to solve this problem.
For $0<\alpha, \beta<1,$ let $K_{\alpha, \beta}$ be the Cantor set obtained as an intersection of the following nested compact sets. $K_{\alpha, \beta}^{0}=[0,...
- 111
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}...
- 5,405
4
votes
1
answer
116
views
$AC^p$ curves and pointwise metric speed in abstract metric spaces?
For a fixed "reasonable" metric space $(X,d)$ (say complete, separable, whatever is needed...), a curve $\gamma:[0,1]\to X$ is said to be $AC^p(0,1)$ (absolutely continuous) if
$$
d(\gamma(s)...
- 5,380
2
votes
0
answers
190
views
What is the smallest dimension that allows finding $n$ points at distances $|x_i-x_j|^{\delta/2}$, where $0<\delta<1$, and $x \in \mathbb{R}^n$?
Let $x_1,\cdots,x_n \in \mathbb{R}$, are there $\xi_1,\cdots,\xi_n \in \mathbb{R}^s$, such that
$|x_i-x_j|^{\delta}=||\xi_i-\xi_j||^2$, $0<\delta<1$, what is the smallest $s$ to guarantee the ...
- 178
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
1
vote
1
answer
197
views
Bound between distance between Rotation Matrices
Let $\|\cdot\|_F$ denote the Fröbenius norm on the set of $d\times d$ matrices. By restriction this induces a metric on $SO(n)$.
Let's make an observation.
Since $X\in SO(n)$ is a rotation matrix ...
- 5,405
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 ...
- 143
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 ...
- 5,405
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 ...
- 500