On Romanovski's lemma (Q541392)

The paper generalizes two versions of the Romanovski's lemma of which one is as follows: Let \(X\) be a topological space. Let \(U\) be a non-empty family of open set of \(X\) that satisfies the following four properties. \textrm I\(_{\nu_1}\). \(U\neq\{0\}\); \textrm II\(_{\nu_1}\). If \(u\in U\), and \(v\subset u\), and \(v\) is open, then \(v\in U\); \textrm III\(_{\nu-1}\). If \(u_\alpha\in U\) for all \(\alpha\in A\), then \(\bigcup_{\alpha\in A} u_\alpha\in U\); \textrm IV\(_{\nu-1}\). Whenever \(u\in U\), \(u\neq X\), then there exists \(v\in U\) such that \(v\cap\{X\setminus u\}\neq\{0\}\). The \(U\) must be the class of all open subsets of \(X\) that belong to \(U\). The paper then develops several applications of the lemma as stated above with another generalization of the lemma dealing with local basis of neighborhoods. The one that attracted me is the one using generalized functions or indeed in this paper distributions. It implements the traditional test space of infinitely differentiable compact support test functions together with the traditional distribution space, the \(\phi\)-transform of a distribution \(f\in D'(\mathbb{R}^n)\) and defines the functions \(F\equiv F_\phi\{f\}\equiv\langle f(x+ ty_, \phi(y)\rangle\), where \((x,t)\in H\), the half space \(\mathbb{R}^n\times(0,\infty)\). One of the theorems proven in the paper selects a distribution together with the \(\phi\)-transform, together with the application of the generalized Romanovski lemma proves that the distribution is a measure on the appropriate domain set.