Linear operators with compact supports, probability measures and Milyutin maps

DOI10.1016/J.JMAA.2010.04.045MaRDI QIDQ984769zbMATH OpenOpenAlexFDO

Publication date 20 July 2010

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.3435

\(\mathrm{AE}(0)\)-space compact supports Milyutin map probability measure pseudocompact regular averaging operator.regular extension operator

Mathematics Subject Classification ID

Extension of maps (54C20) Function spaces in general topology (54C35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Dimension theory in general topology (54F45) Topological spaces of dimension (leq 1); curves, dendrites (54F50)

Abstract: The notion of a regular operator with compact supports between function spaces is introduced. On that base we obtain a characterization of absolute extensors for zero-dimensional spaces in terms of regular extension operators having compact supports. Milyutin maps are also considered and it is established that some topological properties, like paracompactness, metrizability and k-metrizability, are preserved under Milyutin maps.

Review text

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).

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Linear operators with compact supports, probability measures and Milyutin maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q984769)