compact数学