The study of geometry of manifolds without appealing to differential calculus. It includes studies of length spaces, Alexandrov spaces, and CAT(k) spaces. The techniques are often applicable to Riemannian/Finsler geometry (where differential calculus is used) and geometric group theory. For ...

learn more… | top users | synonyms (1)

0
votes
1answer
29 views

Concavity of distance function in $\mathbb{R}^n$ or determinant of $(x^T \cdot x)$

I would like to compute the concavity of the distance function in $\mathbb{R}^n$. Let $ f(x) =- \Vert x \Vert $ in $\mathbb{R}^n$. Then $\nabla_xf=- \frac{x}{\Vert x \Vert}$. And ...
3
votes
1answer
28 views

Are Homogenous countable complete metric spaces always discrete?

Let $M$ be a countable complete metric space such that the group of isometries of $M$, $Iso(M)$ acts transitively on the points in $M$. Does it follow that the topology induced by the metric is the ...
1
vote
0answers
40 views

How to find the “area” of a box (hyperrectangle) projected onto a ball (hypersphere)?

Note: This is fully inspired by this question. Instead of finding the area of a rectangle projected onto a sphere, what is the "area" of the general $n-1$ - box (hyperrectangle) projected onto the ...
4
votes
1answer
72 views

Moving circular disk between two parallel sinusoidal curves

Find the largest radius of the circle that can be "rolled" between the curves $y = sin(x)$ and $y = sin(x)+1$. After two weeks of research, I finally give up.
1
vote
0answers
31 views

Prerequsites for working through the 2nd half of Gradient flows in metric spaces and in the spaces of probability measures

I apologize in advance if this question is too general, that is, not a request for a specific reference, but more of a request for a road map, perhaps from someone that knows the material and, in ...
0
votes
1answer
59 views

upper bound and a lower bound on the number of points that are uniformly distributed on a surface

Can I calculate an upper bound and a lower bound (or max or min) on the number of points that are uniformly distributed on a surface, knowing the area of the surface ? More precisely, I have a sector ...
1
vote
1answer
32 views

Given a non-ideal hyperbolic triangle and the Euclidean comparison triangle with equal side lengths, are the interiors of the two bi-Lipschitz?

Fix three finite real numbers $p,q,r > 0$. Up to isometry, there is a unique 2-simplex $\Delta$ in the Euclidean plane bounded by a geodesic triangle with these three reals $p,q,r$ as side-lengths. ...
0
votes
0answers
54 views

On the centroid of a triangle

There's three different ways to see a triangle in the Euclidean plane: as three non-collinear points, say $A$, $B$, $C$; as the line segments connecting the three points, that we can parametrize as a ...
1
vote
1answer
23 views

CAT(K) Finsler manifolds.

