Exercise
https://texercises.com/exercise/constructing-new-vector-spaces-out-of-old-ones/
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.

Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
Let VW be two vector spaces over K. Then textHomVW has the structure of a vector space over K if we ow it with the following operations: forall T_ T_in textHomVW T_+T_v&:T_v+T_v forall vin V forall Tin textHomVW alpha in K alpha Tv&:alpha Tv forall vin V

Solution:
Proof. We claim that T_+T_in textHomVW i.e. T_+T_ is a linear map. Indeed T_+T_av T_av+T_avquad textlin. aT_v+aT_v aT_v+T_c aT_+T_vquad textdef. T_+T_v_+v_quad textdef. T_v_+v_+T_v_+v_quad textlin. T_v_+T_v_+T_v_+T_v_quad textdef. T_+T_v_+T_+T_v_ This shows T_+T_ is a linear map. The proof that alpha T is linear is similar. So far we have defined +: textHomVWtimes textHomVW longrightarrow textHomVW : Ktimes textHomVW longrightarrow textHomVW. bf Neutral element. The map :Vlongrightarrow W vmapsto forall vin V is linear. We claim that +TT. Indeed +Tvv+Tv+TvTv forall vin V. Similarly one shows that T+T. Now it remains to be proven that the eight axioms that define a vector space hold. Example distributivity: forall alpha in K T_ T_ in textHomVW: alpha T_+T_alpha T_+alpha T_ Indeed forall vin V: alphaT_+T_valpha T_+T_v alphaT_v+T_v alpha T_v+alpha T_v alpha T_v+alpha T_v alpha T_+alpha T_v &Longrightarrow alpha T_+T_alpha T_+alpha T_
Report An Error
You are on texercises.com.
reCaptcha will only work on our main-domain \(\TeX\)ercises.com!
Meta Information
\(\LaTeX\)-Code
Exercise:
Let VW be two vector spaces over K. Then textHomVW has the structure of a vector space over K if we ow it with the following operations: forall T_ T_in textHomVW T_+T_v&:T_v+T_v forall vin V forall Tin textHomVW alpha in K alpha Tv&:alpha Tv forall vin V

Solution:
Proof. We claim that T_+T_in textHomVW i.e. T_+T_ is a linear map. Indeed T_+T_av T_av+T_avquad textlin. aT_v+aT_v aT_v+T_c aT_+T_vquad textdef. T_+T_v_+v_quad textdef. T_v_+v_+T_v_+v_quad textlin. T_v_+T_v_+T_v_+T_v_quad textdef. T_+T_v_+T_+T_v_ This shows T_+T_ is a linear map. The proof that alpha T is linear is similar. So far we have defined +: textHomVWtimes textHomVW longrightarrow textHomVW : Ktimes textHomVW longrightarrow textHomVW. bf Neutral element. The map :Vlongrightarrow W vmapsto forall vin V is linear. We claim that +TT. Indeed +Tvv+Tv+TvTv forall vin V. Similarly one shows that T+T. Now it remains to be proven that the eight axioms that define a vector space hold. Example distributivity: forall alpha in K T_ T_ in textHomVW: alpha T_+T_alpha T_+alpha T_ Indeed forall vin V: alphaT_+T_valpha T_+T_v alphaT_v+T_v alpha T_v+alpha T_v alpha T_v+alpha T_v alpha T_+alpha T_v &Longrightarrow alpha T_+T_alpha T_+alpha T_
Contained in these collections

Similar exercises (50)
Title Creator Matched on
Criterion linear subspace rk tags
Linear subspaces rk tags
Bases and identity rk tags
Additional characteristics of vector spaces rk tags
Quotient space and operations rk tags
more (45 more)
Attributes & Decorations
Tags
eth, hs22, lineare algebra, proof, vector space
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image