Separation properties of simultaneous topological extensions (Q1848024)

Let \(X\) be a set, and for each \(i\in I\) and \(x\in X\), let \(X_i\subset X\) and \(\mathfrak s_i(x)\) be a (possibly zero) filter in \(X_i\). A topology \(\tau\) on \(X\) is said to be a simultaneous extension compatible with the filter system \((\mathfrak s_i)\) iff for all \(i\in I\) and \(x\in X\), \(\mathfrak s_i(x)=\mathfrak v_\tau(x)|X_i\), where \(\mathfrak v_\tau(x)\) denotes the neighborhood system of \(x\) in \(X\). The filter system \((\mathfrak s_i)\) is said to be admissible iff there exists a topology compatible with \((\mathfrak s_i)\). As shown by the author [ibid. 91, No. 3, 187-193 (2001; Zbl 0980.54001)], in general, if there is a compatible topology, there exist many of them, but all compatible topologies have some properties in common such as the next one: if \(A\subset X_i\), then the closure of \(A\) with respect to any compatible topology \(\tau\) is the same set \(c(A)\), and so \(\tau|X_i\) is a topology \(\tau_i\) independent of \(\tau\). The author studies necessary and/or sufficient conditions for a filter system \((\mathfrak s_i)\) to admit a compatible \(T_s\) topology, where \(s=0,1, 2\). In \S 1, the following results are obtained. An admissible filter system admits a compatible \(T_1\) topology iff for \(x,y\in X\), \(i\in I\), there is \(S_i\in\mathfrak s_i(x)\) such that \(y\notin S_i\). An admissible filter system admits a compatible \(T_0\) topology iff for \(x,y\in X\), \(x\neq y\), either there is \(S_i\in\mathfrak s_i(x)\) such that \(y\notin S_i\) for all \(i\in I\), or there is \(S_i\in\mathfrak s_i(y)\) such that \(x\notin S_i\) for all \(i\in I\). In \S 2, \(T_2\) extensions are studied. It is noted that if a filter system \((\mathfrak s_i)\) admits a compatible \(T_2\) topology, then (*) for \(x,y\in X\), \(x\neq y\), there are, for all \(i\in I\), \(U_i\in\mathfrak s_i(x)\) and \(V_i\in\mathfrak s_i(y)\) such that \(U_i\cap V_i=\emptyset\). An example is given to show that (*) is not a sufficient condition in general to guarantee the existence of a compatible \(T_2\) topology. An admissible system \((\mathfrak s_i)\) is said to be: dense if there is a finite \(I'\subset I\) such that \(X=\bigcup\{c(X_i):i\in I'\}\); or locally finite iff there exists a compatible topology \(\tau\) for which the family \(\{X_i:i\in I\}\) is locally finite. The author proves that if \((\mathfrak s_i)\) satisfies (*) and is either dense or locally finite, then it admits a compatible \(T_2\) topology.