Spaces of measures as Mackey completions (Q1276327)

Let \(X\) be a completely regular Hausdorff space and \(E\) a normed space. Let \(C(X,E)\) (\(C(X)\) if \(E= K\), the field of scalars) be the space of all \(E\)-valued continuous functions on \(X\), and let \(L(X)\) be the vector space of discrete measures on \(X\). With the natural duality between \(L(X)\) and \(C(X)\), let \(M_{gc}(X)\) be the completion of \((L(X),\tau(L(X), C(X)))\). Then the elements of \(M_{gc}(X)\) are called completely Grothendieck measures. \(\widetilde X\) \((\nu X)\) denotes the Stone-Čech compactification (real-compactification) of \(X\), \(\theta X\) the topological completion of \(X\) and \(\mu X\) the \(\mu\)-space associated with \(X\). Let \({\mathcal K}_{ge}= \{K\subset \theta X\setminus:K\) compact and \(M_K(X)\cap M_{gc}(X)= \{0\}\}\) where \(M_K(X)= \{\mu\in M(X): \text{supp}(\widetilde\mu)\subset K\}\) and \(\widetilde\mu(g)= \mu(g|_X)\), \(g\in C((\widetilde X))\). Using \({\mathcal K}_{gc}\) and the family \({\mathcal C}\) of all compact subsets of \(\theta X\), a projective limit locally convex topology \(\beta_{gc}\) is defined on \(C(X)\) and it is shown that \((C(X),\beta_{gc})'= M_{gc}(X)\), and that \((C(X), \beta_{gc})\) is barrelled with the Dunford-Pettis property. Let \(\mu_1(X)= \theta X\setminus\cup\{K: K\in{\mathcal K}_{gc}\}\). Then \(\beta_{gc}\) is shown to be the topology of uniform convergence on the compact subsets of \(\mu_1X\). Now let us consider \(C(X,E)\). Let \(\beta_{gc}\) be the topology on \(C(X,E)\) of uniform convergence on the compact subsets of \(\mu_1X\). Then it is shown that \((C(X, E),\beta_{gc})\) is quasibarrelled; and is barrelled if \(E\) is complete. In the latter case, \((M_{gc}(X, E'),\tau(M_{gc}(X, E'), C(X,E)))\) is complete and is the completion of \((L(X, E),\tau(L(X, E'),C(X,E)))\). Finally, if the Banach space \(E\) has the property that for every compact Hausdorff space \(Y\), \((C(Y, E)),\|\cdot\|)\) has the Dunford-Pettis property, then \((C(X, E),\beta_{gc})\) too has the Dunford-Pettis property.