lineaire algebra: netjes bewijzen

Moderators: dirkwb, Xilvo

Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
Reageer
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...

Gebruikersavatar
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]
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Reageer