Linear operators with compact supports, probability measures and Milyutin maps (Q984769): Difference between revisions

The author works with Tychonoff spaces \(X\). For each locally convex linear space \(E\), \(C(X,E)\) is the set of continuous functions from \(X\) to \(E\). Let \(u:C(X,E)\to C(Y,E)\) be a linear map. For each \(y\in Y\), \(T(y):C(X,E)\to C(Y,E)\) is defined by \(T(y)(h)=u(h)(y)\). The function \(u\) is called a regular operator if for all \(y\), \(T(y)\) is a regular linear map, meaning that \(T(y)(h)\) lies in the closed convex hull \(\overline{\operatorname{conv}h(C)}\) of \(h(X)\) in \(E\) for all \(h\). If \(\mu:C(X,E)\to E\) is a linear map, then \(s(\mu)\) is the set of \(x\in\beta X\) such that for every neighborhood \(U\) of \(x\) in \(\beta X\), there exists \(h\in C(X,E)\) with \((\beta h)(\beta X\setminus U)=\{0\}\) and \(\mu(h)\neq 0\). The subspace \(s(\mu)\subset\beta X\) is closed, hence compact. When \(s(\mu)\subset X\), then \(\mu\) is said to have compact support in \(X\). This allows one to say that the linear map \(u:C(X,E)\to C(Y,E)\) (as above) has compact supports if for each \(y\in Y\), \(T(y)\) has compact support in \(X\). One of the goals of the paper is to investigate spaces in the class \(\mathrm{AE}(0)\), absolute extensors for compact \(0\)-dimensional spaces. A characterization is found in Theorems 4.1, 4.2: Proposition. For any space \(X\), the following are equivalent: {\parindent=6.5mm \begin{itemize} \item[(1)] \(X\) is an \(\mathrm{AE}(0)\)-space, \item[(2)] for every \(C\)-embedding of \(X\) in a space \(Y\), there exists a regular extension operator \(u:C(X,\mathbb{R})\to C(Y,\mathbb{R})\) with compact supports, \item[(3)] for every \(C\)-embedding of \(X\) in a space \(Y\), there exists a regular extension operator \(u:C^*(X,\mathbb{R})\to C^*(Y,\mathbb{R})\) with compact supports, \item[(4)] for every \(C\)-embedding of \(X\) in a space \(Y\), and any complete locally convex space \(E\), there exists a regular extension operator \(u:C^*(X,E)\to C^*(Y,E)\) with compact supports. \end{itemize}} Other topics dealt with in this paper are: measure spaces and pseudocompactness (Section 2), Milyutin maps and linear operators with compact supports (Section 3), and properties preserved by Milyutin maps (Section 5).