FACTOID # 53: If you thought Antarctica was inhospitable, think again - its land area is only ninety-eight percent ice. Reassuringly, the other 2% is categorised as "barren rock".
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > Quotient space (linear algebra)
Jump to: navigation, search

In linear algebra, the quotient of a vector space V by a subspace N is a vector space obtained by "collapsing" N to zero. The space obtained is called a quotient space and is denoted V/N (read V mod N). Linear algebra is the branch of mathematics concerned with the study of vectors, vector spaces (or linear spaces), linear transformations, and systems of linear equations. ... Jump to: navigation, search A vector space (or linear space) is the basic object of study in the branch of mathematics called linear algebra. ... The concept of a linear subspace (or vector subspace) is important in linear algebra and related fields of mathematics. ...

Contents


Definition

Formally, the construction is as follows. 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 − yN. That is, x is related to y if one can be obtained from the other by adding an element of N. Let [x] denote the equivalence class containing x. We define scalar multiplication and addition on the equivalent classes by Jump to: navigation, search A vector space (or linear space) is the basic object of study in the branch of mathematics called linear algebra. ... In abstract algebra, a field is an algebraic structure in which the operations of addition, subtraction, multiplication and division (except division by zero) may be performed, and the same rules hold which are familiar from the arithmetic of ordinary numbers. ... The concept of a linear subspace (or vector subspace) is important in linear algebra and related fields of mathematics. ... In mathematics, an equivalence relation on a set X is a binary relation on X that is reflexive, symmetric and transitive, i. ... In mathematics, given a set X and an equivalence relation ~ on X, the equivalence class of an element a in X is the subset of all elements in X which are equivalent to a: [a] = { x ∈ X | x ~ a } The notion of equivalence classes is useful for constructing sets out...

  • α[x] = [αx] for all α ∈ K, and
  • [x] + [y] = [x+y].

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. In mathematics, the term well-defined is used to specify that a certain concept (a function, a property, a relation, etc. ...


Examples and properties

This simplest example is to take a quotient of Rn. Let mn and let Rm be the subspace spanned by the first m standard basis vectors. Two vectors of Rn are then seen to be equivalent if and only if they are identical in the last nm coordinates. The quotient space Rn/ Rm is isomorphic to Rnm in an obvious manner. In mathematics, an isomorphism (in Greek isos = equal and morphe = shape) is a kind of interesting mapping between objects. ...


In general, if V is n-dimensional vector space and U is an m-dimensional subspace, the quotient space V/U has dimension nm.


Let T : VW be a linear operator. The kernel (or nullspace) of T, denoted ker(T) is the set of all xV such that Tx = 0. The kernel is a subspace of V. The first isomorphism theorem of linear algebra says that the quotient space V/ker(T) is isomorphic to the image of V in W. An immediate corollary, for finite-dimensional spaces, is that the dimension of V is equal to the dimension of the kernel (the nullity of T) plus the dimension of the image (the rank of T). In mathematics, a linear transformation (also called linear operator or linear map) is a function between two vector spaces that respects the arithmetical operations addition and scalar multiplication defined on vector spaces, or, in other words, it preserves linear combinations. Definition and first consequences Formally, if V and W are... In the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective. ... The null space (also nullspace) of a matrix A is the set of all vectors v which solve the equation Av = 0, a linear subspace of the space of all vectors. ... In mathematics, the isomorphism theorems are three theorems, applied widely in the realm of universal algebra, stating the existence of certain natural isomorphisms. ... In mathematics, an isomorphism (in Greek isos = equal and morphe = shape) is a kind of interesting mapping between objects. ...


Quotient of a Banach space by a subspace

If X is a Banach space and M is a closed subspace of X, then the quotient X/M is again a Banach space. The quotient space is already endowed with a vector space structure by the construction of the previous section. We define a norm on X/M by In mathematics, Banach spaces, named after Stefan Banach who studied them, are one of the central objects of study in functional analysis. ...

The quotient space X/M is complete with respect to the norm, so it is a Banach space. In mathematical analysis, a metric space M is said to be complete (or Cauchy) if every Cauchy sequence of points in M has a limit that is also in M. Intuitively, a space is complete if it doesnt have any holes, if there arent any points missing. For...


Examples

Let C[0,1] denote the Banach space of continuous real-valued functions on the interval [0,1]. Denote the subspace of all functions fC[0,1] with f(0) = 0 by M. Then the equivalence class of some function g is determined by its value at 0, and the quotient space C[0,1] / M is isomorphic to R.


If X is a Hilbert space, then the quotient space X/M is isomorphic to the orthogonal complement of M. In mathematics, a Hilbert space is an inner product space that is complete with respect to the norm defined by the inner product. ... In mathematics, a Hilbert space is an inner product space that is complete with respect to the norm defined by the inner product. ...


Related topics


  Results from FactBites:
 
Quotient space - Wikipedia, the free encyclopedia (952 words)
In topology and related areas of mathematics, a quotient space (also called an identification space) is, intuitively speaking, the result of identifying or "gluing together" certain points of a given space.
The quotient space X/~ is then homeomorphic to Y (with its quotient topology) via the homeomorphism which sends the equivalence class of x to f(x).
The topological dimension of a quotient space can be more (as well as less) than the dimension of the original space; space-filling curves provide such examples.
Linear Transformations (959 words)
In the previous example, the kernel is the z axis, and the quotient space, or image space, is the xy plane.
If a linear combination of elements in w becomes 0, then the same linear combination of preimages from y maps to something in the kernel, which is spanned by x.
The dimension of the space is the sum of the dimensions of the two subspaces, minus the dimension of their intersection.
  More results at FactBites »


 
 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments

Want to know more?
Search encyclopedia, statistics and forums:

 


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 0825, t