\(T_0\) *-compactification in the hyperspace (Q409686): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Miguel Angel Sánchez-Granero / rank | |||
Property / author | |||
Property / author: Miguel Angel Sánchez-Granero / rank | |||
Normal rank | |||
Property / review text | |||
A \textit{quasi-uniformity} on a nonempty set \(X\) is a filter \(\mathcal U\) on \(X\times X\) such that (i) each member of \(\mathcal U\) contains the diagonal \(\Delta\) of \(X\times X\) and (ii) if \(U\in \mathcal U\), then \(V\circ V \subseteq U\) for some \(V\in \mathcal U\). The pair \((X, \mathcal U)\) is called a \textit{quasi-uniform space}. The conjugate of the quasi-uniformity \(\mathcal U\) on \(X\), denoted by \({\mathcal U}^{-1}\), is another quasi-uniformity on \(X\) defined by \({\mathcal U}^{-1}=\{U^{-1}: U \in \mathcal U\}\). The \textit{topology} \(\mathcal T(\mathcal U)\) on \(X\) induced by \(\mathcal U\) is defined as follows: \[ \mathcal T(\mathcal U) =\{G \subseteq X: \text{for\;each}\;x\in G\;\text{there\;is}\;U\in \mathcal U\;\text{such\;that}\;U(x) \subseteq G\}. \] If \(\mathcal T(\mathcal U)\) is a \(T_0\) topology on \(X\), then \((X, \mathcal U)\) is called a \(T_0\) quasi-uniform space. A *-compactification of a \(T_0\) quasi-uniform space \((X,\mathcal U)\) is a compact \(T_0\) quasi-uniform space \((Y,\mathcal V)\) that has a \({\mathcal T}({\mathcal V} \vee {\mathcal V}^{-1})\)-dense subspace quasi-isomorphic to \((X, \mathcal U)\). Given a quasi-uniform space \((X,\mathcal U)\), the Hausdorff-Bourbaki quasi-uniformity \({\mathcal U}_H\) on the collection \({\mathcal P}_0(X)\) of all nonempty subsets of \(X\) has as a base the family of subsets of the form \[ U_H =\{(A,B) \in {\mathcal P}_0(X) \times {\mathcal P}_0(X): B \subseteq U(A),\;A \subseteq U^{-1}(B)\}, \] where \(U\in \mathcal U\). The pair \(({\mathcal P}_0(X), {\mathcal U}_H)\) is called the \textit{hyperspace} of \((X, \mathcal U)\), and in turn, \((X, \mathcal U)\) is called a \textit{base space} of \(({\mathcal P}_0(X), {\mathcal U}_H)\). In this paper, the authors study when the hyperspace \(({\mathcal P}_0(X), {\mathcal U}_H)\) of a quasi-uniform space \((X,\mathcal U)\) has a \(T_0\) *-compactification. The main results give various characterizations on some *-compactifications of the hyperspace in terms of properties of its base space. | |||
Property / review text: A \textit{quasi-uniformity} on a nonempty set \(X\) is a filter \(\mathcal U\) on \(X\times X\) such that (i) each member of \(\mathcal U\) contains the diagonal \(\Delta\) of \(X\times X\) and (ii) if \(U\in \mathcal U\), then \(V\circ V \subseteq U\) for some \(V\in \mathcal U\). The pair \((X, \mathcal U)\) is called a \textit{quasi-uniform space}. The conjugate of the quasi-uniformity \(\mathcal U\) on \(X\), denoted by \({\mathcal U}^{-1}\), is another quasi-uniformity on \(X\) defined by \({\mathcal U}^{-1}=\{U^{-1}: U \in \mathcal U\}\). The \textit{topology} \(\mathcal T(\mathcal U)\) on \(X\) induced by \(\mathcal U\) is defined as follows: \[ \mathcal T(\mathcal U) =\{G \subseteq X: \text{for\;each}\;x\in G\;\text{there\;is}\;U\in \mathcal U\;\text{such\;that}\;U(x) \subseteq G\}. \] If \(\mathcal T(\mathcal U)\) is a \(T_0\) topology on \(X\), then \((X, \mathcal U)\) is called a \(T_0\) quasi-uniform space. A *-compactification of a \(T_0\) quasi-uniform space \((X,\mathcal U)\) is a compact \(T_0\) quasi-uniform space \((Y,\mathcal V)\) that has a \({\mathcal T}({\mathcal V} \vee {\mathcal V}^{-1})\)-dense subspace quasi-isomorphic to \((X, \mathcal U)\). Given a quasi-uniform space \((X,\mathcal U)\), the Hausdorff-Bourbaki quasi-uniformity \({\mathcal U}_H\) on the collection \({\mathcal P}_0(X)\) of all nonempty subsets of \(X\) has as a base the family of subsets of the form \[ U_H =\{(A,B) \in {\mathcal P}_0(X) \times {\mathcal P}_0(X): B \subseteq U(A),\;A \subseteq U^{-1}(B)\}, \] where \(U\in \mathcal U\). The pair \(({\mathcal P}_0(X), {\mathcal U}_H)\) is called the \textit{hyperspace} of \((X, \mathcal U)\), and in turn, \((X, \mathcal U)\) is called a \textit{base space} of \(({\mathcal P}_0(X), {\mathcal U}_H)\). In this paper, the authors study when the hyperspace \(({\mathcal P}_0(X), {\mathcal U}_H)\) of a quasi-uniform space \((X,\mathcal U)\) has a \(T_0\) *-compactification. The main results give various characterizations on some *-compactifications of the hyperspace in terms of properties of its base space. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jiling Cao / 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: 54E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6024161 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperspace | |||
Property / zbMATH Keywords: hyperspace / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
*-compactification | |||
Property / zbMATH Keywords: *-compactification / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bicompletion | |||
Property / zbMATH Keywords: bicompletion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
stability space | |||
Property / zbMATH Keywords: stability space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff-Bourbaki quasi-uniformity | |||
Property / zbMATH Keywords: Hausdorff-Bourbaki quasi-uniformity / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2011.06.064 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072028855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Quasi-Uniformities in Hyperspaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensions of quasi-uniformities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: C-complete quasi-uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactifications of totally bounded quasi-uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4371050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4546500 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4877592 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The scale of a quasi-uniform space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3123097 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Well-quasi-ordering and the Hausdorff quasi-uniformity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The bicompletion of the Hausdorff quasi-uniformity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5658811 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonstandard methods of completing quasi-uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On hereditary precompactness and completeness in quasi-uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completions and compactifications of quasi-uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactifications of quasi-uniform hyperspaces. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: *-Compactifications of quasi-uniform spaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:31, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(T_0\) *-compactification in the hyperspace |
scientific article |
Statements
\(T_0\) *-compactification in the hyperspace (English)
0 references
13 April 2012
0 references
A \textit{quasi-uniformity} on a nonempty set \(X\) is a filter \(\mathcal U\) on \(X\times X\) such that (i) each member of \(\mathcal U\) contains the diagonal \(\Delta\) of \(X\times X\) and (ii) if \(U\in \mathcal U\), then \(V\circ V \subseteq U\) for some \(V\in \mathcal U\). The pair \((X, \mathcal U)\) is called a \textit{quasi-uniform space}. The conjugate of the quasi-uniformity \(\mathcal U\) on \(X\), denoted by \({\mathcal U}^{-1}\), is another quasi-uniformity on \(X\) defined by \({\mathcal U}^{-1}=\{U^{-1}: U \in \mathcal U\}\). The \textit{topology} \(\mathcal T(\mathcal U)\) on \(X\) induced by \(\mathcal U\) is defined as follows: \[ \mathcal T(\mathcal U) =\{G \subseteq X: \text{for\;each}\;x\in G\;\text{there\;is}\;U\in \mathcal U\;\text{such\;that}\;U(x) \subseteq G\}. \] If \(\mathcal T(\mathcal U)\) is a \(T_0\) topology on \(X\), then \((X, \mathcal U)\) is called a \(T_0\) quasi-uniform space. A *-compactification of a \(T_0\) quasi-uniform space \((X,\mathcal U)\) is a compact \(T_0\) quasi-uniform space \((Y,\mathcal V)\) that has a \({\mathcal T}({\mathcal V} \vee {\mathcal V}^{-1})\)-dense subspace quasi-isomorphic to \((X, \mathcal U)\). Given a quasi-uniform space \((X,\mathcal U)\), the Hausdorff-Bourbaki quasi-uniformity \({\mathcal U}_H\) on the collection \({\mathcal P}_0(X)\) of all nonempty subsets of \(X\) has as a base the family of subsets of the form \[ U_H =\{(A,B) \in {\mathcal P}_0(X) \times {\mathcal P}_0(X): B \subseteq U(A),\;A \subseteq U^{-1}(B)\}, \] where \(U\in \mathcal U\). The pair \(({\mathcal P}_0(X), {\mathcal U}_H)\) is called the \textit{hyperspace} of \((X, \mathcal U)\), and in turn, \((X, \mathcal U)\) is called a \textit{base space} of \(({\mathcal P}_0(X), {\mathcal U}_H)\). In this paper, the authors study when the hyperspace \(({\mathcal P}_0(X), {\mathcal U}_H)\) of a quasi-uniform space \((X,\mathcal U)\) has a \(T_0\) *-compactification. The main results give various characterizations on some *-compactifications of the hyperspace in terms of properties of its base space.
0 references
hyperspace
0 references
*-compactification
0 references
bicompletion
0 references
stability space
0 references
Hausdorff-Bourbaki quasi-uniformity
0 references