Affine space

Not to be confused with affinity space.
While the lower (green) plane P_1 is a vector subspace of \mathbb{R}^3, this is not true for the upper (blue) plane P_2: For any two vectors \mathbf{a},\mathbf{b} \in P_2 we find \mathbf{a}+\mathbf{b} \notin P_2. However, P_2 is a simple example of an affine space. The difference \mathbf{a}-\mathbf{b} of two of its elements lies in P_1 and constitutes a displacement vector.
Line segments on a two-dimensional affine space

In mathematics, an affine space is a geometric structure that generalizes the properties of Euclidean spaces that are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. A Euclidean space is an affine space over the reals, equipped with a metric, the Euclidean distance. Therefore, in Euclidean geometry, an affine property is a property that may be proved in affine spaces.

In an affine space, there is no distinguished point that serves as an origin. Hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead displacement vectors, also called translation vectors or simply translations, between two points of the space.[1] Thus it makes sense to subtract two points of the space, giving a translation vector, but it does not make sense to add two points of the space. Likewise, it makes sense to add a vector to a point of an affine space, resulting in a new point translated from the starting point by that vector.

Any vector space may be considered as an affine space, and this amounts to forgetting the special role played by the zero vector. In this case, the elements of the vector space may be viewed either as points of the affine space or as displacement vectors or translations. When considered as a point, the zero vector is called the origin. Adding a fixed vector to the elements of a linear subspace of a vector space produces an affine subspace. One commonly says that this affine subspace has been obtained by translating (away from the origin) the linear subspace by the translation vector. In finite dimensions, such an affine subspace is the solution set of an inhomogeneous linear system. The displacement vectors for that affine space are the solutions of the corresponding homogeneous linear system, which is a linear subspace. Linear subspaces, in contrast, always contain the origin of the vector space.

The dimension of an affine space is defined as the dimension of the vector space of its translations. An affine space of dimension one is an affine line. An affine space of dimension 2 is an affine plane. An affine subspace of dimension n – 1 in an affine space or a vector space of dimension n is a affine hyperplane.

Informal description

The following characterization may be easier to understand than the usual formal definition: an affine space is what is left of a vector space after you've forgotten which point is the origin (or, in the words of the French mathematician Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps"[2]). Imagine that Alice knows that a certain point is the actual origin, but Bob believes that another point — call it p — is the origin. Two vectors, a and b, are to be added. Bob draws an arrow from point p to point a and another arrow from point p to point b, and completes the parallelogram to find what Bob thinks is a + b, but Alice knows that he has actually computed

p + (ap) + (bp).

Similarly, Alice and Bob may evaluate any linear combination of a and b, or of any finite set of vectors, and will generally get different answers. However, if the sum of the coefficients in a linear combination is 1, then Alice and Bob will arrive at the same answer.

If Bob travels to

λa + (1 − λ)b

then Alice can similarly travel to

p + λ(ap) + (1 − λ)(bp) = λa + (1 − λ)b.

Then, for all coefficients λ + (1 − λ) = 1, Alice and Bob describe the same point with the same linear combination, starting from different origins.

While Alice knows the "linear structure", both Alice and Bob know the "affine structure"—i.e. the values of affine combinations, defined as linear combinations in which the sum of the coefficients is 1. An underlying set with an affine structure is an affine space.

Definition

An affine space[3] is a set A to which is associated a vector space \overrightarrow{A} over a field k and a transitive and free action of the additive group of \overrightarrow{A}. (That is, an affine space is a principal homogeneous space for the action of the additive group.)

The elements of the affine space A are called points, and the elements of the associated vector space \overrightarrow{A} are called vectors, translations or, sometimes free vectors.

Explicitly, above definition means that one has a map, generally denoted as an addition (see Function (mathematics) §Notation for arrow notation of a function)

A \times \overrightarrow{A} \to A,\; (a,v) \mapsto a+v

which has the following properties.[4][5][6]

  1. Left identity
    \forall a \in A,\; a+0 = a
  2. Associativity
    \forall v,w \in \overrightarrow{A}, \forall a \in A,\; (a+v)+w= a+(v+w) (here the last + is the addition of the vector space \overrightarrow{A})
  3. Free and transitive action
    For every a \in A, the mapping  \overrightarrow A \to A \colon v \mapsto a+v is a bijection.

These properties imply that for all v \in \overrightarrow A, the mapping  A \to A \colon a \mapsto a+v is also a bijection.

Subtraction and Weyl's axioms

The uniqueness property allows us to define the subtraction of any two elements a and b of A, producing a vector of \overrightarrow{A}. This vector, denoted

 b - a,

