All Questions
1,583 questions
14
votes
2
answers
2k
views
Surface area of an $\ell_p$ unit ball?
Are there any known formulas or approximations for the surface area of a unit ball in $d$ dimensions under the $\ell_p$ norm? As obvious examples, it is of course well-known that the surface area of ...
- 141
13
votes
5
answers
1k
views
Packing obtuse vectors in $\mathbb{R}^d$
I came across this attractive theorem:
Theorem. In $\mathbb{R}^d$, there can be at most $d+1$ vectors that
form an obtuse angle with one another.
This was proved1 as a corollary of a lemma about ...
- 151k
12
votes
1
answer
1k
views
Uniform boundedness of an $L^2[0,1]$-ONB in $C[0,1]$
Assume that we have an orthonormal basis of smooth functions in $L^2[0,1]$. Are there useful practical criteria to determine whether the sup-norm of the basis functions has a uniform bound? I am sure ...
- 4,729
12
votes
5
answers
6k
views
Subset of the plane that intersects every line exactly twice
In a comment to this question, Tim Gowers remarked that using the axiom of choice, one can show that there exists a subset of the plane that intersects every line exactly twice (although it has yet to ...
- 32.1k
12
votes
2
answers
1k
views
Set of points with a unique closest point in a compact set
Let $K\subset\mathbb{R}^n$ be any compact set. Let $\operatorname{Unp}(K)$ be the set of points in
$$
\operatorname{Unp}(K)=\{x\in\mathbb{R}^n\setminus K:\, \exists ! y\in K \ \ |x-y|=d(x,K)\}.
$$
...
- 28k
10
votes
3
answers
5k
views
Left invariant metric on ${\rm SL}_n(\mathbb{R})$
I am looking for a left invariant metric on $SL_n(\mathbb{R})$. If this is not possible, it would be acceptable to have a metric on $SL_n(\mathbb{R})/SO_n(\mathbb{R})$ or something like that. Is there ...
- 109
10
votes
2
answers
1k
views
Harmonic oscillator discrete spectrum
Let us act intentionally stupid and assume we do not know that we can solve for the spectrum of the harmonic oscillator
$$-\frac{d^2}{dx^2}+x^2$$
explicitly.
Is there an abstract argument why the ...
- 501
10
votes
1
answer
1k
views
Characterizations of Euclidean space
I posted this question at math.stackexchange.com but didn't get an answer. Is it a dumb question, eventually?
There are three ways of characterizing the abstract Euclidean space $E^n$ that are quite ...
- 9,720
10
votes
2
answers
926
views
Isomorphisms between spaces of test functions and sequence spaces
I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
9
votes
1
answer
1k
views
A chain of six circles associated with a conic
I found this problems three years ago. But I never have been a proof. Recently I posted in math.stackexchange.com. I am looking for a solution of the following problems:
A chain of six circles ...
- 1,044
5
votes
2
answers
321
views
If the Hausforff dimension of the graph of a function $u$ is $N$ and $\tilde u = u$ a.e. then $\dim_H \mathrm{graph} \, \tilde u = N$ too
Let $\Omega$ be an open (non empty) set and $u:\Omega \subset \mathbb{R}^N \to \mathbb{R}^M$ be a function such that the Hausdorff dimension of its graph is $N$.
Let $\tilde u = u$ a.e. Is it true ...
- 839
5
votes
1
answer
699
views
Can $L^1_{loc}$ be represented as colimit?
Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space ...
- 5,405
4
votes
1
answer
242
views
Shadows and planar sections of polyhedra
By shadow we mean the orthogonal projection of a convex 3D body P onto a 2D plane, for example, the shadow on the xy-plane, with P above (z>0) that plane and the light at L=(0,0,+∞). P an be freely ...
- 5,979
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
user123457
2
votes
1
answer
258
views
Smallest 3-ellipses that contain triangles
Reference: https://en.wikipedia.org/wiki/N-ellipse
Question: How does one find and characterize the smallest 3-ellipses (n-ellipses with n =3) that contain a given triangle? 'Smallest' can mean 'least ...
- 5,979
88
votes
2
answers
7k
views
63
votes
8
answers
14k
views
Fair but irregular polyhedral dice
I am interested in determining a collection of geometric conditions that will guarantee that a convex polyhedron
of $n$ faces is a fair die in the sense that, upon random rolling, it has an equal $1/n$...
- 151k
62
votes
7
answers
26k
views
Is the Jaccard distance a distance?
Wikipedia defines the Jaccard distance between sets A and B as $$J_\delta(A,B)=1-\frac{|A\cap B|}{|A\cup B|}.$$ There's also a book claiming that this is a metric. However, I couldn't find any ...
- 1,355
60
votes
2
answers
4k
views
Does this geometry theorem have a name?
Start with a circle and draw two tangent circles inside. The (black) inner tangent lines to the smaller circles intersect the large circle. The (red) lines through these intersection points are ...
- 509
53
votes
3
answers
13k
views
Pullback measures
Why do all measure theory textbooks present the concept of push-forward measure, but never the concept of pull-back measure? Doesn't the latter exist?
It's true that the naive treatment of such a ...
- 5,407
44
votes
10
answers
47k
views
Is square of Delta function defined somewhere?
I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere.
In the beginning, this question might look strange. But by restricting the space of the test functions, ...
43
votes
12
answers
2k
views
Can a discrete set of the plane of uniform density intersect all large triangles?
Let S be a discrete subset of the Euclidean plane such that the number of points in a large disc is approximately equal to the area of the disc. Does the complement of S necessarily contain triangles ...
- 17.9k
39
votes
5
answers
3k
views
Surfaces filled densely by a geodesic
Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no
single geodesic $\gamma$ that fills $S$ densely?
Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points
...
- 151k
35
votes
3
answers
2k
views
The kissing number of a square, cube, hypercube?
How many nonoverlapping unit squares can (nonoverlappingly) touch one unit square?
By "nonoverlapping" I mean: not sharing an interior point.
By "touch" I mean: sharing a boundary point.
&...
- 151k
35
votes
5
answers
3k
views
Tiling the plane with incongruent isosceles triangles
It is not difficult to tile the plane with incongruent triangles.
One could tile with equilateral triangles, and then partition
each equilateral into three triangles, displacing their common
...
- 151k
33
votes
3
answers
3k
views
Reference request for translating from Top to C*-alg
Some recent questions on MO (for example, Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?) have been about Gelfand duality — namely, that the categories of ...
- 18.7k
32
votes
1
answer
1k
views
Optimal sphere packings ==> Thinnest ball coverings?
It was proved by Kershner long ago that the thinnest (least density)
covering of the plane by congruent disks can be obtained
by enlarging the radii of the optimal circle packing to just cover
the ...
- 151k
28
votes
0
answers
828
views
Blocking light with mirrored convex objects
There is a long-unsolved problem posed by Janos Pach,
sometimes known as the enchanted forest problem,
which asks if it is possible to block a point light source
in the plane
from reaching
infinity by ...
- 151k
27
votes
2
answers
8k
views
Compact embeddings of Sobolev spaces: a counterexample showing the Rellich-Kondrachov theorem is sharp
Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and ...
- 309
27
votes
1
answer
1k
views
Terrible tilers for covering the plane
Let $C$ be a convex shape in the plane.
Your task is to cover the plane with copies of $C$, each under any rigid motion.
My question is essentially: What is the worst $C$, the shape that forces the ...
- 151k
27
votes
1
answer
4k
views
Criteria for boundedness of power series
Consider a power series $\sum_{n=0}^{\infty} a_n x^n$ that is convergent for all real
x, thus defining a function $f: \mathbb{R} \to \mathbb{R}$.
Can one give necessary and sufficient criteria the ...
- 4,014
27
votes
3
answers
13k
views
Which unfoldings of the hypercube tile 3-space: How to check for isometric space-fillers?
Recently Mark McClure constructed and displayed
the 261 unfoldings of the hypercube (tesseract)
in response to the question,
"3D models of the unfoldings of the hypercube?":
The first 9 unfoldings ...
- 151k
23
votes
1
answer
2k
views
Which Fréchet spaces have a dual that is a Fréchet space?
I've read the claim that Fréchet spaces that are not Banach spaces never have a dual that is a Fréchet space, but have not been able to find a proof of this statement. Is it trivial or does someone ...
- 1,544
23
votes
4
answers
3k
views
Intrinsic metric with no geodesics
It seems that I have the needed example, but I want it to be simple and self-explaining...
Construct a nontrivial complete metric space $X$ with intrinsic metric which has no nontrivial minimizing ...
- 45k
23
votes
4
answers
5k
views
Are proper linear subspaces of Banach spaces always meager?
Let X be a Banach space, and let Y be a proper non-meager linear subspace of X. If Y is not dense in X, then it is easy to see that the closure of Y has empty interior, contradicting Y being non-...
- 353
23
votes
3
answers
1k
views
Which $\ast$-algebras are $C^\ast$-algebras?
It's well-known that the norm on a $C^\ast$-algebra is uniquely determined by the underlying $\ast$-algebra by the spectral radius formula. Therefore there should be a way to axiomatize $C^\ast$-...
- 63.9k
23
votes
5
answers
6k
views
Hahn-Banach without Choice
The standard proof of the Hahn-Banach theorem makes use of Zorn's lemma. I hear that, however, Hahn-Banach is strictly weaker than Choice. A quick search leads to many sources stating that Hahn-Banach ...
- 1,202
21
votes
5
answers
1k
views
Is there a midsphere theorem for 4-polytopes?
The (remarkable) midsphere theorem says that each combinatorial
type of convex polyhedron may be realized by one all of whose edges are
tangent to a sphere
(and the realization is unique if the center ...
- 151k
20
votes
6
answers
7k
views
Does the derivative of log have a Dirac delta term?
Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics":
$\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...
- 16.6k
20
votes
2
answers
4k
views
Ideals of the ring of smooth functions
The ring $C^\infty(M)$ of smooth functions on a smooth manifold $M$ is a topological ring with respect to the Whitney topology and the usual ring operations. Is it possible to describe, maybe under ...
- 101
19
votes
3
answers
2k
views
Simple, closed geodesics in $\mathbb{S}^3$ manifold
Lyusternik and Shnirel'man were the first to prove
Poincaré's conjecture that any Riemannian metric on $\mathbb{S}^2$ has
at least three simple (non-self-intersecting), closed geodesics.
See, e.g., p....
- 151k
19
votes
2
answers
2k
views
Can we take a supremum over all Hilbert spaces?
In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$,
$n\geqslant 2$, by
$$
f_n(c)=\sup\{\|P_n\dotsm ...
- 935
19
votes
3
answers
6k
views
What are the matrices preserving the $\ell^1$-norm?
So I am inspired by unitary matrices which preserve the $\ell^2$-norm of all vectors, so in particular the unit norm vectors. But then I saw that the $\ell^1$-norm of probability vectors is preserved ...
- 391
18
votes
1
answer
644
views
Egalitarian measures
A question I got asked I while ago:
If $T$ is a triangle in $\mathbb R^2$, is there a function $f:T\to\mathbb R$ such that the integral of $f$ over each straight segment connecting two points in the ...
- 47.3k
17
votes
0
answers
731
views
Does every connected set that is not a line segment cross some dyadic square?
A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...
- 171
16
votes
3
answers
2k
views
Are infinite planar graphs still 4-colorable?
Imagine you have a finite number of "sites" $S$ in the positive quadrant
of the integer lattice $\mathbb{Z}^2$,
and from each site $s \in S$, one connects $s$ to every lattice point to which it
has a ...
- 151k
16
votes
2
answers
590
views
Can you perturb an inscribed polytope so all its edges grow?
Consider the family of convex simplicial polytopes with vertices in the unit sphere of $\mathbb{R}^n$ which have the origin as an interior point.
My question is the following:
Let $P, P'$ be two non-...
16
votes
5
answers
3k
views
Measure theory treatment geared toward the Riesz representation theorem
I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...
- 21.5k
16
votes
1
answer
3k
views
3-piece dissection of square to equilateral triangle?
At a workshop it was suggested that it likely remains an open problem
whether or not there is a 3- or 2 -piece
dissection
of a square to an equilateral triangle.
Can anyone confirm that this is ...
- 151k
16
votes
4
answers
2k
views
Is there a maximum to the amount of disjoint non-measurable subsets of the unit interval with full outer measure?
This question arose a few years back when I was an assistant teacher on a course of basic (Lebesgue) measure theory, but I didn't find an answer or anyone able to solve the problem. The setting of the ...
- 588