# $C[0,1]$: the Faber-Schauder basis, the Riesz representation theorem, and the Borel $\sigma $-algebra

## 1 Introduction

In this note I work out some results about the space of continuous functions $[0,1]\to \mathbb{R}$. In some cases these are instances of general results about continuous functions on compact Hausdorff spaces or compact metrizable spaces.

## 2 $C(K)$

Let $K$ be a compact topological space (not necessarily Hausdorff) and let $C(K)$ be the collection of continuous functions $K\to \mathbb{R}$. With the norm

$$\parallel f\parallel =\underset{t\in K}{sup}|f(t)|,f\in C(K),$$ |

this is a real Banach algebra, with unity $1:K\to \mathbb{R}$ defined by $1(t)=1$ for all $t\in K$.^{1}^{1}
1
Charalambos D. Aliprantis
and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 124, Lemma 3.97.
Generally, if $X$ is a compact metrizable space and
$Y$ is a separable metrizable space then $C(X,Y)$ is separable.^{2}^{2}
2
Charalambos D. Aliprantis
and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 125, Lemma 3.99.
Thus, when $K$ is a compact metrizable space, $C(K)$ is a separable unital Banach algebra.

## 3 Schauder bases

If $X$ is a real normed space, a Schauder basis for $X$ is a
sequence $({h}_{k})$ in $X$ such that for each $x\in X$ there is a unique sequence of real numbers $({c}_{k}(x))$ such that
${\sum}_{k=1}^{n}{c}_{k}(x){h}_{k}\to x$. A sequence $({h}_{k})$ in $X$ is called a basic sequence if it is a Schauder basis for the closure of
its linear span.^{3}^{3}
3
Because Schauder bases are not as familiar objects as orthonormal bases (Hilbert space
bases) or vector space
bases (Hamel bases), it is worth explicitly checking their properties to make ourselves familiar with how they work.

If $({h}_{k})$ is a Schauder basis, then
${c}_{k}(0)=0$ for all $k$. Suppose that for some real numbers ${a}_{1},\mathrm{\dots},{a}_{n}$ we have
${\sum}_{k=1}^{n}{a}_{k}{h}_{k}=0$. Then ${a}_{k}={c}_{k}(0)=0$ for $1\le k\le n$, which means that the set $\{{h}_{1},\mathrm{\dots},{h}_{n}\}$ is linearly independent.
Therefore a Schauder basis is linearly independent.
It is immediate that the linear span of a Schauder basis is a dense linear subspace of $X$.
The following shows that a normed space with a Schauder basis is separable.^{4}^{4}
4
In particular, a Banach
space with a Schauder basis is separable. There is a celebrated counterexample found by Per Enflo of a separable
Banach space for which there does not exist a Schauder basis.

###### Lemma 1.

If $({h}_{k})$ is a Schauder basis for a normed space $X$ then

$$\{\sum _{k=1}^{n}{a}_{k}{h}_{k}:n\ge 1,{a}_{1},\mathrm{\dots},{a}_{n}\in \mathbb{Q}\}$$ |

is dense in $X$.

###### Proof.

Let $x\in X$ and let $\u03f5>0$. There is some $n$ for which

$$\parallel \sum _{k=1}^{n}{c}_{k}(x){h}_{k}-x\parallel \le \u03f5.$$ |

For each $1\le k\le n$, let ${a}_{k}\in \mathbb{Q}$ satisfy $|{a}_{k}-{c}_{k}(x)|\le \frac{\u03f5}{n\parallel {h}_{k}\parallel}$. Then

$\parallel {\displaystyle \sum _{k=1}^{n}}{a}_{k}{h}_{k}-x\parallel $ | $\le \parallel {\displaystyle \sum _{k=1}^{n}}({a}_{k}-{c}_{k}(x)){h}_{k}\parallel +\u03f5$ | ||

$\le {\displaystyle \sum _{k=1}^{n}}|{a}_{k}-{c}_{k}(x)|\parallel {h}_{k}\parallel +\u03f5$ | |||

$\le 2\u03f5,$ |

which proves the claim. ∎

For each $k$ we define ${h}_{k}^{*}:X\to \mathbb{R}$ by ${h}_{k}^{*}(x)={c}_{k}(x)$. For $x,y\in X$, ${\sum}_{k=1}^{n}{h}_{k}^{*}(x){h}_{k}\to x$ and ${\sum}_{k=1}^{n}{h}_{k}^{*}(y){h}_{k}\to y$, so ${\sum}_{k=1}^{n}({h}_{k}^{*}(x)+{h}_{k}^{*}(y)){h}_{k}\to x+y$ and therefore ${h}_{k}^{*}(x+y)={h}_{k}^{*}(x)+{h}_{k}^{*}(y)$, and for $\alpha \in \mathbb{R}$, ${\sum}_{k=1}^{n}\alpha {h}_{k}^{*}(x){h}_{k}\to \alpha x$ and therefore ${h}_{k}^{*}(\alpha x)=\alpha {h}_{k}^{*}(x)$. This shows that ${h}_{k}^{*}:X\to \mathbb{R}$ is linear. It is apparent that ${h}_{k}^{*}({h}_{j})={\delta}_{j,k}$.

We define ${P}_{n}:X\to X$ by

$${P}_{n}x=\sum _{k=1}^{n}{h}_{k}^{*}(x){h}_{k},$$ |

and it is immediate that ${P}_{n}$ is linear and that for each $x\in X$, ${P}_{n}x\to x$ as $n\to \mathrm{\infty}$. It is also immediate that ${P}_{n}$ is a finite-rank operator: ${P}_{n}(X)$ is a finite-dimensional linear subspace of $X$. For $m,n\ge 1$,

${P}_{n}{P}_{m}x$ | $={P}_{n}{\displaystyle \sum _{k=1}^{m}}{h}_{k}^{*}(x){h}_{k}$ | ||

