# Linear Algebra/Definition and Examples of Vector Spaces

- Definition 1.1

A **vector space** (over ) consists of a set along with two operations "" and "" subject to these conditions.

- For any .
- For any .
- For any .
- There is a
**zero vector**such that for all . - Each has an
**additive inverse**such that . - If
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): r**is a**scalar**, that is, a member of and then the**scalar multiple**is in . - If and then .
- If and , then .
- If
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle r,s\in\R}**and , then - For any , .

- Remark 1.2

Because it involves two kinds of addition and two kinds of multiplication, that definition may seem confused. For instance, in condition 7 "", the first "" is the real number addition operator while the "" to the right of the equals sign represents vector addition in the structure . These expressions aren't ambiguous because, e.g., and are real numbers so "" can only mean real number addition.

The best way to go through the examples below is to check all ten conditions in the definition. That check is written out at length in the first example. Use it as a model for the others. Especially important are the first condition "**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle \vec v+\vec w}**
is in " and the sixth condition " is in ". These are the **closure** conditions. They specify that the addition and scalar multiplication operations are always sensible — they are defined for every pair of vectors, and every scalar and vector, and the result of the operation is a member of the set (see Example 1.4).

- Example 1.3

The set is a vector space if the operations "" and "" have their usual meaning.

We shall check all of the conditions.

There are five conditions in item 1. For 1, closure of addition, note that for any the result of the sum

is a column array with two real entries, and so is in **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle \R^2}**
. For 2, that addition of vectors commutes, take all entries to be real numbers and compute

(the second equality follows from the fact that the components of the vectors are real numbers, and the addition of real numbers is commutative). Condition 3, associativity of vector addition, is similar.

For the fourth condition we must produce a zero element — the vector of zeroes is it.

For 5, to produce an additive inverse, note that for any we have

so the first vector is the desired additive inverse of the second.

The checks for the five conditions having to do with scalar multiplication are just as routine. For 6, closure under scalar multiplication, where ,

is a column array with two real entries, and so is in . Next, this checks 7.

For 8, that scalar multiplication distributes from the left over vector addition, we have this.

The ninth

and tenth conditions are also straightforward.

In a similar way, each is a vector space with the usual operations of vector addition and scalar multiplication. (In , we usually do not write the members as column vectors, i.e., we usually do not write "". Instead we just write "".)

- Example 1.4
- This subset of that is a plane through the origin

is a vector space if "+" and "" are interpreted in this way.

The addition and scalar multiplication operations here are just the ones of **Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\mathbb {R}}^{3}**
, reused on its subset . We say that **inherits** these operations from . This example of an addition in

illustrates that is closed under addition. We've added two vectors from — that is, with the property that the sum of their three entries is zero— and the result is a vector also in . Of course, this example of closure is not a proof of closure. To prove that is closed under addition, take two elements of

(membership in means that and ), and observe that their sum

is also in since its entries add to . To show that is closed under scalar multiplication, start with a vector from

(so that ) and then for observe that the scalar multiple

satisfies that . Thus the two closure conditions are satisfied. Verification of the other conditions in the definition of a vector space are just as straightforward.

- Example 1.5

Example 1.3 shows that the set of all two-tall vectors with real entries is a vector space. Example 1.4 gives a subset of an that is also a vector space. In contrast with those two, consider the set of two-tall columns with entries that are integers (under the obvious operations). This is a subset of a vector space, but it is not itself a vector space. The reason is that this set is not closed under scalar multiplication, that is, it does not satisfy condition 6. Here is a column with integer entries, and a scalar, such that the outcome of the operation

is not a member of the set, since its entries are not all integers.

- Example 1.6

The singleton set

is a vector space under the operations

that it inherits from **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\mathbb {R}}^{4}**
.

A vector space must have at least one element, its zero vector. Thus a one-element vector space is the smallest one possible.

- Definition 1.7

A one-element vector space is a **trivial** space.

- Warning!

The examples so far involve sets of column vectors with the usual operations. But vector spaces need not be collections of column vectors, or even of row vectors. Below are some other types of vector spaces. The term "vector space" does not mean "collection of columns of reals". It means something more like "collection in which any linear combination is sensible".

## Examples[edit]

- Example 1.8

