Riesz and Lodato reflections. I (Q1288916)

This paper is the first part of a research, which second part is published in [ibid., No. 3, 201-212 (1996; Zbl 0914.54007), see the review below]. The following topological categories are investigated: FIL. The screen on the set \(X\) is a non-empty collection \(\Sigma\) of proper or improper filters in \(X\), satisfying the properties S1: for each \(x\in X\) the ultrafilter in \(X\) fixed at \(x\) belongs to \(\Sigma\) S2: if \(\sigma\in \Sigma\) and \(\sigma'\) is a filter and \(\sigma \subset \sigma'\), then \(\sigma'\in \Sigma\). A filter space is the pair \((X,\Sigma)\) consisting of a set \(X\) and screen \(\Sigma\). If \((X,\Sigma)\) and \((X',\Sigma')\) are filter spaces a mapping \(f:X \rightarrow X'\) is said to be \((\Sigma, \Sigma') \)-continuous if and only if for each \(\sigma\in \Sigma\) the smallest (possible improper) filter in \(X\) containing the set \(\{f(S): S\in \sigma \}\) is the element of \(\Sigma'\). CONT. The term flock on the \(X\) means the finite subset of the set of all subsets \(\exp (X)\) of \(X\). The set of all flocks on \(X\) is denoted by \(\phi(X)\). A \(\omega\)-looseness \({\mathfrak R}\) on \(X\) is a non-empty collection of flocks satisfying the following conditions: L1: \(\emptyset\in \rho\in \phi(X)\) L2: \( \rho\in {\mathfrak R}\Rightarrow \bigcap \rho = \emptyset\) L3: \( \rho\in {\mathfrak R}\wedge \rho \ll \rho'\in \phi(X) \Rightarrow \rho'\in {\mathfrak R}\) (\(\rho \ll \rho\)' holds if and only if for each \(R\in \rho\) there exists a \(R'\in \rho'\) such that \(R \supset R'\)) L4: \(\rho, \rho'\in {\mathfrak R}\Rightarrow \rho \vee \rho'\in {\mathfrak R}\) whenever \(\rho \vee \rho'\) is defined (\(\rho = \rho'' \cup \{R\}\), \(\rho' = \rho'' \cup \{R'\}\), \(\rho \vee \rho' - \rho'' \cup \{R\} \cup \{R'\}\) A contiguity space is a pair \((X,{\mathfrak R})\), where \(X\) is a set and \({\mathfrak R}\) an \(\omega\)-looseness on \(X\). If \((X,{\mathfrak R})\) and \((X,{\mathfrak R}')\) are two contiguity spaces, a mapping \(f:X \rightarrow X'\) is said to be \(({\mathfrak R}, {\mathfrak R}')\) continuous if \(\rho'\in {\mathfrak R}' \Rightarrow \{f^{-1}(R'): R'\in \rho'\}\in {\mathfrak R}\). The flocks belonging to \({\mathfrak R}\) are said to be \({\mathfrak R}\)-loose, the other ones are called \({\mathfrak R}\)-tight. \(m\)-CONT, \(2 \leq m\in N\), \(m\)-flock is the flock of cardinality \(\leq m\). An \(m\)-contiguity space is a pair \((X,{\mathfrak R})\) consisting of a set \(X\) and \(m\)-looseness \({\mathfrak R}\) on \(X\), i.e. non-empty collection of \(m\)-flocks in \(X\), satisfying L1 to L4 with replacing \(\phi(X)\) by \(\phi_m(X)\) (the set of all \(m\)-flocks in \(X\)). The definition of contiguity is similar. (The notion of 2-contiguity coincides with the concept of proximities -- \(A \delta B \Leftrightarrow \{A,B\} \notin {\mathfrak R}\)) FIL, CONT, \(m\)-CONT are topological categories which are investigated in detail in the paper. In the first part, the general and closure properties and the Riesz reflections are discussed.