lineaire algebra: netjes bewijzen
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
-
- Berichten: 536
lineaire algebra: netjes bewijzen
Ik heb een beeite moeite met het netjes bewijzen van bepaalde banale dingen in de algebra. Een voorbeeld:
TB: <v1,......,vi, vj,........,vn> = <v1,......,vj,vi,.......vn>
Waarbij <> het opspansel van de vectoren betekent, dus alle lineaire bewerkingen.
Nu zie ik heus wel dat deze twee opspansels gelijk zijn, ze zijn immers beide alle lineaire combinaties van de vectoren v1 t/m vn.
Maar hoe moet je dit netjes/formeel bewijzen?
(Eigenlijk is dit een vrij algemene vraag, dus niet alleen over dit vraagstuk.)
Ik dacht zelfs overigens aan:
<v1,......,vi, vj,........,vn> = (a1v1+..........+aivi+ajvj+.......+anvn) met a's uit Reeele getallen
en
<v1,......,vj,vi,.......vn> = (a1v1+..........+ajvj+aivi+.......+anvn) met a's uit Reeele getallen
Dus gelijk...
TB: <v1,......,vi, vj,........,vn> = <v1,......,vj,vi,.......vn>
Waarbij <> het opspansel van de vectoren betekent, dus alle lineaire bewerkingen.
Nu zie ik heus wel dat deze twee opspansels gelijk zijn, ze zijn immers beide alle lineaire combinaties van de vectoren v1 t/m vn.
Maar hoe moet je dit netjes/formeel bewijzen?
(Eigenlijk is dit een vrij algemene vraag, dus niet alleen over dit vraagstuk.)
Ik dacht zelfs overigens aan:
<v1,......,vi, vj,........,vn> = (a1v1+..........+aivi+ajvj+.......+anvn) met a's uit Reeele getallen
en
<v1,......,vj,vi,.......vn> = (a1v1+..........+ajvj+aivi+.......+anvn) met a's uit Reeele getallen
Dus gelijk...
- Berichten: 24.578
Re: lineaire algebra: netjes bewijzen
Een goede start is steeds terugkeren naar je definities, in dit geval van span(V).
Bij is dat een lineaire combinatie van alle v_i's, dus een som. Optellen is commutatief [rr]
Bij is dat een lineaire combinatie van alle v_i's, dus een som. Optellen is commutatief [rr]
"Malgré moi, l'infini me tourmente." (Alfred de Musset)