# Tagged Questions

**9**

votes

**1**answer

196 views

### Is it always possible to “encircle” exactly $n$ points in an infinite subset of $\mathbb{R}^d$ without limit points?

Let $d$ be a positive integer, and let $\mathbb{R}^d$ be endowed with the
Euclidean metric. Given an infinite set $S \subset \mathbb{R}^d$ without limit points
and a positive integer $n$, is there ...

**12**

votes

**1**answer

285 views

### Lower-Hölder embeddings of the sphere

My question is very simple:
Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that
$$
|f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r,
$$
for ...

**0**

votes

**1**answer

129 views

### Lipschitz boundary vs rectifiable curve boundary

I was looking at an old paper about domains with Lipschitz boundary. I am wondering, suppose that the boundary of a compact domain homeomorphic to a disk is a rectifiable injective curve : is this ...

**6**

votes

**2**answers

429 views

### For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?

(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...

**6**

votes

**1**answer

260 views

### For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...

**16**

votes

**2**answers

971 views

### Center of mass from the abstract point of view, or could the ancient Greeks invent modern analysis?

This is a very open-ended question, which may or may not have a perfect answer, and for which I have a few ideas but nothing like a clear picture. However, I guess it won't hurt to ask to see if ...

**6**

votes

**0**answers

117 views

### Almost Isodiametric Sets

Hi,
The isodiametric inequality tells us that, of all sets of diameter $r$, the one with the largest Lebesgue measure is the ball of radius $r/2$ - and this holds regardless of norm. Let $\tau(r)$ be ...

**1**

vote

**1**answer

309 views

### sobolev embedding theorem in the smooth metric measure space

we know the sobolev embedding theorem of Saloff-Coste
$\Big(\int_B|F|^{2q}d\mu\Big)^{\frac1q}\le e^{C(1+\sqrt KR)}V^{-2/n}R^2\int_B\Big(|\nabla F|^2+R^{-2}F^2\Big)d\mu
$
wtih $Ric\ge-(n-1)K$, for ...

**2**

votes

**1**answer

157 views

### Vertical Diameter of Convex Domains

Suppose we have a bounded, strictly convex domain $D\subset \mathbb{R}^2$ with smooth boundary with strictly positive curvature. Suppose further that the projection of $D$ onto the horizontal ...

**6**

votes

**1**answer

359 views

### How “should” I define “absolutely continuous” functions on e.g. n-spheres?

(Am writing this post in a rush, out of office, so cannot give adequate links etc right now.)
There is a classical and well-understood definition of what it means for a continuous function ...

**2**

votes

**1**answer

277 views

### showing uniformly continuous

Let $(X,d)$ be a metric space and $(a_n)$ be a sequence of distinct points in $ X$ such that each $a_n$ is a limit point of $X$. If $U_n$ 's are mutually disjoint open neighbourhoods of $a_n$ in $X$. ...

**14**

votes

**3**answers

838 views

### Stronger version of the isoperimetric inequality

I have been searching for a version of the isoperimetric inequality which is something like:
$P(\Omega) - 2\sqrt{\pi} Vol(\Omega)^{1/2} \geq \pi (r_{out}^2 - r_{in}^2)$ where $r_{out}$ and $r_{in}$ ...

**7**

votes

**1**answer

678 views

### Is there an elementary way to show the triangular inequality for this expression ?

Consider the space $X$ of all scalar products on $\mathbb{R}^n$. For a scalar product $s$ and a base $B:=b_1\ldots,b_n$ let $M_{s,B}$ denote the matrix, whose $(i,j)$-th entry is $(s(b_i,b_j))$ . ...

**15**

votes

**1**answer

573 views

### Continuity in terms of lines

Let $f: \mathbb R^n \rightarrow \mathbb R^n$, where $n> 1$ be a bijective map such that the image of every line is a line.
Is $f$ continuous?
I think it is, but the proof isn't immediately ...

**11**

votes

**1**answer

631 views

### Is it a coincidence that the universal parabolic constant shows up in the solution to square point picking?

The expected distance $d$ of randomly selected points within a unit square to the square's center is
$d = \frac{1}{6} P$
where P is the universal parabolic constant
$P = \sqrt{2} + ...

**5**

votes

**1**answer

635 views

### Wasserstein distance in R^d from one dimensional marginals

This question occurred to me while I was reading Klartag's papers on central limit theorems for convex bodies.
Given probability measures $\mu$, $\nu$ on (the Borel $\sigma$-field of) $R^d$ with ...

**10**

votes

**2**answers

637 views

### Are there space filling curves for the Hilbert cube ?

There is a surjective continuous map $[0;1]\rightarrow [0;1]^2$ ("space filling curve"). Using such a map one can easily get space filling curves for all finite dimensional cubes.
So my question is: ...

**2**

votes

**1**answer

295 views

### Straight line on the Poincare disk hitting points almost everywhere

Consider the tiling of the Poincare disk $\mathbb{D}$ by identified octagons (i.e., representing a torus with genus 2). Suppose inside each octagon is a subset A such that the octagon minus A is a ...

**3**

votes

**5**answers

1k views

### Approximate solutions for trisecting the angle or squaring the circle

Hello all, it is well-known by transcendence results or Galois theory that famous geometric problems such as trisecting an angle or "squaring the circle" (i.e. given a disk of radius 1 construct a ...

**7**

votes

**1**answer

863 views

### Why is 3 a bad constant in the Vitali covering lemma?

Hi,
recently I had to do with the Hardy-Littlewood maximal function and we used there the Vitali covering lemma with constant 5. Then, given an advice, I proved it with constant k>3. But I cannot ...

**8**

votes

**1**answer

542 views

### what was Hilbert's geometric construction in his 17th problem?

Hilbert's 17th problem asked if a nonnegative real polynomial is the sum of squares of rational functions. It was answered affirmative by Artin in around 1920. However, in his speech, he also asked if ...