Exercise
https://texercises.com/exercise/quotient-space-and-operations/
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:
The operations above are well defined. Moreover they give V/U the structure of a vector space over K.

Solution:
Proof well definedness. Saying that the multiplication by a scalar is well defined means the following: Suppose vv' and let alpha in K. Then alpha valpha v'. Indeed if v-v'in U then alpha v-alpha v'alpha v-v'in U. Similarly for the addition: Suppose v_v_' v_v_'. We need to show that v_+v_v_'+v_'. Indeed v_+v_-v_'+v_'v_-v_'+v_-v_' in U Longrightarrow v_+v_sim v_'+v_' hence v_+v_v_'+v_'. This proves that the operations + and are well defined. It remains to show they satisfy the axioms of a vector space. These follow from the axioms on V.
Report An Error
You are on texercises.com.
reCaptcha will only work on our main-domain \(\TeX\)ercises.com!
Meta Information
\(\LaTeX\)-Code
Exercise:
The operations above are well defined. Moreover they give V/U the structure of a vector space over K.

Solution:
Proof well definedness. Saying that the multiplication by a scalar is well defined means the following: Suppose vv' and let alpha in K. Then alpha valpha v'. Indeed if v-v'in U then alpha v-alpha v'alpha v-v'in U. Similarly for the addition: Suppose v_v_' v_v_'. We need to show that v_+v_v_'+v_'. Indeed v_+v_-v_'+v_'v_-v_'+v_-v_' in U Longrightarrow v_+v_sim v_'+v_' hence v_+v_v_'+v_'. This proves that the operations + and are well defined. It remains to show they satisfy the axioms of a vector space. These follow from the axioms on V.
Contained in these collections:

Attributes & Decorations
Tags
eth, hs22, lineare algebra, proof, quotient space, vector space
Content image
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Creator rk
Decoration