Cosets of a linear subspace
If is a linear subspace of a vector space over and , then the set
is called a coset of .
Eg. is a coset of the line on the plave.
You can also see the cosets as equivalence classes of relation iff .
Notice that a system of equations describing a coset of a subspace has the same left-hand side as the system describing , but it is not necessary homogenous — the right-hand side can be chosen in such a way that a given vector satisfies it and thus is in the coset..
Given points , we call their affine combination, if .
It is easy to notice that a subset of a vector space is closed under taking affine combination if and only if it is a coset of a linear subspace. Notice also that an affine combination of affine combinations is an affine combination.
The set of all affine combinations of points is denoted by .
Points are affinally independent, if none of them is an affine combination of others.
Affine subspaces of a linear space
Till now we have dealt with linear spaces, in particular in all our lines, planes and other subspaces the zero vector was always included. But obviously it makes sense to study also such spaces but translated from zero by a given vector. Such subspaces (are no longer linear) are called affine subspaces of a linear space. The term hyperplane is used to describe affine subspaces of dimension one less then the whole linear space we work in.
So if is a linear subspace and is a vector, then (meaning subspace translated by ), is an affine subspace. The space will be called the tangent space (or the direction) to and denoted by (or ).
An affine subspace of a linear space can be described in the following ways:
- giving a vector and its direction, e.g.: .
- giving a point basis (points it goes through) (we need one point more then the dimension of considered subspace and those points have to be affinally independent), e.g.: (sometimes denoted by ).
- giving a parametrization, e.g..:
- giving a system of linear equations, e.g.:
As usually we would like to be able to change the form of description.
A vector with a the tangent space and a set of points
Given a translation vector and the tangent space, we can easily get the points, which are included in the considered affine subspace. E.g. if , it can be also defined as the only affine subspace including points: .
Reversely, if H goes through: , choose one of those points as a translation vector, and we get that .
A translation vector with the direction and parametrization
Given a translation vector and vectors spanning the tangent space we can easily get a parametrization. E.g. if , then every vector of is of form , so .
Reversely, given we know that all the vectors of are of form , so .
From a translation vector and the direction to a system of linear equations
The system of linear equations describing a given affine subspace differ from the system of equation describing its tangent space only by the column of free coefficients (because the difference between two points from always is in , so the difference of two solutions of the system of linear equations we are looking for is a solution of the system of linear equations describing the tangent space) — and in the second space we have an uniform system which we already know how to find. Therefore start with finding the system describing . For example, let . First find the system describing — we already know how to find such a system and so is given by:
The given translation vector has to be a solution of the system we are looking for, so we have to choose the free coefficients in such a way that it will be true. So we can simply substitute the translation vector into the left sides of the equations: . Therefore, the system of equations we are looking for is the following:
From a system of equations to a parametrization
Notice, that simply given a system of equations for , its general solution is a parametrization of !
A subset of an affine space is its affine subspace, if it is closed under taking affine combinations of (finitely many) points.
Point basis and basic system
We say that a system of points spans an affine subspace , if .
An affinally independent system , which spans an affine subspace is called its point basis. Then for every point there are unique such that and . These are the coordinates of in this point basis.
For points , the vector is sometimes denoted by .
Consider a coset of a linear subspace . Then, if is a basis of , the system is called the basic system of this coset. Notice that then is its point basis. And also, if is its point basis, then is its basic system.
If is a basic system of a coset and i , then are unique and are called the coordinates of with respect to this basic system.