Affine geometry

  • in affine geometry, one uses playfair's axiom to find the line through c1 and parallel to b1b2, and to find the line through b2 and parallel to b1c1: their intersection c2 is the result of the indicated translation.

    in mathematics, affine geometry is what remains of euclidean geometry when not using (mathematicians often say "when forgetting"[1][2]) the metric notions of distance and angle.

    as the notion of parallel lines is one of the main properties that is independent of any metric, affine geometry is often considered as the study of parallel lines. therefore, playfair's axiom (given a line l and a point p not on l, there is exactly one line parallel to l that passes through p) is fundamental in affine geometry. comparisons of figures in affine geometry are made with affine transformations, which are mappings that preserve alignment of points and parallelism of lines.

    affine geometry can be developed in two ways that are essentially equivalent.[3]

    in synthetic geometry, an affine space is a set of points to which is associated a set of lines, which satisfy some axioms (such as playfair's axiom).

    affine geometry can also be developed on the basis of linear algebra. in this context an affine space is a set of points equipped with a set of transformations (that is bijective mappings), the translations, which forms a vector space (over a given field, commonly the real numbers), and such that for any given ordered pair of points there is a unique translation sending the first point to the second; the composition of two translations is their sum in the vector space of the translations.

    in more concrete terms, this amounts to having an operation that associates to any ordered pair of points a vector and another operation that allows translation of a point by a vector to give another point; these operations are required to satisfy a number of axioms (notably that two successive translations have the effect of translation by the sum vector). by choosing any point as "origin", the points are in one-to-one correspondence with the vectors, but there is no preferred choice for the origin; thus an affine space may be viewed as obtained from its associated vector space by "forgetting" the origin (zero vector).

    although this article only discusses affine spaces, the notion of "forgetting the metric" is much more general, and can be applied to arbitrary manifolds, in general. this extension of the notion of affine spaces to manifolds in general is developed in the article on the affine connection.

  • history
  • systems of axioms
  • affine transformations
  • affine space
  • projective view
  • see also
  • references
  • further reading
  • external links

In affine geometry, one uses Playfair's axiom to find the line through C1 and parallel to B1B2, and to find the line through B2 and parallel to B1C1: their intersection C2 is the result of the indicated translation.

In mathematics, affine geometry is what remains of Euclidean geometry when not using (mathematicians often say "when forgetting"[1][2]) the metric notions of distance and angle.

As the notion of parallel lines is one of the main properties that is independent of any metric, affine geometry is often considered as the study of parallel lines. Therefore, Playfair's axiom (given a line L and a point P not on L, there is exactly one line parallel to L that passes through P) is fundamental in affine geometry. Comparisons of figures in affine geometry are made with affine transformations, which are mappings that preserve alignment of points and parallelism of lines.

Affine geometry can be developed in two ways that are essentially equivalent.[3]

In synthetic geometry, an affine space is a set of points to which is associated a set of lines, which satisfy some axioms (such as Playfair's axiom).

Affine geometry can also be developed on the basis of linear algebra. In this context an affine space is a set of points equipped with a set of transformations (that is bijective mappings), the translations, which forms a vector space (over a given field, commonly the real numbers), and such that for any given ordered pair of points there is a unique translation sending the first point to the second; the composition of two translations is their sum in the vector space of the translations.

In more concrete terms, this amounts to having an operation that associates to any ordered pair of points a vector and another operation that allows translation of a point by a vector to give another point; these operations are required to satisfy a number of axioms (notably that two successive translations have the effect of translation by the sum vector). By choosing any point as "origin", the points are in one-to-one correspondence with the vectors, but there is no preferred choice for the origin; thus an affine space may be viewed as obtained from its associated vector space by "forgetting" the origin (zero vector).

Although this article only discusses affine spaces, the notion of "forgetting the metric" is much more general, and can be applied to arbitrary manifolds, in general. This extension of the notion of affine spaces to manifolds in general is developed in the article on the affine connection.