K-frameIn linear algebra, a branch of mathematics, a k-frame is an ordered set of k linearly independent vectors in a vector space; thus k ≤ n, where n is the dimension of the space, and if k = n an n-frame is precisely an ordered basis. If the vectors are orthogonal, or orthonormal, the frame is called an orthogonal frame, or orthonormal frame, respectively. The set of k-frames (particularly the set of orthonormal k-frames) in a given space X is known as the Stiefel manifold, and denoted Vk(X).
Espace préhilbertienEn mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d'un produit scalaire. Cette notion généralise celles d'espace euclidien ou hermitien dans le cas d'une dimension quelconque, tout en conservant certaines bonnes propriétés géométriques des espaces de dimension finie grâce aux propriétés du produit scalaire, mais en perdant un atout de taille : un espace préhilbertien de dimension infinie n'est pas nécessairement complet. On peut cependant le compléter, pour obtenir un espace de Hilbert.
