TheoremBase

Subsets of a Real Hilbert Space Translation-Closed along an Orthonormal Tuple

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.

Statement

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 mm for a natural number mm with 1≤m1\le m. Let HH be a real Hilbert space, with its inner product and its sums of vectors as fixed there, and let Rm\mathbb{R}^{m} be as fixed in Euclidean Space and Real Matrices: Standing Notation (i). Let e∈Hme\in H^{m} be an mm-tuple in HH that is orthonormal, and let Λ♯:Rm→H\Lambda^{\sharp}:\mathbb{R}^{m}\to H be the map determined by ee in Coordinate Maps of a Finite Orthonormal Tuple: Forms, the Tail Form, and Quadratic Test Functions (i).

(Translation-closed along a tuple) A subset A⊆HA\subseteq H is translation-closed along ee if it is nonempty and

x+Λ♯ζ∈Afor every x∈A and every ζ∈Rm.x+\Lambda^{\sharp}\zeta\in A\qquad\text{for every }x\in A\text{ and every }\zeta\in\mathbb{R}^{m}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…