Fibre Suprema along a Coordinate Map over a Translation-Closed Set and Their Semicontinuous Envelopes

We work in the settings of Real Hilbert Spaces: Standing Notation and Background, Real Hilbert Spaces: Series, Products, Orthonormal Bases and Differential Calculus and Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation, the last together with Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation on which it rests, used in the dimension $m$ for a natural number $m$ with $1\le m$.

Let $H$ be a real Hilbert space, with its inner product $\langle\cdot,\cdot\rangle$ and norm $|\cdot|$ as fixed there, let $\mathbb{R}^{m}$ carry its Euclidean norm $\lVert\cdot\rVert$ and Euclidean distance $d_{E}$, and regard $\mathbb{R}^{m}$ as the metric space $(\mathbb{R}^{m},d_{E})$. We write $\lVert\zeta\rVert^{2}=\lVert\zeta\rVert\lVert\zeta\rVert$, and $\tfrac{\alpha}{2}$ for the quotient of $\alpha\in\mathbb{R}$ by $2=1+1$.

Let $e\in H^{m}$ be an $m$-tuple in $H$ that is orthonormal, let $\Lambda:H\to\mathbb{R}^{m}$ and $\Lambda^{\sharp}:\mathbb{R}^{m}\to H$ be the coordinate map determined by $e$ and the map $\Lambda^{\sharp}$ of that clause, and let $A$ be a subset of $H$ that is translation-closed along $e$.

Let $\hat{u},\hat{v}:A\to\mathbb{R}$ and let $\alpha\in\mathbb{R}$ be positive. Assume that the set of values of $\hat{u}$ is bounded above and that the set of values of $\hat{v}$ is bounded below. Let $\bar{x},\bar{y}\in A$ and assume that

Put $\bar{\zeta}=\Lambda\bar{x}$ and $\bar{\omega}=\Lambda\bar{y}$, and for $\zeta\in\mathbb{R}^{m}$ put $A_{\zeta}=\{\,x\in A\ :\ \Lambda x=\zeta\,\}$. Then the following hold.

1. (The fibre suprema)¶ For every $\zeta\in\mathbb{R}^{m}$ the set $A_{\zeta}$ is nonempty, the set $\{\hat{u}(x):x\in A_{\zeta}\}$ has a least upper bound and the set $\{\hat{v}(y):y\in A_{\zeta}\}$ has a greatest lower bound, unique by Existence of the Infimum of a Nonempty Subset of $\mathbb{R}$ Bounded Below and Uniqueness of the Supremum and of the Infimum. The functions $U,\mathcal{V}:\mathbb{R}^{m}\to\mathbb{R}$ given by

are therefore defined; the set of values of $U$ is bounded above and that of $\mathcal{V}$ is bounded below. Consequently $U$ is bounded above near each point of $\mathbb{R}^{m}$ and $\mathcal{V}$ is bounded below near each point of $\mathbb{R}^{m}$.

2. (Envelopes and the maximum)¶ Let $U^{*}$ be the upper semicontinuous envelope of $U$ and let $\mathcal{V}_{*}$ be the lower semicontinuous envelope of $\mathcal{V}$, both taken in the metric space $(\mathbb{R}^{m},d_{E})$. Then $U^{*}$ is upper semicontinuous on $\mathbb{R}^{m}$, $\mathcal{V}_{*}$ is lower semicontinuous on $\mathbb{R}^{m}$, and

3. (Values at the base point)¶ $U^{*}(\bar{\zeta})=U(\bar{\zeta})=\hat{u}(\bar{x})$ and $\mathcal{V}_{*}(\bar{\omega})=\mathcal{V}(\bar{\omega})=\hat{v}(\bar{y})$.

4. (Approximation over a fibre neighbourhood)¶ Let $\zeta_{1}\in\mathbb{R}^{m}$ and let $r,\varepsilon\in\mathbb{R}$ be positive. Then there are $x\in A$ and $y\in A$ with