Subsets of a Real Hilbert Space Translation-Closed along an Orthonormal Tuple
definitionAnalysisdef:translation-closed-subset-hilbert-2026aA 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 Real Matrices, Symmetric Matrices and the Semidefinite Ordering: 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 Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation §numbers. 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 §coordinates.
(Translation-closed along a tuple)¶ A subset is translation-closed along if it is nonempty and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.