Arthur Cayley initiated the study of elliptic geometry when he wrote "On the definition of distance". Given P and Q in σ, the elliptic distance between them is the measure of the angle POQ, usually taken in radians. Thus the axiom of projective geometry, requiring all pairs of lines in a plane to intersect, is confirmed. As any line in this extension of σ corresponds to a plane through O, and since any pair of such planes intersects in a line through O, one can conclude that any pair of lines in the extension intersect: the point of intersection lies where the plane intersection meets σ or the line at infinity. No ordinary line of σ corresponds to this plane instead a line at infinity is appended to σ. The hemisphere is bounded by a plane through O and parallel to σ. With O the center of the hemisphere, a point P in σ determines a line OP intersecting the hemisphere, and any line L ⊂ σ determines a plane OL which intersects the hemisphere in half of a great circle. Kepler and Desargues used the gnomonic projection to relate a plane σ to points on a hemisphere tangent to it. The elliptic plane is the real projective plane provided with a metric. Analogously, a non-Euclidean plane is said to be elliptic or hyperbolic according as each of its lines contains no point at infinity or two points at infinity. A central conic is called an ellipse or a hyperbola according as it has no asymptote or two asymptotes. It does not imply any direct connection with the curve called an ellipse, but only a rather far-fetched analogy. The name "elliptic" is possibly misleading. The distance between a pair of points is proportional to the angle between their absolute polars. Such a pair of points is orthogonal, and the distance between them is a quadrant. Any point on this polar line forms an absolute conjugate pair with the pole. The reason for doing this is that it allows elliptic geometry to satisfy the axiom that there is a unique line passing through any two points.Įvery point corresponds to an absolute polar line of which it is the absolute pole. For example, this is achieved in the hyperspherical model (described below) by making the "points" in our geometry actually be pairs of opposite points on a sphere. This is because there are no antipodal points in elliptic geometry. However, unlike in spherical geometry, the poles on either side are the same. The perpendiculars on the other side also intersect at a point. In fact, the perpendiculars on one side all intersect at a single point called the absolute pole of that line. In elliptic geometry, two lines perpendicular to a given line must intersect. For example, the sum of the interior angles of any triangle is always greater than 180°. The appearance of this geometry in the nineteenth century stimulated the development of non-Euclidean geometry generally, including hyperbolic geometry.Įlliptic geometry has a variety of properties that differ from those of classical Euclidean plane geometry. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point (rather than two). Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold.
0 Comments
Leave a Reply. |