Exercise
https://texercises.com/exercise/universal-property-of-quotient-spaces/
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. The quotient space V/U has the following universal property: forall space W and every linear map T:Vlongrightarrow W for which TU i.e. for which U subseteq textKerT exists ! a linear map T':V/U longrightarrow W. Moreover textKerT'textKerT/U.

Solution:
Proof. Similar to the proof of the isomorphism theorem. Define T':V/U longrightarrow W as follows. Let xin V/U. Choose vin V s.t. xv. Define T'x:Tv. Excercise: abcliste abc Show T' is well defined i.e. if vv'Longrightarrow TvTv' abc Show T' is linear. abcliste The diagonal commutes forall vin V T'circ pivT'vTv. Uniqueness of T': Suppose TT'circ pi T''circ pi. We'll show T''T'. Let xin V/U. Since pi is surjective exists vin V s.t. xpiv Longrightarrow TvT'piv and TvT''piv Longrightarrow T'xT''x.
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. The quotient space V/U has the following universal property: forall space W and every linear map T:Vlongrightarrow W for which TU i.e. for which U subseteq textKerT exists ! a linear map T':V/U longrightarrow W. Moreover textKerT'textKerT/U.

Solution:
Proof. Similar to the proof of the isomorphism theorem. Define T':V/U longrightarrow W as follows. Let xin V/U. Choose vin V s.t. xv. Define T'x:Tv. Excercise: abcliste abc Show T' is well defined i.e. if vv'Longrightarrow TvTv' abc Show T' is linear. abcliste The diagonal commutes forall vin V T'circ pivT'vTv. Uniqueness of T': Suppose TT'circ pi T''circ pi. We'll show T''T'. Let xin V/U. Since pi is surjective exists vin V s.t. xpiv Longrightarrow TvT'piv and TvT''piv Longrightarrow T'xT''x.
Contained in these collections

Similar exercises (47)
Title Creator Matched on
Isomorphism and bijection rk tags
Coordinate map rk tags
Isomorphisms and composition rk tags
Isomorphisms and dimensions rk tags
Linear subspaces rk tags
more (42 more)
Attributes & Decorations
Tags
eth, hs22, isomorphism, lineare algebra, proof, vector space
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image