Let H be a separable Hilbert space and suppose that H is infinite dimensional. Let B be a closed ball of H-which has a positive radius-and let S be the boundary of B. A non-empty subset C of H is an "inspection set for S" just in case (1) C and B are disjoint and (2) If p is any point of S, there exists a point q of C such that the straight line segment whose end points are p and q, contains no interior point of B. In other words, it should be possible to "see" each point of S from at least one point of C. ...... My questions are about the kind of subset C of H that can be an "inspection set for S". Can C be a simple closed curve? Can C be compact? Can C be a homeomorphic image of a sraight line? I suspect that the answer to all these questions is negative and not difficult to prove (although I have gotten nowhere trying to prove it myself). The answers are, of course, clearly positive when H is finite dimensional, since we can then consider H to be a finite dimensional Euclidean space.



Some questions about "inspecting" the boundary of a closed ball in Hilbert space
(I'll do this for real Hilbert spaces, which seems natural here.) Just as in finitely many dimensions, a point $x\in H$ sees exactly the subset
$$
A(x)=\{ s\in S: \langle x, s\rangle \ge 1\} .
$$
Since we cannot cover $S$ by finitely many sets of the type $\bigcup A(x)$, with the union taken over $x$ from a small ball, say, it follows that $C$ can not be compact.


On the other hand, covering $S$ with countably many sets $A(x\_j)$ is no problem, so $C$ can be homeomorphic to a line. More explicitly, fix $x\_1,x\_2,\ldots$ such that every point on $S$ is seen by an $x\_j$. We can also insist that $\|x\_{n+1}\|\ge \|x\_n\|+1$, say. Then define a bijective continuous function $f:\mathbb R\to H$ that satisfies $f(n)=x\_n$.


