Hereditarily normal Wijsman hyperspaces are metrizable (Q2448757)

For a metric space \((X,d)\), let \(2^X\) denote the set of all closed subsets of \(X\). For each \(x\in X\), the function \(\rho (x , \cdot ) : 2^X \to \mathbb{R}\) is defined by \(\rho (x, A) = \inf \{ \rho (x,a) : a \in A\}\), \(A \in 2^X\). The Wijsman topology on \(2^X\) is the weak topology determined by the collection \(\{ d(x, \cdot) : x \in X\}\). In [Di Maio, Giuseppe (ed.) et al., Recent progress in function spaces. Rome: Aracne. Quad. Mat. 3, 55--91 (1998; Zbl 0961.54011)], \textit{G. Di Maio} and \textit{E. Meccariello} posed the following problem: Is \((2^X, \tau_{w(d)})\) normal if and only if \((2^X, \tau_{w(d)})\) is metrizable? In [Ann. Mat. Pura Appl. (4) 192, No. 3, 349--359 (2013; Zbl 1273.54021)], \textit{L. Holá} and \textit{B. Novotný} gave a partial answer to this problem. In this paper, the authors give another partial answer by proving the following theorem: For a metric space \((X,d)\), if \((2^X, \tau_{w(d)})\) is hereditarily normal, then \((2^X, \tau_{w(d)})\) is metrizable. They also prove that the following statements are equivalent concerning the subspace \(2^X\setminus \{ X\}\) of \((2^X, \tau_{w(d)})\) for a metric space \((X,d)\): (i) \((2^X, \tau_{w(d)})\) is metrizable; (ii) \(2^X\setminus \{ X\}\) is normal; (iii) \(2^X\setminus \{ X\}\) is metacompact; (iv) \(2^X\setminus \{ X\}\) is meta-Lindelöf; and (v) \(2^X\setminus \{ X\}\) is orthocompact. To prove the theorems, the authors use embedding techniques based on the idea of \textit{J. E. Keesling} [Pac. J. Math. 33, 657--667 (1970; Zbl 0182.25401)].