Euclidean triangulation of the plane with degree 7 at each vertex. - MathOverflow most recent 30 from http://mathoverflow.net2013-05-21T10:29:03Zhttp://mathoverflow.net/feeds/question/104291http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/104291/euclidean-triangulation-of-the-plane-with-degree-7-at-each-vertexEuclidean triangulation of the plane with degree 7 at each vertex.shurtados2012-08-08T17:39:53Z2012-08-12T08:53:31Z
<p>Hyperbolic plane has a beautiful triangulation by congruent hyperbolic triangles where all the vertices of the triangulation have degree 7, this is of course not possible in the euclidean plane, even more, I think it is not possible to triangulate the euclidean plane with triangles that are $C$-bilipschitz with a unit triangulation for some constant $C$, because that would imply there is a bilipschitz map from $\mathbb{H^2}$ to the euclidean $\mathbb{R^2}$ and this is not possible, is that correct?</p>
<p>So my question is: is it possible to triangulate the euclidean plane with any kind of euclidean triangles such that at every vertex has degree 7. I've been trying to do it by hand but always a lot of little triangles start appearing and I'm not certain if I can continue triangulating in such a way that the whole plane is covered.</p>
http://mathoverflow.net/questions/104291/euclidean-triangulation-of-the-plane-with-degree-7-at-each-vertex/104299#104299Answer by Igor Rivin for Euclidean triangulation of the plane with degree 7 at each vertex.Igor Rivin2012-08-08T19:07:05Z2012-08-08T19:07:05Z<p>Unless I am missing something: start with the image of a degree-seven triangulation of the hyperbolic plane (coming from the (2, 3, 7) triangle group -- that is the triangulation both you and @Will seem to be alluding to) in the Beltrami-Klein model (this will be a triangulation of the disk with Euclidean straight edges). Then lift the vertices of which are distance $r$ from the origin by some monotoically increasing convex function of $r,$ such that $f(1) < \infty, f(0) = 0$ This will move your triangulation to a straight-line triangulation of a convex "cup." Now centrally project this from the point $(0, 0, f(1)).$ The image will be a combinatorially equivalent triangulation of the plane.</p>
http://mathoverflow.net/questions/104291/euclidean-triangulation-of-the-plane-with-degree-7-at-each-vertex/104334#104334Answer by Alexandre Eremenko for Euclidean triangulation of the plane with degree 7 at each vertex.Alexandre Eremenko2012-08-09T09:00:05Z2012-08-12T08:53:31Z<p>I am not sure what you are asking in your first question (what is a "unit triangulation" ?)
but one can prove the following:</p>
<p>There is no geodesic triangulation of the plane with all vertices of degree >6 and such that
the following conditions holds:</p>
<p>b) the angles of triangles are bounded from below.</p>
<p>Condition b) means that each triangle is bi-Lipshitz to an equilateral triangle, so this is
probably what you ask. And the reason you mention is valid.</p>
<p>Examples of geodesic triangulation with vertices of degree 7 are given in the previous answer,
and it follows from, b) that some triangles in these examples are very thin.</p>
<p>Edited later. My first answer also had condition</p>
<p>a) all triangles are bounded.</p>
<p>I claimed that b) can be replaced with a).</p>
<p>This condition CANNOT be used to replace b).
Here is an example of a geodesic trianglation of the plane with all
vertices of arbitrarily high degree, and bounded triangles.</p>
<p>Begin with an equilateral triange inscribed in the unit circle. From each vertex draw segments
from the unit circle to the concentric circle of radius 2, so that the degree of each vertex
on the unit circle becomes large. Add some chords of the circle of radius 2, connecting the
endpoints of these segmnts. Draw additional segments to make this a triangulation of some
polygon inscribed in the circle of radius 2. All inner vertices of this triangulation
have large degree. </p>
<p>Now repeat this construction. We obtain a sequence of larger and larger polygons $P_n$ each
inscribed in a circle of radius $n$, and each polygon is triangulated so that the
degrees of inner vertices is large. Continuing this indefinitely, we obtain a triangulation of
the plane.</p>