Consider , the set of polynomials of degree three or less (in this book, we'll take constant polynomials, including the zero polynomial, to be of degree zero). It is a vector space under the operations

and

(the verification is easy). This vector space is worthy of attention because these are the polynomial operations familiar from high school algebra. For instance, .

Although this space is not a subset of any , there is a sense in which we can think of as "the same" as . If we identify these two spaces's elements in this way

then the operations also correspond. Here is an example of corresponding additions.

Things we are thinking of as "the same" add to "the same" sum. Chapter Three makes precise this idea of vector space correspondence. For now we shall just leave it as an intuition.

- Example 1.9

The set of matrices with real number entries is a vector space under the natural entry-by-entry operations.

As in the prior example, we can think of this space as "the same" as .

- Example 1.10

The set of all real-valued functions of one natural number variable is a vector space under the operations

so that if, for example, and then .

We can view this space as a generalization of Example 1.3— instead of -tall vectors, these functions are like infinitely-tall vectors.

Addition and scalar multiplication are component-wise, as in Example 1.3. (We can formalize "infinitely-tall" by saying that it means an infinite sequence, or that it means a function from **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): \mathbb {N} **
to .)

- Example 1.11

The set of polynomials with real coefficients

makes a vector space when given the natural ""

and "".

This space differs from the space of Example 1.8. This space contains not just degree three polynomials, but degree thirty polynomials and degree three hundred polynomials, too. Each individual polynomial of course is of a finite degree, but the set has no single bound on the degree of all of its members.

This example, like the prior one, can be thought of in terms of infinite-tuples. For instance, we can think of as corresponding to . However, don't confuse this space with the one from Example 1.10. Each member of this set has a bounded degree, so under our correspondence there are no elements from this space matching . The vectors in this space correspond to infinite-tuples that end in zeroes.

- Example 1.12

The set **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): \{f\,{\big |}\,f:{\mathbb {R}}\to {\mathbb {R}}\}**
of all real-valued functions of one real variable is a vector space under these.

The difference between this and Example 1.10 is the domain of the functions.

- Example 1.13

The set of real-valued functions of the real variable is a vector space under the operations

and

inherited from the space in the prior example. (We can think of as "the same" as in that corresponds to the vector with components and .)

- Example 1.14

The set

is a vector space under the, by now natural, interpretation.

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): (f+g)\,(x)=f(x)+g(x)\qquad (r\cdot f)\,(x)=r\,f(x)**

In particular, notice that closure is a consequence:

and

of basic Calculus. This turns out to equal the space from the prior example— functions satisfying this differential equation have the form — but this description suggests an extension to solutions sets of other differential equations.

- Example 1.15

The set of solutions of a homogeneous linear system in variables is a vector space under the operations inherited from . For closure under addition, if

both satisfy the condition that their entries add to then also satisfies that condition: . The checks of the other conditions are just as routine.

As we've done in those equations, we often omit the multiplication symbol "". We can distinguish the multiplication in "" from that in "" since if both multiplicands are real numbers then real-real multiplication must be meant, while if one is a vector then scalar-vector multiplication must be meant.

The prior example has brought us full circle since it is one of our motivating examples.

- Remark 1.16

Now, with some feel for the kinds of structures that satisfy the definition of a vector space, we can reflect on that definition. For example, why specify in the definition the condition that but not a condition that ?

One answer is that this is just a definition— it gives the rules of the game from here on, and if you don't like it, put the book down and walk away.

Another answer is perhaps more satisfying. People in this area have worked hard to develop the right balance of power and generality. This definition has been shaped so that it contains the conditions needed to prove all of the interesting and important properties of spaces of linear combinations. As we proceed, we shall derive all of the properties natural to collections of linear combinations from the conditions given in the definition.

The next result is an example. We do not need to include these properties in the definition of vector space because they follow from the properties already listed there.

- Lemma 1.17

In any vector space , for any and , we have

- , and
- , and
- .

- Proof

For 1, note that . Add to both sides the additive inverse of , the vector such that .

The second item is easy: shows that we can write "" for the additive inverse of without worrying about possible confusion with .

For 3, this will do.

## Summary[edit]

We finish with a recap.

Our study in Chapter One of Gaussian reduction led us to consider collections of linear combinations. So in this chapter we have defined a vector space to be a structure in which we can form such combinations, expressions of the form (subject to simple conditions on the addition and scalar multiplication operations). In a phrase: vector spaces are the right context in which to study linearity.

