Here the surface is the real projective plane, with Euler characteristic one. The bound gives . The following ten triangles on vertices attain it:
Take these as the maximal simplices of an abstract simplicial complex, identifying edges with the same vertex labels. Every one of the 15 pairs of vertices occurs as an edge in exactly two triangles. The links of the six vertices are single five-cycles; listed cyclically they are
Thus every point has a disk neighborhood, and the realization is a connected closed surface. Its Euler characteristic is , so the classification of compact surfaces identifies it with the real projective plane. This is an explicit triangulation, proving .

Articles by others on the same topic (0)

There are currently no matching articles.