Vector Spaces

Overview

Let F be a field. A vector space over F is an abelian group V under addition together with an operation of scalar multiplication of each element of V by each element of F on the left, such that for all a,bF and v,wV the following conditions hold:

Let V be a vector space. The elements of V are vectors and the elements of F are scalars.

Subspaces

Let V be a vector space over field F. If UV is a vector space over F under the same addition and scalar multiplication as V, then U is a subspace of V.

Criterion

A nonempty subset U of a vector space V is a subspace if and only if

  1. U is closed under addition, and
  2. U is closed under scalar multiplication.

Sums

Let V be a vector space over a field F and U1,U2,,Un be subspaces of V. Then their sumset (or simply sum) is the smallest subspace of V containing each of U1,U2,,Un, denoted as

i=1nUi=U1+U2++Un.

Unions

Let V be a vector space and U,WV. Then UW is a subspace if and only if either UW or WU.

Intersections

Let {UiiI} be an indexed set of subspaces of vector space V. Then iIUi is a subspace of V.

Direct Products

Let V1,V2,,Vn be vector spaces over a common field F. Let λF and ai,biVi for 1in. Then external direct product i=1nVi is a vector space over F under operations

(a1,a2,,an)+(b1,b2,,bn)=(a1+b1,a2+b2,,an+bn)λ(a1,a2,,an)=(λa1,λa2,,λan)

Direct Sums

Let V be a vector space over field F and U1,U2,,UnV. Then sumset Ui is an internal direct sum if each element of Ui can be written in only one way as a sum u1++um, where each uiUi.

This holds if and only if 0Ui is uniquely written as 0+0++0.

Linear Maps

Let V and W be vector spaces over field F. A linear map is a homomorphism between vector spaces. That is, a linear map ϕ:VW is a function that satisfies the following conditions for all a,bV and λF:

Note that ϕ is also a group homomorphism so the linked structural properties are preserved. Additionally,

Restrictions

Let TL(V,W) and UV. Then TU is a linear map from U to W.

Images

Let TL(V,W). Then the image of T, denoted Im(T), is a subspace of W consisting of those vectors of form Tv for some vV. That is,

Im(T)={TvvV}.

The dimension of the image is the rank of T.

Kernels

Let TL(V,W). Then the kernel of T, denoted Ker(T), is a subspace of V consisting of those vectors that T maps to 0. That is,

Ker(T)={vVTv=0}.

T is injective if and only if KerT={0}. The dimension of the kernel is the nullity of T.

Invertibility

Let V and W be vector spaces. A linear map TL(V,W) is invertible (or bijective) if there exists a linear map SL(W,V) such that ST equals the identity map on V and TS equals the identity map on W. Such an S is a (multiplicative) inverse of T.

Let U, V, and W be any vector spaces. Let SL(V,W) and TL(U,V). If ST is invertible, then S is surjective and T is injective. If U and V are finite-dimensional with dimU=dimV, then T is injective if and only if T is surjective.

Isomorphisms

An isomorphism is an invertible linear map. Two vector spaces are isomorphic if there is an isomorphism from one vector space onto the other. Two finite-dimensional vector spaces are isomorphic if and only if they have the same dimension.

Linear Map Space

Let V and W be vector spaces over field F. The set of linear maps from V to W is denoted L(V,W). This set is a vector space under the following definitions of addition and scalar multiplication:

(S+T)(v)=Sv+Tv(λS)(v)=λ(Sv)

If TL(U,V) and SL(V,W), we define the product STL(U,W) as (ST)(v)=S(Tv). That is, the product is normal function composition. The product operation satisfies:

A linear map from a vector space to itself is called an operator. The notation L(V) denotes the set of all operators on V. That is, L(V)=L(V,V).

Special Cases

Functions

Let F be a field and S be a nonempty set. Then FS, the set of all functions from S to F, is a vector space under the following operations of addition and scalar multiplication:

Polynomials

Let F be a field. Then P(F), the set of all polynomials with coefficients in F, is a vector space under the usual operations of addition and scalar multiplication. Similarly, for any nN, Pn(F) is also a vector space.

Pn(F) is a subspace of P(F) which is a subspace of FF.

Real Coordinates

The standard basis vectors in R2 are defined as i=1,0 and j=0,1. Those in R3 are defined as i=1,0,0, j=0,1,0, and k=0,0,1. This is naturally generalized to vector space Rn for any positive integer n.

A vector with initial point at the origin is said to be in standard position.

vector-standard-position.png

Powered by Forestry.md