Finally, a comment. From the fact that it forms a whole chapter, and especially because that chapter is the first one, a reader could come to think that the study of linear systems is our purpose. The truth is, we will not so much use vector spaces in the study of linear systems as we will instead have linear systems start us on the study of vector spaces. The wide variety of examples from this subsection shows that the study of vector spaces is interesting and important in its own right, aside from how it helps us understand linear systems. Linear systems won't go away. But from now on our primary objects of study will be vector spaces.

## Exercises[edit]

- Problem 1

Name the zero vector for each of these vector spaces.

- The space of degree three polynomials under the natural operations
- The space of matrices
- The space
- The space of real-valued functions of one natural number variable

*This exercise is recommended for all readers.*

- Problem 2

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

- In , the vector .
- In the space ,
- In , the space of functions of the real variable under the natural operations, the vector .

*This exercise is recommended for all readers.*

- Problem 3

Show that each of these is a vector space.

- The set of linear polynomials under the usual polynomial addition and scalar multiplication operations.
- The set of matrices with real entries under the usual matrix operations.
- The set of three-component row vectors with their usual operations.
- The set

*This exercise is recommended for all readers.*

- Problem 4

Show that each of these is not a vector space. (*Hint.* Start by listing two members of each set.)

- Under the operations inherited from , this set
- Under the operations inherited from , this set
- Under the usual matrix operations,
- Under the usual polynomial operations,
- Under the inherited operations,

- Problem 5

Define addition and scalar multiplication operations to make the complex numbers a vector space over .

*This exercise is recommended for all readers.*

- Problem 6

Is the set of rational numbers a vector space over under the usual addition and scalar multiplication operations?

- Problem 7

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

- Problem 8

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

- Problem 9

Prove or disprove that is a vector space under these operations.

*This exercise is recommended for all readers.*

- Problem 10

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

- The
**diagonal**matrices - This set of matrices
- This set
- The set of functions
- The set of functions

*This exercise is recommended for all readers.*

- Problem 11

Prove or disprove that this is a vector space: the real-valued functions of one real variable such that .

*This exercise is recommended for all readers.*

- Problem 12

Show that the set of positive reals is a vector space when "" is interpreted to mean the product of and (so that is ), and "" is interpreted as the **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): r**
-th power of .

- Problem 13

Is a vector space under these operations?

- and
- and

- Problem 14

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.

- Problem 15

At this point "the same" is only an intuition, but nonetheless for each vector space identify the for which the space is "the same" as .

- The matrices under the usual operations
- The matrices (under their usual operations)
- This set of matrices
- This set of matrices

*This exercise is recommended for all readers.*

- Problem 16

Using to represent vector addition and for scalar multiplication, restate the definition of vector space.

*This exercise is recommended for all readers.*

- Problem 17

Prove these.

- Any vector is the additive inverse of the additive inverse of itself.
- Vector addition left-cancels: if then implies that .

- Problem 18

The definition of vector spaces does not explicitly say that (it instead says that ). Show that it must nonetheless hold in any vector space.

*This exercise is recommended for all readers.*

- Problem 19

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

- Problem 20

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

- Problem 21

- Prove that every point, line, or plane thru the origin in is a vector space under the inherited operations.
- What if it doesn't contain the origin?

*This exercise is recommended for all readers.*

- Problem 22

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 is not .

- Prove that if and only if .
- Prove that if and only if .
- 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 draw the conclusion.

- Problem 23

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

- Problem 24

A **vector space over the complex numbers** has the same definition as a vector space over the reals except that scalars are drawn from instead of from . Show that each of these is a vector space over the complex numbers. (Recall how complex numbers add and multiply: and .)

- The set of degree two polynomials with complex coefficients
- This set

- Problem 25

Name a property shared by all of the 's but not listed as a requirement for a vector space.

*This exercise is recommended for all readers.*

- Problem 26

- Prove that a sum of four vectors can be associated in any way without changing the result.
- 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.)

- Problem 27

For any vector space, a subset that is itself a vector space under the inherited operations (e.g., a plane through the origin inside of ) is a **subspace**.

- Show that is a subspace of the vector space of degree two polynomials.
- Show that this is a subspace of the matrices.
- Show that a nonempty subset of a real vector space is a subspace if and only if it is closed under linear combinations of pairs of vectors: whenever
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): c_{1},c_{2}\in {\mathbb {R}}**and then the combination is in .