有界闭集上的连续函数