Definition
Formally, the construction is as follows (Halmos 1974, §21-22). Let V be a vector space over a field K, and let N be a subspace of V. We define an equivalence relation ~ on V by stating that x ~ y if x − y ∈ N. That is, x is related to y if one can be obtained from the other by adding an element of N. From this definition, one can deduce that any element of N is related to the zero vector; in other words all the vectors in N get mapped into the equivalence class of the zero vector.
The equivalence class of x is often denoted
- = x + N
since it is given by
- = {x + n : n ∈ N}.
The quotient space V/N is then defined as V/~, the set of all equivalence classes over V by ~. Scalar multiplication and addition are defined on the equivalence classes by
- α = for all α ∈ K, and
- + = .
It is not hard to check that these operations are well-defined (i.e. do not depend on the choice of representative). These operations turn the quotient space V/N into a vector space over K with N being the zero class, .
The mapping that associates to v ∈ V the equivalence class is known as the quotient map.
Read more about this topic: Quotient Space (linear Algebra)
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)