23
$\begingroup$

I've read the claim that Fréchet spaces that are not Banach spaces never have a dual that is a Fréchet space, but have not been able to find a proof of this statement. Is it trivial or does someone have a reference?

$\endgroup$

1 Answer 1

26
$\begingroup$

For any locally convex and metrizable space $E$, its strong dual is metrizable if and only if $E$ is normable.

This and related properties of (F)-spaces are discussed in detail in Topological Vector Spaces I by Köthe (see §29.1, pp. 393-394 in the English edition).

$\endgroup$
6
  • $\begingroup$ Thanks, so one has to combine §21.5 (3): "For a Fréchet space, the original topology is equal to the strong topology", with §29.1 (7), which is what you quoted. $\endgroup$ Apr 29, 2011 at 7:52
  • 1
    $\begingroup$ SO what does this mean for the question, for someone who doesn't have instant recall about the lattice of properties of topological vector spaces? $\endgroup$
    – David Roberts
    Apr 29, 2011 at 7:56
  • 1
    $\begingroup$ @David Roberts: This implies that the claim stated by the OP holds true. The observation is probably due to Grothendieck. $\endgroup$ Apr 29, 2011 at 8:02
  • 13
    $\begingroup$ A nice way to think of this is as the observation that a LCTVS cannot be a (non-trivial) projective limit and an inductive limit of countably infinite families of Banach spaces at the same time. Either one family has to be uncountable, or both have to be finite. $\endgroup$ Apr 29, 2011 at 8:45
  • $\begingroup$ @Andrew Stacey: That's really nice and intuitively appealing. $\endgroup$ Apr 29, 2011 at 8:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.