1
$\begingroup$

In geometry, an affine plane is defined as a system of points which fullfill:

1) Any two distinct points lie on a unique line. 2) Given any line and any point not on that line there is a unique line which contains the point and does not meet the given line. 3) There exist three non-collinear points.

How does this definition tell me that an affine plane is an affine space which has dimension 2. Every book says that an affine space has dimension 2, but I cannot proof it.

My definition of an affine space A is that: Given a set A, whose elements are taken as points. Furthermore, let a K-vector space V_A be given and a map C: A x A, which uniquely assigns a connection vector pq to each ordered pair (p, q) with p, q in A; such that the following axioms are satisfied: a) For every vector v in V_a and every point p in A there is exactly one point q in A with v = {pq}. b) {pq} + {qr} = {pr}.

$\endgroup$
1
  • $\begingroup$ You can take the set of points in $\mathbb{R}^3$ and the set of its lines, with their usual incidence relation, and that would be an affine plane. The plane part comes from having only two types of objects, points and lines. The first called the 0-dimensional ones and the second the 1-dimensional ones. $\endgroup$
    – user647486
    Apr 18, 2019 at 17:18

1 Answer 1

1
$\begingroup$

If the points in the affine plane in your first paragraph are points in ordinary three dimensional Euclidean space then the two dimensionality follows from the fact that if you had four noncoplanar points you could find skew lines that violate the uniqueness in

there is a unique line which contains the point and does not meet the given line.

If your affine plane is an abstract object (not a part of Euclidean space) there's a fair amount of work to do to get from that definition to your definition of an affine space.

Consider the four vertices of a tetrahedron. Define the lines to be the six edges, thought of as pairs of points. The conditions for an affine plane are satisfied. This structure is in fact an affine space: it is the entire two dimensional plane over the two element field $K = \mathbb{Z}_2$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .