Exercise
https://texercises.com/exercise/quotient-space-and-complements/
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 V be a vector space over K and Usubseteq V a subspace. Let Wsubseteq V be a complement of U i.e. Wsubseteq V is a subspace Wcap U and W+UV. Under the above asptions exists a canonical isomorphism Q:Wlongrightarrow V/U defined by Qw:win V/U quad forall win W The isomorphism Q is canonical only once W is specified. In general there is no canonical choice of a complement W to U. In general exists many choices of complements W to U and there is no prefered choice.

Solution:
Proof. Consider the inclusion map i:Wlongrightarrow V iw:win Wsubseteq V and the projection map pi: Vlongrightarrow V/U. Recall that piv:v Longrightarrow Qpi circ i Longrightarrow Q is a linear map. We claim that textKerQ. Indeed if win textKerQ then w Longrightarrow win U. But win W Longrightarrow win Wcap U Longrightarrow w. This show textKerQ. We also claim that Q is surjective. Indeed let xin V/U. Choose vin V s.t. xv. Since VW+U exists win W uin U s.t. vw+u Longrightarrow wvx. so xQw. This proves Q is surjective.
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 V be a vector space over K and Usubseteq V a subspace. Let Wsubseteq V be a complement of U i.e. Wsubseteq V is a subspace Wcap U and W+UV. Under the above asptions exists a canonical isomorphism Q:Wlongrightarrow V/U defined by Qw:win V/U quad forall win W The isomorphism Q is canonical only once W is specified. In general there is no canonical choice of a complement W to U. In general exists many choices of complements W to U and there is no prefered choice.

Solution:
Proof. Consider the inclusion map i:Wlongrightarrow V iw:win Wsubseteq V and the projection map pi: Vlongrightarrow V/U. Recall that piv:v Longrightarrow Qpi circ i Longrightarrow Q is a linear map. We claim that textKerQ. Indeed if win textKerQ then w Longrightarrow win U. But win W Longrightarrow win Wcap U Longrightarrow w. This show textKerQ. We also claim that Q is surjective. Indeed let xin V/U. Choose vin V s.t. xv. Since VW+U exists win W uin U s.t. vw+u Longrightarrow wvx. so xQw. This proves Q is surjective.
Contained in these collections

Similar exercises (47)
Title Creator Matched on
Quotient space and operations rk tagstitle
Bases and identity rk tags
Quotient spaces and equivalence relations rk tags
Linear subspaces rk tags
Quotient space and projection map rk tags
more (42 more)
Attributes & Decorations
Tags
eth, hs22, lineare algebra, proof, quotient space, vector space
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image