compact数学什么意思啊