English

Topologically independent sets in topological groups and vector spaces

General Topology 2025-03-24 v1

Abstract

We study topological versions of an independent set in an abelian group and a linearly independent set in a vector space, a {\em topologically independent set} in a topological group and a {\em topologically linearly independent set} in a topological vector space. These counterparts of their algebraic versions are defined analogously and possess similar properties. Let \C×\C^\times be the multiplicative group of the field of complex numbers with its usual topology. We prove that a subset AA of an arbitrary Tychonoff power of \C×\C^\times is topologically independent if and only if the topological subgroup \hullA\hull{A} that it generates is the Tychonoff direct sum aA\hulla\bigoplus_{a\in A}\hull{a}. This theorem substantially generalizes an earlier result of the author, who has proved this for Abelian precompact groups. Further, we show that topologically independent and topologically linearly independent sets coincide in vector spaces with weak topologies, although they are different in general. We characterize topologically linearly independent sets in vector spaces with weak topologies and normed spaces. In a weak topology, a set AA is topologically linearly independent if and only if its linear span is the Tychonoff direct sum R(A)\R^{(A)}. In normed spaces AA is topologically linearly independent if and only if it is uniformly minimal. Thus, from the point of view of topological linear independence, the Tychonoff direct sums R(A)\R^{(A)} and (linear spans of) uniformly minimal sets, which are closely related to bounded biorthogonal systems, are of the same essence.

Keywords

Cite

@article{arxiv.2503.17062,
  title  = {Topologically independent sets in topological groups and vector spaces},
  author = {Jan Spěvák},
  journal= {arXiv preprint arXiv:2503.17062},
  year   = {2025}
}
R2 v1 2026-06-28T22:29:37.046Z