# Denjoy-Luzin theorem

(Redirected from Luzin-Denjoy theorem)

on absolutely convergent trigonometric series

If the trigonometric series

$$\frac{a_0}{2}+\sum_{n=1}^\infty a_n\cos nx+b_n\sin nx\label{1}\tag{1}$$

converges absolutely on a set of positive Lebesgue measure, then the series made up of the absolute values of its coefficients,

$$\frac{|a_0|}{2}+\sum_{n=1}^\infty|a_n|+|b_n|,\label{2}\tag{2}$$

converges and, consequently, the initial series \eqref{1} converges absolutely and uniformly on the entire real axis. However, the property of the absolute convergence set of the series \eqref{1} being of positive measure, which according to A. Denjoy and N.N. Luzin is sufficient for the series \eqref{2} to converge, is not necessary. There exist, for example, perfect sets of measure zero, the absolute convergence on which of the series \eqref{1} entails the convergence of the series \eqref{2}.

The theorem was independently established by Denjoy  and by Luzin ; various generalizations of it also exist .