确实不能由f(x) = (f(x-)+f(x+))/2得到条件(1)(2).不过这个地方讨论的不是收敛性, 而是在Fourier级数收敛的前提下讨论其何时收敛于f(x).C不是作为一个条件, 而是作为定义域的一个子集.这里的本意是: 如果f(x)满足条件(1)(2), 则f(x)的Fourier级数在集合C上处处收敛于f(x).所以这是定理的直接推论, 其目的是给出一个使得最下面那个等式成立的集合.
