Extensions de proximités et de prétopologies dans l'ensemble des ultrafilters. (Extensions of proximities and pretopologies in the set of ultrafilters) (Q1307307)

A Riesz extension of a relation \(\delta \subset PX \times PX\) on the set \(PX\) of subsets of a set \(X\) is a pretopological space, i.e. a pair \((Y,\varphi)\), where \(Y\) is a set and \(\varphi: P Y\to PY\) satisfies \(\varphi(\emptyset)=\emptyset\), \(A\subset\varphi(A)\), \(\varphi(A\cup B)=\varphi(A)\cup\varphi(B)\), for which \(X\subset Y\), \(A\delta B\) if and only if \(\varphi(A)\cap \varphi (B) \neq \emptyset\), and \(\{x\} \delta A\) if and only if \(x \in \varphi (A)\). This paper seeks to characterize those \(\delta\) which admit a Riesz extension. Several such characterizations are given in terms of the ``nasse'' \(\Delta\) associated to \(\delta\), i.e. the relation \(\Delta\) on the set \(\Omega(X)\) of ultrafilters on \(X\) given by \(\Delta=\{(U,V)\in\Omega (X)^2\mid U \times V\subset\delta\}\). As a consequence it is shown that if \(\delta\) is a proximity, i.e. satisfies certain necessary conditions to admit a Riesz extension, then \(\delta\) admits a Riesz extension if and only if it admits one of the form \((\Omega(X),\varphi)\). Several examples are also considered.