Chapter 1 Vector Spaces

1B Definition of Vector Space

1.24 notation

  • If is a set, then denotes the set of functions from to .
  • For , the sum is the function defined by

for all .

  • For and , the product is the function defined by

for all .

1.25 example: is a vector space

  • If is a nonempty set, then (with the operations of addition and scalar multiplication as defined above) is a vector space over .

commutativity:

Proof:

associativity:

Proof:

additive identity:

Proof:

Define .

additive inverse:

Proof:

Define , then

multiplicative identity:

Proof:

distributive properties:

  • The additive identity of is the function defined by

for all .

Already proved above.

  • For , the additive inverse of is the function defined by

for all .

Already proved above.

The vector space is a special case of the vector space 𝐅𝑆 because each can be thought of as a function from the set to .

1.26 unique additive identity

1.27 unique additive inverse

1.30 the number 0 times a vector

1.31 a number times the vector 0

1.32 the number βˆ’1 times a vector

1C Subspaces

1.33 definition: subspace

A subset of is called a subspace of if is also a vector space with the same additive identity, addition, and scalar multiplication as on .

1.34 conditions for a subspace

A subset of is a subspace of if and only if satisfies the following three conditions.

additive identity:

closed under addition:

𝑒, 𝑀 ∈ π‘ˆ implies 𝑒 + 𝑀 ∈ π‘ˆ.

closed under scalar multiplication:

π‘Ž ∈ 𝐅 and 𝑒 ∈ π‘ˆ implies π‘Žπ‘’ ∈ π‘ˆ.

1.35 example: subspaces

(a) If , then

is a subspace of if and only if .

Proof:

Let . If is a subspace, then , then

Conversely, assume . Then .

If , then

So .

Also we have

So .

(b) The set of continuous real-valued functions on the interval is a subspace of .

additive identity:

Since is a continuous function, so

closed under addition:

If are continuous function, then is also continuous function on .

closed under scalar multiplication:

If is continuous and , then is also continuous.

(c) The set of differentiable real-valued functions on 𝐑 is a subspace of .

additive identity:

Since is a differentiable function, so

closed under addition:

If are differentiable function, then is also differentiable function on .

closed under scalar multiplication:

If is differentiable and , then is also differentiable.

(d) The set of differentiable real-valued functions on the interval such that is a subspace of if and only if .

Since , and then .

is differentiable and . So .

If are differentiable and , then

If is differentiable and , then

(e) The set of all sequences of complex numbers with limit 0 is a subspace of .

Proof:

First, . So .

Then if , then

Lastly,

  • The subspaces of are precisely , all lines in containing the origin, and .
  • The subspaces of are precisely , all lines in containing the origin, all planes in containing the origin, and .

Sums of Subspaces

1.36 definition: sum of subspaces

Suppose are subspaces of 𝑉 . The sum of , denoted by , is the set of all possible sums of elements of . More precisely,

1.37 example: a sum of subspaces of

Suppose is the set of all elements of whose second and third coordinates equal , and π‘Š is the set of all elements of whose first and third coordinates equal 0:

Show that .

Proof:

Let .

If , then . So .

Let , then let , so , i.e. .

So .

1.40 sum of subspaces is the smallest containing subspace

Suppose are subspaces of 𝑉. Then is the smallest subspace of 𝑉 containing .

Proof:

Let , we first prove is a subspace.

First , so .

Secondly, given , then

Finally, if , then

So is a subspace of .

Then assume . Let , so

So .

Direct Sums

1.41 definition: direct sum,

Suppose are subspaces of .

  • The sum is called a direct sum if each element of can be written in only one way as a sum , where each .

  • If is a direct sum, then denotes , with the notation serving as an indication that this is a direct sum.

1.42 example: a direct sum of two subspaces

Then .

The symbol , which is a plus sign inside a circle, reminds us that we are dealing with a special type of sum of subspacesβ€”each element in the direct sum can be represented in only one way as a sum of elements from the specified subspaces.

1.44 example: a sum that is not a direct sum

Suppose

Note we have

1.45 condition for a direct sum

Suppose are subspaces of . Then is a direct sum if and only if the only way to write as a sum , where each , is by taking each equal to .

Proof:

By definition, if is a direct sum, then can be written in only one way, since , then it is the only way.

Assume

Then

Then

So is a direct sum.

1.46 direct sum of two subspaces

Suppose and are subspaces of . Then

Proof:

If is a direct sum, and assume , then . So

Then . So .

If , then . So . So . Then from 1.45, is a direct sum.

Sums of subspaces are analogous to unions of subsets. Similarly, direct sums of subspaces are analogous to disjoint unions of subsets. No two sub- spaces of a vector space can be disjoint, because both contain 0. So disjoint- ness is replaced, at least in the case of two subspaces, with the requirement that the intersection equal {0}.