Yes. Suppose . Taking its dot product with eliminates the last two terms and givesThe nonzero scalar triple product forces . Cyclically using and forces as well. This is the definition of linear independence. Equivalently the three-column matrix has nonzero determinant.
No. For every , takein . These form a minimally dependent vector family: the full family is dependent because .
If the omitted vector is , the remaining coordinate vectors are independent. If the omitted vector is , a relation among the retained vectors has an coordinate coming only from , so its coefficient must be zero; the coefficients of all retained coordinate vectors must then be zero. Thus every -element subfamily is linearly independent, as required for a counterexample. When , the empty subfamily is independent while the one-vector family consisting of the zero vector is not, so the answer remains negative.
A direct construction, valid for every , isThe first coordinates give , andThe first two norms are one. For the third,Thus the required Gram matrix is . The column matrix is upper triangular and has determinantso these vectors are linearly independent. This is an explicit instance of unit vectors with a common inner product; at it reduces to the standard orthonormal basis.
Articles by others on the same topic
There are currently no matching articles.