Find a concept
Start typing to search the mathematical index.
Every nonempty affine set is parallel to a unique subspace L=Ω−Ω.
Let be a vector space and let be a nonempty affine set.
Proposition: The set is parallel to a unique linear subspace , and this subspace is
Context: The subspace captures the "direction" of the affine set. It is the appropriate linear object used to define hyperplanes as affine sets of codimension one.
A vector space over a field is a set with operations (functions) and , and an element , satisfying the following for all and :
Let be a vector space over a field , and let . The set is a linear subspace of if
With the inherited operations, is itself a vector space.
Let be a vector space. An affine set is called a hyperplane if it has codimension one.
More precisely: if , it is parallel to a unique subspace (see Ω−Ω characterization). Then is a hyperplane iff .
In real vector spaces, hyperplanes are exactly level sets of nonzero linear functionals; see the level-set characterization.
Let be a vector space and let be a linear subspace. The codimension of in is
where is the quotient space of by .
Codimension measures "how many independent linear constraints" define . Codimension one subspaces play a special role in the geometry of hyperplanes.