Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

5.1: Examples of Vector Spaces

( \newcommand{\kernel}{\mathrm{null}\,}\)

One can find many interesting vector spaces, such as the following:

Example 5.1.1:

RN={ff:N}

Here the vector space is the set of functions that take in a natural number n and return a real number. The addition is just addition of functions: (f1+f2)(n)=f1(n)+f2(n). Scalar multiplication is just as simple: cf(n)=cf(n).

We can think of these functions as infinitely large ordered lists of numbers: f(1)=13=1 is the first component, f(2)=23=8 is the second, and so on. Then for example the function f(n)=n3 would look like this:

f=(1827n3).

Thinking this way, N is the space of all infinite sequences. Because we can not write a list infinitely long (without infinite time and ink), one can not define an element of this space explicitly; definitions that are implicit, as above, or algebraic as in f(n)=n3 (for all nN) suffice.

Let's check some axioms.

  • (+i) (Additive Closure) (f1+f2)(n)=f1(n)+f2(n) is indeed a function N, since the sum of two real numbers is a real number.
  • (+iv) (Zero) We need to propose a zero vector. The constant zero function g(n)=0 works because then f(n)+g(n)=f(n)+0=f(n).

The other axioms should also be checked. This can be done using properties of the real numbers.

Example 5.1.2: The space of functions of one real variable

RR={ff:}

The addition is point-wise (f+g)(x)=f(x)+g(x), as is scalar multiplication

\[c\cdot f(x)=cf(x)\, .$$

To check that is a vector space use the properties of addition of functions and scalar multiplication of functions as in the previous example.

We can not write out an explicit definition for one of these functions either, there are not only infinitely many components, but even infinitely many components between any two components! You are familiar with algebraic definitions like f(x)=ex2x+5. However, most vectors in this vector space can not be defined algebraically. For example, the nowhere continuous function

f(x)={1,  xQ0,  xQ

Example 5.1.3  

{,,#}={f:{,,#}}. Again, the properties of addition and scalar multiplication of functions show that this is a vector space.

You can probably figure out how to show that S is vector space for any set S. This might lead you to guess that all vector spaces are of the form S for some set S. The following is a counterexample.

Example 5.1.4: differentiable functions

Another very important example of a vector space is the space of all differentiable functions:

{f:|ddxf exists}.

From calculus, we know that the sum of any two differentiable functions is differentiable, since the derivative distributes over addition. A scalar multiple of a function is also differentiable, since the derivative commutes with scalar multiplication (ddx(cf)=cddxf). The zero function is just the function such that 0(x)=0 for every x. The rest of the vector space properties are inherited from addition and scalar multiplication in .

Similarly, the set of functions with at least k derivatives is always a vector space, as is the space of functions with infinitely many derivatives. None of these examples can be written as S for some set S. Despite our emphasis on such examples, it is also not true that all vector spaces consist of functions. Examples are somewhat esoteric, so we omit them.

Another important class of examples is vector spaces that live inside n but are not themselves n.

Example 5.1.6: Solution set to a homogeneous linear equation

Let

M=(111222333).

The solution set to the homogeneous equation Mx=0 is

{c1(110)+c2(101)|c1,c2}.

This set is not equal to 3 since it does not contain, for example, (100).
The sum of any two solutions is a solution, for example

[2(110)+3(101)]+[7(110)+5(101)]=9(110)+8(101)

and any scalar multiple of a solution is a solution

4[5(110)3(101)]=20(110)12(101).

This example is called a subspace because it gives a vector space inside another vector space. See chapter 9 for details. Indeed, because it is determined by the linear map given by the matrix M, it is called kerM, or in words, the kernel of M, for this see chapter 16.

Similarly, the solution set to any homogeneous linear equation is a vector space: Additive and multiplicative closure follow from the following statement, made using linearity of matrix multiplication:

If Mx1=0 and Mx2=0 then M(c1x1+c2x2)=c1Mx1+c2Mx2=0+0=0.

A powerful result, called the subspace theorem (see chapter 9) guarantees, based on the closure properties alone, that homogeneous solution sets are vector spaces.

More generally, if V is any vector space, then any hyperplane through the origin of V is a vector space.

Example 5.1.7:  

Consider the functions f(x)=ex and g(x)=e2x in . By taking combinations of these two vectors we can form the plane {c1f+c2g|c1,c2} inside of . This is a vector space; some examples of vectors in it are 4ex31e2x, πe2x4ex and 12e2x.

A hyperplane which does not contain the origin cannot be a vector space because it fails condition (+iv).

It is also possible to build new vector spaces from old ones using the product of sets. Remember that if V and W are sets, then
their product is the new set

V×W={(v,w)|vV,wW}

or in words, all ordered pairs of elements from V and W. In fact V×W is a vector space if V and W are. We have actually been using this fact already:

Example 5.1.8:  

The real numbers R form a vector space (over R). The new vector space

R×R={(x,y)|xR,yR}

has addition and scalar multiplication defined by

(x,y)+(x,y)=(x+x,y+y) and c.(x,y)=(cx,cy)

Of course, this is just the vector space R2=R{1,2}.

Non-Examples

The solution set to a linear non-homogeneous equation is not a vector space because it does not contain the zero vector and therefore fails (iv).

Example \(\PageIndex{9}\):  

The solution set to

(1100)(xy)=(10)

is {(10)+c(11)|c}. The vector (00) is not in this set.

Do notice that once just one of the vector space rules is broken, the example is not a vector space. Most sets of n-vectors are not vector spaces.

Example 5.1.11:

P:={(ab)|a,b0} is not a vector space because the set fails (i) since (11)P but 2(11)=(22)P.

Sets of functions other than those of the form S should be carefully checked for compliance with the definition of a vector space.

Example 5.1.12:

The set of all functions which are never zero

{f:f(x)0 for any x},

does not form a vector space because it does not satisfy (+i). The functions f(x)=x2+1 and g(x)=5 are in the set, but their sum (f+g)(x)=x24=(x+2)(x2) is not since (f+g)(2)=0.

Contributors and Attributions


This page titled 5.1: Examples of Vector Spaces is shared under a not declared license and was authored, remixed, and/or curated by David Cherney, Tom Denton, & Andrew Waldron.

Support Center

How can we help?