or

 \overrightarrow{ab},

is the unique vector in \overrightarrow{A} such that  a + (b - a) = b (equivalently, a+\overrightarrow{ab}=b).

This subtraction has the two following properties, called Weyl's axioms.[7]

  1.  \forall a \in A,\; \forall v\in \overrightarrow{A}, there is a unique point  b \in A such that  b-a = v (equivalently, \overrightarrow{ab}=v), and
  2.  \forall a,b,c \in A,\; (c - b)+ (b - a)  = c - a (equivalently, \overrightarrow{ab} + \overrightarrow{bc} = \overrightarrow{ac}).

Affine spaces can be equivalently defined as a point set A, together with a vector space \overrightarrow{A}, and a subtraction satisfying Weyl's axioms. In this case, the addition of a vector to a point is defined from the first Weyl's axioms.

In Euclidean geometry, the second Weyl's axiom is commonly called parallelogram rule.

Affine subspaces and parallelism

Let us consider an affine space A and its associated vector space \overrightarrow {A}.

An affine subspace (also called, in some contexts, a linear variety, a flat, or, over the real numbers, a linear manifold) B of A is a subset of A such that the set of all differences of any two elements of B form a linear subspace \overrightarrow {B} of \overrightarrow {A}. This implies that B is an affine space, which has \overrightarrow {B} as associated vector space.

The linear subspace associated with an affine subspace is often called its direction, and two subspaces that share the same direction are said parallel.

Given a linear subspace V of \overrightarrow {A}, the affine subspaces of direction V are the sets

a+V=\{a+w: w\in V\}.

This implies the following generalization of Playfair's axiom: Given a direction V, for any point of A there is one and only one affine subspace of direction V, which passes through the point.

Given a vector v\in \overrightarrow {A}, the map

A \to A: a\mapsto a+v

is called a translation. It maps any affine subspace to a parallel subspace.

The term parallel is also used for two affine subspaces such that the direction of one is included in the direction of the other.

Affine map

Given two affine spaces A and B whose associated vector spaces are \overrightarrow A and \overrightarrow B, an affine map or affine homomorphism from A to B is a map

f:A \to B

such that

\begin{align}
\overrightarrow f: \;& \overrightarrow A\to \overrightarrow B\\
&b-a\mapsto f(b)-f(a)
\end{align}

is a well defined linear map. (Here a and b belong to A, and "well defined" means that ba = dc implies f(ba) = f(dc).)

This implies that, for a point a\in A and a vector v\in \overrightarrow A, one has

f(a+v) = f(a)+\overrightarrow f(v).

Therefore, f is completely defined by its value on a single point and the associated linear map \overrightarrow f.

Vector spaces as affine spaces

Every vector space V may be considered as an affine space over itself. This means that every element of V may be considered either as a point or as a vector. This affine set is sometimes denoted (V, V) for emphasizing the double role of the elements of V. When considered as a point, the zero vector is commonly denoted o (or O, when upper-case letters are used for points) and called the origin.

If A is another affine space over the same vector space (that is V=\overrightarrow{A}) the choice of any point a in A defines a unique affine isomorphism, which is the identity of V and maps a to o. In other words, the choice of an origin a in A allows to identify A and (V, V) up to a canonical isomorphism. The counterpart of this property is that the affine space A may be identified with the vector space V in which "the place of the origin has been forgotten".

Affine combinations and barycenter

Let us consider, in an affine space, n points a1, ..., an, and n elements \lambda_1, \ldots, \lambda_n of the ground field. For clarity, we denote \overrightarrow{ab} the vector ba.

If \lambda_1+ \cdots + \lambda_n=0, for any two points o and o' one has

\lambda_1 \overrightarrow{oa_1} + \cdots + \lambda_n \overrightarrow{oa_n} = \lambda_1 \overrightarrow{o'a_1} + \cdots + \lambda_n \overrightarrow{o'a_n} .

Thus this sum is independent of the choice of the origin, and the resulting vector is denoted

\lambda_1 a_1 + \cdots + \lambda_n a_n .

In particular, when n=2, \lambda_1=1, \lambda_2 = -1, one retrieves the definition of the subtraction of points.

If \lambda_1+ \cdots + \lambda_n=1, let us denote by g the unique point such that

\lambda_1 \overrightarrow{oa_1} + \cdots + \lambda_n \overrightarrow{oa_n} =\overrightarrow{og} ,

for some choice of an origin o. One can show that g is independent from the choice of the origin o. Therefore, if

