Bourbaki

Exercise 45, § 1

Tag 02LL, permanent. Cite it as [Bourbaki, Tag 02LL].

Spectral Theories, II, p. 284

For every real number h>0h >0, let Δh\Delta_h be the continuous function on R\mathbf{R} such that Δh(t)=0\Delta_h(t) = 0 if ∣t∣>h|t|> h and Δh(t)=1−∣t∣/h\Delta_h(t) = 1- |t|/h for t∈[−h,h]t\in [-h, h].

a) The family in C([0,1])\mathscr{C}([0,1]) formed by the functions f0=1,f1:t↦tf_0= 1,f_1:t\mapsto t, and the functions

fk,l:t↦Δ2−k(t−2l+12k) f_{k,l}:t\mapsto \Delta_{2^{-k}}(t-\frac{2l + 1}{2^k})

for k⩾1k\geqslant 1 and 0⩽l<2k−10\leqslant l <2^{k-1} is a Banach basis of the Banach space C([0,1])\mathscr{C}([0,1]) (cf. EVT, IV, p. 70, exerc. 14). More precisely, for every f∈f\in C([0,1])\mathscr{C}([0,1]), one has

f=f(0)f0+(f(1)−f(0))f1+ f=f(0)f_0+ (f(1)-f(0))f_1+
∑∑(f(2l+12k)−12(f(l2k−1)+f(l+12k−1)))fk,l \sum\sum(f(\frac{2l + 1}{2^k})-\frac{1}{2}(f(\frac{l}{2^{k-1}})+f(\frac{l + 1}{2^{k-1}})))f_{k,l}
k⩾10⩽l<2k−1k\geqslant 10\leqslant l<2^{k-1}

in C([0,1])\mathscr{C}([0,1]).

b) The family of functions t↦e2iπhtt\mapsto e^{2i\pi ht} for h∈Zh\in \mathbf{Z} is not a Banach basis of the space of functions f∈C([0,1])f\in \mathscr{C}([0,1]) such that f(0)=f(1)f(0) =f(1).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.