6
votes
4answers
241 views

A metric space of geometric shapes

My research involves geometric shapes in $R^2$, and I need a metric with several properties such as: Families of similar shapes, such as squares, are closed in this metric. Also more general ...
4
votes
0answers
91 views

Star shaped sets with a midpoint

Suppose $U$ is an open subset of $\mathbb{R}^n$ which is star shaped with respect to $p\in U$. I'll call $p$ a midpoint of $U$ if for any line $\ell$ through $p$, the point $p$ is the midpoint of the ...
5
votes
1answer
139 views

Areas of Triangles in (Non-Riemannian) Metric spaces?

I'm looking for a reasonable way to coherently axiomatize both length and area in the absence of a Riemannian structure, i.e., starting only with a metric space; but it's not clear how much of this ...
3
votes
1answer
178 views

Generalization of notion of convexity

I am searching for the correct term for the following, if it exists. A set $X\subset \mathbb{R}^2$ is called $r$-convex if for any two points $x_1, x_2\in X$ such that there exists an arc of radius ...
5
votes
1answer
210 views

Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...
0
votes
1answer
81 views

Constructing measures with support in a given set

I've recently come across the Frostmann Lemma (http://en.wikipedia.org/wiki/Frostman_lemma). Its proof involves constructing a measure with certain properties on a given subset of $\mathbb{R}^n$ (I'm ...
7
votes
1answer
455 views

Is this knot invariant already treated somewhere in the literature?

Fix a knot type $K \subset S^3$, and consider the set $$Y_K = \{ \mbox{Diagrams of }K \} / \mbox{planar isotopy}.$$ We can turn $Y_K$ into a metric space by considering the distance induced by ...
2
votes
1answer
133 views

Approximation of a convex body by a contained polytope

This question deals with approximating a convex body (a compact convex set of $\mathbb{R}^d$ with non-empty interior) by convex polytopes. For a given $\delta$, let $n_\delta$ be the number of faces ...
3
votes
2answers
305 views

Reference request for an early theorem of Gromov

In his talk Misha Gromov- How does he do it, Jeff Cheeger mentions a theorem of Gromov proved sometime in the early 70's. Theorem: Every manifold admitting a sequence of metrics such that the diameter ...
14
votes
0answers
418 views

An open problem in convex geometry

Is it possible to find four norms $\| \cdot\|_k$ $( 1 \leq k \leq 4)$ on the plane such that a three-dimensional normed space containing four subspaces isometric to these normed planes does not exist? ...
4
votes
1answer
140 views

Bounding the perimeter of a geodesic triangle in spaces of non-positive curvature

This is probably an easy question, but I don't know any Riemannian geometry and a literature search hasn't helped. Any help (e.g. providing a reference) would be greatly appreciated. For a triangle ...
6
votes
1answer
101 views

Maximizing ratio volume/diameter^n by an affinity

Suppose we have a convex compact body $D\subset \mathbb R^n$. We can try to apply affine transformation keeping the volume and decreasing the diameter of $D$. It is clear that there is a constant ...
4
votes
1answer
73 views

Polyhedra with minimal edge length

Given a fixed volume and fixed surface area I would like to construct polyhedra that minimize the total length of the edges. This seems like a straight-forward problem to solve by brute force for ...
2
votes
0answers
93 views

Definition of self-dual polytope

Given a d-polytope $P$ we define the c-dual polytope as $P^\ast = \{y\in R^d \mid x\cdot y\geq -c, \forall x\in P\}$. Then I say that a polytope is c-polar self-dual if $P=P^\ast$. I cannot find this ...
2
votes
1answer
116 views

Circumscribed ellipsoid of minimum Hilbert-Schmidt norm

Let $K\subseteq \mathbb{R}^n$ be a full-dumensional convex body. The Löwner ellipsoid of $K$ is the unique ellipsoid of smallest volume containing $K$. My question is about a related object: the ...
2
votes
1answer
113 views

Space of simple polygons on $n$-vertices as a set of points in $\mathbb{R}^{2n}$

A simple polygons in $\mathbb{R}^2$ with $n$ vertices can be mapped to elements in $\mathbb{R}^{2n}$ by list the coordinates of it's vertices. I expect there might be something interesting to study ...
2
votes
2answers
262 views

Sphere - Symmetry and Triangulation [closed]