\lambda_1+ \cdots + \lambda_n=1,

one writes

g= \lambda_1 a_1+ \cdots + \lambda_n a_n.

The point g is called the barycenter of the a_i for the weights \lambda_i. One says also that g is an affine combination of the a_i with coefficients \lambda_i.

Examples

Affine span and bases

For any subset X of an affine space A, there is a smallest affine subspace that contains it, called the affine span of X. It is the intersection of all affine subspaces containing X, and its direction is the intersection of the directions of the affine subspaces that contain X.

The affine span of X is the set of all (finite) affine combinations of points of X, and its direction is the linear span of the xy for x and y in X. If one chooses a particular point x0, the direction of the affine span of X is also the linear span of the xx0 for x in X.

One says also that the affine span of X is generated by X and that X is a generating set of its affine span.

A set X of points of an affine space is said affinely independent or, simply, independent, if the affine span of any strict subset of X is a strict subset of the affine span of X. An affine basis, or barycentric frame (see §Barycentric coordinates, below) of an affine space is a generating set that is also independent (that is a minimal generating set).

Recall the dimension of an affine space is the dimension of its associated vector space. The bases of an affine space of finite dimension n are the independent subsets of n + 1 elements, or, equivalently, the generating subsets of n + 1 elements. Equivalently, {x0, ..., xn} is an affine basis of an affine space if and only {x1x0, ..., xnx0} is a linear basis of the associated vector space.

Coordinates

There are two strongly related kinds of coordinate systems that may be defined on affine spaces.

Barycentric coordinates

Let A be an affine space over a field k of dimension n, and \{x_0, \ldots,x_n\} be an affine basis of A. The properties of an affine basis imply that for every x in A there is a unique (n+1)-tuple (\lambda_0, \ldots, \lambda_n) of elements of k such that

\lambda_0+ \cdots +\lambda_n=1

and

x=\lambda_0 x_0+ \cdots +\lambda_n x_n.

The \lambda_i are called the barycentric coordinates of x over the affine basis \{x_0, \ldots,x_n\}. If the xi are viewed as bodies that have weights (or masses) \lambda_i, the point x is thus the barycenter of the xi, and this explains the origin of the term barycentric coordinates.

The barycentric coordinates define an affine isomorphism between the affine space A and the affine subspace of kn+1 defined by the equation \lambda_0+ \cdots +\lambda_n=1.

For affine spaces of infinite dimension, the same definition applies, using only finite sums. This means that for each point, only a finite number of coordinates are non-zero.

Affine coordinates

An affine frame of an affine space consists of a point, called the origin, and a linear basis of the associated vector space. More precisely, for an affine space A with associated vector space \overrightarrow A, the origin o belongs to A, and the linear basis is a basis (v1, ..., vn) of \overrightarrow A (for simplicity of the notation, we consider only the case of finite dimension, the general case is similar).

For each point p of A, there is a unique sequence \lambda_1 , \ldots,\lambda_n of elements of the ground field such that

p=o+\lambda_1 v_1 + \cdots +\lambda_n v_n,

or equivalently

\overrightarrow{op}=\lambda_1 v_1 + \cdots +\lambda_n v_n.

The \lambda_i are called the affine coordinates of p over the frame (o, v1, ..., vn).

Example: In Euclidean geometry, Cartesian coordinates are affine coordinates relative to an orthonormal frame, that is an affine frame (o, v1, ..., vn) such that (v1, ..., vn) is an orthonormal basis.

Relationship between barycentric and affine coordinates

Barycentric coordinates and affine coordinates are strongly related, and may be considered as equivalent.

In fact, given a barycentric frame

(x_0, \ldots,x_n),

one deduces immediately the affine frame

(x_0, \overrightarrow{x_0x_1}, \ldots, \overrightarrow{x_0x_n}) = (x_0, x_1-x_0, \ldots, x_n-x_0),

and, if

(\lambda_0, \lambda_1, \ldots, \lambda_n)

are the barycentric coordinates of a point over the barycentric frame, then the affine coordinates of the same point over the affine frame are

(\lambda_1, \ldots, \lambda_n).

Conversely, if

(o, v_1, \ldots, v_n)

is an affine frame, then

(o, o+v_1, \ldots, o+v_n)

is a barycentric frame. If

(\lambda_1, \ldots, \lambda_n)

are the affine coordinates of a point over the affine frame, then its barycentric coordinates over the barycentric frame are

(1-\lambda_1 - \cdots -\lambda_n, \lambda_1, \ldots, \lambda_n).

