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 nm\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 limkfnk(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.