A nonempty subset of a real Hilbert space is translation-closed along an orthonormal tuple if adding any vector in the span of the tuple keeps a point of the subset inside it.
In the settings of Real Hilbert Spaces: Standing Notation and Background and Euclidean Space and Real Matrices: Standing Notation, the latter used in the dimension for a natural number with . Let be a real Hilbert space, with its inner product and its sums of vectors as fixed there, and let be as fixed in Euclidean Space and Real Matrices: Standing Notation (i). Let be an -tuple in that is orthonormal, and let be the map determined by in Coordinate Maps of a Finite Orthonormal Tuple: Forms, the Tail Form, and Quadratic Test Functions (i).
(Translation-closed along a tuple) A subset is translation-closed along if it is nonempty and
Loading…
No relations recorded yet.