Back to Linear Algebra

Definition and Examples

Ten axioms, closure above all, checked against polynomials, matrices, and function sets to decide which collections really qualify.

Linear Algebra, Definition and Examples

Status
FlagsLoading your progress…

29 exercises

Exercise 1

Name the zero vector for each of these vector spaces.

  • The space of degree three polynomials under the natural operations.

  • The space of 2 ⁣× ⁣42\!\times\!4 matrices.

  • The space {f ⁣:[0..1]→R∣f is continuous}\{\hskip 1.00006pt\text{$f\colon[0..1]\to\mathbb{R}$}\mid f\text{ is continuous}\hskip 1.00006pt\}.

  • The space of real-valued functions of one natural number variable.

3.0

Exercise 2

Find the additive inverse, in the vector space, of the vector.

  • In P3\mathcal{P}_{3}, the vector −3−2x+x2-3-2x+x^{2}.

  • In the space 2 ⁣× ⁣22\!\times\!2,

  • In {aex+be−x∣a,b∈R}\{\hskip 1.00006ptae^{x}+be^{-x}\mid a,b\in\mathbb{R}\hskip 1.00006pt\}, the space of functions of the real variable xx under the natural operations, the vector 3ex−2e−x3e^{x}-2e^{-x}.

3.0

Exercise 3

For each, list three elements and then show it is a vector space.

  • The set of linear polynomials P1={a0+a1x∣a0,a1∈R}\mathcal{P}_{1}=\text{$\{\hskip 1.00006pta_{0}+a_{1}x\mid a_{0},a_{1}\in\mathbb{R}\hskip 1.00006pt\}$} under the usual polynomial addition and scalar multiplication operations.

  • The set of linear polynomials {a0+a1x∣a0−2a1=0}\{\hskip 1.00006pta_{0}+a_{1}x\mid a_{0}-2a_{1}=0\hskip 1.00006pt\}, under the usual polynomial addition and scalar multiplication operations.

Hint. Use Example 1.3 as a guide. Most of the ten conditions are just verifications.

3.0

Exercise 4

For each, list three elements and then show it is a vector space.

  • The set of 2 ⁣× ⁣22\!\times\!2 matrices with real entries under the usual matrix operations.

  • The set of 2 ⁣× ⁣22\!\times\!2 matrices with real entries where the 2,12,1 entry is zero, under the usual matrix operations.

3.0

Exercise 5

For each, list three elements and then show it is a vector space.

  • The set of three-component row vectors with their usual operations.

  • The set

    {(xyzw)∈R4∣x+y−z+w=0}\{\hskip 1.00006pt\begin{pmatrix}x\\ y\\ z\\ w\end{pmatrix}\in\mathbb{R}^{4}\mid x+y-z+w=0\hskip 1.00006pt\}

    under the operations inherited from R4\mathbb{R}^{4}.

3.0

Exercise 6

Show that each of these is not a vector space. (Hint. Check closure by listing two members of each set and trying some operations on them.)

  • Under the operations inherited from R3\mathbb{R}^{3}, this set

    {(xyz)∈R3∣x+y+z=1}\{\hskip 1.00006pt\begin{pmatrix}x\\ y\\ z\end{pmatrix}\in\mathbb{R}^{3}\mid x+y+z=1\hskip 1.00006pt\}
  • Under the operations inherited from R3\mathbb{R}^{3}, this set

    {(xyz)∈R3∣x2+y2+z2=1}\{\hskip 1.00006pt\begin{pmatrix}x\\ y\\ z\end{pmatrix}\in\mathbb{R}^{3}\mid x^{2}+y^{2}+z^{2}=1\hskip 1.00006pt\}
  • Under the usual matrix operations,

    {(a1bc)∣a,b,c∈R}\{\hskip 1.00006pt\begin{pmatrix}a&1\\ b&c\end{pmatrix}\mid a,b,c\in\mathbb{R}\hskip 1.00006pt\}
  • Under the usual polynomial operations,

    {a0+a1x+a2x2∣a0,a1,a2∈R+}\{\hskip 1.00006pta_{0}+a_{1}x+a_{2}x^{2}\mid a_{0},a_{1},a_{2}\in\mathbb{R}^{+}\hskip 1.00006pt\}

    where R+\mathbb{R}^{+} is the set of reals greater than zero

  • Under the inherited operat…

3.0

Exercise 7

Define addition and scalar multiplication operations to make the complex numbers a vector space over R\mathbb{R}.

3.0

Exercise 8

Is the set of rational numbers a vector space over R\mathbb{R} under the usual addition and scalar multiplication operations?

3.0

Exercise 9

Show that the set of linear combinations of the variables x,y,zx,y,z is a vector space under the natural addition and scalar multiplication operations.

3.0

Exercise 10

Prove that this is not a vector space: the set of two-tall column vectors with real entries subject to these operations.