Therefore, barycentric and affine coordinates are almost equivalent. In most applications, affine coordinates are preferred, as involving less coordinates that are independent. However, in the situations where the important points of the studied problem are affinity independent, barycentric coordinates may lead to simpler computation, as in the following example.

Example of the triangle

The vertices of a non-flat triangle form an affine basis of the Euclidean plane. The barycentric coordinates allows to characterize easily the elements of the triangle that do not involve angles or distance:

The vertices are the points of barycentric coordinates (1, 0, 0), (0, 1, 0) and (0, 0, 1). The lines supporting the edges are the points that have a zero coordinate. The edges themselves are the points that have a zero coordinate and two nonnegative coordinates. The interior of the triangle are the points whose all coordinates are positive. The medians are the points that have two equal coordinates, and the centroid is the point of coordinates (1/3, 1/3, 1/3).

Properties of affine homomorphisms

Image and fibers

Let

f \colon E \to F

be an affine homomorphism, with

\overrightarrow {f} \colon \overrightarrow{E} \to \overrightarrow{F}

as associated linear map.

The image of f is the affine subspace f(E) of F, which has \overrightarrow {f} (\overrightarrow{E}) as associated vector space.. As an affine space does not have a zero element, an affine homomorphism does not have a kernel. However, for any point x of f(E), the inverse image f–1(x) of x is an affine subspace of E, of direction \overrightarrow {f}{}^{-1}(\overrightarrow {F}). This affine subspace is called the fiber of x.

Projection

An important example is the projection parallel to some direction onto an affine subspace. The importance of this example lies in the fact that Euclidean spaces are affine spaces, and that this kind of projections is fundamental in Euclidean geometry.

More precisely, given an affine space E with associated vector space \overrightarrow{E}, let F be an affine subspace of direction \overrightarrow{F}, and D be a complementary subspace of \overrightarrow{F} in \overrightarrow{E} (this means that every vector of \overrightarrow{E} may be decomposed in a unique way as the sum of an element of \overrightarrow{F} and an element of D). For every point x of E, its projection to F parallel to D is the unique point p(x) in F such that

p(x) - x \in D.

This is an affine homomorphism whose associated linear map \overrightarrow{p} is defined by

\overrightarrow{p}(x-y)=p(x)- p(y),

for x and y in E.

The image of this projection is F, and its fibers are the subspaces of direction D.

Quotient space

Although kernels are not defined for affine spaces, quotient spaces are defined. This results from the fact that "belonging to the same fiber of an affine homomorphism" is an equivalence relation.

Let E be an affine space, and D be a linear subspace of the associated vector space \overrightarrow{E}. The quotient E/D of E by D is the quotient of E by the equivalence relation

x-y \in D.

This quotient is an affine space, which has \overrightarrow{E}/D as associated vector space.

For every affine homomorphism E \to F, the image is isomorphic to the quotient of E by the kernel of the associated linear map. This is the first isomorphism theorem for affine spaces.

Affine transformation

Axioms

Affine space is usually studied as analytic geometry using coordinates, or equivalently vector spaces. It can also be studied as synthetic geometry by writing down axioms, though this approach is much less common. There are several different systems of axioms for affine space.

Coxeter (1969, p. 192) axiomatizes affine geometry (over the reals) as ordered geometry together with an affine form of Desargues's theorem and an axiom stating that in a plane there is at most one line through a given point not meeting a given line.

Affine planes satisfy the following axioms (Cameron 1991, chapter 2): (in which two lines are called parallel if they are equal or disjoint):

As well as affine planes over fields (or division rings), there are also many non-Desarguesian planes satisfying these axioms. (Cameron 1991, chapter 3) gives axioms for higher-dimensional affine spaces.

Relation to projective spaces

An affine space is a subspace of a projective space, which is in turn the quotient of a vector space by an equivalence relation (not by a linear subspace)

Affine spaces are subspaces of projective spaces: an affine plane can be obtained from any projective plane by removing a line and all the points on it, and conversely any affine plane can be used to construct a projective plane as a closure by adding a line at infinity whose points correspond to equivalence classes of parallel lines.

Further, transformations of projective space that preserve affine space (equivalently, that leave the hyperplane at infinity invariant as a set) yield transformations of affine space. Conversely, any affine linear transformation extends uniquely to a projective linear transformation, so the affine group is a subgroup of the projective group. For instance, Möbius transformations (transformations of the complex projective line, or Riemann sphere) are affine (transformations of the complex plane) if and only if they fix the point at infinity.

Affine algebraic geometry

