Companions of directed sets and the ordering lemma (Q2363297): Difference between revisions

A companion of a partially ordered set~\((D,{\leq})\) is a cofinal subset~\(C\) of~\(D\), endowed with a well-order~\(\preceq\) such that \(x\leq y\) implies \(x\preceq y\) whenever \(x,y\in C\). In case \(D\) is directed and \(f:D\to X\) is a net in some space~\(X\) one may ask how the net \(f_C\), the restriction of~\(f\) to~\(C\), relates to the original net~\(f\). Is it a subnet? If one converges then does the other? If one clusters then does the other? The author investigates these questions in detail and provides proofs for and counterexamples to various implications. One counterexample, that shows that clustering of~\(f_C\) does not imply clustering of~\(f\), invalidates a recently proposed solution of the problem whether normal linearly Lindelöf spaces are Lindelöf.