A generalization of core compact spaces (Q818411)

The authors generalize the notion of a core compact space to that of a \(\nu\)-core compact space, \(\nu\) an infinite cardinal. Further, they generalize the notion of Scott topology to \(\nu\)-Scott topology and prove some results relating these notions. To state these results, some terminology is needed. Fix two spaces \(Y\) and \(Z\) and let \(C(Y,Z)\) denote the set of all continuous functions of \(Y\) into \(Z\). If \(t\) is a topology on \(C(Y,Z)\), then the corresponding space is denoted by \(C_t(Y,Z)\). A topology \(t\) on \(C(Y,Z)\) is called splitting if for every space \(X\), the continuity of a map \(F:X\times Y\to Z\) implies that of the map \(\widehat F:X\to C_t(Y,Z)\), where \(\widehat F\) is defined by \(\widehat F(x)=F_x\) for every \(x\in X\) with \(F_x(y)=F(x,y)\) for every \(y\in Y\). A topology \(t\) on \(C(Y,Z)\) is called admissible if for every space \(X\), the continuity of a map \(G:X\to C_t(Y,Z)\) implies that of the map \(\widetilde G:X\times Y\to Z\), where \(\widetilde G\) is defined by \(\widetilde G(x,y)=G(x)(y)\) for every \((x,y)\in X\times Y\). For a family \({\mathcal A}\) of spaces, if in the above definitions it is assumed that the space \(X\) belongs to \({\mathcal A}\), the topology \(t\) is called \({\mathcal A}\)-splitting (respectively, \({\mathcal A}\)-admissible). Let \(\nu\) be an infinite cardinal and \({\mathcal O}(Y)\) the set of all open subsets of \(Y\). For two elements \(U\) and \(V\) of \({\mathcal O}(Y)\), \(U\ll_\nu V\) if for every open cover \(\{W_i:i\in I\}\) of \(V\) there is a subcollection \(\{W_i:i\in J\subset 1\}\) such that \(|J|<\nu\) and \(U \subset\cup \{W_i:i\in J\}\). The authors call a space \(Y\) \(\nu\)-core compact if for every open neighborhood \(U\) of a point \(y\in Y\) there exists an open neighborhood \(V\) of \(y\) such that \(V\ll_\nu U\). \(\tau_\nu\) denotes the family of all subsets \(\mathbb{H}\) of \({\mathcal O}(Y)\) such that: \((\alpha)\) \(\mathbb{H}=\uparrow\mathbb{H}\), where \(\uparrow\mathbb{H}=\{U\in{\mathcal O}(Y): (^\exists V\in\mathbb{H})V\subset U\}\). \((\beta)\) for every \(\nu\)-directed subset \(\mathbb{D}\) of the partially ordered set \({\mathcal O}(Y), \subseteq)\) with sup \(\mathbb{D}\in\mathbb{H}\), \(\mathbb{D}\cap\mathbb{H}\neq\emptyset\) holds, where \(\mathbb{D}\) is called \(\nu\)-directed if every subset of \(\mathbb{D}\) with cardinality less than \(\nu\) has an upper bound in \(\mathbb{D}\). The authors define a topology \(t_\nu\) on \(C(Y,Z)\) such that the sets of the form \((\mathbb{H}, U)=\{f\in C(Y,Z):f^{-1}(U)\in\mathbb{H}\}\), where \(U\in{\mathcal O}(Z)\) and \(\mathbb{H}\in \tau_\nu\), form a subbasis, and give some relations between \(\nu\)-core compact spaces and the topology \(t_\nu\), as below. Proposition 1. The following statements are true: (1) The topology \(t_\nu\) is \({\mathcal A}\)-splitting, where \({\mathcal A}\) is the family of all \(P_\nu\)-spaces. (2) If \(Y\) is \(\nu\)-core compact, then \(t_\nu\) is admissible. Proposition 2. The following statements are equivalent: (1) \(Y\) is \(\nu\)-core compact. (2) For every space \(Z\) the evaluation map \(e\): \(C_{\tau_\nu}(Y,Z)\times Y\to Z\) is continuous, where \(e(f,y)= f(y)\) for \((f,y)\in C(Y,Z)\times Y\). (3) The evaluation map \(e\): \(C_{t_\nu}(Y,2)\times Y\to 2\) is continuous. (4) For every open neighborhood \(V\) of a point \(y\) of \(Y\) there is an open set \(\mathbb{H}\in \tau_\nu\), such that \(V\in\mathbb{H}\) and the set \(\cap\{P:P\in\mathbb{H}\}\) is a neighborhood of \(y\) in \(Y\).