Let $X$ be the set of all continuous functions from the unit interval $[0, 1]$ to itself.
(1) Prove that $X$ is not compact under the pointwise convergence topology.
(2) Prove that $X$ is compact under the uniform convergence topology.
To prove (1), I found the counterexample as the sequence of functions $\langle f_n \rangle$ defined as $f_n (x) = x^n$, which converges to $f(x) = 0$ for $0 \le x <1$ and $f(x)=1$ for $x=1$, which is not continuous, so $X$ is not sequentially closed. However, I remember that it cannot be guaranteed that sequential closedness does not imply closedness of topological space unless it is first countable, and $I^I$ under product topology is not first countable. How should I verify that $X$ is not compact?
Also, this counterexample can be applied in (2), which deduces that $X$ is not compact under the uniform convergence topology. Is there anything wrong in my argument?
As I know, in the metric space, uniform convergence topology is the induced topology from the uniform metric $d$ between two functions is given as $d(f, g) = \sup|f-g|$, right? Also, in the metric space, sequential compactness and compactness are equivalent. Is there any error in what I know?
Best Answer
In the pointwise case, we do know that compactness implies limit point compactness in all spaces (metrisable or not). So if the space were compact there would be a limit point $f$ of $\{f_n: n \in \mathbb{N}\}$. As projections (point-evaluations) are continuous, they preserve limit points, so $f(x)$ is a limit point of $\{f_n(x): n \in \mathbb{N}\}$ for all $x \in [0,1]$. For all $x$ this limit point is unique, so this forces $f(x) = 0$ for $x <1$ and $f(1) =1$. So this yields the contradiction as $f$ is a limit point in the compact set $[0,1]^{[0,1]}$ but is not in its subspace $C([0,1], [0,1])$. So the set $\{f_n: n \in \mathbb{N}\}$ has no limit point in the space at hand, so this space is not compact.
For the sup-metric, sequential compactness is indeed necessary and sufficient, so there you might need the classical fact that if $f_n \rightarrow f$ uniformly on $[0,1]$ and all $f_n$ are continuous then so is $f$. Your $f_n$ do not converge to $f$ in the sup-metric, it follows from this. Then as the identity $i$ is continuous from $C([0,1], [0,1]), \mathcal{T}_{\sup})$ to $C([0,1], [0,1]) ,\mathcal{T}_{\text{pw}})$, as the topoloy is weaker, the left hand space cannot be compact either, or the first would have been. I think the problem as stated is false. Both are non-compact.