Vectors, spaces, norms, orthogonality, and independence