フレシェ空間
The strong dual space formula_79 of a Fréchet space (and more generally, of any metrizable locally convex space) formula_1 is a DF-space.