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
5 views

Symmetric Busemann G-spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$. Definition: A metric space $(X,d)$ is called $\bullet$...
  • 37.2k
0 votes
0 answers
75 views

Concurrencies determined by intersections of angle trisectors (and isogonal lines) in a triangle

The famous Morley’s theorem, states that in a triangle the interior angle trisectors, proximal to sides respectively, meet at the vertices of an equilateral. However the six trisectors meet at 12 ...
2 votes
0 answers
152 views

Sweeping out the disk: what comes out?

In 2008, Larry Guth gave a new proof of a theorem of Gromov about the min-max widths of the unit $n$-ball. This states that the $p$-parameter width $\omega_p(k,n)$ (of sweepouts with $k$-dimensional ...
  • 4,310
-1 votes
0 answers
23 views

Mcq question on product of length of chords [closed]

A unit circle has $n$ points on it such that the arcs made by these points are equal in size. Now draw edges b/w every pair of these n points. What is the product of length of these chords? a) $1$ b) $...
0 votes
0 answers
62 views

Geometry of inner products between the unit vector and several given vectors

Let $\mathcal{S}$ denote the set of all unit complex-valued $d$-dimensional vectors, i.e., $$ \mathcal{S} \triangleq \left\{ \mathbf{s}\in \mathbb{C}^{d} \mid \mathbf{s}^{\mathrm{H}}\mathbf{s}=1 \...
  • 550
6 votes
1 answer
390 views
+100

Are aperiodic monotiles generalizable to higher dimensions?

This question is motivated by a recently released paper written by David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss. It constructs the first topological disk that tiles the ...
1 vote
0 answers
85 views

Plateau problem in the disk: a question about geodesic nets

Consider given a finite collection of points along the boundary of the unit disk $D \subset \mathbf{R}^2$: \begin{equation} p_1,\dots,p_{2n} \in \partial D. \end{equation} We assume that these are all ...
  • 4,310
1 vote
0 answers
25 views

Fitting a convex polytope with 𝑛 facets between two nested spheres

This is related to a research problem that is interested in approximation of spheres by convex polytopes. Let $C_r$ and $C_R$ be two spheres in $\mathbb R^d$ of radius $r$ and $R$, respectively, where ...
7 votes
0 answers
179 views

A metric characterization of Hilbert spaces

In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
  • 37.2k
0 votes
0 answers
80 views

Is Morley’s observation complete?

Morley’s observation states that in a triangle the intersections of trisectors proximal to a (triangle) side lie six by six on three triples of parallel lines that make angles of 60° with each other. ...
1 vote
0 answers
24 views

Inside-out dissections of solids

We add to Inside-out dissections of polygons - a generalization. The inside-out (fully inside-out) dissections are defined on pages linked there. How does one inside-out dissect a tetrahedron into ...
  • 4,401
1 vote
0 answers
31 views

About the number of faces of the conification of a polytope

Let $P\subset\mathbb{R}^n$ be a polytope of dimension $(n-1)$ such that the origin $\vec{0}\not\in\text{Aff}(P)$, where $\text{Aff}(P)$ denotes the affine hull of $P$ in $\mathbb{R}^n$. Now, we ...
6 votes
2 answers
347 views

Vector measures as metric currents

Currents in metric spaces were introduced by Ambrosio and Kirchheim in 2000 as a generalization of currents in euclidean spaces. Very roughly, a principle idea is to replace smooth test functions (and ...
43 votes
3 answers
2k views

A metric characterization of the real line

Is the following metric characterization of the real line true (and known)? A nonempty complete metric space $(X,d)$ is isometric to the real line if and only if for every $c\in X$ and positive real ...
  • 37.2k
3 votes
0 answers
45 views

non-negative curvature condition for polyhedral manifolds

A polyhedral manifold P, i.e, a topological manifold with a triangulation where each simplex is isometric to a simplex in Euclidean space (other constant curvature spaces are allowed), is said to have ...
1 vote
1 answer
95 views

Smallest trapeziums containing a given convex n-gon

Question: Given a planar convex $n$-gon $C$, to find the smallest area / smallest perimeter trapezium (trapezoid) - a convex quadrilateral with at least one pair of mutually parallel edges - that ...
  • 4,401
3 votes
1 answer
107 views

If $X,X'$ have the same $\varepsilon$-packing numbers and $f:X \to X'$ surjective $1$-Lipschitz, then $f$ is an isometry

Let $(X, d)$ be a compact metric space. We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
  • 713
2 votes
1 answer
117 views

Are two metric spaces isometric if they have the same $\varepsilon$-covering and $\varepsilon$-packing numbers for all $\varepsilon>0$?

Let $(X, d)$ be a compact metric space. We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
  • 713
2 votes
1 answer
144 views

Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?

Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e., $N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
  • 713
3 votes
0 answers
55 views

Cutting triangles into triangles with equal longest side

This post elaborates on a specific instance of Cutting convex polygons into triangles of same diameter . Question: For any integer n, can any triangle be cut into n non-degenerate triangles all of ...
  • 4,401
4 votes
0 answers
167 views

Triangle drawn in region bounded by $x$-axis and polynomial with all real roots: supremum of ratio of areas?

A triangle is drawn in a region bounded by the $x$-axis and a polynomial curve with all real roots, with one side of the triangle on the $x$-axis, as shown in this example: What is the supremum of ...
  • 1,523
0 votes
1 answer
64 views

$1$-Lipschitz map from hyperbolic to Euclidean plane

I'm trying to find a reference to the following statement. Define a function $f$ from the hyperbolic plane (in the Poincaré unit disc model using polar coordinates) to the Euclidean plane (using polar ...
  • 681
4 votes
1 answer
170 views

Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?

I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
  • 6,697
5 votes
0 answers
206 views

Is there a bicyclic irregular pentagon in integers?

Is there a bicyclic irregular pentagon in integers, i.e. is there a pentagon, the length of each side is integer and unique such that it has a circumcircle and an inner circle as well? If it does ...
  • 51
2 votes
0 answers
42 views

Efficiently determining surface intersections along a line segment

Background In general, I know how to determine the points of intersection between a surface and a line. In my case, I may have a large number of defined surfaces that may (or may not) intersect each ...
1 vote
0 answers
85 views

What is the example of a circle being filled with congruent tiles (not pie slices), with no overlap of the tiles and and no space left?

I think I read somewhere that at one time it was thought the only way to lay tiles that would fill a circle with no overlap of the tiles and no exposed space in the cirlce, was to lay pieces that ...
  • 11
2 votes
1 answer
264 views

A problem about matrix

Assume that $\boldsymbol{v}_{\boldsymbol{1}}, \ldots, \boldsymbol{v}_{\boldsymbol{n}} \in \mathbb{R}^n$ satisfy $\forall i, j \in[n],i \neq j,\left\langle\boldsymbol{v}_{\boldsymbol{i}}, \boldsymbol{v}...
4 votes
2 answers
215 views

Does the edge-graph of a centrally symmetric polytope determine which vertices are antipodal?

Given two origin symmetric convex polytopes $P_1$ and $P_2$ (that is $P_i=-P_i$) with the same edge-graph, but potentially of different dimensions and combinatorial types. Let $\phi: G_{P_1}\to G_{P_2}...
  • 11.3k
1 vote
0 answers
56 views

Least number of squares of size N that a set of R rectangles can occupy

Given a set $R$ of rectangles of different positive integer sizes, and any number of squares of the same size $N\in\mathbb{N}$, what's the least number of squares $C$ that all the rectangles together ...
  • 119
2 votes
0 answers
99 views

Visualisation of general 3x3 matrices, with applications to the pedagogy of linear algebra?

I've got a method for visualising non-zero $2 \times 2$ real matrices (modulo non-zero scalar factor) using the fact that: Nonnegative determinant matrices (modulo non-zero scalar factor) are in 1-to-...
  • 4,416
9 votes
0 answers
153 views

Embedding a graph into Euclidean space

I want to find a map $v\mapsto \tilde v$ from the vertex set of a connected infinite graph $\Gamma$ to a Euclidean space that meets the following two conditions: there is $\varepsilon>0$ such that ...
2 votes
0 answers
56 views

Conformal changes of metric and normal coordinates

Suppose that $(M,g)$ is a smooth Riemannian manifold of dimension $n\geq 2$. Let $p\in M^{\textrm{int}}$. Does there exist a small $\delta>0$ and a smooth function $c>0$ such that for the ...
  • 3,619
0 votes
0 answers
65 views

The closest ellipse and circle to a given triangle - 2

We add a little more to The closest ellipse to a given triangle. The above linked discussion used the Hausdorff distance to quantify how close two planar convex regions are. In an earlier post - ...
  • 4,401
1 vote
1 answer
49 views

Isolated maxima for sum of distances of points on a manifold

Let $X$ be a closed Riemannian manifold and consider the function $f_n : X \times \cdots \times X \to \mathbb{R}$ where the domain of $f_n$ is the $n$-fold cartesian product of $X$ and where $f_n(p_1,....
  • 933
7 votes
2 answers
238 views

Does the surface area of the unit Lp ball go to zero for all $p < \infty$?

We know about volume: The $L_{\infty}$ ball of radius one-half, i.e. the hypercube, has volume $1$ in all dimensions. On the other hand, I believe that for every $1 \leq p < \infty$, the volume of ...
  • 4,220
4 votes
0 answers
251 views

Does this "join-like complex" of $K_5$ and $K_3$ embed in $\Bbb R^4$?

Consider the following 2-dimensional CW-complex: its 1-skeleton is $K_8$, which we write as an edge-disjoint union $K_5\cup K_{5,3}\cup K_3$. Then for any two edges $ab\in E(K_5)$ and $cd\in E(K_3)$ ...
  • 11.3k
17 votes
1 answer
739 views

Is a facet always a maximal area section of a simplex?

Let $T\subset \mathbb{R}^n$ be a fixed simplex, $H\subset \mathbb{R}^n$ be a variable affine hyperplane. Is it true that the maximal area (i.e. the $(n-1)$-dimensional volume) of $T\cap H$ is attained ...
  • 93.7k
3 votes
0 answers
125 views

Can a polytopal graph be "centrally symmetric" in more than one way?

Let $P,Q$ be two centrally symmetric convex polytopes, potentially of different dimensions and combinatorial type, but with the same edge-graph $G$. The central symmetry of $P$ induces an involutory ...
  • 11.3k
0 votes
0 answers
42 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,401
0 votes
1 answer
89 views

Trigonometry/spherical angles/minimum-least-squares [closed]

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 ...
  • 103
3 votes
1 answer
165 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., ...
  • 37.2k
1 vote
0 answers
44 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,401
2 votes
1 answer
123 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
199 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
158 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,401
8 votes
0 answers
84 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\...
  • 37.2k
5 votes
0 answers
97 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\...
  • 37.2k
6 votes
1 answer
165 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
45 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,401
6 votes
0 answers
136 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$ ...
  • 37.2k

1
2 3 4 5
75