Citat:
Ursprungligen postat av henkemacho
Då är min fråga - räcker det inte med den första delen för att visa att f är en bas? Att de är en bas innebär väl att de är linjärt oberoende och då följer det väl direkt att varje vektor kan uttryckas som en linjärkombination av basvektorerna?
Nja. Definitionen av att vissa vektorer utgör en bas för ett vektorrum är att de ska vara linjärt oberoende, och varje vektor i vektorrummet kan uttryckas som en linjärkombination av basvektorerna.
Det är sant att om man har ett vektorrum med dimension 3 (som R³) och har tre linjärt oberoende vektorer i det så utgör dessa en bas, men detta är en icke-trivial sats.
Det är väl därför de väljer att påpeka, i det här fallet att man explicit verifiera att definitionen för att det ska vara en bas uppfylls, utan att behöva ta in några svåra satser.