Working with the separable quotient problem for locally convex spaces we (with Saak Gabriyelyan) arrived to an interesting topology on the dual of a locally convex space and we would like to know if this topology had been considered in the literature.

It is defined as follows.

Let $X$ be a locally convex space over the field $\mathbb F$ of real or complex numbers, and $X^*$ be the linear space of all linear continuous functionals on $X$.

A subset $F\subset X^*$ is called *weakly$^*$ bounded* if for any $x\in X$ the set $\{f(x):f\in F\}$ is bounded in the field $\mathbb F$.

By $\beta^*$ we denote the family of weakly$^*$ bounded subsets of $X^*$.

A subset $B\subset X$ is called *$\beta^*$-bounded* if for any weakly$^*$ bounded subset $F\subset X^*$ the set $\{f(x):f\in F,\;x\in B\}$ is bounded in the field $\mathbb F$. The family of $\beta^*$-bounded subsets of $X$ is denoted by $\beta^*_*$.

It is easy to see that each $\beta^*$-bounded set $B$ in $X$ is bounded in the standard (von Neumann) sense: for any neighborhood $U$ of zero there exists $n\in\mathbb N$ with $B\subset nU$. So, the bornology $\beta^*_*$ is contained in the bornology $\beta$ of all bounded sets.

On the dual space $X^*$ consider the topology $\beta^*_*(X^*,X)$ of uniform convergence on $\beta^*$-bounded subsets of $X$.

It is clear that this topology contains the weak$^*$ topology $\sigma(X^*,X)$ of $X^*$ (i.e., the topology of uniform convergence on finite subsets of $X$) and is contained in the strong topology $\beta(X^*,X)$ (of uniform convergence on bounded subsets of $X$). So,

$$\sigma(X^*,X)\subset\beta^*_*(X^*,X)\subset\beta(X^*,X).$$

If $X$ is a Banach space, then $\beta^*_*(X^*,X)=\beta(X^*,X)$ is the topology generated by the dual norm on $X^*$.

But already for normed spaces the topologies $\beta^*_*(X^*,X)$ and $\beta(X^*,X)$ can be different. For example, if $X=\ell^2_0$ is the pre-Hilbert space of all eventally zero sequences in $\ell_2$, then $\beta^*_*(X^*,X)=\sigma(X^*,X)\ne\beta(X^*,X)$.

Problem.Has the topology $\beta^*_*(X^*,X)$ been considered in the literature? What about the bornology $\beta^*_*$ on $X$. Was it known?