Presumably is . Note then that since is itself, you have that a given subspace is complete if and only if it's closed. But, evidently is closed since the mapping is a continuous (linear functional) map , and is the preimage of the closed set under this map.