Bázis (matematika)

A Wikipédiából, a szabad lexikonból.

Az a1,..., anV vektorokat a V vektortér bázisának nevezzük, ha lineárisan függetlenek ésV minden eleme előáll az ai vektorok lineáris kombinációjaként. Másképpen fogalmazva egy lineáris tér minden lineárisan független generátorrendszere bázist alkot. Minden bázis egyben generátorrendszer is, az adott térben a lehető legkisebb elemszámmal. A bázis elemeinek száma egyértelmű és a lineáris tér dimenzióját adja meg. A bázisban való előállítás mindig egyértelmű.

Minden véges generátorrendszer tartalmaz bázist.