No idea why this is so long!!! Key Sequence Firehose of a chapter. We first began an unrelated exploration in Product of Vector Spaces (“tuples”): we show that the Product of Vector Spaces is a vector space because you can build a list out of zeroing every element except each one on each basis of each element of the tuple sequentially, we learned that the dimension of the Product of Vector Spaces is the sum of the spaces’ dimension. we defined the product-to-sum map \Gamma U_1 + \dots + U_{m} is a direct sum IFF \Gamma is injective and, as a result, U_1 + \dots + U_{m} is a direct sum IFF \dim (U_1 + \dots + U_{m}) = \dim U_1 + \dots + \dim U_{m} We then tackled the fun part of this chapter, which is affine subsets, parallel structures, quotient spaces, quotient map (affine subsetification maps) we learned an important and useful result that two affine subsets parallel to U are either equal or disjoint (v-w \in U means v+U = w+U means v+U \cap w+U \neq \emptyset, means the first thing) we defined the operations on quotient space, and showed that quotient space operations behave uniformly on equivalent affine subsets. This, and the usual closer proof, demonstrates that quotient spaces is a vector space with the help of the affine subsetification map (the quotient map \pi), we show that the dimension of a quotient space is the difference between dimensions of its constituents essentially by invoking rank-nullity theorem after knowing the fact that null\ \pi = U (because u+U is an affine subset that has not been shifted (think about a line moving along itself… it doesn’t move)) Then, and I’m not quite sure why, we defined \widetilde{T}: V / null\ T \to W, for some T: V\to W, defined as \widetilde{T}(v+null\ T) = Tv. We show that the map is Linear, injective, its range is range\ T, and so it forms an isomorphism between V / null\ T and range\ T. Here’s something: products and quotients, the intuition New Definitions Product of Vector Spaces operations on Product of Vector Spaces product summation map \Gamma sum of vector and subspace parallel + affine subset quotient space operations on the quotient space quotient map \widetilde{T} Results and Their Proofs Product of Vector Spaces is a vector space dimension of the Product of Vector Spaces is the sum of the spaces’ dimension Results relating to \Gamma U_1 + \dots + U_{m} is a direct sum IFF \Gamma is injective U_1 + \dots + U_{m} is a direct sum IFF \dim (U_1 + \dots + U_{m}) = \dim U_1 + \dots + \dim U_{m} results relating to affine subsets and quotient spaces two affine subsets parallel to U are either equal or disjoint quotient space operations behave uniformly on equivalent affine subsets quotient space is a vector space: bleh just prove it yourself. additive identity is 0+U and additive inverse is -v + U. dimension of a quotient space is the difference between dimensions of its constituents results relating to \widetilde{T} \widetilde{T} is well defined properties of \widetilde{T} it is linear it is injective its range is the range of range\ T it is an isomorphism between V / null\ T and range\ T Questions for Jana what’s the point of learning about \widetilde{T}? how are Product of Vector Spaces and quotient space opposites of each other?: products and quotients, the intuition Interesting Factoids Happy Lunar New Year! Also, let’s hope this is not a trend: