A construction of Hewitt realcompactification in terms of nets (Q2862930)

As suggested by its title, in this article the author uses nets to construct the Hewitt realcompactification of a completely regular Hausdorff space \(X\). A net \((x_i)\) in \(X\) is called a \(C\)-\textit{net} provided the \(\lim_if(x_i)\) exists for every \(f\in C(X)\). Let \(Y_0\) be the set of \(C\)-nets in \(X\), and define a relation \(\equiv\) on \(Y_0\) by \((x_i)\equiv(y_j)\) iff \(\lim f(x_i)=\lim f(y_j)\) for all \(f\in C(X)\) (\(=C(X,{\mathbb R})\)). Let \(Y\) be the corresponding set of equivalence classes \(\{|(x_i)|: (x_i)\in Y_0\}\), and endow \(Y\) with the weak topology induced on it by the family \(\{\pi(f):f\in C(X)\}\), where each \(\pi(f):Y\rightarrow{\mathbb R}\) is defined by \(\pi(f)(|(x_i)|)=\lim f(x_i)\). The author proves that \(Y\) is the Hewitt realcompactification \(\upsilon X\).