Abstract:In this paper, we study some characterizations of $q$-spaces, strict $q$-spaces and strong $q$-spaces under $\omega$-balanced topological groups as follows:
(1) A topological group $G$ is $\omega$-balanced and a $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a countably compact invariant subgroup $H$ which is of countable character in $G$, such that $H \subseteq O$ and the canonical quotient mapping $p:G\rightarrow G/H$ is quasi-perfect and the quotient group $G/H$ is metrizable.
(2) A topological group $G$ is $\omega$-balanced and a strict $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a closed sequentially compact invariant subgroup $H$ which is of countable character in $G$, such that $H \subseteq O$ and the canonical quotient mapping $p:G\rightarrow G/H$ is sequential-perfect and the quotient group $G/H$ is metrizable.
(3) A topological group $G$ is $\omega$-balanced and a strong $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a closed sequentially compact invariant subgroup $H$ of countable character $\{V_{n}:n\in \omega\} $, such that $H \subseteq O$ and $\{V_{n}:n\in\omega\}$ is a strong $q$-sequence at each $ y\in H $, in $G$ such that the canonical quotient mapping $p:G\rightarrow G/H$ is strongly sequential-perfect and the quotient group $G/H$ is metrizable.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to characterize q - spaces, strictly q - spaces and strongly q - spaces in ω - balanced topological groups. Specifically, the goal of the paper is to provide an "internal" characterization method by studying the properties of these spaces under specific conditions. That is, in a given ω - balanced topological group \(G\), if certain conditions are met, then \(G\) is a q - space, a strictly q - space or a strongly q - space. These conditions usually involve the existence of a particular type of subgroup \(H\) such that \(H\) has certain compactness and sequential properties, and the quotient group \(G/H\) is metrizable.
### Main Conclusions
1. **q - space**:
- A topological group \(G\) is ω - balanced and a q - space if and only if for every open neighborhood \(O\) of the identity element of \(G\), there exists a countably compact invariant subgroup \(H\) which has a countable character in \(G\), such that \(H\subseteq O\), and the canonical quotient mapping \(p: G\rightarrow G/H\) is a quasi - perfect mapping, and the quotient group \(G/H\) is metrizable.
2. **Strictly q - space**:
- A topological group \(G\) is ω - balanced and a strictly q - space if and only if for every open neighborhood \(O\) of the identity element of \(G\), there exists a closed sequentially compact invariant subgroup \(H\) which has a countable character in \(G\), such that \(H\subseteq O\), and the canonical quotient mapping \(p: G\rightarrow G/H\) is a sequentially perfect mapping, and the quotient group \(G/H\) is metrizable.
3. **Strongly q - space**:
- A topological group \(G\) is ω - balanced and a strongly q - space if and only if for every open neighborhood \(O\) of the identity element of \(G\), there exists a closed sequentially compact invariant subgroup \(H\) which has a countable character \(\{V_n : n\in\omega\}\) in \(G\), such that \(H\subseteq O\), and \(\{V_n : n\in\omega\}\) is a strong q - sequence at each \(y\in H\), and the canonical quotient mapping \(p: G\rightarrow G/H\) is a strongly sequentially perfect mapping, and the quotient group \(G/H\) is metrizable.
### Key Concepts
- **q - point**: A point \(x\in X\) is called a q - point if there exists a sequence of open neighborhoods \(\{U_n : n\in\omega\}\) such that any sequence \(\{x_n\}_{n\in\omega}\) with \(x_n\in U_n\) for each \(n\in\omega\) has an accumulation point in \(X\).
- **Strictly q - point**: A point \(x\in X\) is called a strictly q - point if there exists a q - sequence \(\{U_n : n\in\omega\}\) such that \(\bigcap_{n\in\omega}U_n\) is a sequentially compact set.
- **Strongly q - point**: A point \(x\in X\) is called a strongly q - point if there exists a sequence of open neighborhoods \(\{U_n : n\in\omega\}\) such that any sequence \(\{x_n\}_{n\in\omega}\) with \(x_n\in U_n\) for each \(n\in\omega\) has a convergent subsequence.
- **Quasi - perfect mapping**: A continuous mapping \(f: X\rightarrow Y\) is called a quasi - perfect mapping if it is a closed mapping and each fiber \(f^{-1}(y)\) is...