# Finite dimensional subspace of $C([0,1])$

Let linear $S$ be a subspace of $C([0,1])$, i.e., the continuous real-valued functions on $[0,1]$. Assume that there exists $c>0$, such that $\|\,f\|_\infty\leq c \|\,f\|_2$, for all $f\in S$. Then show that $S$ is finite-dimensional.

This is equivalent to proving that the closed unit ball in $(S,\|\|_\infty)$ or in $(S,\|\|_2)$ is compact, but I can't derive this.

Another thought is that the $L^2$ closure of $S$ is a subset of $C([0,1])$. Indeed, if $f_n\to f\in L^2$, then the given relation $\|f_n-f\|_\infty \leq c\|f_n-f\|_2$ implies that $f_n\to f$ in $L^\infty$, so $f$ is continuous. Therefore we have the inclusion $$S\subset \overline{S}^{L^2}\subset C([0,1])\subset L^2$$ If $S$ was infinite dimensional, then $\overline{S}$ would be an infinite dimensional hilbert space, proper subset of $L^2$.

Another thought is that all the $L^p$ norms on $S$ are equivalent (by Holder). If ALL norms are equivalent, then $S$ has to be finite dimensional.

You can apply a theorem of Grothendieck to the closure of $S$ in $L^2$ which is (as you show) contained in $C([0,1]) \subseteq L^\infty$.

Grothendieck's theorem says that every closed subspace of $L^p(\mu)$ (where $\mu$ is a probability measure on some measurable space and $0<p<\infty$) which is contained in $L^\infty(\mu)$ is finite dimensional.

A convenient reference is Rudin's Functional Analysis, Theorem 5.2.

Let me provide a detailed proof:

Assume that $v_1,\ldots, v_n\in S$ are orthonormal functions, i.e., $\int_0^1 v_iv_j\,dx=\delta_{ij}$, and for a fixed $a=(a_1,\ldots,a_n)\in\mathbb R^n$ define $\varPhi_a :\mathbb R^n\to \mathbb R$ as $$\varPhi_a(x)=\sum_{j=1}^n a_jv_j(x).$$ Then $$\|\varPhi_a\|_{L^2}^2=\sum_{j,k=1}^n\int_0^1a_ja_kv_jv_k \,dx=\sum_{j=1}^n a_j^2=\|a\|^2,$$ and thus, for every $x\in [0,1]$ $$\lvert a_1v_1(x)+\cdots+a_nv_n(x)\rvert =\lvert\varPhi_a(x)\rvert \le \|\varPhi_a\|_{L^\infty} \le c\|\varPhi_a\|_{L^2}\le c\|a\|,$$ and as the above holds for every $a\in\mathbb R^n$, we conclude that $$v_1^2(x)+\cdots+v_n^2(x)\le c^2,\tag{1}$$ for every $x\in [0,1]$. [Note that if $\sum_{j=1}^n a_jb_j\le c\big(\sum_{j=1}^n a_j^2)^{1/2}$, for all $a_1,\ldots,a_n$, then setting $a_j=b_j$, $j=1,\ldots,n$, we obtain that $\sum_{j=1}^n b_j^2\le c^2$.]

Integrating $(1)$ over $[0,1]$ we obtain that $$n\le c^2.$$ We have derived that $\,\dim S \le c^2$.

Note. All the above can be easily generalized in the complex case.

• $C[0,1]$ is not a hilbert space, how do we get orthogonality of functions? – yoshi Jan 18 at 16:03
• This orthonormal basis is defined with respect to the inner product $\int_0^1 fg\,dx$. – Yiorgos S. Smyrlis Jan 18 at 17:36
• $C[0,1]$ doesnt have an inner product though right? math.stackexchange.com/questions/2669051/… – yoshi Jan 18 at 18:00
• It doesn't have an inner product, but several inner products can be defined in $C[0,1]$. – Yiorgos S. Smyrlis Jan 20 at 10:23