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}.