Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Vector space"
Line 9: Line 9:
 
* Scalar multiplication is associative, so if <math>r, s \in F</math> and <math>{\mathbf v} \in V</math> then <math>(rs){\mathbf v} = r(s{\mathbf v})</math>.
 
* Scalar multiplication is associative, so if <math>r, s \in F</math> and <math>{\mathbf v} \in V</math> then <math>(rs){\mathbf v} = r(s{\mathbf v})</math>.
  
−
* Scalar multiplication is [[distributive property | distributive]] over both vector and scalar addition, so if <math>r \in F</math> and <math>{\mathbf v, w} \in V</math> then <math>r({\mathbf v + w}) = r{\mathbf v} + r{\mathbf w}</math>.
+
* Scalar multiplication [[distributive property | distributes]] over vector addition, so if <math>r \in F</math> and <math>\mathbf{v, w} \in V</math> then <math>r(\mathbf{v + w}) = r{\mathbf v} + r{\mathbf w}</math>.
  
−
* if <math>x \in V</math>, <math>1.{\mathbf x}={\mathbf x}</math>
+
* Scalar multiplication by the multiplicative identity of <math>F</math> is the identity transformation, so <math>\forall {\mathbf x} \in V</math>, <math>1\cdot{\mathbf x}={\mathbf x}</math>
  
 
== Subspaces ==
 
== Subspaces ==
  
−
If <math>S \subseteq V</math>, and <math>S</math> is a vector space itself, then it is called a subspace of  
+
If <math>S \subseteq V</math> and <math>S</math> is a vector space itself (over the same field), then it is called a ''subspace'' of <math>V</math>.
−
<math>V</math>.
 
  
 
== Independent Subsets ==
 
== Independent Subsets ==
Line 22: Line 21:
 
Let <math>V</math> be any vector space.  Let <math>I</math> be a subset of <math>V</math> such that no linear combination of elements of <math>I</math> with coefficients not all zero gives the null vector. Then <math>I</math> is said to be a linearly independent subset of <math>V</math>. An independent subset is said to be maximal if on adding any other element it ceases to be independent.
 
Let <math>V</math> be any vector space.  Let <math>I</math> be a subset of <math>V</math> such that no linear combination of elements of <math>I</math> with coefficients not all zero gives the null vector. Then <math>I</math> is said to be a linearly independent subset of <math>V</math>. An independent subset is said to be maximal if on adding any other element it ceases to be independent.
  
−
== Linear Manifolds ==
+
== Span ==
  
−
Let <math>X</math> be a subset of some vector space <math>V</math>. Then it can be proved that the set of all linear combinations of the elements of <math>X</math> forms a vector space. This space is said to have been generated by <math>X</math>, and is called the linear manifold <math>M(X)</math> of <math>X</math>.
+
Let <math>X</math> be a subset of some vector space <math>V</math>. Then the set of all linear combinations of the elements of <math>X</math> forms a subspace of <math>V</math>. This space is said to have been generated by <math>X</math>, and is called the ''span'' of <math>X</math>.
  
 
== Generating Subset ==
 
== Generating Subset ==
  
−
If <math>X</math> is a subset of a vector space <math>V</math>, such that <math>M(X) = V</math>, <math>X</math> is said to be a generating subset of <math>V</math>. A generating subset is said to be minimal if on removing any element it ceases to be generating.
+
If <math>X</math> is a subset of a vector space <math>V</math> such that <math>\textrm{span}(X) = V</math>, <math>X</math> is said to be a generating subset of <math>V</math>. A generating subset is said to be ''minimal'' if on removing any element it ceases to be generating.
  
 
== Basis and dimension ==
 
== Basis and dimension ==
  
 
The following statements can be proved using the above definitions:
 
The following statements can be proved using the above definitions:
−
* All minimal generating subsets have the same cardinality.
+
* All minimal generating subsets have the same [[cardinality]].
 
* All maximal independent subsets have the same cardinality.
 
* All maximal independent subsets have the same cardinality.
 
* The cardinality of an independent subset can never exceed that of a generating subset.
 
* The cardinality of an independent subset can never exceed that of a generating subset.
−
An independent generating subset of <math>V</math> is said to be its basis. A basis is always a maximal independent subset and a minimal generating subset. As can be easily seen, the cardinalities of all bases are equal. This cardinality is said to be the dimension of <math>V</math>.
+
 
 +
An independent generating subset of <math>V</math> is said to be its ''basis''. A basis is always a maximal independent subset and a minimal generating subset. The cardinalities of all bases are equal. This cardinality is said to be the ''dimension'' of <math>V</math>.
  
 
== Isomorphism ==
 
== Isomorphism ==
  
−
Any two vector spaces of the same dimension are said to be isomporphous - any result obtained for one can be applied to the other.
+
Any two vector spaces of the same dimension over the same field are isomorphic -- there exists a [[bijection]] between the vector spaces which commutes with scalar multiplication and vector addition.  Two isomorphic vector spaces are in some sense "the same," and any fact about one should also be true of the other.

Revision as of 17:37, 4 November 2006

This article is a stub. Help us out by expanding it.

A vector space over a field (frequently the real numbers) is an object which arises in linear algebra and abstract algebra. A vector space $V$ over a field $F$ consists of a set (of vectors) and two operations, vector addition and scalar multiplication, which obey the following rules:

Axioms of a vector space

  • Scalar multiplication is associative, so if $r, s \in F$ and ${\mathbf v} \in V$ then $(rs){\mathbf v} = r(s{\mathbf v})$.
  • Scalar multiplication distributes over vector addition, so if $r \in F$ and $\mathbf{v, w} \in V$ then $r(\mathbf{v + w}) = r{\mathbf v} + r{\mathbf w}$.
  • Scalar multiplication by the multiplicative identity of $F$ is the identity transformation, so $\forall {\mathbf x} \in V$, $1\cdot{\mathbf x}={\mathbf x}$

Subspaces

If $S \subseteq V$ and $S$ is a vector space itself (over the same field), then it is called a subspace of $V$.

Independent Subsets

Let $V$ be any vector space. Let $I$ be a subset of $V$ such that no linear combination of elements of $I$ with coefficients not all zero gives the null vector. Then $I$ is said to be a linearly independent subset of $V$. An independent subset is said to be maximal if on adding any other element it ceases to be independent.

Span

Let $X$ be a subset of some vector space $V$. Then the set of all linear combinations of the elements of $X$ forms a subspace of $V$. This space is said to have been generated by $X$, and is called the span of $X$.

Generating Subset

If $X$ is a subset of a vector space $V$ such that $\textrm{span}(X) = V$, $X$ is said to be a generating subset of $V$. A generating subset is said to be minimal if on removing any element it ceases to be generating.

Basis and dimension

The following statements can be proved using the above definitions:

  • All minimal generating subsets have the same cardinality.
  • All maximal independent subsets have the same cardinality.
  • The cardinality of an independent subset can never exceed that of a generating subset.

An independent generating subset of $V$ is said to be its basis. A basis is always a maximal independent subset and a minimal generating subset. The cardinalities of all bases are equal. This cardinality is said to be the dimension of $V$.

Isomorphism

Any two vector spaces of the same dimension over the same field are isomorphic -- there exists a bijection between the vector spaces which commutes with scalar multiplication and vector addition. Two isomorphic vector spaces are in some sense "the same," and any fact about one should also be true of the other.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Vector_space&oldid=10812"