In algebraic geometry, an affine variety (or, more generally, an affine algebraic set) is defined as the subset of an affine space that is the set of the common zeros of a set of so-called polynomial functions over the affine space. For defining a polynomial function over the affine space, one has to choose an affine coordinate system. Then, a polynomial function is a function such that the image of any point is the value of some multivariate polynomial function of the coordinates of the point. As a change of affine coordinates may be expressed by linear functions (more precisely affine functions) of the coordinates, this definition is independent of a particular choice of coordinates.

The choice of a system of affine coordinates for an affine space \mathbb A_k^n of dimension n over a field k induces an affine isomorphism between \mathbb A_k^n and the affine coordinate space kn. This explain why, for simplification, many textbooks write \mathbb A_k^n = k^n, and introduce affine algebraic varieties as the common zeros of polynomial functions over kn.[8]

As the whole affine space is the set of the common zeros of the zero polynomial, affine spaces are affine algebraic varieties.

Ring of polynomial functions

By the above definition, the choice of an affine coordinate system of an affine space space \mathbb A_k^n allows to identify the polynomial functions on \mathbb A_k^n with polynomials in n variables, the ith variable representing the function that maps a point to its ith coordinate. It follows that the set of polynomial functions over \mathbb A_k^n is a k-algebra, denoted k[\mathbb A_k^n], which is isomorphic to the polynomial ring k[X_1, \ldots, X_n].

When one changes of coordinates, the isomorphism between k[\mathbb A_k^n] and k[X_1, \ldots, X_n] changes accordingly, and this induces an automorphism of k[X_1, \ldots, X_n], which maps each indeterminate to a polynomial of degree one. It follows that the total degree defines a filtration of k[\mathbb A_k^n], which is independent from the choice of coordinates. The total degree defines also a graduation, but it depends on the choice of coordinates, as a change of affine coordinates may map indeterminates on non-homogeneous polynomials.

Zariski topology

Affine spaces over topological fields, such as the real or the complex numbers have a natural topology. The Zariski topology, which is defined for affine spaces over any field, allows to use topological methods in any case. Zariski topology is the unique topology on an affine space whose closed sets are affine algebraic sets (that is sets of the common zeros of polynomials functions over the affine set). As, over a topological field, polynomial functions are continuous, every Zariski closed set is closed for the usual topology, if any. In other words, over a topological field, Zariski topology is coarser than the natural topology.

There is a natural injective function from an affine space into the set of prime ideals (that is the spectrum) of its ring of polynomial functions. When affine coordinates have been chosen, this function maps the point of coordinates (a_1,\ldots, a_n) to the maximal ideal \langle X_1-a_1, \ldots, X_n-a_n\rangle . This function is an homeomorphism (for the Zariski topology of the affine space and of the spectrum of the ring of polynomial functions) of the affine space onto the image of the function.

The case of an algebraically closed ground field is specially important is algebraic geometry, because, in this case, the above homeomorphism is a homeomorphism between the affine space and the set of all maximal ideals of the ring of functions (this is Hilbert's Nullstellensatz).

This is the starting idea of scheme theory of Grothendieck, which consists, for studying algebraic varieties, of considering as "points", not only the points of the affine space, but also all the prime ideals of the spectrum. This allows gluing together algebraic varieties in a similar way as, for manifolds, charts are glued together for building a manifold.

Cohomology

Like all affine varieties, local data on an affine space can always be patched together globally: the cohomology of affine space is trivial. More precisely, H^i(\mathbb A_k^n,\mathbf F)=0 for all coherent sheaves F, and integers i>0. This property is also enjoyed by all other affine varieties. But also all of the etale cohomology groups on affine space are trivial. In particular, every line bundle is trivial. More generally, the Quillen–Suslin theorem implies that every algebraic vector bundle over an affine space is trivial.

See also

Notes

  1. The word translation is generally preferred to displacement vector, which may be confusing, as displacements include also rotations.
  2. Berger 1987, p. 32
  3. Berger, Marcel (1984), "Affine spaces", Problems in Geometry, p. 11, ISBN 9780387909714
  4. Berger 1987, p. 33
  5. Snapper, Ernst; Troyer, Robert J. (1989), Metric Affine Geometry, p. 6
  6. Tarrida, Agusti R. (2011), "Affine spaces", Affine Maps, Euclidean Motions and Quadrics, pp. 1–2, ISBN 9780857297105
  7. Nomizu & Sasaki 1994, p. 7
  8. Hartshorne, Ch. I, § 1.

References

This article is issued from Wikipedia - version of the Saturday, April 02, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.