# Is a weakly separable group always Lindelöf?

By "weakly separable" I mean the notion for uniform spaces used by David Wigner and Lawrence Brown: a uniform space is weakly separable if any uniform cover has a countable subcover. For a topological group $G$ this means for any open set $U$ in $G$, the cover $\{gU\}_{g \in G}$ has a countable subcover, or equivalently every cover $\{Ug\}_{g \in G}$ has a countable subcover. Thank you.

Let's take the group $G = \mathbb Z^T$, where $T$ is an uncountable set.
Is $G$ weakly separable? Yes: If $U$ is any neighborhood of $0$ in $G$, then there exists a finite set $T_0 \subset T$ so that $$U \supseteq V := \{\phi \in G \colon \phi(t)=0 \text{ for all } t \in T_0\}$$ Countably many translates of $V$ cover $G$: namely translates by all $\psi \in G$ supported by $T_0$.
If $G$ Lindelof? No. Steen & Seebach, Example 103.
• Thank you! I'm not sure what $\delta$ has to do with it though.... Feb 25, 2014 at 14:14
• OK $\delta$ can be removed. My first version was $\mathbb R^T$, and $\delta$ was used for the neighborhood. Feb 25, 2014 at 15:29