I was wondering if the following is true (and common knowledge): Let $(M,F)$ be a Finsler manifold. Let d be the induced distance by the norm in the usual sense. That is, $d(x,y)=\inf${lenghts of ...
1
vote
0answers
49 views

A measure on the space of probability measures

I've been reading about optimal transport and it's connections to geometry. At some point one has to study a bit of the structure of the space of probability measures, $\mathcal{P}(X)$, (over a metric ...
1
vote
1answer
26 views

Invariance of ball size under translation on the pseudosphere

On the pseudosphere, do the volume of metric balls and area of metric spheres change with the centerpoint? (I'm asking because they don't on the sphere.)
0
votes
0answers
26 views

Adjacent angle Theorem in planes of constant curvature - easy geometric proof?

I am trying to proof the Adjacent angle Theorem in planes of constant curvature (2-Sphere, euclidean plane, hyperbolic plane) i.e given 4 points $a,b,c,d$ such that $d$ is lying on a shortest curve ...
4
votes
1answer
105 views

How to build the smallest regular n-sided polygon that covers an (n-1)-sided polygon?

I want to build a figure that contains seven regular polygons, from a triangle up to a nonagon, where each n-sided polygon covers, with the minimal area possible, the n-1 sided one. An added ...
1
vote
1answer
51 views

why are CAT(0) spaces contractible?

In the book of Bridson and Haefliger it is said that 'it follows easily' from what they proved before. Does anyone know of a rigorous proof that CAT(0) spaces are contractible?
3
votes
1answer
140 views

general formula for volume of a simplex?

I am looking for a general formula to calculate the volume of a euclidean simplex in any number of dimensions. On Wikipedia I found that a formula similar to Heron's formula can be applied to ...
1
vote
0answers
37 views

Ultraproduct of a metric space

I am currently trying to understand "Curvature bounded below: a definition a la Berg--Nikolaev" by Nina Lebedeva and Anton Petrunin. They start with a complete, intrinsic metric and space $X$ and say ...
2
votes
1answer
53 views

Closure of a region and shortest path

Let $\Omega$ be a region in $\mathbb{R}^2$ and $\overline{\Omega}$ be closure of $\Omega$. Is it true that between every two points $x,y \in \overline{\Omega}$ exists shortest path (lenth of path ...
0
votes
1answer
83 views

How to calculate the center of a regular polygon?

What is the formula for the center of an n-edge regular polygon that has the given segment as its edge? So, given a segment AB, ...
1
vote
1answer
50 views

Linear bound on angles in an euclidean triangle.

I am trying to understand a proof in the book of Burago "A Course in metric geometry" (Lemma 10.8.13 page 383). I have difficulties with a certain inequality for the angle of euclidean triangles: ...
1
vote
1answer
62 views

Existence of CAT(0)-metrics

Given a metrisable, contractible topological space. Under which conditions exists a CAT(0)-metric compatible with the given topology?
1
vote
0answers
41 views

Literature on ellipses

I'm looking for good literature/sources that I can cite for working with ellipses, particularly concerning the overlap of 2 or more ellipses but also other calculations with ellipses (e.g. dividing ...
1
vote
2answers
87 views

How to show the Poincaré disk is hyperbolic for some $\delta$

I am trying to prove that the Poincaré disk, $\mathbb{D}$, is $\delta$-hyperbolic with respect to the slim triangle definition for hyperbolicity. I have been stuck for a while on where to begin, ...
2
votes
0answers
82 views

Gromov-Hausdorff distance between a “Line segment” and a “Zylinder”

I want to prove the following statement: For $X= S^1 \times [0,1]$ and $Y= [0,1]$ with the intrinsic metrics one has $d_{GH}(X,Y) = \frac{\pi}{2} $ where $d_{GH}$ denotes the Gromov-Hausdorff ...
1
vote
1answer
92 views

Lipschitz distance

The Lipschitz distance between two metric spaces is defined by $$d_{\mathcal L}(X, Y) = \inf_f \log(\{\max\{\text{dil}(f), \text{dil}(f^{-1})\})$$ where $$\text{dil}(f) = \sup_{x, y \in X} \frac{ ...
0
votes
1answer
38 views

Strainers in Alexandrov spaces

I am reading the section on Strainers in Burago, Burago and Ivanov's book "A Course in Metric Geometry". I have been struggling with the proofs of some of the lemmas. On Lemma 10. 8. 13, the authors ...
1
vote
1answer
36 views

Maximal Hausdorff dimension of the inverse image of a point

Let $f \colon [0,1]^2 \to \mathbb{R}$ be an arbitrary continuous function. I was wondering the following: Does there exist a point $a \in \mathbb{R}$ such that $f^{-1} \{a\}$ has Hausdorff dimension ...
2
votes
0answers
36 views

Squaring the plane with consecutive integer squares. And a related arrangement. [duplicate]

Q1. I was fiddling around with squaring-the-square type algebraic maths, and came up with a family of arrangements of $n^2 $squares, with sides $1,2\ldots n^2$ (n odd). Which seems like it would work ...
1
vote
1answer
77 views

Equivalent Definition of a Hermitian Metric on an Almost Complex Manifold?

For an almost-complex manifold $M$ with almost-complex structure $J$, we say that a metric $h:T_p(M;{\mathbb R}) \times T_p(M;{\mathbb R}) \to {\mathbb R}$ is Hermitian if it holds that $$ ...
14
votes
1answer
334 views

Gromov-Hausdorff convergence to a circle

I am working on the book A course in metric geometry written by D. Burago, Y. Burago and S. Ivanov, and more precisely on exercice 7.5.9: Exercice: Let $\{X_n\}$ be a sequence of compact length ...
3
votes
1answer
69 views

How much close should two spaces be in the Gromov-Hausdorff distance to be homeomorphic?

Here I am considering the Gromov-Hausdorff convergence for metric spaces. I know two compact metric spaces are isometric if and only if $d_{GH}(X,Y)=0$, where $d_{GH}$ denotes the Gromov-Hausdorff ...
0
votes
0answers
140 views

Isometry groups acting transitively

Let $X$ be a metric space and $G$ be its group of isometries. 1) Is it true that $G$ acts on $X$ transitively? If so, where can I find a proof? If not, how can one characterize those $X$ for which ...
1
vote
0answers
80 views

vertex representation and half-space representation of a polytope

i'm not a mathematician. So, my question may be stupid. Hope that it won't make you angry. Is there any mathematical relationship between the vertex representation and the half-space representation ...
1
vote
1answer
88 views

Sylvester-Gallai Theorem

How is this theorem used in applications? I've been searching for it on the web but can't seem to find. Only to "correct codes". Can someone please give a few simple examples? /lost student
1
vote
1answer
272 views

Fast calculation of the area of intersection between a sphere and a cylinder

In my current research, I am looking at calculating the local porosity of a porous media in cylindrical coordinate (notably, two co-centric cylinders). To obtain an accurate approximation, I need to ...
1
vote
1answer
68 views

Find a ruler in Taxicab plane

In the Taxicab Plane, find a ruler $f$ with $f(P)=0$ and $f(Q)>0$ for the given pair $P$ and $Q$: $1. \ P = (2,3), Q=(2,-5)$ $2. \ P= (2,3), Q = (4,0).$ The definition of ruler is ...
1
vote
1answer
87 views

characterization of uniquely geodesic normed vector spaces

I am trying to understand the proof of Proposition 1.1.6 in Bridson-Haefliger. They deal with the notion of geodesics in metric spaces, as per the definition here: ...
0
votes
1answer
137 views

Calculating the area and length of sets using a Riemannian metric on the sphere

Let $S^2\subseteq \mathbb{R}^3$ be the unit sphere. Let's define the Riemannian metric to be $d(x,y)=\angle(x,y)=\arccos(x,y)$. Calculate the area and circumference of the ball $B(x,R)=\left\{y\in ...
0
votes
1answer
69 views

A combinatorial action of a discrete group is proper if and only if it has finite vertex stabilizers

First, let me fix some definitions. The action of a group $G$ on a topological space $X$ is proper if for every compact subspace $K \subseteq X$ the set $\{g \in G \ | \ g K \cap K \neq\varnothing ...
3
votes
1answer
91 views

Is a Banach space $X$ Lipschitz equivalent to the metric quotient $X/B$, where $B$ is the closed unit ball?

Recall that the metric quotient $X/B$ is defined as follows: first we consider the equivalence relation $\sim$ on $X$ that identifies all points of $B$, then we define on the set of all equivalence ...
2
votes
0answers
46 views

The characterization of asymptotic dimension

Let X be a metric space. The following conditions are equivalent (a)asdimX = n (b)n is the smallest integer such that for every R > 0 there exists n + 1 families Ui i=0,1,2,...,n, and S > 0 such ...
0
votes
1answer
49 views

Existence of a geodesic in a complete separable metric space

If I have $X$ a complete separable metric space, $x, y \in X$ arbitrary points, how can I define a constant speed geodesic, i.e. a continuous map $g : [0,1] \rightarrow X$ such that $$ d(g(t), g(s)) = ...
2
votes
0answers
95 views

Show that the distance between these two sets is not bounded.

I have a homework question that asks: "Consider the curve $\gamma : [1, \infty] \to \mathbb{R}^2$ defined by $\gamma (t) = \langle t \cos (\ln t), t \sin (\ln t) \rangle$. Show that this curve is ...
2
votes
1answer
127 views

Is a uniquely geodesic space contractible? I

Is a uniquely geodesic space contractible ? We assume in addition that closed metric balls are compact. A post without this extra assumption is here.
24
votes
4answers
1k views

Finding an invisible circle by drawing another line

A friend of mine taught me the following question. He said he found it in a book a few years ago. Though I've tried to solve it, I'm facing difficulty. Question: You know on a plane there is an ...
6
votes
1answer
99 views

isometries of the sphere

There is a theorem by Pogorelov that if a $C^2$ surface $M$ in $\mathbb{R}^3$ is isometric to the unit 2-sphere, then $M$ is itself (a rigid motion of) the sphere. What is known about isometric ...
1
vote
0answers
34 views

Standard nomenclature for certain embedded tori

The standard embedded torus, parametrized by longitude $\alpha$ and latitude $\beta$ is given by $$ \begin{align} x & = (R+\cos\beta)\cos\alpha, \\ y & = (R+\cos\beta)\sin\alpha, \\ z & = ...
3
votes
1answer
104 views

Group acting by isometries on a length space

I am reading the book A course in metric geometry by Burago, Burago and Ivanov. I have some difficulties with an exercise 3.4.6 on page 78. The exercise is the following: Let a group $G$ act by ...
1
vote
0answers
62 views

Finding a closed curve $\gamma$ on a Torus such that $\gamma$ is not pseudo-Anosov

Let g denote genus and n denote number of punctures. According to Kra's construction in Pseudo-Anosov theory for surfaces, if S is an orientable surface such that $3g+n>3$ and $\gamma \in ...
5
votes
1answer
112 views

What does “spherical convex fuction” mean

Let $M$ be a riemannian manifold. A function $f: M \mapsto \mathbb{R} $ is called spherical convex, if \begin{equation} \sin(\lvert xz \rvert) f(y) \leq \sin(\lvert xy\rvert) f(z) + \sin( \lvert ...
11
votes
2answers
745 views

How to show that $\mathbb R^n$ with the $1$-norm is not isometric to $\mathbb R^n$ with the infinity norm for $n>2$?

Could you please give me a hint to prove that $\mathbb{R}^n$ with the 1-norm $\lvert x\rvert_1=\lvert x_1\rvert+\cdots+\lvert x_n\rvert$ is not isometric to $\mathbb{R}^n$ with the infinity-norm ...