Quasi drop properties, \((\alpha)\)-properties and the strict Mackey convergence (Q2816152)

A closed and convex subset \(B\) of a locally convex space \(E\) is said to have the quasi-drop property if, given an arbitrary closed subset \(A\) of \(E\) such that \(A\cap B=\emptyset\), there exists \(a\in A\) such that \(D(a,B)\cap A=\{a\}\). Here, \(D(a,B):=\mathrm{conv}(\{a\}\cup B)\) is called the drop defined by \(a\) and \(B\). This is a natural extension to the locally convex setting of the notion introduced in the context of Banach spaces by \textit{S. Rolewicz} [Stud. Math. 85, 27--35 (1986; Zbl 0642.46011)], motivated by the Ekeland variational principle and the Daneš drop theorem. Property \((\alpha)\) of \(B\), defined also by Rolewicz for Banach spaces in [loc. cit.], says that every nonzero continuous linear functional \(f\) which is bounded above on \(B\) cuts from \(B\) sections \(S(f,B,\delta):=\{x\in B:\;f(x)>M-\delta\}\), where \(M:=\sup f(B)\), whose Kuratowski measure of noncompactness approaches \(0\) as \(\delta\rightarrow 0\). It was proved to be equivalent to the drop property in [\textit{V. Montesinos}, Stud. Math. 87, 93--100 (1987; Zbl 0652.46009)].NEWLINENEWLINEThe author defines, for a disk \(B\) in a locally convex space with the strict Mackey convergence condition, the Mackey \((\alpha)\)-property as follows: There exists a disk \(D\supset B\) in \(E\) such that on \(B\) the original topology and the topology defined by the gauge of \(D\) coincide, and such that for every \(f\in E'\setminus \{0\}\), we have \(\lim_{\delta\rightarrow 0}\alpha_{D}(S(f,B,\delta))=0\), where \(\alpha_D\) is the Kuratowski measure of noncompactness defined by the gauge \(\rho_D\). We observe that, in this context, this property coincides with the so-called \((\alpha)\)-property, defined in [\textit{I. Monterde Pérez}, Some compactness criteria in locally convex and Banach spaces. Universitat Politècnica de València (PhD Thesis) (2009; \url{doi:10.4995/thesis/10251/14569})]. In the present paper, it is proved that in locally convex spaces with the strict Mackey convergence condition, a disk \(B\) with the quasi drop property has the Mackey \((\alpha)\)-property associated to a disk \(D\supset B\) such that \(\rho_D\) induces on \(B\) the original topology (a result that also follows from the fact that the quasi drop property implies the \((\alpha)\)-property, see [Monterde, loc. cit.]), and also that the converse holds for locally complete spaces with the strict Mackey convergence condition. Theorem 2 gives equivalent conditions for the quasi drop property in Fréchet spaces in terms of the compactness or, alternatively, the Kuratowski measure of noncompactness of sets \(D(a,B)\cap A\), for \(a\in A\), \(A\) a nonempty closed subset of \(E\) such that \(B\cap A=\emptyset\). The last part of the paper deals with the so-called quasi weak \((\alpha\))-property, a property implied by the quasi-weak drop property introduced in [\textit{J. H. Qiu}, Stud. Math. 156, No. 2, 189--202 (2003; Zbl 1028.46016)].