This entry is the first post in a series on convex geometry, and in particular convex bodies, that aims to give a summary of the introductory ideas in discrete geometry necessary to begin research on convex bodies and other topics in convex geometry.
is the set of all -tuples of real numbers , and the elements of are called vectors, with the zero vector denoted 0. That is to say, is a set which contains, as its elements, points in -space with a real number that represents the coordinates of the point. In this way, we identify with each element in a unique point in -space. By exploring the ways in which certain subsets of interact with each other, the wonderful structures studied in convex geometry emerge. Toward this end, the background terminology necessary to define a hyperplane in is now presented.
Generally, a hyperplane is a certain subspace of with the property that it separates into two parts (called halfspaces) such that the line connecting any two points lying on opposite sides of the hyperplane must intersect the hyperplane. For and , a hyperplane is a line and a plane, respectively. To define such a property formally requires the extension of linear concepts, such as linear combinations, linear subspaces, and linear functions, to the affine versions of each. Before discussing these extensions of linear concepts, the definitions and basic results in linear algebra necessary to define the linear concepts are presented.
For scalars and vectors , a vector is a linear combination when . So, a linear combination of vectors from is a vector formed by summing scalar multiples of other vectors in . Linear combinations immediately apply to defining a linear subspace of ; that is to say, a set such that and , for all and . Intuitively, a linear subspace can be thought of as a set which, given the basic operations over the field (in this case ), keeps to itself; that is, any linear combination of vectors from stays in .
Considering that a linear subspace is a subset of , it will inherit certain global properties, such as the operations over the field, but how is it possible to characterize the difference between a linear subspace and the entire space? While there are many answers to this question, the general approach is to classify the “important vectors” by which the linear subspace can be generated by linear combinations. In order to single out such vectors, the notion of linear independence, which states that no vector is a linear combination of the other vectors in the linear subspace, is necessary. In general, a set of vectors are linearly independent if and only if implies , for all . With this notion of linear independence the vectors necessary to characterize a linear subspace are narrowed down to a set of linearly independent vectors. Yet, the linear subspace in which these linearly independent vectors are contained still needs to “capture” the entire linear subspace, and so there must exist a linear combination of the linearly independent set of vectors for any vector in the linear subspace. That is, for a set of vectors , the linear hull, span, is the set of all linear combinations of vectors from the linear subspace. Therefore, the “important vectors” referred to earlier, the basis vectors, are a set of linearly independent vectors which span the linear subspace. Formally, a linear basis for a linear subspace is a linearly independent set of vectors from such that . Resultantly, our characterization of any linear subspace is the dimension, written dim, as the number of basis vectors in a linear basis for .
For motivating the generalization of linear concepts to affine concepts, there must be a coherent picture for the distinction. What, in general, is the difference between a linear subspace and an affine subspace of ? Well, it was defined that a linear subspace has the property that , for all ; this means that for , the linear combination . So, any linear subspace must contain the zero vector whereas for affine subspaces this is the not the case. An affine subspace can be thought of as a translation of a linear subspace , where . To capture this property, let be an affine subspace if and only if , for all such that . This gives rise to the definition of an affine combination, which is a linear combination , with the additional condition that . These conditions on an affine subspace and affine combinations that the coefficients sum to one may seem strange, but are necessary in order to discuss vector quantities independent of the need for an origin. To reify this necessity in , let and let the coefficients of the affine combination be . For the origin at , , while for an origin at , it is still the case that . It seems that affine combinations are truly independent of the origin!
As in the linear case, the affine hull of a set of points is the set of all affine combinations, denoted . Analogously to linear independence, affine independence is defined in terms of a condition on affine combinations of points equal to zero with an additional constraint that ensures the affine hull is the smallest affine subspace which contains the points. A set of points is affinely independent if and only if for , the linear combination implies that , for all . Hence, the affine basis of an affine space is an affinely independent set of points from such that . Since affine combinations can be thought of linear combinations without reference to the origin, the affine independence of -points is equivalent to the linear independence of -vectors by fixing one point as the origin in the affine case. It is then no surprise that the dimension of a non-empty affine space is the dimension of the linear subspace such that . That is, dim if and only if is the largest non-negative integer such that there is an affinely independent set of -points from . While the jump from linear concepts to affine concepts may be overwhelming at first, the intuitive notion of a hyperplane reifies much of what has been discussed into a simple geometric picture.
At long last, for an affine space with dim, a hyperplane, , is an -dimensional affine subspace of . As desired, this definition fits with our understanding of a line and a plane in and . The fundamental property of a hyperplane is that it splits the space it is contained in into two halfspaces which can be considered open or closed depending on if the halfspaces contain the hyperplane. Explicitly, a hyperplane is a set of points and can be represented as such by , where , and denotes the standard inner product or dot product between and . Thus, the closed halfspaces in bounded by the hyperplane are , with open halfspaces given by strictly less-than . Topologically, the boundary of a closed halfspace is a hyperplane, the interior of a closed half space is the closed half space without the hyperplane, and the closure of the interior of a closed halfspace is the closed halfspace. The idea of a hyperplane is foundational in the study of convex geometry as it illustrates powerful ideas, such as duality and polarity, concretely, while proving useful in functional analysis and numerous other fields of mathematics.