$={\displaystyle \sum _{k=1}^{m}}{h}_{k}^{*}(x){P}_{n}{h}_{k}$ | |||

$={\displaystyle \sum _{k=1}^{m}}{h}_{k}^{*}(x){\displaystyle \sum _{j=1}^{n}}{h}_{j}^{*}({h}_{k}){h}_{j}$ | |||

$={\displaystyle \sum _{k=1}^{m}}{h}_{k}^{*}(x){\displaystyle \sum _{j=1}^{n}}{\delta}_{j,k}{h}_{j}$ | |||

$={P}_{\mathrm{min}(m,n)}x,$ |

showing that

$${P}_{n}{P}_{m}={P}_{\mathrm{min}(m,n)}.$$ |

In particular, ${P}_{n}^{2}={P}_{n}$, namely, ${P}_{n}$ is a projection operator.
We prove that when $X$ is a Banach space, ${P}_{n}$ is continuous.^{5}^{5}
5
N. L. Carothers, A Short Course
in Banach Space Theory, p. 26, Theorem 3.1. We indicate explicitly in the proof
when we use that $X$ is a Banach space rather than merely a normed space.

###### Theorem 2.

If $X$ is a Banach space and $({h}_{n})$ is a Schauder basis for $X$, then each ${P}_{n}$ is continuous, and $$. Furthermore, each ${h}_{k}^{*}$ is continuous.

###### Proof.

For $x\in X$, ${P}_{n}x\to x$, so $\parallel {P}_{n}x\parallel \to \parallel x\parallel $, which implies that $$. It thus makes sense to define

$$p(x)=\underset{n\ge 1}{sup}\parallel {P}_{n}x\parallel .$$ |

It is immediate that $p(\alpha x)=|\alpha |p(x)$ and that $p(x+y)\le p(x)+p(y)$. If $p(x)=0$, then ${P}_{n}x=0$ for all $n$, which implies that $x=0$. Therefore $p$ is a norm on $X$.

For $n\ge 1$ and $x\in X$,

$$\parallel {P}_{n}x\parallel \le p(x),$$ |

showing that ${P}_{n}:(X,p)\to (X,\parallel \cdot \parallel )$ is a bounded linear operator with operator norm $\le 1$. Suppose that $({x}_{k})$ is a Cauchy sequence in the norm $p$. Then we have for each $n$ that ${P}_{n}{x}_{k}$ is a Cauchy sequence in the norm $\parallel \cdot \parallel $, and because $(X,\parallel \cdot \parallel )$ is a Banach space, there is some ${y}_{n}\in X$ such that ${P}_{n}{x}_{k}\to {y}_{n}$ in the norm $\parallel \cdot \parallel $ as $k\to \mathrm{\infty}$. For $\u03f5>0$ there is some ${k}_{\u03f5}$ such that when $j,k\ge {k}_{\u03f5}$, $p({x}_{j}-{x}_{k})\le \u03f5$, and thus for $k\ge {k}_{\u03f5}$ and for any $n$,

$$\parallel {P}_{n}{x}_{k}-{y}_{n}\parallel =\underset{j\to \mathrm{\infty}}{lim}\parallel {P}_{n}{x}_{k}-{P}_{n}{x}_{j}\parallel \le \underset{j\to \mathrm{\infty}}{lim\; sup}p({x}_{k}-{x}_{j})\le \u03f5.$$ | (1) |

Now, for any $m,n$ and any $k$,

$$\parallel {y}_{n}-{y}_{m}\parallel \le \parallel {y}_{n}-{P}_{n}{x}_{k}\parallel +\parallel {P}_{n}{x}_{k}-{x}_{k}\parallel +\parallel {P}_{m}{x}_{k}-{x}_{k}\parallel +\parallel {P}_{m}{x}_{k}-{y}_{m}\parallel ,$$ |

so using the above, for $k\ge {k}_{\u03f5}$,

$$\parallel {y}_{n}-{y}_{m}\parallel \le 2\u03f5+\parallel {P}_{n}{x}_{k}-{x}_{k}\parallel +\parallel {P}_{m}{x}_{k}-{x}_{k}\parallel .$$ |

Because ${P}_{n}{x}_{k}\to {x}_{k}$ as $n\to \mathrm{\infty}$, there is some ${n}_{\u03f5}$ such that $\parallel {P}_{n}{x}_{k}-{x}_{k}\parallel \le \u03f5$ when $n\ge {n}_{\u03f5}$, and in this case for $n,m\ge {n}_{\u03f5}$,

$$\parallel {y}_{n}-{y}_{m}\parallel \le 4\u03f5,$$ |

which shows that ${y}_{n}$ is a Cauchy sequence in the norm $\parallel \cdot \parallel $, and because $(X,\parallel \cdot \parallel )$ is a Banach space there is some $y\in X$ such that ${y}_{n}\to y$ in the norm $\parallel \cdot \parallel $.

For any $n,m$, the restriction of the linear map ${P}_{n}:X\to X$ to the finite-dimensional linear subspace ${P}_{m}(X)$ is continuous in the norm $\parallel \cdot \parallel $, thus

${P}_{n}{y}_{m}$ | $={P}_{n}\left(\underset{k\to \mathrm{\infty}}{lim}{P}_{m}{x}_{k}\right)$ | ||

$=\underset{k\to \mathrm{\infty}}{lim}{P}_{n}{P}_{m}{x}_{k}$ | |||

$=\underset{k\to \mathrm{\infty}}{lim}{P}_{\mathrm{min}(m,n)}{x}_{k}$ | |||

$={y}_{\mathrm{min}(m,n)}.$ |

Using this, we find by induction that for each $n$,

$${y}_{n}=\sum _{k=1}^{n}{h}_{k}^{*}({y}_{k}){h}_{k},$$ |

