Recently I saw an interesting lemma:


For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u\_j\in H^s$ and $\|u\_j\|\_{H^s}\le 1$. Suppose $u\_j\to u$ in $L^2$. Then $u\in H^s$ and $\|u\|\_{H^s}\le 1$.


A possible proof of the above lemma is to take the Fourier transform and use Fatou's lemma. Another possible proof is to use Riesz representation theorem to find out successively higher derivatives of $u$ (seems to work only when $s$ is a positive integer, though).


Contemplating the above proofs, it seems to me that there is some sort of compatibility between $H^s$ and $L^2$ for the above lemma to hold. For a nonexample, it is easy to see that the closed unit ball in $C^0([0,1])$ is not closed in $L^2$ norm simply by taking a sequence of continuous functions converging in $L^2$ to $1\_{[0,1/2]}$, for example.


That brings me to the question: Let $Y$ be a dense subspace of a Banach space $X$. What condition on the pair $(X,Y)$ makes the closed unit ball in $Y$ also closed in $X$? If there is no simple iff condition, is there any nontrivial sufficient/necessary condition? Among the common spaces in Analysis (e.g. Holder spaces or Sobolev spaces), is there a list of all the pairs for the above property to hold?


Thanks for your time.



When is the closed unit ball in a smaller Banach space closed in a larger Banach space?
Suppose that you have two Banach spaces $X$ and $Y$, and a (bounded) operator $TX:\to Y$. The operator $T$ is called *semi-embedding* if $T$ is injective and $T(B\_X)$ is closed in $Y$. So your are asking when natural maps between classical Banach spaces are semi-embeddings. 


I do not know characterizations of semiembeddings better than the definition but, for example, if $T:X\to Y$ has dense range, then the conjugate operator $T^\*:Y^\*\to X^\*$ is a semi-embedding. 


Semi-embeddings between Banach spaces have been studied because they preserve some isomorphic properties:


* Bourgain and Rosenthal proved that if $X$ is separable, Y has the Radon-Nikodym property and there exists a semiembedding $T:X\to Y$, then $X$ has the Radon-Nikodym property.
* Neidinger and Rosenthal proved that if $T:X\to Y$ is injective and every restriction of $T$ to a closed subspace of $X$ is a semiembedding, then $T$ is tauberian. In this case, many isomorphic properties pass from $Y$ to $X$. For example, if $Y$ is reflexive or contains no copies of $\ell\_1$, then $X$ has the same property (See Neidinger's Ph. D. Thesis).


These results are useful to find examples of injective operators that are not semi-embeddings.


