A Geometric Approach to the Heine-Borel Theorem

Abstract

In a topological plane with strong enough topological properties one can use [6] open triangular regions to define a base for the topology. Similarly, one can use these regions to define boundedness of a set. In this setting we show that in the absolute plane geometry, the holding of the Heine-Borel theorem is equivalent to every four points being contained in some such region and that this second condition is equivalent to the parallel postulate. Thus we give two new conditions equivalent to the parallel postulate.