Syllabus, syllabus, syllabus for anything related to the course. We have HW due next week, so you can take it easy and just read. It'll be posted tonight.
As a prerequisite (for our online viewers), go checkout Lecture 1 - Syllabus and Whatnot and go through those lecture notes for more on this. The document Final Review Sheet of Theorems does a good overview of important theorems that were hard to remember last quarter.
We skipped some things from 3.E, and other sections. We're going to focus on those sections to help recover some things lost from MATH 306. That'll teach some new material, while focusing on reviewing things from that course.
(Review) Getting Started: What's ?
Recall what the definition of a vector space is:
Vector Space
A vector space is a set along with an addition on and a scalar multiplication on such that the following properties hold:
Commutativity: for all .
Associativity: and for all and all .
Additive Identity: There exists an element such that for all .
Additive Inverse: For every there exists such that .
Multiplicative Identity: for all .
Distributive Properties: and for all and all .
and a subspace:
Subspace
A subset is called a subspace of if is also a vector space (using the same addition and scalar multiplication as on ).
Where we do the following to verify them:
Conditions for a subspace
A subset is a subspace of iff satisfies the following three conditions:
Additive Identity:
Closed Under Addition: implies that
Closed Under Scalar Multiplication: and implies that
Consider the Following...
Say is a vector space and are subspaces. What is ? We defined it as:
Sum of Subsets
Suppose are subsets of . The sum of , denoted , is the set of all possible sums of elements of . More precisely:
It's essentially the smallest subspace containing both and .
Not a Union
Why not just say ? Consider the following counter example. If are different lines through the origin in . The union would contain both lines, but then you could add vectors to get a point off the line.
Direct Sum
When is a direct sum? It's a direct sum if there's a unique way to write the vector, composed of :
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 where the notation serves as an indication that this is a direct sum.
Consider the blue vector in the above drawing. It requires the unique blue vectors from correspondingly. We can just show that if the zero vector can be written uniquely, then it's equivalent to the above condition. This is because our vector:
Which is unique. The theorem:
Condition for a direct sum
Suppose are subspaces of . Then is a direct sum iff the only way to write as a sum , where each . is by taking each .
Summarizes this, and has a corresponding proof.
An easy condition to determine this is the following:
Direct sum of two subspaces
Suppose and are subspaces of . Then is a direct sum iff .
(NEW) Products of Vector Spaces and Quotients
Question: Given subspaces of a vector space , how do we construct of ? We talked about it; we just take a vector from each space and add them up:
for all .
But notice we have an tuple of choices for our 's! That's similar to a Cartesian Product. Notice our choice can be represented by:
Thus, we just choose an element of to make this construction. We know this is a set, but let's talk about it as a vector space. Is it one? We first need to define this operation, but it's pretty clear what it should be. You add component wise, and distribute the scalar through all components, just like a vector in :
Product Space
Suppose are all vector spaces over the same field . The product:
is a vector space, where vector addition and scalar multiplication are componentwise, meaning:
and:
Notice that each of the signs are defined internally for each, possibly separately. We could have , , and so on.
The proof for this is pretty easy to show, it just takes time to show. Hence, we don't show it here.
Notice the zero vector here is just the tuple of choosing all the zeroes in each :
Using a product space
Let . Recall the former is the set of matrices, and the second is the set of all polynomials with degree or less.
For instance, one vector is:
A good question is what's a valid basis vector (let's just say standard basis) for ? One example is:
We don't use basis between them (although technically you can). A basis for this space would be:
It's interesting there's 7 vectors here, and that's the sum of the dimension of the cartesian product subspaces.