Essential and density topologies of continuous domains (Q290633)

Let \((X,\leq)\) be a directed complete partially ordered set (dcpo). For \(x,y\in X\) write \(x\ll y\) if for each directed \(A\subset X\) with \(y\leq\sup A\) there is \(a\in A\) such that \(x\leq a\), and for \(U\subset X\) write \(\downdownarrows U=\{x\in X\;/\;x\ll u \text{ for some } u\in U\}\). A set \(U\subset X\) is e-open if \(\downdownarrows U\subset U\). The family \(\tau_e\) of e-open subsets forms an Alexandrov topology on \(X\). Properties of \(\tau_e\) and the smallest common refinement of the Scott topology and \(\tau_e\), \(\rho_X\), are studied. If \(X\) is a continuous domain then bases of \(X\) correspond to dense sets with respect to \(\rho_X\).