Skip to main content
Fixed a typo
Source Link
Robert Furber
  • 3.8k
  • 1
  • 23
  • 34

The answer is yes. First, since $\newcommand{E}{\mathcal{E}}\E$ is a Fréchet space, it is barrelled, and so any $\sigma(\E',\E)$-bounded subset of $\E'$ is equicontinuous, and therefore bounded in any dual topology. Convergent sequences (including their limits) are compact sets, and therefore bounded. So each $\sigma(\E',\E)$-convergent sequence is a closed, $\beta(\E',\E)$-bounded set.

To finish the proof, recall that $\E'$ with the $\beta(\E',\E)$ topology is a complete nuclear space, and that in such spaces closed bounded subsets are compact. It follows that if $B \subseteq \E'$ is bounded, the identity mapping $(B, \beta(\E',\E)) \rightarrow (B,\sigma(\E',\E))$ is a continuous bijection of compact Hausdorff spaces, and therefore a homeomorphism. By taking $B$ to be a $\sigma(\E',\E)$-convergent sequence, we see it must also be a $\beta(\E',E)$$\beta(\E',\E)$-convergent sequence.

The answer is yes. First, since $\newcommand{E}{\mathcal{E}}\E$ is a Fréchet space, it is barrelled, and so any $\sigma(\E',\E)$-bounded subset of $\E'$ is equicontinuous, and therefore bounded in any dual topology. Convergent sequences (including their limits) are compact sets, and therefore bounded. So each $\sigma(\E',\E)$-convergent sequence is a closed, $\beta(\E',\E)$-bounded set.

To finish the proof, recall that $\E'$ with the $\beta(\E',\E)$ topology is a complete nuclear space, and that in such spaces closed bounded subsets are compact. It follows that if $B \subseteq \E'$ is bounded, the identity mapping $(B, \beta(\E',\E)) \rightarrow (B,\sigma(\E',\E))$ is a continuous bijection of compact Hausdorff spaces, and therefore a homeomorphism. By taking $B$ to be a $\sigma(\E',\E)$-convergent sequence, we see it must also be a $\beta(\E',E)$-convergent sequence.

The answer is yes. First, since $\newcommand{E}{\mathcal{E}}\E$ is a Fréchet space, it is barrelled, and so any $\sigma(\E',\E)$-bounded subset of $\E'$ is equicontinuous, and therefore bounded in any dual topology. Convergent sequences (including their limits) are compact sets, and therefore bounded. So each $\sigma(\E',\E)$-convergent sequence is a closed, $\beta(\E',\E)$-bounded set.

To finish the proof, recall that $\E'$ with the $\beta(\E',\E)$ topology is a complete nuclear space, and that in such spaces closed bounded subsets are compact. It follows that if $B \subseteq \E'$ is bounded, the identity mapping $(B, \beta(\E',\E)) \rightarrow (B,\sigma(\E',\E))$ is a continuous bijection of compact Hausdorff spaces, and therefore a homeomorphism. By taking $B$ to be a $\sigma(\E',\E)$-convergent sequence, we see it must also be a $\beta(\E',\E)$-convergent sequence.

Source Link
Robert Furber
  • 3.8k
  • 1
  • 23
  • 34

The answer is yes. First, since $\newcommand{E}{\mathcal{E}}\E$ is a Fréchet space, it is barrelled, and so any $\sigma(\E',\E)$-bounded subset of $\E'$ is equicontinuous, and therefore bounded in any dual topology. Convergent sequences (including their limits) are compact sets, and therefore bounded. So each $\sigma(\E',\E)$-convergent sequence is a closed, $\beta(\E',\E)$-bounded set.

To finish the proof, recall that $\E'$ with the $\beta(\E',\E)$ topology is a complete nuclear space, and that in such spaces closed bounded subsets are compact. It follows that if $B \subseteq \E'$ is bounded, the identity mapping $(B, \beta(\E',\E)) \rightarrow (B,\sigma(\E',\E))$ is a continuous bijection of compact Hausdorff spaces, and therefore a homeomorphism. By taking $B$ to be a $\sigma(\E',\E)$-convergent sequence, we see it must also be a $\beta(\E',E)$-convergent sequence.