The sphere is symmetric with respect to any rotation. However, it loses this property as soon as it is triangulated. Are there sequences of triangulations that possess particular large symmetry groups ...
33
votes
1answer
2k views

Probability that a stick randomly broken in five places can form a tetrahedron

The following problem was brought to my attention by a doctoral dissertation on Mathematics Education, but - as far as I know - the solution remains unknown. I have already asked this question on ...
8
votes
1answer
338 views

Oloid and sphericon: rolling develops entire surface

Wikipedia says that, "The oloid is one of the only known objects, along with some members of the sphericon family, that while rolling, develops its entire surface." Below are illustrations of ...
2
votes
2answers
2k views

Who first realized that the shortest distance between two points is a straight line? [closed]

It's a bit like asking who invented the wheel, but perhaps there's something out there. This seems beyond the obvious crew: Euclid, Pythagoras, etc. Is there any evidence when this became common ...
12
votes
2answers
430 views

Sets of evenly distributed points in the Euclidean plane

Is there a set $P \subset \mathbb{R}^2$ of points in the Euclidean plane whose intersection with every convex subset of $\mathbb{R}^2$ of area $1$ is nonempty but finite? If the answer is yes, can ...
2
votes
2answers
166 views

Three questions concerning lattice points on sphere surfaces

Pardon my ignorance of this topic. Q1. In which dimensions $d$ is it the case that, for every natural number $n$, there exists a sphere having exactly $n$ lattice points on it ...
7
votes
0answers
189 views

Bi-spherical polyhedra

Bicentric polygons have been studied: a polygon all of whose vertices lie on its circumcirle, and whose incircle is tangent to every edge:   I have not been able to find a comparable literature ...
2
votes
1answer
210 views

Passing C through a slot

Question: Given a closed curve C, what will be the (bounds on) dimension of the interval it will pass through? i.e. which are the necessary and sufficient conditions for a planar compact set C to ...
0
votes
2answers
152 views

Hales's fan associated with a polyhedron

In Hales's book (cited below), he associates what he calls a fan with any convex polyhedron in $\mathbb{R}^3$. I will not define his notion of fan, but let his figure (p.137) serve as a definition: ...
12
votes
0answers
251 views

Has Cheeger's 'de Rham cohomology' of metric measure spaces been studied beyond its definition?

In J. Cheeger's 'Differentiability of Lipschitz Functions on Metric Measure Spaces' (Geometric and Functional Analysis, 1999, Vol. 9 pp 428-517, see here), a 'de Rham cohomology group' ...
2
votes
1answer
193 views

Divergence of geodesics in mapping class groups

I'm trying to learn some stuff about divergence of geodesics. Let $\gamma$ be a geodesic in a metric space $X$. The divergence of $\gamma$ is a function $f(r)$ for $r \ge 0$ such that $f(r)$ is the ...
10
votes
1answer
453 views

Integer-distance sets

Let $S$ be a set of points in $\mathbb{R}^d$; I am especially interested in $d=2$. Say that $S$ is an integer-distance set if every pair of points in $S$ is separated by an integer Euclidean distance. ...
4
votes
4answers
542 views

The Icosahedron Equation

$$1728 V^5 + F^3 = E^2 \;.$$ Can anyone point me to a concise, modern derivation and explanation of the significance of the icosahedron equation, more modern and concise than Klein's description in ...
4
votes
2answers
152 views

Comparing two Delaunay tessellations on a hyperbolic surface

Let $S$ be a closed hyperbolic surface (i.e. a compact Riemann surface of genus $\geq 2$) and let $P=\{p_1,\ldots,p_m\}$ be a non-empty finite subset of $m$ points in $S$. Let $\pi:\mathbb ...
5
votes
1answer
150 views

Matching on sphere to create cycle with chords

Imagine a number of chords of a sphere $S$ which nearly, but not quite, pass through the center of $S$, in such a way that no pair of chords intersect:       I would like ...
3
votes
1answer
115 views

Existence of Simple Closed Straightest Geodesics

There are at least three distinct simple closed quasigeodesics on convex polyhedra [Mat. Sb. (N.S.), 1949, 25(67) :2, 275–306 Quasi-geodesic lines on a convex surface Pogorelov]. Is the same true ...
5
votes
0answers
385 views

N-balls covering n-balls

This question is a follow-on question from: Covering a unit ball with balls half the radius The questions are these: Given an arbitrary dimension d, and a unit n-ball in d-dimensional Euclidean ...
4
votes
0answers
93 views

