IMC 1995 · Problem 6

Day 220 points2nd IMC · Plovdiv, Bulgaria

Statement

Suppose that {fn}n=1∞\{f_n\}_{n=1}^{\infty} is a sequence of continuous functions on the interval [0,1][0,1] such that

∫01fm(x)fn(x) dx={1if n=m0if n≠m\int_0^1 f_m(x) f_n(x)\,dx = \begin{cases} 1 & \text{if } n = m \\ 0 & \text{if } n \ne m \end{cases}

and

sup⁡{∣fn(x)∣  :  x∈[0,1] and n=1,2,… }<+∞.\sup\{|f_n(x)| \;:\; x \in [0,1] \text{ and } n = 1, 2, \dots\} < +\infty.

Show that there exists no subsequence {fnk}\{f_{n_k}\} of {fn}\{f_n\} such that lim⁡k→∞fnk(x)\lim\limits_{k \to \infty} f_{n_k}(x) exists for all x∈[0,1]x \in [0,1].

Official solution

Hidden so you can work on the problem first.