Linear-1 4

Linear-1 4

LU decomposition #definition

Ax=bLUx=bUx=x~Lx~=b

PLU factorization #definition

P - permutation matrixP1=PTPA=LU

Vector space #definition

V is called vector space if:vV,αFv1+v2Vαv1Vv1+v2=v2+v1αv1=v1α(v1+v2)+v3=v1+(v2+v3)α(βv)=(αβ)v0V:v+0V=vv+(v)=0V1F:1Fv=vα(v1+v2)=αv1+αv2(α+β)v=αv+βv

Checking if set of vectors is a field #lemma

u1,u2U,αF1.v1+v2U2.αv1UU is a field