Metrized categories

Motivation: Let $\Gamma = (V,E)$ be a directed graph. To each edge $e \in E$, choose a value $\kappa^e \in \mathbb R$, representing the cost of transporting one unit of "stuff" through the edge. Let ...
5
votes
1answer
264 views

Reference request: affine transforms + circle inversion?

This problem cropped up in the context of scale-insensitive methods for generating random variables. Let $X=R^n \cup \{\infty\}$. Suppose we consider a set of transforms $\cal{T}$ from $X\rightarrow ...
8
votes
0answers
253 views

Optimal inspection path on a sphere

Suppose you would like to "inspect" every point of a unit-radius sphere $S \subset \mathbb{R}^3$ by walking along a path $\gamma$ on $S$, but you can only see a distance $d$ from where you stand. ...
0
votes
0answers
120 views

Optimal paintbrush geodesics

Let $S$ be a smooth, closed surface in $\mathbb{R}^3$, and $\gamma$ a geodesic segment on $S$, i.e., a finite-length piece of a geodesic. Define $\gamma(w)$ as all the points of $S$ within a distance ...
6
votes
2answers
426 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 ...
2
votes
2answers
298 views

Reference for ultrametric spaces

I have a research project involving ultrametric spaces, and there are some facts that I use but have a hard time finding explicitely in the literature, although I know that some of them are folklore ...
6
votes
1answer
733 views

reference for “X compact <=> C_b(X) separable” (X metric space)

I know (and am able to prove via Stone-Čech compactification) that the following is correct: Theorem: A metric space is compact if and only if its space of bounded, continuous, real-valued ...
5
votes
3answers
264 views

Which metric spaces have this superposition property?

Let $A \subset X$ and $B \subset X$ be two isometric subsets of a metric space $X$. So there is an isometry $f: A \to B$. Say that a metric space $X$ has the superposition property (my terminology) ...
12
votes
1answer
559 views

The geometry of crinkled aluminum foil

I wonder if the geometry of crinkled aluminum foil has been studied?            The above is a photo of foil I flattened to reuse. It might be ...
4
votes
0answers
449 views

Egg-ovoid rolling down an inclined plane

I am seeking a mathematical analysis of an egg-ovoid rolling down an inclined plane, for pedagogical reasons. It is well-known folk lore that the shape of an egg prevents it from rolling away from ...
1
vote
0answers
147 views

Compute generalized pentagram map

Hi, (This is my first question on MathOverflow! :-) Imagine you have a set of points $S = \{p_1, \ldots, p_n\}$ in $\mathbb{R}^d$, of which $t$ are "bad". I want to compute a "safe convex hull", ...
8
votes
1answer
333 views

Isoperimetric inequality in complex hyperbolic space

Let $\mathbb{H}_\mathbb{C}^n$ be n-dimensional complex hyperbolic space. This space is a complex analog of hyperbolic space. It is isometric to the quotient of hyperboloid ...
15
votes
5answers
2k views

Weitzenböck Identities

I asked this question at Maths Stack Exchange, but I haven't received any replies yet (I'm not sure how long I should wait before it is acceptable to ask here, assuming there is such a period of ...
11
votes
1answer
320 views

Detecting a hidden convex body with line probes

Imagine that, somewhere inside an origin-centered, unit-radius sphere $S$ in $\mathbb{R}^3$, sits a convex body $K$ of volume vol$(K)=\alpha (\frac{4}{3} \pi)$, with $\alpha < 1$ the fraction of ...
18
votes
1answer
2k views

Does this Banach manifold admit a Riemannian metric?

First, the question; after, the motivation. Consider 27.6 (pdf pp. 262-263) in The convenient setting of global analysis (AMS, 1997), and, in particular, the example given at the end of it, which ...
13
votes
1answer
329 views

Is $\partial X$ a sphere for $X$ a complete CAT$(0)$ space?

Let $X$ be a complete CAT$(0)$ metric space, and $\partial X$ its boundary. One way to define $\partial X$ is as the equivalence class of geodesic rays $\gamma(t), \gamma'(t)$ that remain within a ...
21
votes
2answers
1k views

Non-regular Connected Hausdorff Banach Manifold

After reading this MO post, I am wondering: Is every (connected) Hausdorff Banach manifold a regular space? Though unjustified, page 53 of this paper nonchalantly states: "Note that a Hausdorff ...