Compact-like properties in hyperspaces

From MaRDI portal





\(\mathcal{CL}(X)\) and \(\mathcal K(X)\) denote the hyperspaces of non-empty closed and non-empty compact subsets of \(X\), respectively, with the Vietoris topology. For an infinite cardinal number \(\alpha\), a space \(X\) is \(\alpha\)-hyperbounded if for every family \(\{S_{\xi}:\xi<\alpha\}\) of non-empty compact subsets of \(X\), \(Cl_X(\bigcup_{\xi<\alpha}S_{\xi})\) is a compact set, and a space \(X\) is pseudo-\(\omega\)-bounded if for each countable family \(\mathcal U\) of non-empty open subsets of \(X\), there exists a compact set \(K\subseteq X\) such that each element in \(\mathcal U\) has a non-empty intersection with \(K\).NEWLINENEWLINE The authors generalize some results of \textit{D. Milovančević} [Publ. Inst. Math., Nouv. Sér. Vol. 38(52), 193--201 (1985; Zbl 0584.54017)] proving that for any infinite cardinal \(\alpha\) and a Tikhonov space \(X\) the following are equivalent: (1)~\(X\) is \(\alpha\)-hyperbounded, (2)~\({\mathcal K}(X)\) is \(\alpha\)-bounded, (3)~\({\mathcal K}(X)\) is initially \(\alpha\)-compact (every open cover of \(X\) of cardinality \(\alpha\) has a finite subcover), (4)~\(\mathcal K(X)\) is \(\alpha\)-hyperbounded.NEWLINENEWLINE They also prove that \({\mathcal K}(X)\) is pseudocompact (pseudo-\(\omega\)-bounded, strongly \(p\)-pseudocompact for some \(p\in\mathbb N^*\), or \(p\)-pseudocompact for some \(p\in\mathbb N^*)\) if and only if \(X\) is pseudo-\(\omega\)-bounded. The authors show that if \(\mathcal K(X)\) is normal and \(C^*\)-embedded in \(\mathcal{CL}(X)\), then: (1)~\(X\) is \(\omega\)-hyperbounded, and (2)~\(X\) is \(\alpha\)-bounded if and only if \(X\) is \(\alpha\)-hyperbounded, for every infinite cardinal number \(\alpha\).











This page was built for publication: Compact-like properties in hyperspaces

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