The hyperspace of the regions below continuous maps with the Fell topology (Q1943014)

From MaRDI portal
Revision as of 07:23, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The hyperspace of the regions below continuous maps with the Fell topology
scientific article

    Statements

    The hyperspace of the regions below continuous maps with the Fell topology (English)
    0 references
    0 references
    0 references
    14 March 2013
    0 references
    For a Tychonoff space \(X\) and \(\mathbf I=[0,1]\), \(\text{Cld}_F(X\times \mathbf I)\) stands for the hyperspace \(\text{Cld}(X\times \mathbf I)\) of all nonempty closed subsets of \(X\times \mathbf I\) endowed with the \textit{Fell topology} having as subbase sets of the form \(\{A\in \text{Cld}(X\times \mathbf I): A\cap U\neq\emptyset\}\), and \(\{A\in \text{Cld}(X\times \mathbf I): A\cap K=\emptyset\}\), where \(U\subseteq X\times \mathbf I\) is open and \(K\subseteq X\times \mathbf I\) is compact. If \(\downarrow USC(X)\), and \(\downarrow C(X)\) stand for the collection of hypographs \(\{(x,\lambda)\in X\times \mathbf I: \lambda \leq f(x)\}\) of upper semicontinuous and continuous maps \(f:X\to\mathbf I\), respectively, then \(\downarrow USC(X)\) and \(\downarrow C(X)\) can be viewed as subspaces of \(\text{Cld}_F(X\times \mathbf I)\). Motivated by analogous results for the so-called Vietoris hyperspace topology, the authors characterize under what conditions on \(X\) there is a homeomorphism \(h\) between \(\downarrow~USC(X)\) and \([-1,1]^{\omega}\) with \(h(\downarrow C(X))=c_0=\{(x_n)\in [-1,1]^{\omega}: \lim_n x_n=0\}\). The main result is that this happens if and only if \(X\) is locally compact, separable, metrizable, and the set of isolated points of \(X\) is not dense in \(X\).
    0 references
    0 references
    Fell topology
    0 references
    hyperspace
    0 references
    hypograph
    0 references
    uppers semicontinuous
    0 references
    continuous
    0 references
    Hilbert cube
    0 references
    0 references