3.0

Exercise 11

Prove or disprove that R3\mathbb{R}^{3} is a vector space under these operations.

  • (x1y1z1)+(x2y2z2)=(000)andr(xyz)=(rxryrz)\begin{pmatrix}x_{1}\\ y_{1}\\ z_{1}\end{pmatrix}+\begin{pmatrix}x_{2}\\ y_{2}\\ z_{2}\end{pmatrix}=\begin{pmatrix}0\\ 0\\ 0\end{pmatrix}\quad\text{and}\quad r\begin{pmatrix}x\\ y\\ z\end{pmatrix}=\begin{pmatrix}rx\\ ry\\ rz\end{pmatrix}

  • (x1y1z1)+(x2y2z2)=(000)andr(xyz)=(000)\begin{pmatrix}x_{1}\\ y_{1}\\ z_{1}\end{pmatrix}+\begin{pmatrix}x_{2}\\ y_{2}\\ z_{2}\end{pmatrix}=\begin{pmatrix}0\\ 0\\ 0\end{pmatrix}\quad\text{and}\quad r\begin{pmatrix}x\\ y\\ z\end{pmatrix}=\begin{pmatrix}0\\ 0\\ 0\end{pmatrix}

3.0

Exercise 12

For each, decide if it is a vector space; the intended operations are the natural ones.

  • The diagonal 2 ⁣× ⁣22\!\times\!2 matrices

    {(a00b)∣a,b∈R}\{\hskip 1.00006pt\begin{pmatrix}a&0\\ 0&b\end{pmatrix}\mid a,b\in\mathbb{R}\hskip 1.00006pt\}
  • This set of 2 ⁣× ⁣22\!\times\!2 matrices

    {(xx+yx+yy)∣x,y∈R}\{\hskip 1.00006pt\begin{pmatrix}x&x+y\\ x+y&y\end{pmatrix}\mid x,y\in\mathbb{R}\hskip 1.00006pt\}
  • This set

    {(xyzw)∈R4∣x+y+z+w=1}\{\hskip 1.00006pt\begin{pmatrix}x\\ y\\ z\\ w\end{pmatrix}\in\mathbb{R}^{4}\mid x+y+z+w=1\hskip 1.00006pt\}
  • The set of functions {f ⁣:R→R∣df/dx+2f=0}\{\hskip 1.00006pt\text{$f\colon\mathbb{R}\to\mathbb{R}$}\mid df/dx+2f=0\hskip 1.00006pt\}

  • The set of functions {f ⁣:R→R∣df/dx+2f=1}\{\hskip 1.00006pt\text{$f\colon\mathbb{R}\to\mathbb{R}$}\mid df/dx+2f=1\hskip 1.00006pt\}

3.0

Exercise 13

Prove or disprove that this is a vector space: the real-valued functions ff of one real variable such that f(7)=0f(7)=0.

3.0

Exercise 14

Show that the set R+\mathbb{R}^{+} of positive reals is a vector space when we interpret ‘x+yx+y’ to mean the product of xx and yy (so that 2+32+3 is 66), and we interpret ‘r⋅xr\cdot x’ as the rr-th power of xx.

3.0

Exercise 15

Is {(x,y)∣x,y∈R}\{\hskip 1.00006pt(x,y)\mid x,y\in\mathbb{R}\hskip 1.00006pt\} a vector space under these operations?

  • (x1,y1)+(x2,y2)=(x1+x2,y1+y2)(x_{1},y_{1})+(x_{2},y_{2})=(x_{1}+x_{2},y_{1}+y_{2}) and r⋅(x,y)=(rx,y)r\cdot(x,y)=(rx,y)

  • (x1,y1)+(x2,y2)=(x1+x2,y1+y2)(x_{1},y_{1})+(x_{2},y_{2})=(x_{1}+x_{2},y_{1}+y_{2}) and r⋅(x,y)=(rx,0)r\cdot(x,y)=(rx,0)

3.0

Exercise 16

Prove or disprove that this is a vector space: the set of polynomials of degree greater than or equal to two, along with the zero polynomial.

3.0

Exercise 17

At this point “the same” is only an intuition, but nonetheless for each vector space identify the kk for which the space is “the same” as Rk\mathbb{R}^{k}.

  • The 2 ⁣× ⁣32\!\times\!3 matrices under the usual operations

  • The n ⁣× ⁣mn\!\times\!m matrices (under their usual operations)

  • This set of 2 ⁣× ⁣22\!\times\!2 matrices

    {(a0bc)∣a,b,c∈R}\{\hskip 1.00006pt\begin{pmatrix}a&0\\ b&c\end{pmatrix}\mid a,b,c\in\mathbb{R}\hskip 1.00006pt\}
  • This set of 2 ⁣× ⁣22\!\times\!2 matrices

    {(a0bc)∣a+b+c=0}\{\hskip 1.00006pt\begin{pmatrix}a&0\\ b&c\end{pmatrix}\mid a+b+c=0\hskip 1.00006pt\}
