In
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
, an affine plane is a two-dimensional
affine space
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related ...
.
Examples
Typical examples of affine planes are
*
Euclidean planes, which are affine planes over the
reals equipped with a
metric
Metric or metrical may refer to:
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
In mathem ...
, the
Euclidean distance
In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points.
It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefor ...
. In other words, an affine plane over the reals is a Euclidean plane in which one has "forgotten" the metric (that is, one does not talk of lengths nor of angle measures).
*
Vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
s of dimension two, in which the
zero vector
In mathematics, a zero element is one of several generalizations of 0, the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive iden ...
is not considered as different from the other elements
* For every
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
or
division ring
In algebra, a division ring, also called a skew field, is a nontrivial ring in which division by nonzero elements is defined. Specifically, it is a nontrivial ring in which every nonzero element has a multiplicative inverse, that is, an element ...
''F'', the set ''F''
2 of the pairs of elements of ''F''
* The result of removing any single line (and all the points on this line) from any
projective plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that d ...
Coordinates and isomorphism
All the affine planes defined over a field are
isomorphic. More precisely, the choice of an
affine coordinate system (or, in the real case, a
Cartesian coordinate system) for an affine plane ''P'' over a field ''F'' induces an isomorphism of affine planes between ''P'' and ''F''
2.
In the more general situation, where the affine planes are not defined over a field, they will in general not be isomorphic. Two affine planes arising from the same
non-Desarguesian projective plane
In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective ...
by the removal of different lines may not be isomorphic.
Definitions
There are two ways to formally define affine planes, which are equivalent for affine planes over a field. The first one consists in defining an affine plane as a set on which a vector space of dimension two
acts simply transitively. Intuitively, this means that an affine plane is a vector space of dimension two in which one has "forgotten" where the origin is. In
incidence geometry
In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An ''incide ...
, an
affine plane
In geometry, an affine plane is a two-dimensional affine space.
Examples
Typical examples of affine planes are
*Euclidean planes, which are affine planes over the real number, reals equipped with a metric (mathematics), metric, the Euclidean dista ...
is defined as an abstract system of points and lines satisfying a system of axioms.
Applications
In the applications of mathematics, there are often situations where an affine plane without the Euclidean metric is used instead of the Euclidean plane. For example, in a
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
, which can be drawn on paper, and in which the position of a particle is plotted against time, the Euclidean metric is not adequate for its interpretation, since the distances between its points or the measures of the angles between its lines have, in general, no physical importance (in the affine plane the axes can use different units, which are not comparable, and the measures also vary with different units and scales).
Sources
*
*
*
*
*
References
{{Reflist
Geometry
Mathematical physics