Friedman’s theorem: a new proof using strong convergence

2 Analytic tools

Here we define some analytic prerequisites, following the structure of [ .

2.1 Spaces of functions and norms

[todo: define \(C^m[a,b]\) and the norm on it.]

2.2 Markov inequalities

2.3 Chebyshev polynomials

2.4 Compactly supported distributions

[todo: define a distribution and the notion of compactly supported distribution]