---
title: "Axler 3.E"
source: https://www.jemoka.com/posts/kbhaxler_3_e/
---

No idea why this is so long!!!
Key Sequence Firehose of a chapter.
We first began an unrelated exploration in Product of Vector Spaces (&ldquo;tuples&rdquo;): 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&rsquo; 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&hellip; it doesn&rsquo;t move)) Then, and I&rsquo;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&rsquo;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&rsquo; 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&rsquo;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&rsquo;s hope this is not a trend:
