Download Lecture 3: Vector subspaces, sums, and direct sums (1)

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Exterior algebra wikipedia , lookup

Euclidean vector wikipedia , lookup

Matrix calculus wikipedia , lookup

Laplace–Runge–Lenz vector wikipedia , lookup

Covariance and contravariance of vectors wikipedia , lookup

Four-vector wikipedia , lookup

Vector field wikipedia , lookup

Vector space wikipedia , lookup

Lp space wikipedia , lookup

Transcript
Lecture 3: Vector subspaces, sums, and direct
sums (1)
Travis Schedler
Thurs, Sep 15, 2011 (version: Thurs, Sep 15, 1:00 PM)
Goals (2)
I
Understand vector subspaces and examples
I
Go over a model proof
I
Understand intersections, sums, and direct sums
I
Preview bases
Warm-up exercise 1 (3)
Which of the following are subspaces of R3 ?
(a) The plane x = y
(b) The line (1 + t, 2t, 3t)
(c) The locus x 2 + y 2 + z 2 = 0
(d) The locus x 2 + y 2 − z 2 = 0
Answer: (a): yes: this is a plane through the origin.
(b): no: this does not contain the origin (it is a line though) so it
is not a subspace.
(c): yes: this is just the zero point, so it is a subspace.
(d): no: this is a conic which is closed under scaling but not under
addition, so is not a subspace.
Warm-up exercise 2 (4)
Which of the following are subspaces of the vector space of all
functions {0, 1, . . . , n − 1} → C?
(a) All functions such that f (3) = 2f (1)
(b) All functions such that f (5) = f (6) = 0
(c) All functions such that f (2) − f (0) = 1
(d) All functions such that f (2)f (5) = 0
Answer: (a): yes: if f and g satisfy these properties, so do f + g
and af for all a ∈ C: f (3) = 2f (1) and g (3) = 2g (1) imply
(f + g )(3) = 2(f + g )(1) and similarly af (3) = 2af (1).
(b): yes: The same argument applies.
(c): This is not a subspace: the zero function doesn’t satisfy this
condition.
(d): No: we can take f (2) = 1 and f (k) = 0 for all k 6= 0, and
g (5) = 1 and g (k) = 0 for all k 6= 5, then
f (2)f (5) = g (2)g (5) = 0 but (f + g )(2)(f + g )(5) = 1 6= 0.
Warm-up exercise 3 (5)
Which of the following sums are direct?
(a) {(x = y )-axis} + {yz-plane}
(b) {x-axis} + {xy -plane}
(c) {0} + V for V a vector space.
(d) {Constant functions R → R} +
{Functions f : R → R such that f (0) = 0}
Here, a constant function f : X → F is a function such that
f (x) = f (y ) for all x, y ∈ X .
Answer: (a): Yes: this sum is R3 , and every (a, b, c) can be
written uniquely as (a, a, 0) + (0, b − a, c) of this form.
(b): No: the sum is the xy -plane and, for example,
(1, 0) = (1, 0) + (0, 0) = (0, 0) + (1, 0), so there is no unique
expression as a sum of a vector in the x-axis and one in the
xy -plane.
(c): Yes: for every v ∈ V , we can uniquely write v = 0 + v .
(d): Yes: for every function f : R → R, let g be the constant
function g (x) = f (0) for all x. Then (f − g )(0) = 0, and
f = g + (f − g ) is the unique decomposition (why?).
Easier solution (6)
Which of the following sums are direct?
(a) {(x = y )-axis} + {yz-plane}
(b) {x-axis} + {xy -plane}
(c) {0} + V for V a vector space.
(d) {Constant functions R → R} +
{Functions f : R → R such that f (0) = 0}
Let us use what you should have read in the book:
Proposition (Proposition 1.9)
Suppose that U and W are subspaces of V . Then V = U ⊕ W if
and only if V = U + W and U ∩ W = {0}.
We can apply this simply to V = U + W , so then the sums are
direct if and only if U ∩ W = {0}.
Then, this property is true for (a), (c), and (d), but not for (b).
Caution: this proposition does not generalize to sums of three or
more subspaces (Ui ∩ Uj = 0 for all i, j does not imply
U1 + · · · + Um is direct)! Can you give an example?
Ex: x-axis + y -axis + (x = y line) = R2 is not direct!
Subspaces of vector spaces (recap) (7)
Definition
A subspace U of a vector space V is a subset containing 0 ∈ V
such that, for all u1 , u2 ∈ U and all a ∈ F,
u1 + u2 ∈ U,
au1 ∈ U.
We write U ⊆ V to denote that U is a subspace [or subset] of V .
I
Caution: ⊆ can be used to denote either subspace or subset.
The meaning should be clear by context.
I
A subspace is the same thing as a subset which is also a
vector space, using the addition and scalar multiplication.
I
Note that the condition above that a subspace U contains 0 is
equivalent to the condition that it be nonempty, by the
following result:
Claim. If u ∈ U, then 0 · u = 0.
Proof of claim (8)
Claim. If u ∈ U, then 0 · u = 0.
Proof.
First,
0 · u = (0 + 0) · u = 0 · u + 0 · u.
(0.2)
Here, we used that 0 + 0 = 0 (additive identity of a field, or fact
for F = R and C); then distributivity. Next,
0 = 0 · u + (−(0 · u)) = (0 · u + 0 · u) + (−(0 · u))
= (0 · u) + (0 · u + (−(0 · u))) = 0 · u + 0 = 0 · u.
Here, we used the existence of an additive inverse −(0 · u) of 0 · u,
then (0.2), then associativity, then the additive inverse property,
then the additive identity property.
Examples of subspaces (9)
I
I
I
For every vector space V , {0} ⊆ V .
{0} ⊆ x-axis ⊆ x, y -plane ⊆ R3 . More generally, we can take
any line or plane through the origin in R3 , which is a subspace.
More generally, for m ≤ n, there is a subspace
{(a1 , . . . , am , 0, . . . , 0) : a1 , . . . , am ∈ F} ⊆ Fn .
I
Informally, this says that Fm ⊆ Fn for m ≤ n (we will make
this precise later).
Caution: there are other ways to realize Fm inside Fn , e.g.,
the subspace such that the first n − m coordinates are zero,
rather than the last n − m coordinates. (Correspondingly, in
the previous example, we could have taken the z-axis and the
y , z-plane).
Similarly, the vector space of functions f : {1, 2, . . . , n} → F,
and the subspace of functions f such that
0 = f (m + 1) = f (m + 2) = · · · = f (n). Informally, this says
that functions on {1, . . . , m} are a subspace of functions on
{1, . . . , n}.
More examples of subspaces (10)
I
For F = R, we have:
P(R) ⊆ Continuous functions R → R ⊆ All functions R → R.
I
We already observed that, for all F, P(F) ⊆ F∞ . This is the
subspace of lists which terminate in an infinite sequence of
zeros.
I
For any set X and any F, let V be the vector space of all
functions X → F. Then, for every subset Y ⊆ X , we can
consider the vector subspace U ⊆ V of all functions vanishing
on Y , i.e., all f such that f (y ) = 0 for all y ∈ Y . (This
generalizes the last example from the last slide).
Intersections, unions, and sums (11)
We can form intersections of vector spaces:
Proposition
If U, W ⊆ V are subspaces, so is the intersection U ∩ W .
Idea of proof: Each defining property of a subspace (containing
zero, being closed under addition, being closed under scalar
multiplication) is preserved by taking intersections.
However, this is not true of unions. Why?
Example: x-axis ∪ y -axis is not a subspace (not closed under
addition).
Instead, we can perform sum operations:
Definition
U + W = {u + w | u ∈ U, w ∈ W }.
Proposition
If U, W ⊆ V are subspaces, so is U + W .
Idea of proof: (u1 + w1 ) + (u2 + w2 ) = (u1 + u2 ) + (w1 + w2 ), and
a(u1 + w1 ) = au1 + aw1 .
Direct sums (12)
Suppose U1 , . . . , Um ⊆ V .
Definition
The sum U1 + · · · + Um is direct if every v ∈ U1 + · · · + Um has a
unique expression as v = u1 + · · · + um for
u1 ∈ U1 , u2 ∈ U2 , . . . , um ∈ Um .
Example: x-axis + y -axis + z-axis = R3 .
Definition
Let U1 ⊕ · · · ⊕ Um denote U1 + · · · + Um in the case that the sum
is direct (otherwise we may not use ⊕).
So, we may write x-axis ⊕ y -axis ⊕ z-axis, but we may not write
x-axis ⊕ xy -plane.
Example: R3 (13)
Take V = R3 . We can describe all subspaces:
I
{0} and R3 themselves;
I
All lines and planes through the origin.
(*) Given any two distinct lines U1 , U2 through the origin, we can
take the plane U1 + U2 that they span.
(**) Given a plane U through the origin, and a line W not in that
plane, we can take U + W = R3 : they span everything.
I
On the other hand, if U1 = U2 , then U1 + U2 = U1 = U2 .
I
Similarly, if U1 ⊆ U2 , then U1 + U2 = U2 .
In the cases of (*) and (**), every vector v ∈ R3 is a unique sum
of a vector of U and one of W . So these are direct sums. The last
two examples are not direct (unless U1 = {0}).
Preview: bases (14)
We want to understand bases: in the case of the vector space of all
greyscale 800 × 600-images, there are at least two important ones:
the basis of pixel coordinates, and the basis of frequency
coordinates.
Definition (cf. Proposition 2.8)
A basis of a vector space V is a list of vectors (v1 , . . . , vn ) in V
such that, for all v ∈ V , there is a unique expression
v = a1 v1 + · · · + an vn ,
for a1 , . . . , an ∈ F.
Notice the similarity with direct sums: here we have a unique
expression using vectors, whereas a direct sum is a unique
expression involving subspaces. (Exercise: Make a precise
connection between the two notions!)
In the case of images, the pixel basis is v0 , . . . , v479999 where vi is
the image with only the pixel i in white, and all other pixels black
(black is the value 0).
Bases preview continued (15)
The frequency basis is w0 , . . . , w479999 where wi is the image
corresponding to a sine wave with frequency i: so w0 is solid white,
and w479999 alternates every pixel between black and white; the
halfway w240000 would be white, grey, black, grey, repeated over an
over, etc.
We are going to explain bases from a theoretical point of view, as
lists having two weaker properties at the same time: linear
independence, and spanning. Roughly, linear independence says
that there is at most one expression v = a1 v1 + · · · + an vn , and
spanning says there is at least one such expression.
For next time: Read Section 2 through Proposition 2.7, paying
particular attention to the proof of Theorem 2.6. Come prepared
with questions! (Otherwise, you won’t understand this proof.)
Reminder: PS1 due tomorrow (Friday) by 5:10 PM, in envelope
outside room 2-172 (or email PDF to instructor).