For $0 < \alpha < 1$, let $C^\alpha([0,1])$ be the subspace of $C[0,1]$ consisting of continuous functions with norm $$ \| f\|_\alpha = \|f\| + \sup_{x\neq y} \frac{|f(x) - f(y)|}{|x-y|^\alpha},$$ where $\|\cdot\|$ is the ordinary sup norm on $C[0,1]$.
Problem: Let $X$ be a linear subspace of $C^\alpha[0,1]$. Suppose further $X$ is closed in $C[0,1]$. Then $X$ is finite dimensional.
My strategy is to show that the unit ball $B \subseteq X$ is compact w.r.t. the $\| \cdot \|_\alpha$ norm. By the Arzela-Ascoli theorem, I can prove that $B$ is compact w.r.t. the $\| \cdot \|$ norm. It is clear to me that $$\|\cdot\| \leq \|\cdot\|_{\alpha}.$$ However, how can I show that there is some constant $C$ so that $$\|\cdot\|_\alpha \leq C\|\cdot\|?$$
I already know that the unit ball in $X$ (denoted $B$) is compact in the $\|.\|$ topology. So I just need to have the estimate $$\| . \|_{\alpha} \leq C \|.\|$$
for some $C$ to conclude that $B$ is compact in the $\|.\|_{\alpha}$ topology. Now $X$ is closed in $C[0,1]$, the inclusion $i : C^\alpha[0,1] \to C[0,1]$ is continuous so that $i^{-1}(X) = (X,\|.\|_{\alpha})$ is closed in $C^{\alpha}[0,1]$. Now we consider the "identity map" $$\Phi : (X,\|.\|_{\alpha}) \to (X,\|.\|)$$ which is bijective and continuous. The domain is a Banach space by the paragraph above (a closed subspace of a Banach space is a Banach space). It follows by the open mapping theorem that $\Phi^{-1}$ is continuous, so we have the estimate above as desired.