A family of non-zero vectors in Euclidean -space is termed hyperorthogonal if the angle between any two distinct vectors of the family is at least . Any hyperorthogonal family is finite and contains at most vectors. It decomposes uniquely into the union of mutually orthogonal irreducible subfamilies. An equivalent formulation in terms of the associated Gram matrix is given.
Cite this article
Bent Fuglede, Hyperorthogonal family of vectors and the associated Gram matrix. Enseign. Math. 60 (2014), no. 1, pp. 31–41