and because ${y}_{n}\to y$ in the norm $\parallel \cdot \parallel $ as $n\to \mathrm{\infty}$ and $({h}_{k})$ is a Schauder basis, this implies that ${h}_{k}^{*}(y)={h}_{k}^{*}({y}_{k})$ for all $k$, and thus ${P}_{n}y={y}_{n}$. Therefore

$$p({x}_{k}-y)=\underset{n\ge 1}{sup}\parallel {P}_{n}({x}_{k}-y)\parallel =\underset{n\ge 1}{sup}\parallel {P}_{n}{x}_{k}-{y}_{n}\parallel .$$ |

For $\u03f5>0$ and $k\ge {k}_{\u03f5}$, by (1) we have $\parallel {P}_{n}{x}_{k}-{y}_{n}\parallel \le \u03f5$ and therefore $p({x}_{k}-y)\le \u03f5$, which shows that ${x}_{k}\to y$ in the norm $p$ as $k\to \mathrm{\infty}$. Thus, $(X,p)$ is a Banach space.

The identity map ${\mathrm{id}}_{X}:X\to X$ is a linear isomorphism, and for $x\in X$,

$$\parallel {\mathrm{id}}_{X}x\parallel =\parallel x\parallel =\underset{n\to \mathrm{\infty}}{lim}\parallel {P}_{n}x\parallel \le p(x),$$ |

showing that ${\mathrm{id}}_{X}$ is continuous $(X,p)\to (X,\parallel \cdot \parallel )$.
Because $(X,p)$ and $(X,\parallel \cdot \parallel )$ are Banach spaces and
${\mathrm{id}}_{X}$ is a continuous linear isomorphism, by the open mapping theorem^{6}^{6}
6
Walter Rudin,
Functional Analysis, second ed., p. 49, Corollary 2.12c.
there is some $a>0$ such that

$$\parallel x\parallel =\parallel {\mathrm{id}}_{X}\parallel \ge ap(x),x\in X.$$ |

Then

$$\parallel {P}_{n}x\parallel \le p(x)\le \frac{1}{a}\parallel x\parallel ,$$ |

which means that ${P}_{n}:(X,\parallel \cdot \parallel )\to (X,\parallel \cdot \parallel )$ is a bounded linear operator with operator norm $\le \frac{1}{a}$. ∎

Each ${P}_{n}$ is a bounded linear operator on $X$, and for each $x\in X$, ${P}_{n}x\to x$, which means that ${P}_{n}\to {\mathrm{id}}_{X}$ in the strong operator topology. The fact that the functions ${h}_{k}^{*}:X\to \mathbb{R}$ are linear and continuous means that they belong to the dual space ${X}^{*}$.

In Theorem 2, if ${sup}_{n\ge 1}\parallel {P}_{n}\parallel =1$, we call the Schauder basis $({x}_{k})$ monotone.

The following theorem gives sufficient and necessary conditions under which a sequence in a Banach space $X$ is a basic sequence.^{7}^{7}
7
Joseph Diestel, Sequences and Series in Banach Spaces, p. 36, Chapter V, Theorem 1. Thus if a sequence satisfies this condition and its linear span is dense in $X$
space, then it is a Schauder basis.

###### Theorem 3.

Suppose that $X$ is a Banach space and that $({x}_{k})$ is a sequence of nonzero elements of $X$. There is some $K$ such that for any sequence of real numbers $({a}_{k})$ and any $$,

$$\parallel \sum _{k=1}^{n}{a}_{k}{x}_{k}\parallel \le K\parallel \sum _{k=1}^{N}{a}_{k}{x}_{k}\parallel $$ | (2) |

if and only if $({x}_{k})$ is a basic sequence.

###### Proof.

It is apparent that $K\ge 1$. Let $S$ be the linear span of $({x}_{k})$, and let ${S}_{n}$ be the linear span of $\{{x}_{1},\mathrm{\dots},{x}_{n}\}$. For $$,

$$|{a}_{n}|\parallel {x}_{n}\parallel \le \parallel \sum _{k=1}^{n-1}{a}_{k}{x}_{k}\parallel +\parallel \sum _{k=1}^{n}{a}_{k}{x}_{k}\parallel \le 2K\parallel \sum _{k=1}^{N}{a}_{k}{x}_{k}\parallel .$$ | (3) |

Thus if ${\sum}_{k=1}^{N}{a}_{k}{x}_{k}=0$ then using the above with ${a}_{N+1}=0$, for $1\le n\le N$ we get ${a}_{n}=0$, showing that $({x}_{k})$ is linearly independent. Because $({x}_{k})$ is linearly independent, it makes sense to define a linear map ${Q}_{n}:S\to {S}_{n}$ by

