Tha answer to question 1 is negative. There are Frechet spaces $X$ whose strong duals $(X',\beta(X',X))$ are not barrelled (equivalently, not bornological by a theorem of Grothendieck). The first examples of such non-distinguished Frechet spaces were constructed by Köthe and Grothendieck but there are also examples which are very easy to describe: According to Taskinen the Frechet space $C(\mathbb R) \cap L^1(\mathbb R)$ of continuous Lebesgue-intergrable functions (endowed with the seminorms $\int|f(x)|dx + \sup\{|f(x)|: x\in [-n,n]\}$) is not distinguished. This answers question 1 with $E=(X',\sigma(X',X))$.
Jochen Wengenroth
- 16.4k
- 2
- 42
- 82