Questions tagged [mg.metric-geometry]

Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.

Filter by
Sorted by
Tagged with
0 votes
0 answers
38 views

On tiling the plane with non-congruent, equal area triangles with each edge having a unique length

Ref: Tiling with incommensurate triangles shows an approach for tiling with incommensurate triangles - all sides and all angles unique and also with different areas - with the perimeters of the tiles ...
  • 4,311
0 votes
1 answer
71 views

Trigonometry/spherical angles/minimum-least-squares

An issue from 3D tessellated geometry: Find the direction vector of a plane that minimizes the silhouette of a set of triangles. To say it another way, find the direction vector that is most ...
  • 101
2 votes
1 answer
97 views

Do the heights of an acute triangle intersect at a single point (in neutral geometry)?

A well-known result of the Euclidean planimetry says that the heights of any triangle have a common point called the orthocentre of the triangle. This result is not true in neutral geometry (i.e., ...
  • 36.5k
1 vote
0 answers
39 views

Kissing behavior of planar regions

This post reworks a question that was stated in a slightly different form at Convex region $C$ with least kissing number of copies of $C$. Background: Given a 2D region $C$ (not necessarily convex), ...
  • 4,311
2 votes
1 answer
100 views

Finding angle with geometric approach [closed]

I would like to solve the problem in this picture: with just an elementary geometric approach. I already solved with trigonometry, e.g. using the Bretschneider formula, finding that the angle $ x = ...
3 votes
2 answers
187 views

Uniformly continuous homotopy equivalence

Suppose $M$ and $N$ are complete metric spaces and $f, g: M \to N$ are uniformly continuous maps between them with common modulus of continuity $m$. Further suppose $f$ and $g$ are homotopy equivalent....
4 votes
0 answers
141 views

The closest ellipse to a given triangle

Definition: The Hausdorff distance between two point sets is the greatest of all the distances from a point in one set to the closest point in the other set. Question: Given a general triangle T, to ...
  • 4,311
8 votes
0 answers
74 views

Is the hypotenuse operation associative in every Tarski plane?

By a Tarski space I understand a mathematical structure $(X,\mathsf B,\equiv)$ consisting of set $X$, a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\...
  • 36.5k
-1 votes
0 answers
13 views

What does mean módulo 2pi? [migrated]

I was reading a paper and it have a equation inside absolute value with a small 2pi on the right corner , the paper explains |.|2pi denotes modulo 2pi
5 votes
0 answers
88 views

Is an equilateral triangle constructible in a Tarski plane?

By a Tarski space I understand a mathematical structure $(X,\mathsf B,\equiv)$ consisting of set $X$, a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\...
  • 36.5k
6 votes
1 answer
160 views

Concentration of volume towards the boundary

Consider a Euclidean space $X$ of large dimension $N$. For a measurable subset $G\subseteq X$ and $\varepsilon>0$ let $$G_\varepsilon:=\{x\in G\mid B_\varepsilon(x)\subseteq G\}$$ be the set of all ...
  • 93
0 votes
1 answer
43 views

On 'axiality' of planar convex regions

Axiality has been studied under a definition given here: https://en.wikipedia.org/wiki/Axiality_(geometry) Consider an alternative definition of axiality as follows: For a convex region C, consider a ...
  • 4,311
6 votes
0 answers
132 views

Does every Tarski plane embed into a 3-dimensional Tarski space?

By a Tarski space I understand a mathematical structure $(X,B,\equiv)$ consisting of set $X$, a betweenness relation $B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\times X^2$ ...
  • 36.5k
0 votes
0 answers
61 views

Maximal number of times distance $1$ can occur among $n$ points in the plane [duplicate]

For $n\in\mathbb N$, let $f(n)$ be the maximal number of times distance $1$ can occur among $n$ points in the plane: $$ f(n) = \max_{ \{ x_1,\ldots,x_n \} \subset \mathbb R^2} \# \big \{ i<j : \| ...
2 votes
1 answer
164 views

When is Euclidean distortion finitely determined?

The Euclidean distortion of a metric space $X$, denoted $c_2(X)$, is the infimum of $c$ for which there exists a map $f\colon X\to\ell^2$ such that $$d_X(x,y) \leq \|f(x)-f(y)\|_{\ell^2} \leq c\cdot ...
0 votes
0 answers
28 views

Smallest centrally symmetric containers of planar regions - 2

This post adds a bit to Finding the smallest centrally symmetric region that contains a convex planar region . In his answer there, Jukka Kohonen observed: Given a planar convex region $C$, the ...
  • 4,311
6 votes
3 answers
181 views

Minimum diameter of set inscribed in a unit sphere

For a study of the stability of certain maps taking values in a sphere I have the following question. Let $A$ be a subset of $\mathbb{R}^n$. Suppose $A$ lies in a unit ball, but in no ball of smaller ...
  • 71
2 votes
1 answer
120 views

What is the area-decreasing 'convex hull'?

Let $K \subset \mathbf{R}^3$ be a compact set. What is the smallest set $C$ containing $K$, with the property that in a neighbourhood of $C$, the closest-point projection of surfaces onto $C$ ...
  • 4,124
5 votes
1 answer
285 views

Does every ‘curvature’ tensor induce a metric? [duplicate]

So we know that given a Riemannian manifold $(M,g)$ we can calculate its Riemannian curvature $R$. This covariant $4$-tensor field then satisfies some important symmetries \begin{gather*} R_{ijkl} = - ...
2 votes
1 answer
129 views

Computability of fillability of unit cube in $\mathbb{R}^n$ by $k$ $\varepsilon$-balls

Let $\mathbb{N}$ denote the set of positive integers. We define a relation $R \subseteq \mathbb{N}^4$ in the following way: $(p,q,n,s)\in R$ if and only if there is $S\subseteq [0,1]^n$ with $|S| = s$...
0 votes
1 answer
110 views

Is a right triangle with the given cathetus and the opposite angle constructible in the absolute plane?

Question. Is it possible to construct a right triangle with a given cathetus $a$ and a given opposite angle $\alpha$ using only compass and ruler in the absolute geometry (so without the axiom of ...
  • 36.5k
1 vote
1 answer
212 views

de Rham's trisection method - English

I want to learn more about de Rham's trisection method in De Rham, Georges, Un peu de mathématiques à propos d'une courbe plane, Elemente der Mathematik 2 (1947): 73-76. http://eudml.org/doc/140463. ...
3 votes
0 answers
60 views

Reference for Varopoulos isoperimetric inequality with multiplicity

The Varopoulos isoperimetric inequality for a bounded domain $D$ in a nilpotent group $\Gamma$ of growth $n$ reads $$ \# D \le \mathrm{const} \cdot (\#\partial D)^{n/(n-1)} $$ See Ch. 6.E+ in Gromov's ...
  • 131
0 votes
0 answers
40 views

How to determine if a finite vertex split exists for a triangle mesh patch?

Setup: Suppose I'm given an ordered sequence of $n\ge 3$ points in 3D with $$\vec{p}_i \in \mathbb{R}^3 \text{ for } i \in [1,n]$$ and some special selected index $k \in [2,n]$. I'm also assured that ...
10 votes
0 answers
193 views

Can a billiard rack be a square, for every number of balls?

A billiard rack is a rack, usually a triangle, that can hold a certain number of equal size billiard balls, such that the balls' centres cannot move within the rack. Can the rack be a square, for ...
  • 1,143
2 votes
0 answers
63 views

Is the centroid property equivalent to the middle line property of the triangle?

By a Tarski plane I understand a set $X$ endowed with a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\times X^2$ satisfying all Tarski axioms except ...
  • 36.5k
3 votes
2 answers
289 views

Metric space whose bounded subsets are totally bounded

Is there a name for a metric space in which any bounded subset is totally bounded, or equivalently, in which any bounded sequence contains a Cauchy subsequence? I have seen the name Bolzano-Weierstraß ...
4 votes
1 answer
129 views

Proof of Lemma 37.5 in Pak's Lectures on Discrete and Polyhedral Geometry

I am staring at the proof of Lemma 37.5 in [Lectures on Discrete and Polyhedral Geometry][1], see page 331. I cannot understand why the required triangulation exists. In the first paragraph it says &...
  • 13.7k
6 votes
2 answers
141 views

Bisector of two points in a Riemannian manifold has measure $0$

Let $p,q\in M$, $p\neq q$, where $M$ is a Riemannian manifold. We will let the bisector of $p,q$ be $\mathcal{B}(p,q)=\{x\in M;d(p,x)=d(q,x)\}$. Does $\mathcal{B}(p,q)$ have measure $0$? I was ...
  • 6,115
4 votes
0 answers
90 views

Do cut-length-minimizing equidissections exist?

Suppose $A,B$ are polygons of equal area. By the Wallace-Bolyai-Gerwien theorem, $A$ and $B$ are equidissectable: we can make finitely many straight-line cuts in $A$ and rearrange the resulting pieces ...
3 votes
1 answer
93 views

Constrained morphing of polygons

This post continues 'Constrained morphing' of planar convex regions If an $m$-gon $P_m$ is to be morphed (altered continuously) into an $n$-gon $P_n$ with same area and perimeter, can one ...
  • 4,311
1 vote
0 answers
101 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 ...
2 votes
1 answer
74 views

'Constrained morphing' of planar convex regions

Morphing may be defined as a continuous transition of one shape to another. This post is about modifying planar regions continuously from one form to another under some constraints. Qn: If $C_1$ and $...
  • 4,311
3 votes
1 answer
181 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 ...
3 votes
0 answers
77 views

Is there a 5-cell-600-cell honeycomb?

Is there a convex uniform tiling of hyperbolic 4-space with 5-cells and 600-cells as its facets and a snub 24-cell as its vertex figure?
1 vote
0 answers
31 views

Possible extensions of the perpendicular axes theorem for moment of inertia

This post continues on Moment of inertia from Bisectors and partitioning lines for convex regions defined with respect to the moment of inertia. The perpendicular axis theorem states that the moment ...
  • 4,311
4 votes
2 answers
350 views

On diffeomorphisms that preserve the metric

Suppose $\Omega\subset \mathbb R^2$ is a bounded domain with smooth boundary and suppose that $$ F: \Omega \to \Omega,$$ is a diffeomorphism that fixes $\partial \Omega$ (i.e $F|_{\partial \Omega}$ is ...
  • 3,427
2 votes
1 answer
115 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 ...
  • 527
2 votes
1 answer
89 views

Lipschitz maps with Hölder inverse preserve the doubling property

Let $K$ be a compact doubling metric space, $X$ be a metric space and $f:K\rightarrow X$ be Lipschitz with $\alpha$-Hölder inverse, where $0<\alpha<1$. Does $f(K)$ need to be doubling?
  • 4,831
11 votes
1 answer
393 views

A topological tree is weakly contractible

Let us call a nonempty topological space a topological tree if it is Hausdorff and for two distinct points there is a continuous injective path connecting the points, which is unique up to ...
  • 163
13 votes
0 answers
210 views

Regular $n$-gon with diagonals: bounds on area of largest cell?

Consider a regular $n$-gon of side length $1$ with diagonals. Here is an example with $n=11$ (from geogebra applet). I've been trying to find, in terms of $n$, bounds on the area of the largest cell, ...
  • 1,143
-1 votes
2 answers
128 views

Condition to be concyclic [closed]

What condition would you impose upon $n$ points on a plane of which no three points are collinear so that they are concyclic if the distances of each point from the all remaining points are known? (...
3 votes
1 answer
51 views

Comparing the areas of polygons via equidecomposability in the hyperbolic plane

It is well-known that in the Euclidean plane two simple polygons have the same area if and only if they are equidecomposable, i.e., can be decomposed into congruent triangles. Question. Is an ...
  • 36.5k
1 vote
0 answers
54 views

On local-to-global theorem of $\mathrm{CD}^*(K,N)$ spaces

In the 2010 JFA paper "Localization and tensorization properties of the curvature-dimension condition for metric measure spaces" (arXiv link, DOI link), the authors used Theorem 5.1 to prove ...
1 vote
1 answer
64 views

Local Lipschitz constant of exponential map for Hadamard manifolds

Suppose that $(M,X)$ is a simply connected complete Riemannian manifold with pinched sectional curvature between $[a,0]$. Let $r>0$ and fix any point $p\in M$. Is there a bound on the local ...
  • 4,831
0 votes
0 answers
40 views

Why is the normal cone of a face of a polytope orthogonal to that face

I understand the definition of normal cone and normal fan as it relates to polytopes, but I'm having a hard time proving the well known fact that the normal cone of a face of my polytope is orthogonal ...
3 votes
1 answer
184 views

How much of an aperiodic tiling is needed to force aperiodicity?

Consider an aperiodic tiling. By definition, there is a $C$ such that, for any box of side $C$, the part of the tiling contained in the box can be continued to the whole plane only in a non-periodic ...
  • 18.1k
14 votes
1 answer
214 views

How many distances are required to calculate all distances among $n$ points in the Euclidean plane?

I want to know all the pairwise distances between points $P_1,P_2,\ldots,P_n$ in the Euclidean plane (or equivalently, I want to reconstruct the set of points up to congruence). Let's say I have an ...
  • 513
5 votes
1 answer
151 views

Covering unit-radius balls with unit-diameter objects

Let $d$ be a norm-based metric in $\mathbb{R}^2$. We are given a $d$-ball with radius 1, and we would like to cover it with objects with diameter 1. How many objects are needed? In the $\ell_1$ metric,...
0 votes
0 answers
73 views

What is the value of the (p,1)-summing norm of the Euclidean plane for p=2?

The general definition of the $(p,q)$-summing norm of Banach space $X$ is $$ \pi_{(p,q)}(X) :=\inf \bigg\{\gamma\in\mathbb{R}: \forall n\in\mathbb{N},\; x_1, \ldots, x_n \in X: \notag\\ \qquad\...
  • 91

1
2 3 4 5
74