有限空间分为三类