Exercise
https://texercises.com/exercise/basis-and-linear-dependence-iii/
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 suppose that V Spv_..v_n for some v_..v_nin V. Let u_...u_min V be linearly indepent. Then mleq n and moreover one can delete m vectors from the list v_...v_n s.t. the remaining list say v_'...v_n-m' together with u_..u_m still span V i.e. Spu_...u_mv_'...v_n-m'V.

Solution:
Proof of the textcolorbluemoreover-part rest can be found in Lemma D. In the proof of Lemma D we have already seen that mleq n. Now apply the procedure described in the proof of Lemma D for steps j...m. After m steps we arrive at a list u_..u_mv_'...v_n-m' of the type claimed by Lemma D'.
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 suppose that V Spv_..v_n for some v_..v_nin V. Let u_...u_min V be linearly indepent. Then mleq n and moreover one can delete m vectors from the list v_...v_n s.t. the remaining list say v_'...v_n-m' together with u_..u_m still span V i.e. Spu_...u_mv_'...v_n-m'V.

Solution:
Proof of the textcolorbluemoreover-part rest can be found in Lemma D. In the proof of Lemma D we have already seen that mleq n. Now apply the procedure described in the proof of Lemma D for steps j...m. After m steps we arrive at a list u_..u_mv_'...v_n-m' of the type claimed by Lemma D'.
Contained in these collections
Attributes & Decorations
Topic
Tags
basis, eth, hs22, lineare algebra, proof
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image

Similar exercises (48)