Baire category properties of function spaces with the Fell hypograph topology

DOI10.1016/J.TOPOL.2019.106817MaRDI QIDQ2324528zbMATH OpenOpenAlexWikidataFDO

Authors Leijie Wang, Taras Banakh

Publication date 11 September 2019

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

Baire categoryChoquet gameFell hypograph topology

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Complete metric spaces (54E50) Baire category, Baire spaces (54E52)

Abstract: For a Tychonoff space $X$ and a subspace $YsubsetmathbbR$, we study Baire category properties of the space $C_{downarrowF}(X,Y)$ of continuous functions from $X$ to $Y$, endowed with the Fell hypograph topology. We characterize pairs $X,Y$ for which the function space $C_{downarrowF}(X,Y)$ is $infty$-meager, meager, Baire, Choquet, strong Choquet, (almost) complete-metrizable or (almost) Polish.

Review text

The paper delivers what it promises: an investigation of properties related to Baire category in function spaces with the Fell hypograph topology. The Fell topology is the topology on the family of closed subsets of a space \(X\) by the subbase consisting of the sets \(\{F:F\cap U\neq\emptyset\}\) and \(\{F:F\cap K=\emptyset\}\), where \(U\) and \(K\) run through the families of open and compact sets respectively. One uses the Fell topology to topologise function spaces: if \(C(X,Y)\) is the family of continuous functions from the space \(X\) to the Hausdorff space \(Y\) then \(C(X,Y)\) consists of closed subsets of \(X\times Y\) and hence inherits the Fell topology of its hyperspace. In the present paper \(Y\) is generally a subspace of \(\mathbb{R}\) and the authors identify a function \(f\) with its hypograph \(\{(x,y):y\le f(x)\}\) rather than its graph. The resulting space is denoted \(C_{\downarrow F}(X,Y)\). The paper contains a slew of results characterising when this space is Baire, Choquet, strong Choquet, (almost) completely metrizable and (almost) Polish. These are too numerous to summarize compactly, so let it suffice to give the flavour by citing an answer to a question from [\textit{R. A. McCoy} and \textit{I. Ntantu}, Boll. Unione Mat. Ital., VII. Ser., B 6, No. 3, 507--532 (1992; Zbl 0793.54012)]: if \(X\) is Tychonoff then \(C_{\downarrow F}(X,\mathbb{R})\) is a Baire space iff it is Choquet iff it is strong Choquet iff \(X\) is discrete.

Recommendations

• Network properties of function spaces endowed with the Fell hypograph topology
• Metrization of function spaces with the Fell topology.
• Lusin and Suslin properties of function spaces
• Topological structures of the space of continuous functions on a non-compact space with the Fell topology
• Topological classification of function spaces with the Fell topology. III.
• Topological classification of function spaces with the Fell topology. II.
• On generic continuity of maps to posets with metrics
• The Fell topology on C(X)
• Hypertopologies on function spaces
• scientific article; zbMATH DE number 4100151

Cites work

• Baireness of \(C_ k(X)\) for locally compact \(X\)
• Cartesian products of Baire spaces
• scientific article; zbMATH DE number 4084570 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 96552 (Why is no real title available?)
• scientific article; zbMATH DE number 3464501 (Why is no real title available?)
• scientific article; zbMATH DE number 3476334 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 917531 (Why is no real title available?)
• scientific article; zbMATH DE number 1404766 (Why is no real title available?)
• scientific article; zbMATH DE number 1417311 (Why is no real title available?)
• The hyperspace of the regions below continuous maps with the Fell topology
• The infinite-dimensional topology of function spaces
• Topological classification of function spaces with the Fell topology. I.
• Topological classification of function spaces with the Fell topology. II.
• Topological classification of function spaces with the Fell topology. III.
• Topological classification of function spaces with the Fell topology. IV.
• Topological Spaces That are α-Favorable for a Player with Perfect Information
• Topological structures of the space of continuous functions on a non-compact space with the Fell topology

Cited in

(9)

• Fell topology on the space of functions with closed graph
• Lusin and Suslin properties of function spaces
• Topological classification of function spaces with the Fell topology. II.
• Network properties of function spaces endowed with the Fell hypograph topology
• Metrization of function spaces with the Fell topology.
• The Baire property of certain hypo-graph spaces
• On Baire category properties of function spaces C'_k(X, Y)
• Function space of continuous maps from \([0, 1]\) to tree. II
• Function space of continuous maps from Peano continuum to tree I

This page was built for publication: Baire category properties of function spaces with the Fell hypograph topology

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