Let $A$ be a locally convex algebra. By $\mathcal{B}_1$, we denote the collection of all subsets $B$ of $A$ such that:
- $B$ is absolutely convex and $B^2\subseteq B$
- $B$ is closed and bounded in $A$.
Now let $S$ be a closed subalgebra of $A$. Let $\mathcal{B}_1$ have its usual meaning and let $\mathcal{B}_2$ be the corresponding collection for the subalgebra $S$.
My question: Is $\mathcal{B_2} \subseteq \mathcal{B}_1?$
I am thinking yes.
- Clearly if $B \in \mathcal{B}_2$, then $B\subseteq S \subseteq A$, i.e. $B$ is a subset of $A$ that is absolutely convex and satisfies $B^2 \subseteq B$.
However, since $B \in \mathcal{B}_2$ (the collection corresponding to $S$) we only know that $B$ is closed and bounded in $S$, i.e. the in the relative topology on $S$. How do we know that $B$ is also closed and bounded in the topology on $A$?
If $B\subset S$ is closed in the relative topology of $S$, then since $S$ is closed in $A$ it follows that $B$ is closed in $A$ (see for instance this question).
If now $B$ is bounded in $S$, then for every neighborhood $U$ of $0$ in $A$, $U\cap S$ is an open neighborhood of $0$ in $S$, so there is some $t_0>0$ such that $B\subset t(U\cap S)$ for all $t> t_0$. But then for all $t>t_0$ we have $B\subset tU$, and thus $B$ is bounded in $A$.