A coarser topology of the topology with 'compact set equals sequentially compact set'

131 Views Asked by At

I study about weak and weak* topology in functional analysis.

By Eberlein-Smulian, every weakly compact set is weakly sequentially compact. How about weak* topology? I learned that $(B_{X^*},\omega^*)$($\omega^*$ means weak* topology.) is metrizable when $X$ is separable, so it is clearly true for $(B_{X^*},\omega^*)$, but I don't know the result for $(X^*,\omega^*)$.

On the other hand, does this hold about general topology? i.e., if $(X,\tau_1)$ is a topological space that $\{K\subset X:K$ is compact$\}$=$\{K\subset X:K$ is sequentially compact$\}$ and $(X,\tau_2)$ is a coarser topology than $\tau_1$, does the same hold for $(X,\tau_2)$? I think it is false but cannot find examples.

1

There are 1 best solutions below

3
On

The weak* topology of $X^*$ is never sequential, unless $X$ is finite-dimensional. To see this , you may modify this proof.