3.0

Exercise 18

Using +⃗\vec{+} to represent vector addition and  ⋅⃗ \,\vec{\cdot}\, for scalar multiplication, restate the definition of vector space.

3.0

Exercise 19

Prove these.

  • For any v⃗∈V\vec{v}\in V, if w⃗∈V\vec{w}\in V is an additive inverse of v⃗\vec{v}, then v⃗\vec{v} is an additive inverse of w⃗\vec{w}. So a vector is an additive inverse of any additive inverse of itself.

  • Vector addition left-cancels: if v⃗,s⃗,t⃗∈V\vec{v},\vec{s},\vec{t}\in V then v⃗+s⃗=v⃗+t⃗ \vec{v}+\vec{s}=\vec{v}+\vec{t}\, implies that s⃗=t⃗\vec{s}=\vec{t}.

3.0

Exercise 20

The definition of vector spaces does not explicitly say that 0⃗+v⃗=v⃗\vec{0}+\vec{v}=\vec{v} (it instead says that v⃗+0⃗=v⃗\vec{v}+\vec{0}=\vec{v}). Show that it must nonetheless hold in any vector space.

3.0

Exercise 21

Prove or disprove that this is a vector space: the set of all matrices, under the usual operations.

3.0

Exercise 22

In a vector space every element has an additive inverse. Can some elements have two or more?

3.0

Exercise 23

  • Prove that every point, line, or plane through the origin in R3\mathbb{R}^{3} is a vector space under the inherited operations.

  • What if it doesn’t contain the origin?

3.0

Exercise 24

Using the idea of a vector space we can easily reprove that the solution set of a homogeneous linear system has either one element or infinitely many elements. Assume that v⃗∈V\vec{v}\in V is not 0⃗\vec{0}.

  • Prove that r⋅v⃗=0⃗r\cdot\vec{v}=\vec{0} if and only if r=0r=0.

  • Prove that r1⋅v⃗=r2⋅v⃗r_{1}\cdot\vec{v}=r_{2}\cdot\vec{v} if and only if r1=r2r_{1}=r_{2}.

  • Prove that any nontrivial vector space is infinite.

  • Use the fact that a nonempty solution set of a homogeneous linear system is a vector space to…

3.0

Exercise 25

Is this a vector space under the natural operations: the real-valued functions of one real variable that are differentiable?

3.0

Exercise 26

A vector space over the complex numbers C\mathbb{C} has the same definition as a vector space over the reals except that scalars are drawn from C\mathbb{C} instead of from R\mathbb{R}. Show that each of these is a vector space over the complex numbers. (Recall how complex numbers add and multiply: (a0+a1i)+(b0+b1i)=(a0+b0)+(a1+b1)i(a_{0}+a_{1}i)+(b_{0}+b_{1}i)=(a_{0}+b_{0})+(a_{1}+b_{1})i and (a0+a1i)(b0+b1i)=(a0b0−a1b1)+(a0b1+a1b0)i(a_{0}+a_{1}i)(b_{0}+b_{1}i)=(a_{0}b_{0}-a_{1}b_{1})+(a_{0}b_{1}+a_{1}b_{0})i.)

  • The set of degree two polynomials with complex coefficients

  • This set

    {(0ab0)∣a,b∈C and a+b=0+0i}\{\hskip 1.00006pt\begin{pmatrix}0&a\\ b&0\end{pmatrix}\mid a,b\in\mathbb{C}\text{\ and\ }a+b=0+0i\hskip 1.00006pt\}
3.0

Exercise 27

Name a property shared by all of the Rn\mathbb{R}^{n}’s but not listed as a requirement for a vector space.

3.0

Exercise 28

  • Prove that for any four vectors v⃗1,…,v⃗4∈V\vec{v}_{1},\ldots,\vec{v}_{4}\in V we can associate their sum in any way without changing the result.

    This allows us to write ‘v⃗1+v⃗2+v⃗3+v⃗4\vec{v}_{1}+\vec{v}_{2}+\vec{v}_{3}+\vec{v}_{4}’ without ambiguity.

  • Prove that any two ways of associating a sum of any number of vectors give the same sum. (Hint. Use induction on the number of vectors.)

3.0

Exercise 29

Example 1.5 gives a subset of R2\mathbb{R}^{2} that is not a vector space, under the obvious operations, because while it is closed under addition, it is not closed under scalar multiplication. Consider the set of vectors in the plane whose components have the same sign or are 00. Show that this set is closed under scalar multiplication but not addition.

3.0

Adapted from Linear Algebra © 2016 Jim Hefferon. Licensed under CC BY-SA 3.0 US. Source: Linear Algebra. Imported at revision df2262e.