ABSTRACT
As is well known, any preorder on a set
induces an Alexandrov topology on
. In some interesting cases related to data mining an Alexandrov topology can be transformed into different types of logico-algebraic models. In some cases, (pre)topological operators provided by Pointless Topology may define a topological space on
even if
is not a preorder. If this is the case, then we call
a crypto-preorder. The paper studies the conditions under which a relation
is a crypto-preorder and how to transform a crypto-preorder into a proper preorder.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Notes
1 In modal terms, can be considered a sort of heterogeneous Kripke frame, with
, int and
in the role of necessity, and
, cl and
in the role of possibility.
2 Theorem 5.21 amends point (iv) of Corollary 1 of Pagliani (Citation2014) and point (ii) of Facts 3 of Pagliani (Citation2016), which state also the converse implication, erroneously.
3 Coprime filters are called prime filters in some texts.
4 is a generalisation of the Kolmogorov quotient and if
is a topology, it is a result of the duality theorem about distributive lattices where any coprime (or prime) element x of the lattice is transformed into an ‘abstract point’ on which the elements of x collapse.
5 However the following is a direct proof. If then for all
implies
. Therefore,
implies
, all X. In particular,
implies
. But the antecedent is true, so the consequence must be true, too. Since R is reflexive, so is
. Hence
and, thus,
so that
. The opposite implication is proved analogously by transitivity: if
and
is transitive, then
. Hence, if
then
, all
. Therefore,
. The thesis for
and R is a trivial consequence.
6 This duality is a version of Birkhoff's representation theorem applied to finite topologies, that is, finite distributive lattices of sets. In fact from Corollary 5.20, for any ,
is a co-prime filter (and
a prime ideal) and
.
7 An even more general case, to be explored, is given when instead of a function a relation is used.
8 It is called a semi-topological formal system in Pagliani & Chakraborty, Citation2008
9 Since the monoid operation, ∩, is idempotent, a formal neighbourhood system is a quasi-topological formal system according to the taxonomy introduced in Pagliani and Chakraborty (Citation2008).
10 Details may be found in Pagliani and Chakraborty (Citation2008). Pay attention that in that book the apex R of and the likes, is not used. A simplified proof can be found in Pagliani (Citation2014).
11 In that book the proof of Proposition 15.14.9 suffers from some typos in the last line to be corrected as follows: ‘By (point-meet) and by N3,
, so that
’.
12 Enlarging does not work, because of the above constraints.
13 This is a direct proof of Proposition 15.14.14 of Pagliani and Chakraborty (Citation2008) and is based on S-N2 instead of N2.