On two-loci of metric projections (Q1305329)

Let \({\mathcal B}(X)\) be the space of all bounded closed and non-empty subsets of a Banach space \(X\). A set \(C\) is called everywhere continual in \(X\) if \(\text{card} (C\cap U)\) is not smaller than the continuum, for every nonempty open \(U\subset X\). For a non-empty subset \(M\subset X\) and every metric projection mapping \(P(\cdot ,M)\) the set \(L^nM =\{x\in X: \text{card }P(x,M)=n\}\) is associated, called \(n\)-locus of \(P\) generated by \(M\), or simply \(n\)-locus of \(M\). The investigation of the two-locus \(L^2M\) in the separable strictly convex Banach space \(X\) with \(\dim X\geq 2\) is given. Namely, it is proved that in such a space there exists a residual subset \(\mathcal R\) (i.e. containing a dense \(G_\delta \) subset of \(X\)) of \({\mathcal B}(X)\) such that for every \(M\in \mathcal R\) the set \(L^2M\) contains an everywhere continual (hense dense) in \(X\) subset \(C_M\) at each point of which \(P\) is upper semicontinuous.