Closed Unit Ball in Normed Dual Space of Separable Normed Vector Space is Weak-* Sequentially Compact
Jump to navigation
Jump to search
Theorem
Let $X$ be a separable normed vector space.
Let $X^\ast$ be the normed dual space of $X$.
Let $B^-_{X^\ast}$ be the closed unit ball of $X^\ast$.
Let $w^\ast$ be the weak-$\ast$ topology on $B^-_{X^\ast}$.
Then $\struct {B^-_{X^\ast}, w^\ast}$ is sequentially compact.
Proof
From the Banach-Alaoglu Theorem, $\struct {B^-_{X^\ast}, w^\ast}$ is compact.
From Closed Unit Ball in Normed Dual Space of Separable Normed Vector Space is Weak-* Metrizable, $\struct {B^-_{X^\ast}, w^\ast}$ is metrizable.
From Compactness and Sequential Compactness are Equivalent in Metric Spaces, $\struct {B^-_{X^\ast}, w^\ast}$ is sequentially compact.
$\blacksquare$