Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

In this paper we provide a quantifier-free constructive axiomatization for Euclidean planes in a first-order language with only ternary operation symbols and three constant symbols (to be interpreted as ‘points’). We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries. Mathematics Subject Classification: 03F65, 51M05, 51M15, 03B30.     

Ternary Operations as Primitive Notions for Constructive Plane Geometry V

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes (generalizations of Euclidean planes). The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry. Mathematics Subject Classification: 51M05, 51M15, 03F65.     

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

On the Volume Formulas of Cones and Orthogonal Multi-cones in S^n（1） and H^n（-1）

Abstract In the study of n-dimensional spherical or hyperbolic geometry, n≥ 3, the volume of various objects such as simplexes, convex polytopes, etc. often becomes rather difficult to deal with. In this paper, we use the method of infinitesimal symmetrization to provide a systematic way of obtaining volume formulas of cones and orthogonal multiple cones in Sⁿ(1) and Hⁿ(—1). (Dedicated to the memory of Shiing-Shen Chern)     

On the Volume Formulas of Cones and Orthogonal Multi-cones in S~n(1) and H~n(-1)

In the study of n-dimensional spherical or hyperbolic geometry, n ≥3, the volume of various objects such as simplexes, convex polytopes, etc. often becomes rather difficult to deal with. In this paper, we use the method of infinitesimal symmetrization to provide a systematic way of obtaining volume formulas of cones and orthogonal multiple cones in Sn(l) and Hn(-1).     

The generalized yolk point

The generalized yolk point is defined and solved using constructive geometric techniques. A numerical example illustrates the solution methodology and form of the associated size functional.     

Hyperbolic Geometry and the Hillam–Thron Theorem

Every open ball within has an associated hyperbolic metric and Möbius transformations act as hyperbolic isometries from one ball to another. The Hillam–Thron Theorem is concerned with images of balls under Möbius transformation, yet existing proofs of the theorem do not make use of hyperbolic geometry. We exploit hyperbolic geometry in proving a generalisation of the Hillam–Thron Theorem and examine the precise configurations of points and balls that arise in that theorem.This work was supported by Science Foundation Ireland grant 05/RFP/MAT0003     

Ternary operations as primitive notions for constructive plane geometry III

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal L_w1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which produces one of the intersection points of a perpendicular on a diameter of a circle (which intersects that diameter at a point inside the circle) with that circle. MSC: 03F65, 51M05, 51M15.     

The ?-positive center figure

Based on Gage's notion of a “positive center” of a planar convex set, an ε-positive center figure is defined, constructed, and illustrated through example. The existence of an ε-positive center point, and the convexity of the ε-positive center figure, is conjectured.     

Generalized intersection and projection bodies

Generalized intersection and projection bodies are defined and constructed for a spatial convex polytope P. The generalized intersection body extends the definition of the classical Petty body, while the generalized projection body can be considered a dual formulation of the base construction. The method of construction is outlined and an example is used to illustrate the induced structures.     

Circle Patterns on Singular Surfaces

We consider “hyperideal” circle patterns, i.e., patterns of disks appearing in the definition of the weighted Delaunay decomposition associated with a set of disjoint disks, possibly with cone singularities at the centers of those disks. Hyperideal circle patterns are associated with hyperideal hyperbolic polyhedra. We describe the possible intersection angles and singular curvatures of those circle patterns on Euclidean or hyperbolic surfaces with cone singularities. This is related to results on the dihedral angles of ideal or hyperideal hyperbolic polyhedra. The results presented here extend those in Schlenker (Math. Res. Lett. 12(1), 82–112, [2005]), however, the proof is completely different (and more intricate) since Schlenker (Math. Res. Lett. 12(1), 82–112, [2005]) used a shortcut which is not available here. The author would like to thank the RIP program at Oberwolfach, where part of the research presented here was conducted. Partially supported by the “ACI Jeunes Chercheurs” Métriques privilégiés sur les variétés à bord, 2003-06, and the ANR program Representations of surface groups, 2007-09.     

The Infinite Dimensional Hyperbolic Space H~∞ Does Not Have Property A

The author constructs a sequence of cubes in the infinitely dimensional hyperbolic space H∞ which is equi-coarsely equivalent to Z2n. As a corollary, it is proved that the infinitely dimensional hyperbolic space H∞ does not have property A.     

Hyperbolically convex constricted domains

A subdomain G in the unit disk D is called hyperbolically convex if the non-euclidean segment between any two points in G also lies in G. We introduce the concept of constricted domain relative to the hyperbolic geometry of D and prove that a hyperbolic convex domain is constricted if and only if it is not a quasidisk. Also examples are given to illustrate these ideas.