If the space ?
(the finite sequences) is equipped with the norm which is naturally
induced by a positive definite Hermitian and diagonally blockwise
constructed matrix, then an HK completion exists.
Journal
Title
An-Najah University Journal for Research - Natural Sciences - Volume 8, Issue 1, 1994