A topological completeness concept with applications to the open mapping theorem and the separation of convex sets
type: Item
instance of: scholarly article
title: A topological completeness concept with applications to the open mapping theorem and the separation of convex sets
zbMATH Open document ID: 0724.54013
DOI: 10.1016/0166-8641(90)90120-Q
author: Dominikus Noll
published in: Topology and its Applications
publication date: 1990-01-01T00:00:00Z
review text: A topological space is called (strictly) p-complete by the author if it admits a (strictly) p-complete web. These spaces have previously been introduced game-theoretically by \textit{H. White}, who called the p- complete spaces weakly \(\alpha\)-favourable. Every Čech complete space is strictly p-complete, hence p-complete; and every p-complete space is Baire. The interesting applications of p-completeness presented in the paper are based on Theorem 1.2: A continuous dense and nearly feebly open mapping (i.e., int \(\overline{f(V)}\neq \emptyset\) for open \(V\neq \emptyset)\) from a p-complete space E to a metrizable space F maps residual subsets of E onto residual subsets of F. A consequence of this is Theorem 1.4 about the openness of a continuous nearly feebly open bijection between metrizable spaces. The concept of p- completeness is then used to define (strictly) pseudo-complete convex subsets of locally convex vector spaces. For Fréchet spaces E it is shown that every CS-closed subset of E in the sense of \textit{G. Jameson} and in particular every convex \(G_{\delta}\)-subset of E is strictly pseudo-complete, and that every pseudo-complete convex subset of E is semi-closed in the sense of Jameson. In Section 6, strictly pseudo- complete convex subsets of Fréchet spaces are characterized game- theoretically. In Section 4, an open mapping theorem for multifunctions between Banach spaces having a strictly pseudo-complete convex graph is proved which generalizes open mapping theorems of \textit{Jameson} and \textit{S. Robinson}. In Section 5, Tuckey's classical separation theorem is generalized by: Let C,D be disjoint strictly pseudo-complete convex sets in a Banach space E. Suppose that C is bounded and C-D is not nowhere dense. Then C,D can be separated by a closed hyperplane.
Mathematics Subject Classification ID: 54C10
Mathematics Subject Classification ID: 46A30
Mathematics Subject Classification ID: 52A05
Mathematics Subject Classification ID: 54E52
Mathematics Subject Classification ID: 46A22
Mathematics Subject Classification ID: 46A55
zbMATH DE Number: 4194669
zbMATH Keywords: p-complete web
zbMATH Keywords: p-completeness
zbMATH Keywords: nearly feebly open mapping
zbMATH Keywords: open mapping theorem
MaRDI profile type: Publication
cites work: Q5571891
cites work: Q4150803
cites work: On CS ‐closed sets
cites work: Q5644563
cites work: Convex sets in linear spaces. II
cites work: Q5569793
cites work: Q5549798
cites work: Open mapping theorems in topological spaces
cites work: Baire Spaces and Graph Theorems
cites work: Continuous affine support mappings for convex operators
cites work: Regularity and Stability for Convex Multivalued Functions
cites work: Q4180770
cites work: Some notes on convex sets
cites work: Topological Spaces That are α-Favorable for a Player with Perfect Information
cites work: Regularity and stability for the mathematical programming problem in Banach spaces
description: scientific article; zbMATH DE number 4194669