Jump to content

Ideal point: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Undid revision 1071329553 by Plorpy (talk) what even is a hyperbole?
m Ideal quadrilaterals: Clarified equations
Line 32: Line 32:
* The interior angles of an ideal triangle are all zero.
* The interior angles of an ideal triangle are all zero.
* Any ideal triangle has an infinite perimeter.
* Any ideal triangle has an infinite perimeter.
* Any ideal triangle has area <math> \pi / -K </math> where K is the (negative) curvature of the plane.<ref name="Thurston 2012">{{cite web | url=http://math.berkeley.edu/~qchu/Notes/274/Lecture5.pdf | title=274 Curves on Surfaces, Lecture 5 | date=Fall 2012 | accessdate=23 July 2013 | author=Thurston, Dylan}}</ref>
* Any ideal triangle has area <math> -\pi / K </math> where K is the (always negative) curvature of the plane.<ref name="Thurston 2012">{{cite web | url=http://math.berkeley.edu/~qchu/Notes/274/Lecture5.pdf | title=274 Curves on Surfaces, Lecture 5 | date=Fall 2012 | accessdate=23 July 2013 | author=Thurston, Dylan}}</ref>


===Ideal quadrilaterals===
===Ideal quadrilaterals===
Line 42: Line 42:
* The interior angles of an ideal quadrilateral are all zero.
* The interior angles of an ideal quadrilateral are all zero.
* Any ideal quadrilateral has an infinite perimeter.
* Any ideal quadrilateral has an infinite perimeter.
* Any ideal [[convex polygon|(convex non intersecting)]] quadrilateral has area <math> 2 \pi / -K </math> where K is the (negative) curvature of the plane.
* Any ideal [[convex polygon|(convex non intersecting)]] quadrilateral has area <math> -2 \pi / K </math> where K is the (always negative) curvature of the plane.


===Ideal square===
===Ideal square===

Revision as of 16:50, 28 July 2023

Three ideal triangles in the Poincaré disk model; the vertices are ideal points

In hyperbolic geometry, an ideal point, omega point[1] or point at infinity is a well-defined point outside the hyperbolic plane or space. Given a line l and a point P not on l, right- and left-limiting parallels to l through P converge to l at ideal points.

Unlike the projective case, ideal points form a boundary, not a submanifold. So, these lines do not intersect at an ideal point and such points, although well-defined, do not belong to the hyperbolic space itself.

The ideal points together form the Cayley absolute or boundary of a hyperbolic geometry. For instance, the unit circle forms the Cayley absolute of the Poincaré disk model and the Klein disk model. While the real line forms the Cayley absolute of the Poincaré half-plane model .[2]

Pasch's axiom and the exterior angle theorem still hold for an omega triangle, defined by two points in hyperbolic space and an omega point.[3]

Properties

  • The hyperbolic distance between an ideal point and any other point or ideal point is infinite.
  • The centres of horocycles and horoballs are ideal points; two horocycles are concentric when they have the same centre.

Polygons with ideal vertices

Ideal triangles

if all vertices of a triangle are ideal points the triangle is an ideal triangle.

Some properties of ideal triangles include:

  • All ideal triangles are congruent.
  • The interior angles of an ideal triangle are all zero.
  • Any ideal triangle has an infinite perimeter.
  • Any ideal triangle has area where K is the (always negative) curvature of the plane.[4]

Ideal quadrilaterals

if all vertices of a quadrilateral are ideal points, the quadrilateral is an ideal quadrilateral.

While all ideal triangles are congruent, not all quadrilaterals are; the diagonals can make different angles with each other resulting in noncongruent quadrilaterals. Having said this:[clarification needed]

  • The interior angles of an ideal quadrilateral are all zero.
  • Any ideal quadrilateral has an infinite perimeter.
  • Any ideal (convex non intersecting) quadrilateral has area where K is the (always negative) curvature of the plane.

Ideal square

The ideal quadrilateral where the two diagonals are perpendicular to each other form an ideal square.

It was used by Ferdinand Karl Schweikart in his memorandum on what he called "astral geometry", one of the first publications acknowledging the possibility of hyperbolic geometry.[5]

Ideal n-gons

An ideal n-gon can be subdivided into (n − 2) ideal triangles, with area (n − 2) times the area of an ideal triangle.

Representations in models of hyperbolic geometry

In the Klein disk model and the Poincaré disk model of the hyperbolic plane the ideal points are on the unit circle (hyperbolic plane) or unit sphere (higher dimensions) which is the unreachable boundary of the hyperbolic plane.

When projecting the same hyperbolic line to the Klein disk model and the Poincaré disk model both lines go through the same two ideal points (the ideal points in both models are on the same spot).

Klein disk model

Given two distinct points p and q in the open unit disk the unique straight line connecting them intersects the unit circle in two ideal points, a and b, labeled so that the points are, in order, a, p, q, b so that |aq| > |ap| and |pb| > |qb|. Then the hyperbolic distance between p and q is expressed as

Poincaré disk model

Given two distinct points p and q in the open unit disk then the unique circle arc orthogonal to the boundary connecting them intersects the unit circle in two ideal points, a and b, labeled so that the points are, in order, a, p, q, b so that |aq| > |ap| and |pb| > |qb|. Then the hyperbolic distance between p and q is expressed as

Where the distances are measured along the (straight line) segments aq, ap, pb and qb.

Poincaré half-plane model

In the Poincaré half-plane model the ideal points are the points on the boundary axis. There is also another ideal point that is not represented in the half-plane model (but rays parallel to the positive y-axis approach it).

Hyperboloid model

In the hyperboloid model there are no ideal points.

See also

References

  1. ^ Sibley, Thomas Q. (1998). The geometric viewpoint : a survey of geometries. Reading, Mass.: Addison-Wesley. p. 109. ISBN 0-201-87450-4.
  2. ^ Struve, Horst; Struve, Rolf (2010), "Non-euclidean geometries: the Cayley-Klein approach", Journal of Geometry, 89 (1): 151–170, doi:10.1007/s00022-010-0053-z, ISSN 0047-2468, MR 2739193
  3. ^ Hvidsten, Michael (2005). Geometry with Geometry Explorer. New York, NY: McGraw-Hill. pp. 276–283. ISBN 0-07-312990-9.
  4. ^ Thurston, Dylan (Fall 2012). "274 Curves on Surfaces, Lecture 5" (PDF). Retrieved 23 July 2013.
  5. ^ Bonola, Roberto (1955). Non-Euclidean geometry : a critical and historical study of its developments (Unabridged and unaltered republ. of the 1. English translation 1912. ed.). New York, NY: Dover. pp. 75–77. ISBN 0486600270.