In this section we describe a basis-free kind of “Fourier expansion” for functions on general product domains. We will refer to it as the orthogonal decomposition of $f \in L^2(\Omega^n, \pi^{\otimes n})$ though it goes by several other names in the literature: e.g., Hoeffding, Efron–Stein, or ANOVA decomposition.

[...]

## Recent comments

Ryan O'Donnell: Thanks! It's corrected in the book.Ohad Klein: In theorem 44, I think the written taylor expansion is the o...Ryan O'Donnell: Yes, thanks!Noam Lifshitz: In exercise 15 (Ex 18 in the book) is it true that $V_j=T_j$...Ryan O'Donnell: Thanks!Matt Franklin: Maybe two small typos in the proof of Corollary 11.67 (p. 36...Ryan O'Donnell: I see your point, although in some sense this distinction be...