用三角函數嚟逼近就係fourier分析入面研究嘅嘢，對工程學好有用。更一般、更抽象嚟講，呢啲定理係描述緊一啲基。喺banach空間或者hilbert空間入面，一個集叫得做基若且唯若佢嘅生成空間嘅閉包係成個空間。