Linear independence (source code)

= Linear independence
{wiki}

= Linearly independent vectors
{synonym}

= Linearly independent
{synonym}

Vectors $v_1,\ldots,v_n$ are linearly independent when
$$
a_1v_1+\cdots+a_nv_n=0
$$
implies $a_1=\cdots=a_n=0$.