The equality between Borel and Baire classes (Q1772956)

Let \(X\) be a topological space and let \(\alpha\) be an ordinal number. The set \(\beta_\alpha(X)= \{f: X\to\mathbb{R}\): there exists \((f_n)_{n=1}\subset\beta_{\alpha-1}(X)\) such that \(\lim f_n(x)= f(x)\) for each \(x\in X\}\) is said to be the family of Baire functions of class \(\alpha\) and the set \(B_\alpha(X)= \{f: X\to\mathbb{R}\): for each closed set \(F\) in \(\mathbb{R}\), \(f^{-1}(F)\) belongs to the multiplicative class \(\alpha\) of Borel sets\} is said to be the family of Borel functions of class \(\alpha\), \(\beta_0(X)= B_0(X)= \{f: X\to\mathbb{R}\): \(f\) is continuous\}. In general, \(\beta_\alpha(X)\) is not equal to \(B_\alpha(X)\). The authors deal with perfectly normal topological spaces (\(X\) is perfectly normal if it is Hausdorff and every closed subset of \(X\) is a zero set of some real continuous function). They obtain the equality between Baire and Borel classes as a consequence of existence of an approximation property and a Tietze extension for these classes.