Strict Pytkeev networks with sensors and their applications in topological groups (Q1738928)

\textit{A. V. Arhangel'skii} introduced sensitive families and sensor families of a topological space [Commentat. Math. Univ. Carol. 51, No. 1, 99--112 (2010; Zbl 1224.54055) and Topology Appl. 158, No. 2, 215--222 (2011; Zbl 1209.54004)]: Let \(\mathcal{S}\) be a family of subsets of a topological space \(X\). \(\mathcal{S}\) is called sensitive at a point \(x\) in \(X\) if for each neighborhood \(U\) of \(x\) and for each \(A\subset X\setminus\{x\}\) with \(x\in\overline{A}\), there exists \(S\in\mathcal{S}\) such that \(S\subset U\) and \(S\cap A\) is infinite. \(\mathcal{S}\) is called a sensor at \(H\subset X\) if for each open neighborhood \(O(H)\) of \(H\) and each \(A\subset X\) with \(H\cap\overline{A}\neq\emptyset\), there exists \(S\in\mathcal{S}\) such that \(P\subset O(H)\) and \(H\cap\overline{A\cap S}\neq\emptyset\). Thus, for a point \(x\) in \(X\), \(\mathcal{S}\) is a sensor at \(x\) if for each neighborhood \(U\) of \(x\) and each \(A\subset X\) with \(x\in\overline{A}\), there exists \(S\in\mathcal{S}\) such that \(S\subset U\) and \(x\in\overline{A\cap S}\). \textit{T. Banakh} and \textit{S. Gabriyelyan} introduced the notions of Pytkeev networks and strict Pytkeev networks [Monatsh. Math. 180, No. 1, 39--64 (2016; Zbl 1359.54013)]: A family \(\mathcal{P}\) of subsets of a topological space \(X\) is called a Pytkeev network (resp. strict Pytkeev network) of \(x\in X\) if \(\mathcal{P}\) is network of \(x\), and for each neighborhood \(U\) of \(x\) and each \(A\subset X\) with \(x\in\overline{A\setminus\{x\}}\) there exists \(P\in\mathcal{P}\) such that \(P\cap A\) is infinite and \(P\subset U\) (resp. \(x\in P\subset U\)). Clearly, \(\mathcal{P}\) is a Pytkeev network of \(x\) if and only if it is a network and sensitive at \(x\). \(\mathcal{P}\) is a Pytkeev network (resp. strict Pytkeev network) for \(X\) if \(\mathcal{P}\) is a network for \(X\) and a Pytkeev network (resp. strict Pytkeev network) of \(x\) for each \(x\in X\). In this paper the authors define a strict Pytkeev network with sensors (abbr. an \(sp\)-network) based on the notions of strict Pytkeev networks and sensor families: A family \(\mathcal{P}\) is called a strict Pytkeev network with sensors (abbr. an \(sp\)-network) at a point \(x\) in \(X\) if for each neighborhood \(U\) of \(x\) and each \(A\subset X\) with \(x\in\overline{A}\), there exists \(P\in\mathcal{P}\) such that \(x\in P\subset U\) and \(x\in\overline{A\cap P}\). Various kinds of topological spaces with certain Pytkeev networks have been defined and discussed. In this paper the authors discuss the following 6 questions and, by \(sp\)-networks, they obtain partial answers to Questions 1.1--1.5 and give a negative answer to Question 1.6. Question 1.1. Under what circumstances can one make some of the types of networks coincide? Question 1.2. Does every regular space with a \(\sigma\)-locally finite (strict) Pytkeev network have a \(\sigma\)-discrete (strict) Pytkeev network? Question 1.3. Is a normal space with a \(\sigma\)-locally finite strict Pytkeev network paracompact? Question 1.4. Find a characterization of regular spaces with a countable strict Pytkeev network analogous to the characterization of \(\aleph_0\)-spaces given by E.~A.~Michael. Question 1.5. Does every pseudocompact regular sequential space with a point-countable \(cs^{\ast}\)-network have a point-countable base? Question 1.6. Is every countably-sensitive topological group metrizable?