It is not true that E* is closed in K^E. In fact, the closure of E* in K^E is the set ofall(not necessarily continuous) linear functionals on E. (I'm calling the scalar field K because I already have too many Fs – see below.)

Just to make sure that we are talking about the same thing, I'm assuming that the topology on E* is the weak* topology that it has as a dual space, and that the topology on K^E is the product topology. Then the subspace topology that E* inherits from K^E is the same as its own (weak*) topology.

Let f be a (discontinuous) linear functional on E, and denote by the set of all finite-dimensional subspaces of E, directed by inclusion. For , the restriction of f to F is a bounded linear functional on F, so by the Hahn–Banach theorem it has a bounded extension to an element of E*. Call this extension . (Sorry about all the different f's here, not a very good choice of notation.) Then is a directed net in E*, which fairly obviously has the limit f (in the product topology on K^E).

It's easy to check that the set E† of all linear functionals on E is closed in K^E. It follows from the previous paragraph that E† is the closure of E* in K^E.

Going back to the original question of whether a closed subset C of E* is closed in K^E, that will certainly be the case if C is bounded (because then C will be weak*-compact and therefore closed in any space that contains it). But in general C will not be closed in K^E.