Intereting Posts

Are there examples of when the ILATE mnemonic for choosing factors when integrating by parts fails?
Dominos ($2 \times 1$ on $2 \times n$ and on $3 \times 2n$)
Definition of the normalizer of a subgroup
A proper definition of $i$, the imaginary unit
Free resources to start learning Discrete Mathematics
What is the intuitive way to understand Dot and Cross products of vectors?
Show structure of a commutative ring in a tensor product
Lifting idempotents modulo a nilpotent ideal
how to show $f$ attains a minimum?
Does anybody know of a site that has a set of all theorems?
What's the difference between an initial value problem and a boundary value problem?
Can we prove that all zeros of entire function cos(x) are real from the Taylor series expansion of cos(x)?
Expected revenue obtained by the Vickery auction with reserve price $1/2$
Product of two cyclic groups is cyclic iff their orders are co-prime
Are the rings $k]$ and $k]$ Gorenstein? (Matsumura, Exercise 18.8)

Let $X$ be a Banach space, and let $X^*$ denote its continuous dual space.

Under the weak* topology, do compactness and sequential compactness coincide?

That is, is a subset of $X^*$ weakly* compact if and only if it is weakly* sequentially compact? Does one imply the other?

- How to do contour integral on a REAL function?
- Does $L^p$-convergence imply pointwise convergence for $C_0^\infty$ functions?
- How to show that $\lim_{n\to \infty} f_n(x) = 0$.
- Does inversion reverse order for positive elements in a unital C* algebra?
- Uses of step functions
- Improper rational/trig integral comes out to $\pi/e$

Perhaps I should make this next one a separate question, but I’d prefer to keep all of this in one place.

Is the weak* topology on $X^*$ Hausdorff? Is the weak topology on $X$ Hausdorff?

**Motivation:** I would like to say that if a subset of $X^*$ is weakly* compact, then it is weakly* closed, and that if a subset of $X$ is weakly compact, then it is weakly closed.

- Converging series question, Prove that if $\sum_{n=1}^{\infty} a_n^{2}$ converges, then does $\sum_{n=1}^{\infty} \frac {a_n}{n}$
- Evaluating limit making it $\frac{\infty}{\infty}$ and using L'Hopital Rule
- $1/r^2\int_{\mathbb{S}_r}u-u(x)$ converging to $\Delta u(x)$?a
- Continuous increasing function with different Dini derivatives at 0
- Theorem 3.37 in Baby Rudin: $\lim\inf\frac{c_{n+1}}{c_n}\leq\lim\inf\sqrt{c_n}\leq\lim\sup\sqrt{c_n}\leq \lim\sup\frac{c_{n+1}}{c_n}$
- Convergence of a decreasing sequence and its limit.
- Evaluate $\int_{0}^{\pi }\theta ^{3}\log^{3}\left ( 2\sin\frac{\theta }{2} \right )\mathrm{d}\theta $
- show that a subset of $\mathbb{R}$ is compact iff it is closed and bounded
- Existence of a continuous function which does not achieve a maximum.
- Showing one point compactification is unique up to homeomorphism

Let me answer your second question first.

The weak$^{\ast}$-topology is Hausdorff (let me treat the real case, the complex case is similar): If $\phi \neq \psi$ are two linear functionals then there is $x \in X$ such that $\phi(x) \lt r \lt \psi(x)$. The sets $U = \{f \in X^{\ast} \,:\,f(x) \lt r\}$ and $V = \{f \in X^{\ast}\,:\,f(x) \gt r\}$ are weak$^{\ast}$-open (since evaluation at $x$ is weak$^{\ast}$-continuous) and disjoint neighborhoods of $\phi$ and $\psi$, respectively.

That the weak topology is Hausdorff is shown similarly, using Hahn-Banach.

Next, if $X$ is separable, then the unit ball in the dual space is metrizable with respect to the weak$^{\ast}$-topology: pick a countable dense set $\{x_{n}\}_{n \in \mathbb{N}}$ of the unit ball of $X$ and verify that

\[

d(\phi,\psi) = \sum_{n=1}^{\infty} 2^{-n} \frac{|\phi(x_n) – \psi(x_n)|}{1+|\phi(x_n) – \psi(x_n)|}

\]

defines a metric compatible with the weak$^{\ast}$-topology. Hence the unit ball is sequentially compact in the weak$^{\ast}$-topology (this can be shown directly using Arzelà-Ascoli, by the way).

Using a standard Baire category argument, one can show that weak$^{\ast}$-compact sets are norm-bounded: Indeed, if $K$ is weak$^{\ast}$-compact, it is a Baire space. Write $B^{\ast}$ for the closed unit ball in $X^{\ast}$. Clearly $K = \bigcup_{n = 1}^{\infty} (K \cap n \cdot B^{\ast})$, so at least one of the closed subsets $K \cap n \cdot B^{\ast}$ of $K$ must have non-empty interior. By compactness finitely many translates of $n\cdot B^{\ast}$ must cover $K$, thus $K$ is bounded in norm and hence $K$ is a closed subset of a large enough ball.

Conclusion:If $X$ is separable then every weak$^{\ast}$-compact subset of $X^{\ast}$ is sequentially compact.

I don’t know if the converse is true.

If $X$ is not separable, then weak$^{\ast}$-compactness does not imply weak$^{\ast}$-sequential compactness, the standard example is mentioned in Florian’s post.

Since you might be interested in the weak topology as well, there’s a rather difficult result due to Eberlein:

Recall that a space is countably compact if every *countable* open cover has a finite subcover. A sequentially compact space is countably compact.

Theorem (Eberlein)If a subset of a Banach space is weakly countably compact then it is weakly compact and weakly sequentially compact.

and finally:

Theorem (Eberlein-Šmulian)A~~bounded~~subset of a Banach space is weakly sequentially compact if and only if it is weakly compact. In particular, if the unit ball is weakly sequentially compact then $X$ is reflexive.

(i) No. Consider $\ell^\infty$ (bounded sequences). The unit ball of ${\ell^\infty} ^*$ is compact by Alaoglu’s theorem, but not sequencially compact: the sequence of functionals $a\mapsto a(n)$ (picking the nth element of the sequence $a\in \ell^\infty$) is bounded, but does not have a *-weakly convergent subsequence.

(ii) Yes. For the weak* topology this follows directly from the definition; for the weak topology this follows from the Hahn-Banach theorem.

- Ramanujan theta function and its continued fraction
- From the series $\sum_{n=1}^{+\infty}\left(H_n-\ln n-\gamma-\frac1{2n}\right)$ to $\zeta(\frac12+it)$.
- Convolution Identity for Stirling Numbers
- Why can a discontinuous function not be differentiable?
- Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function
- Determine if vectors are linearly independent
- Why do we assume principal root
- Probability for pairing up
- Definition of $ 1 + \frac{1}{2+\frac{1}{3+\frac{1}{4+\frac{1}{\ddots}}}}$
- Cartesian products of families in Halmos' book.
- Infinite direct product of fields.
- Why does Engel expansion give smaller denominators than the Greedy algorithm?
- Show that in a field always $0\ne1$
- What does insolvability of the quintic mean exactly?
- A conditional asymptotic for $\sum_{\text{$p,p+2$ twin primes}}p^{\alpha}$, when $\alpha>-1$