S是完全的.;S是完备的.;x关于S的Fourier级数收敛于x.;