$${Q}_{n}{x}_{k}=\{\begin{array}{cc}{x}_{k}\hfill & k\le n\hfill \\ 0\hfill & k>n.\hfill \end{array}$$ |

For $x={\sum}_{k=1}^{N}{a}_{k}{x}_{k}\in S$, if $$ then by (2),
$\parallel {Q}_{n}x\parallel \le K\parallel x\parallel $, and if $n\ge N$ then ${Q}_{n}x=x$. Thus
for each $n$, ${Q}_{n}:S\to {S}_{n}$ is a bounded linear operator with operator norm $\le K$, and because $X$ is a Banach space and ${\overline{S}}_{n}={S}_{n}$,
there is a unique bounded linear operator ${P}_{n}:\overline{S}\to {S}_{n}$ whose restriction to $S$ is equal
to ${Q}_{n}$, which satisfies $\parallel {P}_{n}\parallel =\parallel {Q}_{n}\parallel \le K$.^{8}^{8}
8
Gert K. Pedersen, Analysis Now, revised
printing, p. 47, Proposition 2.1.11.
For $s\in S$, ${Q}_{n}{Q}_{m}s={Q}_{\mathrm{min}(m,n)}s$, and
for $x\in \overline{S}$, there is a sequence ${s}_{k}\in S$
that tends to $x$, thus

$${P}_{n}{P}_{m}x=\underset{k\to \mathrm{\infty}}{lim}{P}_{n}{P}_{m}{s}_{k}=\underset{k\to \mathrm{\infty}}{lim}{P}_{\mathrm{min}(m,n)}{s}_{k}={P}_{\mathrm{min}(m,n)}x.$$ | (4) |

For $x\in \overline{S}$ and $\u03f5>0$, there is some $s\in S$ with $\parallel s-x\parallel \le \u03f5$. Then there are some ${a}_{1},\mathrm{\dots},{a}_{m}\in \mathbb{R}$ for which $s={\sum}_{i=1}^{m}{a}_{i}{x}_{i}$, and for $n>m$,

$\parallel x-{P}_{n}x\parallel $ | $\le \parallel x-s\parallel +\parallel s-{P}_{n}s\parallel +\parallel {P}_{n}s-{P}_{n}x\parallel $ | ||

$=\parallel x-s\parallel +\parallel {P}_{n}s-{P}_{n}x\parallel $ | |||

$\le \u03f5+K\parallel s-x\parallel $ | |||

$\le (K+1)\u03f5,$ |

showing that ${P}_{n}x\to x$. It follows from this and (4) that for each $x\in \overline{S}$ there is a sequence of real numbers $({c}_{k})$ such that ${\sum}_{k=1}^{n}{c}_{k}{x}_{k}\to x$. If $({b}_{k})$ is another such sequence, let ${a}_{k}={c}_{k}-{b}_{k}$, and then we obtain from (3) that ${a}_{k}=0$ for each $k$. Therefore, $({c}_{k})$ is the unique sequence of real numbers such that ${\sum}_{k=1}^{n}{c}_{k}{x}_{k}\to x$, which establishes that $({x}_{k})$ is a Schauder basis for $\overline{S}$. ∎

## 4 Haar system and Faber-Schauder system

For $k\ge 0$, for $1\le i\le {2}^{k}$, and for $n={2}^{k}+i$, write

$${\mathrm{\Delta}}_{n}={\mathrm{\Delta}}_{k}^{i}=(\frac{i-1}{{2}^{k}},\frac{i}{{2}^{k}}),$$ |

and we write ${\mathrm{\Delta}}_{1}={\mathrm{\Delta}}_{0}^{0}=(0,1)$.^{9}^{9}
9
We are partly following the presentation in
B. S. Kashin and A. A. Saakyan, Orthogonal Series, p. 61, Chapter III.
Thus

$${\mathrm{\Delta}}_{1}={\mathrm{\Delta}}_{0}^{0}=(0,1),{\mathrm{\Delta}}_{2}={\mathrm{\Delta}}_{0}^{1}=(0,1),{\mathrm{\Delta}}_{3}={\mathrm{\Delta}}_{1}^{1}=(0,\frac{1}{2}),{\mathrm{\Delta}}_{4}={\mathrm{\Delta}}_{1}^{2}=(\frac{1}{2},1).$$ |

If $(a,b)\subset [0,1]$, let ${(a,b)}^{-}=(a,\frac{a+b}{2})$ and ${(a,b)}^{+}=(\frac{a+b}{2},b)$. Thus

$${\mathrm{\Delta}}_{n}^{-}={({\mathrm{\Delta}}_{k}^{i})}^{-}=(\frac{i-1}{{2}^{k}},\frac{2i-1}{{2}^{k+1}})=(\frac{2i-2}{{2}^{k+1}},\frac{2i-1}{{2}^{k+1}})={\mathrm{\Delta}}_{k+1}^{2i-1}$$ |

and

$${\mathrm{\Delta}}_{n}^{+}={({\mathrm{\Delta}}_{k}^{i})}^{+}=(\frac{2i-1}{{2}^{k+1}},\frac{i}{{2}^{k}})=(\frac{2i-1}{{2}^{k+1}},\frac{2i}{{2}^{k+1}})={\mathrm{\Delta}}_{k+1}^{2i}.$$ |

###### Lemma 4.

If $n\ge m$ then either ${\mathrm{\Delta}}_{n}\subset {\mathrm{\Delta}}_{m}$ or ${\mathrm{\Delta}}_{n}\cap {\mathrm{\Delta}}_{m}=\mathrm{\varnothing}$.

###### Proof.

Let $n={2}^{k}+i$ and $m={2}^{l}+j$, with $k\ge l$. Then

$${\mathrm{\Delta}}_{l}^{j}=(\frac{j-1}{{2}^{l}},\frac{j}{{2}^{l}})=(\frac{{2}^{k-l}(j-1)}{{2}^{k}},\frac{{2}^{k-l}j}{{2}^{k}}).$$ |

There are three cases: (i) $i\le {2}^{k-l}(j-1)$, (ii) $$, (iii) $i>{2}^{k-l}j$. In the first case, ${\mathrm{\Delta}}_{k}^{i}\cap {\mathrm{\Delta}}_{l}^{j}=\mathrm{\varnothing}$, i.e. ${\mathrm{\Delta}}_{n}\cap {\mathrm{\Delta}}_{m}=\mathrm{\varnothing}$. In the second case, $i-1\ge {2}^{k-l}(j-1)$ and $i\le {2}^{k-l}$, so ${\mathrm{\Delta}}_{k}^{i}\subset {\mathrm{\Delta}}_{l}^{j}$, i.e. ${\mathrm{\Delta}}_{n}\subset {\mathrm{\Delta}}_{m}$. In the third case, $i-1\ge {2}^{k-l}j$ so ${\mathrm{\Delta}}_{k}^{i}\cap {\mathrm{\Delta}}_{l}^{j}=\mathrm{\varnothing}$, i.e. ${\mathrm{\Delta}}_{n}\cap {\mathrm{\Delta}}_{m}=\mathrm{\varnothing}$. ∎

We define ${\chi}_{1}=1$, and for $k\ge 0$, $1\le i\le {2}^{k}$, and $n={2}^{k}+i$, we define

$${\chi}_{n}(t)=\{\begin{array}{cc}1\hfill & t\in {\mathrm{\Delta}}_{n}^{-}=(\frac{2i-2}{{2}^{k+1}},\frac{2i-1}{{2}^{k+1}})\hfill \\ -1\hfill & t\in {\mathrm{\Delta}}_{n}^{+}=(\frac{2i-1}{{2}^{k+1}},\frac{2i}{{2}^{k+1}})\hfill \\ 0\hfill & \text{otherwise}.\hfill \end{array}$$ |

For example,

$${\chi}_{2}(t)=\{\begin{array}{cc}1\hfill & t\in (0,\frac{1}{2})\hfill \\ -1\hfill & t\in (\frac{1}{2},1)\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$$ |

and

$${\chi}_{3}(t)=\{\begin{array}{cc}1\hfill & t\in (0,\frac{1}{4})\hfill \\ -1\hfill & t\in (\frac{1}{4},\frac{1}{2})\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$$ |

and

$${\chi}_{4}(t)=\{\begin{array}{cc}1\hfill & t\in (\frac{1}{2},\frac{3}{4})\hfill \\ -1\hfill & t\in (\frac{3}{4},1)\hfill \\ 0\hfill & \text{otherwise}.\hfill \end{array}$$ |

We call $({\chi}_{n})$ the Haar system. It is a fact that $({\chi}_{n})$ is a monotone Schauder basis for the Banach space
${L}^{1}[0,1]$ with the norm ${\parallel f\parallel}_{{L}^{1}}={\int}_{0}^{1}|f(t)|\mathit{d}t$.^{10}^{10}
10
Joram Lindenstrauss and Lior
Tzafriri, Classical Banach Spaces I and II, p. 3.

Now we define ${\varphi}_{1}=1$ and for $n>1$ we define ${\varphi}_{n}:[0,1]\to \mathbb{R}$ by

$${\varphi}_{n}(t)={\int}_{0}^{t}{\chi}_{n-1}(u)\mathit{d}u.$$ |

Each ${\varphi}_{n}$ belongs to $C[0,1]$, and we call $({\varphi}_{n})$ the Faber-Schauder system. For example,

$${\varphi}_{2}(t)={\int}_{0}^{t}{\chi}_{1}(u)\mathit{d}u=t,$$ |

and

$${\varphi}_{3}(t)=\{\begin{array}{cc}{\int}_{0}^{t}1\mathit{d}u\hfill & t\in [0,\frac{1}{2}]\hfill \\ {\int}_{0}^{1/2}1\mathit{d}u+{\int}_{1/2}^{t}-1du\hfill & t\in [\frac{1}{2},1]\hfill \end{array}=\{\begin{array}{cc}t\hfill & t\in [0,\frac{1}{2}]\hfill \\ -t+1\hfill & t\in [\frac{1}{2},1]\hfill \end{array}$$ |

and

$${\varphi}_{4}(t)=\{\begin{array}{cc}{\int}_{0}^{t}1\mathit{d}u\hfill & t\in [0,\frac{1}{4}]\hfill \\ {\int}_{0}^{1/4}1\mathit{d}u+{\int}_{1/4}^{t}-1du\hfill & t\in [\frac{1}{4},\frac{1}{2}]\hfill \\ 0\hfill & t\in [\frac{1}{2},1]\hfill \end{array}=\{\begin{array}{cc}t\hfill & t\in [0,\frac{1}{4}]\hfill \\ -t+\frac{1}{2}\hfill & t\in [\frac{1}{4},\frac{1}{2}]\hfill \\ 0\hfill & t\in [\frac{1}{2},1]\hfill \end{array}$$ |

and

$${\varphi}_{5}(t)=\{\begin{array}{cc}0\hfill & t\in [0,\frac{1}{2}]\hfill \\ {\int}_{1/2}^{t}1\mathit{d}u\hfill & t\in [\frac{1}{2},\frac{3}{4}]\hfill \\ {\int}_{1/2}^{3/4}1\mathit{d}u+{\int}_{3/4}^{t}-1du\hfill & t\in [\frac{3}{4},1]\hfill \end{array}=\{\begin{array}{cc}0\hfill & t\in [0,\frac{1}{2}]\hfill \\ t-\frac{1}{2}\hfill & t\in [\frac{1}{2},\frac{3}{4}]\hfill \\ -t+1\hfill & t\in [\frac{3}{4},1].\hfill \end{array}$$ |

Generally for $k\ge 0$, for $1\le i\le {2}^{k}$, and for $n={2}^{k}+i$,

$${\varphi}_{n+1}(t)=\{\begin{array}{cc}t-\frac{i-1}{{2}^{k}}\hfill & t\in {\mathrm{\Delta}}_{n}^{-}=(\frac{i-1}{{2}^{k}},\frac{2i-1}{{2}^{k+1}})\hfill \\ -t+\frac{i}{{2}^{k}}\hfill & t\in {\mathrm{\Delta}}_{n}^{+}=(\frac{2i-1}{{2}^{k+1}},\frac{i}{{2}^{k}})\hfill \\ 0\hfill & \text{otherwise}.\hfill \end{array}$$ |

We remark that

$$\parallel {\varphi}_{n+1}\parallel =\frac{2i-1}{{2}^{k+1}}-\frac{i-1}{{2}^{k}}={2}^{-k-1}.$$ |

## 5 Riesz representation theorem

Let $(X,\U0001d510)$ be a measurable space. A signed measure is a function $\mu :\U0001d510\to [-\mathrm{\infty},\mathrm{\infty}]$ such that (i) $\mu (\mathrm{\varnothing})=0$, (ii) $\mu $ assumes at most one of the values $-\mathrm{\infty},\mathrm{\infty}$, and (iii) if $({E}_{j})$ is a sequence of disjoint elements of $\U0001d510$ then $\mu \left(\bigcup {E}_{j}\right)=\sum \mu ({E}_{j})$. A finite signed measure is a signed measure whose image is contained in $\mathbb{R}$. We denote by $\mathrm{ca}(\U0001d510)$ the collection of all finite signed measures on $\U0001d510$. For $\mu ,\lambda \in \mathrm{ca}(\U0001d510)$ and for $c\in \mathbb{R}$, define

$$(\mu +\lambda )(E)=\mu (E)+\lambda (E),(c\mu )(E)=c\mu (E)$$ |

for $E\in \U0001d510$, and we check that with addition and scalar multiplication thus defined $\mathrm{ca}(\U0001d510)$ is a real vector space. A positive measure is a signed measure whose imaged is contained in $[0,\mathrm{\infty}]$. For $\mu ,\lambda \in \mathrm{ca}(\U0001d510)$, we write

$$\mu \ge \lambda $$ |

if $\mu -\lambda $ is a positive measure; in any case $\mu -\lambda \in \mathrm{ca}(\U0001d510)$. We check that $\le $ is a partial order on $\mathrm{ca}(\U0001d510)$ with which $\mathrm{ca}(\U0001d510)$ is an ordered vector space. Finally, a probability measure is a positive measure satisfying $\mu (X)=1$, which in particular belongs to $\mathrm{ca}(\U0001d510)$.

For $E\in \U0001d510$, a partition of $E$ is a countable subset $\{{E}_{i}\}$ of $\U0001d510$ whose members are pairwise disjoint. For $\mu \in \mathrm{ca}(\U0001d510)$ and $E\in \U0001d510$ we define

$$|\mu |(E)=sup\{\sum _{i=1}^{\mathrm{\infty}}|\mu ({E}_{i})|:\{{E}_{i}\}\text{is a partition of}E\}.$$ |

It is immediate that $|\mu (E)|\le |\mu |(E)$.
It is proved that $|\mu |$ is a finite positive measure on $\U0001d510$,
called the total variation measure of $\mu $.^{11}^{11}
11
Walter Rudin, Real
and Complex Analysis, third ed., pp. 117–118, Theorem 6.2 and Theorem 6.4.
For $\mu \in \mathrm{ca}(\U0001d510)$, define

$${\mu}^{+}=\frac{1}{2}(|\mu |+\mu ),{\mu}^{-}=\frac{1}{2}(|\mu |-\mu ).$$ |

Because $|\mu |$ is a finite positive measure and $|\mu (E)|\le |\mu (E)|$, ${\mu}^{+}$ and ${\mu}^{-}$ are finite positive measures, called the positive and negative variations of $\mu $. Then $\mu ={\mu}^{+}-{\mu}^{-}$, called the Jordan decomposition of $\mu $.

For $\mu \in \mathrm{ca}(\U0001d510)$, define

$$\parallel \mu \parallel =|\mu |(X)={\mu}^{+}(X)+{\mu}^{-}(X).$$ |

One checks that $\parallel \cdot \parallel $ is a norm on $\mathrm{ca}(\U0001d510)$.

For a compact Hausdorff space $K$ and for $f,g\in C(K)$, write $g\ge f$ when $(g-f)(t)\ge 0$ for all $t\in K$. A positive linear functional is a linear map $\varphi :C(K)\to \mathbb{R}$ such that $\varphi (f)\ge 0$ when $f\ge 0$. In this case, because $\parallel f\parallel \cdot 1+f\ge 0$,

$$\parallel f\parallel \varphi (1)+\varphi (f)=\varphi (\parallel f\parallel \cdot 1+f)\ge 0$$ |

i.e. $-\varphi (f)\le \varphi (1)\parallel f\parallel $, and because $\parallel f\parallel \cdot 1-f\ge 0$,

$$\parallel f\parallel \varphi (1)-\varphi (f)=\varphi (\parallel f\parallel \cdot 1-f)\ge 0,$$ |

i.e. $\varphi (f)\le \varphi (1)\parallel f\parallel $, showing because $\parallel 1\parallel =1$ that the operator norm of $\varphi $ is $\parallel \varphi \parallel =\varphi (1)$, and in particular that $\varphi \in C{(K)}^{*}$.

For normed spaces $(V,\parallel \cdot {\parallel}_{V})$ and $(W,\parallel \cdot {\parallel}_{W})$, an isometric
isomorphism from $V$ to $W$ is a linear isomorphism $T:V\to W$ satisfying ${\parallel Tv\parallel}_{W}={\parallel v\parallel}_{V}$ for all $v\in V$. The simplest version of the Riesz representation theorem is for compact
metrizable spaces, for which we do not need to speak about regular Borel measures or continuous functions vanishing at infinity.^{12}^{12}
12
Walter
Rudin, Real and Complex Analysis, third ed., p. 130, Theorem 6.19.

###### Theorem 5 (Riesz representation theorem for compact metrizable spaces).

Let $K$ be a compact metrizable space and define $\mathrm{\Lambda}:\mathrm{ca}({\mathcal{B}}_{K})\to C{(K)}^{*}$ by

$$\mathrm{\Lambda}(\mu )(f)={\int}_{K}f\mathit{d}\mu ,\mu \in \mathrm{ca}({\mathcal{B}}_{K}),f\in C(K).$$ |

$\mathrm{\Lambda}$ is an isometric isomorphism, and is order preserving: if $\mu \ge 0$ then $\mathrm{\Lambda}(\mu )\in C{(K)}^{*}$ is a positive linear functional, and thus if $\mu \ge \lambda $ then $\mathrm{\Lambda}(\mu )\ge \mathrm{\Lambda}(\lambda )$.

## 6 The Borel $\sigma $-algebra of $C[0,1]$

Let $I=[0,1]$, with the relative topology inherited from $\mathbb{R}$, with which $I$ is a compact metric space. For ${t}_{1},\mathrm{\dots},{t}_{n}\in I$, we define ${\pi}_{{t}_{1},\mathrm{\dots},{t}_{n}}:C(I)\to {\mathbb{R}}^{n}$ by

$${\pi}_{{t}_{1},\mathrm{\dots},{t}_{n}}(x)=(x({t}_{1}),\mathrm{\dots},x({t}_{n})),x\in C(I),$$ |

which is continuous.

For a set $X$ and a collection of functions ${f}_{t}:X\to \mathbb{R}$,
the coarsest $\sigma $-algebra on $X$ such that each ${f}_{t}$ is measurable
$X\to \mathbb{R}$, where $\mathbb{R}$ has the Borel $\sigma $-algebra, is called
the $\sigma $-algebra generated by $\mathrm{\{}{f}_{t}\mathrm{:}t\mathrm{\in}I\mathrm{\}}$, and is
denoted
by $\sigma (\{{f}_{t}:t\in I\})$.
We show that the Borel $\sigma $-algebra of $C(I)$ is equal to the $\sigma $-algebra generated by the family
of projection maps $C(I)\to \mathbb{R}$.^{13}^{13}
13
K. R. Parthasarathy, Probability Measures on
Metric Spaces, p. 212, Theorem 2.1.

###### Theorem 6.

Let $\mathcal{A}$ be the $\sigma $-algebra generated by the family $\{{\pi}_{t}:t\in [0,1]\}$. Then ${\mathcal{B}}_{C[0,1]}=\mathcal{A}$.

###### Proof.

Because $C(I)$ is a separable metric space it is second-countable, and so if $U$ is an open subset of $C(I)$ then $U$ is equal to the union of countably many open balls. Each open ball is equal to the union of countably many closed balls: $B(x,r)=\bigcup \overline{B(x,r-1/n)}$. Therefore each open subset of $C(I)$ is equal to the union of countably many closed balls, and to prove that ${\mathcal{B}}_{C(I)}\subset \mathcal{A}$ it suffices to prove that all closed balls belong to $\mathcal{A}$. To this end, let ${q}_{1},{q}_{2},\mathrm{\dots}$ be an enumeration of $[0,1]\cap \mathbb{Q}$, let $x\in C(I)$, and let $r>0$. Suppose that $|y({q}_{n})-x({q}_{n})|\le r$ for all $n$, and take $t\in [0,1]$. Then there is a subsequence ${q}_{{a}_{n}}$ of ${q}_{n}$ that tends to $t$, and because $y-x:[0,1]\to \mathbb{R}$ is continuous, $|y({q}_{{a}_{n}})-x({q}_{{a}_{n}})|\to |y(t)-x(t)|$, and then because for each $n$ we have $|y({q}_{{a}_{n}})-x({q}_{{a}_{n}})|\le r$ it follows that $|y(t)-x(t)|\le r$. This establishes

$$\{y\in C(I):\parallel y-x\parallel \le r\}=\bigcap _{n=1}^{\mathrm{\infty}}\{y\in C(I):|y({q}_{n})-x({q}_{n})|\le r\}.$$ |

But

$$\{y\in C(I):|y({q}_{n})-x({q}_{n})|\le r\}={\pi}_{{q}_{n}}^{-1}([{\pi}_{{q}_{n}}(x)-r,{\pi}_{{q}_{n}}(x)+r]),$$ |

which belongs to $\mathcal{A}$. Thus $\overline{B(x,r)}$ is a countable intersection of elements of $\mathcal{A}$ and so belongs to $\mathcal{A}$, which shows that ${\mathcal{B}}_{C(I)}\subset \mathcal{A}$.

On the other hand, for each $t\in I$ the map ${\pi}_{t}:C(I)\to \mathbb{R}$ is continuous and hence is
measurable ${\mathcal{B}}_{C(I)}\to {\mathcal{B}}_{\mathbb{R}}$.^{14}^{14}
14
Charalambos D. Aliprantis
and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 140, Corollary 4.26.
Therefore $\mathcal{A}\subset {\mathcal{B}}_{C(I)}$.
∎

## 7 Relatively compact subsets of $C[0,1]$

If $(M,d)$ is a metric space, a subset $A$ of $M$ is called totally bounded if for
each $\u03f5>0$ there are finitely many points ${x}_{1},\mathrm{\dots},{x}_{n}\in M$ such that for any
point $x\in M$ there is some $i$ for which $$.
It is immediate that a compact metric space is totally bounded, and the Heine-Borel theorem states that
a metric space is compact if and only if it is complete and totally bounded.^{15}^{15}
15
Charalambos D. Aliprantis
and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 86, Theorem 3.28.
On the other hand, one checks that if $(M,d)$ is a metric space and $A$ is a totally bounded subset of $M$, then
the closure $\overline{A}$ is a totally bounded subset of $M$.
Thus, if $A$ is a totally bounded subset of a complete metric space $(M,d)$, then
the closure $\overline{A}$ is itself a complete metric space (because $(M,d)$ is a complete metric space), and because $\overline{A}$ is complete and totally bounded, by the Heine-Borel
theorem it is compact.

If $X$ is a topological space and $\mathcal{F}$ is a subset of $C(X)$, we say that
$\mathcal{F}$ is equicontinuous at $x\mathrm{\in}X$ if for each $\u03f5>0$ there
is a neighborhood ${U}_{x,\u03f5}$ of $x$ such that $$ for all $f\in \mathcal{F}$ and for all
$y\in {U}_{x,\u03f5}$, and we call $\mathcal{F}$ equicontinuous if it is equicontinuous at each $x\in X$.
We call $\mathcal{F}$ pointwise bounded if for each $x\in X$, $\{f(x):f\in \mathcal{F}\}$ is a bounded subset
of $\mathbb{R}$.
The Arzelà-Ascoli theorem states that for a compact Hausdorff space $X$ and for $\mathcal{F}\subset C(X)$,
$\mathcal{F}$ is equicontinuous and pointwise bounded if and only if $\mathcal{F}$ is totally bounded.^{16}^{16}
16
Gerald B. Folland, Real
Analysis: Modern Techniques and Their Applications, second ed., p. 137, Theorem 4.43.
Then the closure $\overline{\mathcal{F}}$ is totally bounded and is itself a complete metric space, and hence
is a compact metric space. That is, for a compact Hausdorff space $X$, $\mathcal{F}$ is equicontinuous and pointwise bounded if and only if $\mathcal{F}$ is relatively compact in $C(X)$.

For $x\in C[0,1]$ and $\delta >0$, define

$${\omega}_{x}(\delta )=\underset{s,t\in I,|s-t|\le \delta}{sup}|x(s)-x(t)|.$$ |

For $x\in C[0,1]$ because $x:I\to \mathbb{R}$ is continuous and $I$ is compact, $x$ is uniformly continuous on $I$. Thus for $\u03f5>0$ there is some ${\delta}_{\u03f5}>0$ such that when $|s-t|\le {\delta}_{\u03f5}$, $|x(s)-x(t)|\le \u03f5$, hence if $\delta \le {\delta}_{\u03f5}$ then ${\omega}_{x}(\delta )\le \u03f5$, i.e. ${\omega}_{x}(\delta )\to 0$ as $\delta \to 0$. We give sufficient and necessary conditions for a subset of $C[0,1]$ to be relatively compact.

###### Lemma 7.

Let $A\subset C[0,1]$. $A$ is relatively compact if and only if

$$ | (5) |

and

$$\underset{\delta \downarrow 0}{lim}\underset{x\in A}{sup}{\omega}_{x}(\delta )=0.$$ | (6) |

###### Proof.

For $t\in I$ and for $r>0$, let

$$ |

which is an open neighborhood of $t$. The Arzelà-Ascoli theorem tells us that $A$ is relatively compact if and only if $A$ is equicontinuous and pointwise bounded. If $A$ is relatively compact, then being pointwise bounded yields (5). Let $\u03f5>0$. Because $A$ is equicontinuous, for each $t\in I$ there is some ${\delta}_{t}>0$ such that for all $x\in A$ and for all $s\in {B}_{{\delta}_{t}}(t)$ we have $$. Then because $I$ is compact, there are ${t}_{1},\mathrm{\dots},{t}_{n}\in I$ such that $I={\bigcup}_{i=1}^{n}{B}_{{\delta}_{{t}_{i}}}({t}_{i})$. Let ${\delta}_{\u03f5}>0$ be the Lebesgue number for this open cover: for each $t\in I$ there is some $i$ for which ${B}_{{\delta}_{\u03f5}}(t)\subset {B}_{{\delta}_{{t}_{i}}}({t}_{i})$. For $$, for $x\in A$, and for $|s-t|\le \delta /2$, there is some $i$ for which ${B}_{\delta}(t)\subset {B}_{{\delta}_{{t}_{i}}}({t}_{i})$, so $s,t\in {B}_{{\delta}_{{t}_{i}}}({t}_{i})$, which means that $$ and $$, and thus $$. Therefore ${\omega}_{\delta /2}(x)\le \u03f5$, and this is true for all $x\in A$ which proves (6).

Suppose now that (5) and (6) are true. By (6), there is some $m\ge 1$ such that ${sup}_{x\in A}{\omega}_{x}(1/m)\le 1$, and therefore for $x\in A$, $\parallel x\parallel \le |x(0)|+m$. With (5) this yields $$, whence $A$ is pointwise bounded. Let $t\in I$ and let $\u03f5>0$. By (6) there is some $\delta >0$ such that $$. Thus for $x\in A$ and for $|s-t|\le \delta $, $$, which shows that $A$ is equicontinuous at $t$. This is true for all $t\in I$, so $A$ is equicontinuous and by the Arzelà-Ascoli theorem we get that $A$ is relatively compact in $C[0,1]$. ∎

## 8 Continuously differentiable functions

Let $f:[0,1]\to \mathbb{R}$ be a function. We say that $f$ is differentiable at $t\mathrm{\in}\mathrm{[}\mathrm{0}\mathrm{,}\mathrm{1}\mathrm{]}$
if there is some ${f}^{\prime}(t)\in \mathbb{R}$ such that^{17}^{17}
17
cf.
Nicolas Bourbaki, Elements of Mathematics. Functions of a Real Variable: Elementary Theory,
p. 3, Chapter I, §1, no. 1, Definition 1.

$$\underset{s\to t,s\in [0,1]\setminus \{t\}}{lim}\frac{f(s)-f(t)}{s-t}={f}^{\prime}(t).$$ |

If $f$ is differentiable at each $t\in [0,1]$, we say that $f$ is differentiable on $\mathrm{[}\mathrm{0}\mathrm{,}\mathrm{1}\mathrm{]}$
and define ${f}^{\prime}:[0,1]\to \mathbb{R}$ by $t\mapsto {f}^{\prime}(t)$.
We define ${C}^{1}[0,1]$ to be the collection of those $f:[0,1]\to \mathbb{R}$ such that
$f$ is differentiable on $[0,1]$ and ${f}^{\prime}:[0,1]\to \mathbb{R}$ is continuous.
${C}^{1}[0,1]$ is contained in $C[0,1]$, and it turns out that ${C}^{1}[0,1]$ is a Borel set in $C[0,1]$.^{18}^{18}
18
Alexander S. Kechris, Classical
Descriptive Set Theory, p. 70, §11.B, Example 2.
On the other hand, the collection differentiable functions $[0,1]\to \mathbb{R}$, which is a subset of $C[0,1]$,
is not a Borel set in $C[0,1]$.^{19}^{19}
19
S. M. Srivastava, A Course on Borel Sets, p. 139, Proposition 4.2.7.