| http://www.w3.org/ns/prov#value | - Checking that a given set is a basis then just amounts to verifying that any element $v \in V$ can be expressed as a linear combination of the elements of $B$ and that any linear combination of the elements of $B$ that sums to the $0$ vector necessarily implies that the scalars used in the linear combination are all $0$ - otheerwise the expression for $v$ would not necessarily be unique.
|