Question: Let $E$ be a Hilbert space. Can there exist a strictly finer bornological topology on $E$?
The background to my question is as follows. I am looking at locally complete, locally convex spaces $E$ with bounded inner products $\gamma$. Then the topology induced by $\gamma$ is weaker than the bornological topology. I am interested in ways to recognise that $(E,\gamma)$ is a Hilbert space. Consider the following three properties
- $\gamma$ induces the bornological topology on $E$.
- $\check \gamma : E \to E'$ is surjective; $E'$ are the bounded linear functionals on $E$.
- $(E,\gamma)$ is a Hilbert space.
I am able to show that (1) and (2) are equivalent and that either one implies (3). If I additionally assume that $E$ is webbed, then I can show that (3) implies (1) using a closed graph theorem. The closed graph theorem in question is from (13.3.4, Jarchow, 1981): if $E$ is ultrabornological and $F$ is webbed, then every closed linear map $E \to F$ is continuous.
Is the assumption, that $E$ is webbed, necessary? If yes, are there explicit counterexamples satisfying (3), but not (1)?