Fell continuous multi-sections (Q390801): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \({\mathcal C}(Y)\) denote the set of all nonempty compact subsets of a space \(Y\). A mapping \(\varphi : X \to {\mathcal C}(Y)\) is said to be lower semicontinuous, or l.s.c., if for every open subset \(V\) of \(Y\), the set \(\{ x \in X: \varphi(x) \cap V \neq \varnothing\}\) is open in \(X\). Let \(\tau_V\) (resp.\ \(\tau_F\)) denote the Vietoris (resp.\ Fell) topology on \(\mathcal{C}(Y)\). A \(T_1\)-space \(X\) is said to be ultranormal if every two disjoint closed subsets are contained in disjoint clopen subsets. In [Fundam.\ Math.\ 211, No.\ 1, 85--99 (2011; Zbl 1239.54010)], the second author proved that a \(T_1\)-space \(X\) is ultranormal if and only if for every metrizable space \(Y\) every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\varphi : X \to {\mathcal C}(Y)\) (i.e.\ a continuous mapping from \(X\) to \(({\mathcal C}(Y), \tau_F)\)) such that \(\varphi (x) \subset \Phi (x)\) for each \(x \in X\). In this paper, the authors introduce the concept of \(F\)-ultranormal spaces concerning ultranormality and superparacompactness (introduced by Pasynkov), and prove that a \(T_1\)-space is \(F\)-ultranormal if and only if for every completely metrizable space \(Y\), every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\psi : X \to {\mathcal C}({\mathcal C}(Y), \tau_V)\) such that \(K \cap \Phi (x) \neq \varnothing\) for every \(K \in \psi (x)\) and \(x \in X\). Here, \({\mathcal C}({\mathcal C}(Y), \tau_V)\) is the set of all nonempty compact subsets of the space \(({\mathcal C}(Y), \tau_V)\), and the mapping \(\psi\) is called a multi-section of \(\Phi\). Some related covering properties are also characterized in terms of multi-sections. | |||
Property / review text: Let \({\mathcal C}(Y)\) denote the set of all nonempty compact subsets of a space \(Y\). A mapping \(\varphi : X \to {\mathcal C}(Y)\) is said to be lower semicontinuous, or l.s.c., if for every open subset \(V\) of \(Y\), the set \(\{ x \in X: \varphi(x) \cap V \neq \varnothing\}\) is open in \(X\). Let \(\tau_V\) (resp.\ \(\tau_F\)) denote the Vietoris (resp.\ Fell) topology on \(\mathcal{C}(Y)\). A \(T_1\)-space \(X\) is said to be ultranormal if every two disjoint closed subsets are contained in disjoint clopen subsets. In [Fundam.\ Math.\ 211, No.\ 1, 85--99 (2011; Zbl 1239.54010)], the second author proved that a \(T_1\)-space \(X\) is ultranormal if and only if for every metrizable space \(Y\) every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\varphi : X \to {\mathcal C}(Y)\) (i.e.\ a continuous mapping from \(X\) to \(({\mathcal C}(Y), \tau_F)\)) such that \(\varphi (x) \subset \Phi (x)\) for each \(x \in X\). In this paper, the authors introduce the concept of \(F\)-ultranormal spaces concerning ultranormality and superparacompactness (introduced by Pasynkov), and prove that a \(T_1\)-space is \(F\)-ultranormal if and only if for every completely metrizable space \(Y\), every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\psi : X \to {\mathcal C}({\mathcal C}(Y), \tau_V)\) such that \(K \cap \Phi (x) \neq \varnothing\) for every \(K \in \psi (x)\) and \(x \in X\). Here, \({\mathcal C}({\mathcal C}(Y), \tau_V)\) is the set of all nonempty compact subsets of the space \(({\mathcal C}(Y), \tau_V)\), and the mapping \(\psi\) is called a multi-section of \(\Phi\). Some related covering properties are also characterized in terms of multi-sections. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Takamitsu Yamauchi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243687 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
set-valued mapping | |||
Property / zbMATH Keywords: set-valued mapping / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperspace | |||
Property / zbMATH Keywords: hyperspace / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Vietoris topology | |||
Property / zbMATH Keywords: Vietoris topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fell topology | |||
Property / zbMATH Keywords: Fell topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lower semi-continuous | |||
Property / zbMATH Keywords: lower semi-continuous / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
closed-graph | |||
Property / zbMATH Keywords: closed-graph / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
section | |||
Property / zbMATH Keywords: section / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(F\)-ultranormal space | |||
Property / zbMATH Keywords: \(F\)-ultranormal space / rank | |||
Normal rank |
Revision as of 14:02, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fell continuous multi-sections |
scientific article |
Statements
Fell continuous multi-sections (English)
0 references
9 January 2014
0 references
Let \({\mathcal C}(Y)\) denote the set of all nonempty compact subsets of a space \(Y\). A mapping \(\varphi : X \to {\mathcal C}(Y)\) is said to be lower semicontinuous, or l.s.c., if for every open subset \(V\) of \(Y\), the set \(\{ x \in X: \varphi(x) \cap V \neq \varnothing\}\) is open in \(X\). Let \(\tau_V\) (resp.\ \(\tau_F\)) denote the Vietoris (resp.\ Fell) topology on \(\mathcal{C}(Y)\). A \(T_1\)-space \(X\) is said to be ultranormal if every two disjoint closed subsets are contained in disjoint clopen subsets. In [Fundam.\ Math.\ 211, No.\ 1, 85--99 (2011; Zbl 1239.54010)], the second author proved that a \(T_1\)-space \(X\) is ultranormal if and only if for every metrizable space \(Y\) every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\varphi : X \to {\mathcal C}(Y)\) (i.e.\ a continuous mapping from \(X\) to \(({\mathcal C}(Y), \tau_F)\)) such that \(\varphi (x) \subset \Phi (x)\) for each \(x \in X\). In this paper, the authors introduce the concept of \(F\)-ultranormal spaces concerning ultranormality and superparacompactness (introduced by Pasynkov), and prove that a \(T_1\)-space is \(F\)-ultranormal if and only if for every completely metrizable space \(Y\), every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\psi : X \to {\mathcal C}({\mathcal C}(Y), \tau_V)\) such that \(K \cap \Phi (x) \neq \varnothing\) for every \(K \in \psi (x)\) and \(x \in X\). Here, \({\mathcal C}({\mathcal C}(Y), \tau_V)\) is the set of all nonempty compact subsets of the space \(({\mathcal C}(Y), \tau_V)\), and the mapping \(\psi\) is called a multi-section of \(\Phi\). Some related covering properties are also characterized in terms of multi-sections.
0 references
set-valued mapping
0 references
hyperspace
0 references
Vietoris topology
0 references
Fell topology
0 references
lower semi-continuous
0 references
closed-graph
0 references
section
0 references
\(F\)-ultranormal space
0 references